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-158902542200483.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 DLCround-PT-05a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200483
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 3.3K Mar 30 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 08:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 23:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 259K 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 DLCround-PT-05a-CTLCardinality-00
FORMULA_NAME DLCround-PT-05a-CTLCardinality-01
FORMULA_NAME DLCround-PT-05a-CTLCardinality-02
FORMULA_NAME DLCround-PT-05a-CTLCardinality-03
FORMULA_NAME DLCround-PT-05a-CTLCardinality-04
FORMULA_NAME DLCround-PT-05a-CTLCardinality-05
FORMULA_NAME DLCround-PT-05a-CTLCardinality-06
FORMULA_NAME DLCround-PT-05a-CTLCardinality-07
FORMULA_NAME DLCround-PT-05a-CTLCardinality-08
FORMULA_NAME DLCround-PT-05a-CTLCardinality-09
FORMULA_NAME DLCround-PT-05a-CTLCardinality-10
FORMULA_NAME DLCround-PT-05a-CTLCardinality-11
FORMULA_NAME DLCround-PT-05a-CTLCardinality-12
FORMULA_NAME DLCround-PT-05a-CTLCardinality-13
FORMULA_NAME DLCround-PT-05a-CTLCardinality-14
FORMULA_NAME DLCround-PT-05a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589123327325

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05a
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: 167 places, 1055 transitions, 3985 arcs.
AT ITER 0 NEW BEST:: SOT 117369 SOS 92878 HAS SOPS 56439 HAS SOUS 16646 HAS SOUPS 11230 WITH SCORE 11322.878
AT ITER 8 NEW BEST:: SOT 117346 SOS 92555 HAS SOPS 56296 HAS SOUS 16614 HAS SOUPS 11218 WITH SCORE 11310.555
AT ITER 9 NEW BEST:: SOT 117364 SOS 92736 HAS SOPS 56477 HAS SOUS 16568 HAS SOUPS 11172 WITH SCORE 11264.736
AT ITER 22 NEW BEST:: SOT 117303 SOS 91905 HAS SOPS 56312 HAS SOUS 16926 HAS SOUPS 11161 WITH SCORE 11252.905
AT ITER 33 NEW BEST:: SOT 117197 SOS 92257 HAS SOPS 56376 HAS SOUS 16889 HAS SOUPS 11124 WITH SCORE 11216.257
AT ITER 38 NEW BEST:: SOT 117074 SOS 93193 HAS SOPS 56610 HAS SOUS 16884 HAS SOUPS 11080 WITH SCORE 11173.193
AT ITER 41 NEW BEST:: SOT 117287 SOS 93468 HAS SOPS 56513 HAS SOUS 16737 HAS SOUPS 10786 WITH SCORE 10879.468
AT ITER 46 NEW BEST:: SOT 117211 SOS 93787 HAS SOPS 56562 HAS SOUS 16720 HAS SOUPS 10754 WITH SCORE 10847.787
AT ITER 51 NEW BEST:: SOT 116881 SOS 93560 HAS SOPS 56335 HAS SOUS 16219 HAS SOUPS 10253 WITH SCORE 10346.56
AT ITER 59 NEW BEST:: SOT 116792 SOS 93433 HAS SOPS 56338 HAS SOUS 16195 HAS SOUPS 10229 WITH SCORE 10322.433
AT ITER 63 NEW BEST:: SOT 116754 SOS 93402 HAS SOPS 56272 HAS SOUS 16164 HAS SOUPS 10163 WITH SCORE 10256.402
AT ITER 64 NEW BEST:: SOT 116730 SOS 93402 HAS SOPS 56272 HAS SOUS 16141 HAS SOUPS 10140 WITH SCORE 10233.402
AT ITER 65 NEW BEST:: SOT 116581 SOS 92411 HAS SOPS 56101 HAS SOUS 16293 HAS SOUPS 10094 WITH SCORE 10186.411
AT ITER 70 NEW BEST:: SOT 115890 SOS 90834 HAS SOPS 55228 HAS SOUS 16403 HAS SOUPS 9896 WITH SCORE 9986.834
AT ITER 71 NEW BEST:: SOT 115877 SOS 90691 HAS SOPS 55085 HAS SOUS 16390 HAS SOUPS 9883 WITH SCORE 9973.691
AT ITER 80 NEW BEST:: SOT 115884 SOS 90725 HAS SOPS 55119 HAS SOUS 16316 HAS SOUPS 9809 WITH SCORE 9899.725
AT ITER 95 NEW BEST:: SOT 115858 SOS 90712 HAS SOPS 55106 HAS SOUS 16303 HAS SOUPS 9796 WITH SCORE 9886.712
AT ITER 99 NEW BEST:: SOT 115831 SOS 90388 HAS SOPS 55052 HAS SOUS 16215 HAS SOUPS 9738 WITH SCORE 9828.388
AT ITER 111 NEW BEST:: SOT 115786 SOS 90352 HAS SOPS 54971 HAS SOUS 16143 HAS SOUPS 9657 WITH SCORE 9747.352
AT ITER 115 NEW BEST:: SOT 115782 SOS 90344 HAS SOPS 54971 HAS SOUS 16139 HAS SOUPS 9657 WITH SCORE 9747.344
AT ITER 123 NEW BEST:: SOT 115762 SOS 90134 HAS SOPS 54851 HAS SOUS 16109 HAS SOUPS 9637 WITH SCORE 9727.134
AT ITER 127 NEW BEST:: SOT 115662 SOS 91143 HAS SOPS 55266 HAS SOUS 16065 HAS SOUPS 9593 WITH SCORE 9684.143
AT ITER 130 NEW BEST:: SOT 115662 SOS 91143 HAS SOPS 55266 HAS SOUS 16057 HAS SOUPS 9585 WITH SCORE 9676.143
AT ITER 139 NEW BEST:: SOT 115688 SOS 91118 HAS SOPS 55263 HAS SOUS 16051 HAS SOUPS 9582 WITH SCORE 9673.118
AT ITER 140 NEW BEST:: SOT 115657 SOS 90784 HAS SOPS 55235 HAS SOUS 15956 HAS SOUPS 9521 WITH SCORE 9611.784
AT ITER 147 NEW BEST:: SOT 115822 SOS 90971 HAS SOPS 55824 HAS SOUS 15941 HAS SOUPS 9480 WITH SCORE 9570.971
AT ITER 155 NEW BEST:: SOT 115792 SOS 90947 HAS SOPS 55770 HAS SOUS 15875 HAS SOUPS 9414 WITH SCORE 9504.947
AT ITER 166 NEW BEST:: SOT 115789 SOS 90791 HAS SOPS 55614 HAS SOUS 15875 HAS SOUPS 9414 WITH SCORE 9504.791
AT ITER 167 NEW BEST:: SOT 115693 SOS 90709 HAS SOPS 55532 HAS SOUS 15851 HAS SOUPS 9390 WITH SCORE 9480.709
AT ITER 173 NEW BEST:: SOT 116078 SOS 91949 HAS SOPS 56172 HAS SOUS 15743 HAS SOUPS 9282 WITH SCORE 9373.949
AT ITER 201 NEW BEST:: SOT 116516 SOS 92456 HAS SOPS 56265 HAS SOUS 15579 HAS SOUPS 9034 WITH SCORE 9126.456
AT ITER 209 NEW BEST:: SOT 116493 SOS 92433 HAS SOPS 56219 HAS SOUS 15579 HAS SOUPS 9034 WITH SCORE 9126.433
AT ITER 213 NEW BEST:: SOT 116193 SOS 92293 HAS SOPS 56079 HAS SOUS 15479 HAS SOUPS 8934 WITH SCORE 9026.293
AT ITER 214 NEW BEST:: SOT 115773 SOS 91427 HAS SOPS 55789 HAS SOUS 15166 HAS SOUPS 8687 WITH SCORE 8778.427
AT ITER 233 NEW BEST:: SOT 115976 SOS 91596 HAS SOPS 55958 HAS SOUS 15157 HAS SOUPS 8678 WITH SCORE 8769.596
AT ITER 236 NEW BEST:: SOT 116037 SOS 91617 HAS SOPS 55859 HAS SOUS 15024 HAS SOUPS 8461 WITH SCORE 8552.617
AT ITER 244 NEW BEST:: SOT 115748 SOS 91304 HAS SOPS 55642 HAS SOUS 15046 HAS SOUPS 8459 WITH SCORE 8550.304
AT ITER 251 NEW BEST:: SOT 115789 SOS 91211 HAS SOPS 55649 HAS SOUS 15028 HAS SOUPS 8455 WITH SCORE 8546.211
AT ITER 284 NEW BEST:: SOT 115793 SOS 91215 HAS SOPS 55653 HAS SOUS 15023 HAS SOUPS 8450 WITH SCORE 8541.215
AT ITER 298 NEW BEST:: SOT 115794 SOS 91202 HAS SOPS 55640 HAS SOUS 15015 HAS SOUPS 8442 WITH SCORE 8533.202
AT ITER 299 NEW BEST:: SOT 116185 SOS 91922 HAS SOPS 56037 HAS SOUS 14760 HAS SOUPS 8413 WITH SCORE 8504.922
AT ITER 304 NEW BEST:: SOT 116181 SOS 91914 HAS SOPS 56037 HAS SOUS 14756 HAS SOUPS 8413 WITH SCORE 8504.914
AT ITER 308 NEW BEST:: SOT 116122 SOS 89683 HAS SOPS 54094 HAS SOUS 14724 HAS SOUPS 8413 WITH SCORE 8502.683
AT ITER 311 NEW BEST:: SOT 115338 SOS 83002 HAS SOPS 48411 HAS SOUS 14678 HAS SOUPS 8411 WITH SCORE 8494.002
AT ITER 313 NEW BEST:: SOT 115351 SOS 82992 HAS SOPS 48489 HAS SOUS 14647 HAS SOUPS 8402 WITH SCORE 8484.992
AT ITER 320 NEW BEST:: SOT 115311 SOS 82943 HAS SOPS 48378 HAS SOUS 14559 HAS SOUPS 8307 WITH SCORE 8389.943
AT ITER 324 NEW BEST:: SOT 115301 SOS 82923 HAS SOPS 48358 HAS SOUS 14536 HAS SOUPS 8284 WITH SCORE 8366.923
AT ITER 325 NEW BEST:: SOT 115313 SOS 82897 HAS SOPS 48332 HAS SOUS 14523 HAS SOUPS 8271 WITH SCORE 8353.897
AT ITER 330 NEW BEST:: SOT 115316 SOS 82978 HAS SOPS 48308 HAS SOUS 14511 HAS SOUPS 8259 WITH SCORE 8341.978
AT ITER 337 NEW BEST:: SOT 115406 SOS 83068 HAS SOPS 48398 HAS SOUS 14508 HAS SOUPS 8257 WITH SCORE 8340.068
AT ITER 338 NEW BEST:: SOT 115304 SOS 82226 HAS SOPS 47889 HAS SOUS 14432 HAS SOUPS 8218 WITH SCORE 8300.226
AT ITER 342 NEW BEST:: SOT 115269 SOS 82186 HAS SOPS 47859 HAS SOUS 14427 HAS SOUPS 8218 WITH SCORE 8300.186
AT ITER 355 NEW BEST:: SOT 115256 SOS 82160 HAS SOPS 47833 HAS SOUS 14414 HAS SOUPS 8205 WITH SCORE 8287.16
AT ITER 359 NEW BEST:: SOT 115355 SOS 82253 HAS SOPS 47962 HAS SOUS 14366 HAS SOUPS 8194 WITH SCORE 8276.253
AT ITER 363 NEW BEST:: SOT 115345 SOS 80262 HAS SOPS 46076 HAS SOUS 14315 HAS SOUPS 8143 WITH SCORE 8223.262
AT ITER 375 NEW BEST:: SOT 115376 SOS 79983 HAS SOPS 46076 HAS SOUS 14277 HAS SOUPS 8136 WITH SCORE 8215.983
AT ITER 378 NEW BEST:: SOT 115423 SOS 80113 HAS SOPS 46478 HAS SOUS 14229 HAS SOUPS 8127 WITH SCORE 8207.113
AT ITER 395 NEW BEST:: SOT 115410 SOS 79840 HAS SOPS 46322 HAS SOUS 14177 HAS SOUPS 8088 WITH SCORE 8167.84
AT ITER 405 NEW BEST:: SOT 114937 SOS 79331 HAS SOPS 46029 HAS SOUS 14172 HAS SOUPS 8083 WITH SCORE 8162.331
AT ITER 407 NEW BEST:: SOT 114928 SOS 79151 HAS SOPS 45930 HAS SOUS 14163 HAS SOUPS 8083 WITH SCORE 8162.151
AT ITER 412 NEW BEST:: SOT 114923 SOS 79136 HAS SOPS 45870 HAS SOUS 14163 HAS SOUPS 8078 WITH SCORE 8157.136
AT ITER 420 NEW BEST:: SOT 115157 SOS 78946 HAS SOPS 45224 HAS SOUS 14203 HAS SOUPS 8057 WITH SCORE 8135.946
AT ITER 436 NEW BEST:: SOT 115163 SOS 79084 HAS SOPS 45362 HAS SOUS 14188 HAS SOUPS 8042 WITH SCORE 8121.084
AT ITER 444 NEW BEST:: SOT 115006 SOS 78944 HAS SOPS 45362 HAS SOUS 13894 HAS SOUPS 7984 WITH SCORE 8062.944
AT ITER 448 NEW BEST:: SOT 114999 SOS 78909 HAS SOPS 45354 HAS SOUS 13886 HAS SOUPS 7979 WITH SCORE 8057.909
AT ITER 450 NEW BEST:: SOT 114961 SOS 78863 HAS SOPS 45363 HAS SOUS 13850 HAS SOUPS 7955 WITH SCORE 8033.863
AT ITER 451 NEW BEST:: SOT 114953 SOS 78775 HAS SOPS 45482 HAS SOUS 13800 HAS SOUPS 7928 WITH SCORE 8006.775
AT ITER 454 NEW BEST:: SOT 114927 SOS 78747 HAS SOPS 45454 HAS SOUS 13786 HAS SOUPS 7914 WITH SCORE 7992.747
AT ITER 456 NEW BEST:: SOT 114926 SOS 78441 HAS SOPS 45292 HAS SOUS 13785 HAS SOUPS 7913 WITH SCORE 7991.441
AT ITER 467 NEW BEST:: SOT 114924 SOS 78439 HAS SOPS 45290 HAS SOUS 13783 HAS SOUPS 7911 WITH SCORE 7989.439
AT ITER 480 NEW BEST:: SOT 114852 SOS 78367 HAS SOPS 45218 HAS SOUS 13708 HAS SOUPS 7873 WITH SCORE 7951.367
AT ITER 488 NEW BEST:: SOT 114840 SOS 77667 HAS SOPS 44778 HAS SOUS 13696 HAS SOUPS 7861 WITH SCORE 7938.667
AT ITER 493 NEW BEST:: SOT 114800 SOS 78029 HAS SOPS 45140 HAS SOUS 13684 HAS SOUPS 7849 WITH SCORE 7927.029
AT ITER 497 NEW BEST:: SOT 114720 SOS 77832 HAS SOPS 44943 HAS SOUS 13676 HAS SOUPS 7841 WITH SCORE 7918.832
AT ITER 499 NEW BEST:: SOT 114644 SOS 77768 HAS SOPS 44879 HAS SOUS 13652 HAS SOUPS 7817 WITH SCORE 7894.768
AT ITER 501 NEW BEST:: SOT 114637 SOS 77754 HAS SOPS 44879 HAS SOUS 13645 HAS SOUPS 7817 WITH SCORE 7894.754
AT ITER 504 NEW BEST:: SOT 114796 SOS 78084 HAS SOPS 44962 HAS SOUS 13585 HAS SOUPS 7757 WITH SCORE 7835.084
AT ITER 507 NEW BEST:: SOT 114932 SOS 78334 HAS SOPS 45094 HAS SOUS 13482 HAS SOUPS 7723 WITH SCORE 7801.334
AT ITER 511 NEW BEST:: SOT 114644 SOS 78046 HAS SOPS 44806 HAS SOUS 13482 HAS SOUPS 7723 WITH SCORE 7801.046
AT ITER 518 NEW BEST:: SOT 114694 SOS 78015 HAS SOPS 44883 HAS SOUS 13428 HAS SOUPS 7696 WITH SCORE 7774.015
AT ITER 521 NEW BEST:: SOT 114820 SOS 78057 HAS SOPS 44903 HAS SOUS 13336 HAS SOUPS 7626 WITH SCORE 7704.057
AT ITER 524 NEW BEST:: SOT 114866 SOS 77581 HAS SOPS 44427 HAS SOUS 13292 HAS SOUPS 7582 WITH SCORE 7659.581
AT ITER 529 NEW BEST:: SOT 114863 SOS 77576 HAS SOPS 44425 HAS SOUS 13290 HAS SOUPS 7581 WITH SCORE 7658.576
AT ITER 531 NEW BEST:: SOT 115019 SOS 77712 HAS SOPS 44567 HAS SOUS 13275 HAS SOUPS 7569 WITH SCORE 7646.712
AT ITER 535 NEW BEST:: SOT 115043 SOS 76359 HAS SOPS 43417 HAS SOUS 13251 HAS SOUPS 7568 WITH SCORE 7644.359
AT ITER 539 NEW BEST:: SOT 115028 SOS 76329 HAS SOPS 43417 HAS SOUS 13236 HAS SOUPS 7568 WITH SCORE 7644.329
AT ITER 540 NEW BEST:: SOT 114988 SOS 76257 HAS SOPS 43385 HAS SOUS 13220 HAS SOUPS 7560 WITH SCORE 7636.257
AT ITER 541 NEW BEST:: SOT 115008 SOS 75907 HAS SOPS 43125 HAS SOUS 13210 HAS SOUPS 7550 WITH SCORE 7625.907
AT ITER 547 NEW BEST:: SOT 114971 SOS 75878 HAS SOPS 43080 HAS SOUS 13193 HAS SOUPS 7537 WITH SCORE 7612.878
AT ITER 576 NEW BEST:: SOT 114531 SOS 74614 HAS SOPS 42329 HAS SOUS 13135 HAS SOUPS 7498 WITH SCORE 7572.614
AT ITER 583 NEW BEST:: SOT 114555 SOS 74638 HAS SOPS 42329 HAS SOUS 13126 HAS SOUPS 7493 WITH SCORE 7567.638
AT ITER 597 NEW BEST:: SOT 114618 SOS 73867 HAS SOPS 41770 HAS SOUS 13002 HAS SOUPS 7375 WITH SCORE 7448.867
AT ITER 599 NEW BEST:: SOT 114694 SOS 74155 HAS SOPS 42058 HAS SOUS 12968 HAS SOUPS 7341 WITH SCORE 7415.155
AT ITER 605 NEW BEST:: SOT 114616 SOS 74337 HAS SOPS 42175 HAS SOUS 12947 HAS SOUPS 7328 WITH SCORE 7402.337
AT ITER 606 NEW BEST:: SOT 114533 SOS 74177 HAS SOPS 42142 HAS SOUS 12910 HAS SOUPS 7311 WITH SCORE 7385.177
AT ITER 618 NEW BEST:: SOT 114533 SOS 74177 HAS SOPS 42142 HAS SOUS 12907 HAS SOUPS 7309 WITH SCORE 7383.177
AT ITER 623 NEW BEST:: SOT 114428 SOS 73982 HAS SOPS 42082 HAS SOUS 12862 HAS SOUPS 7279 WITH SCORE 7352.982
AT ITER 626 NEW BEST:: SOT 114500 SOS 74135 HAS SOPS 42127 HAS SOUS 12844 HAS SOUPS 7261 WITH SCORE 7335.135
AT ITER 637 NEW BEST:: SOT 114515 SOS 73759 HAS SOPS 41880 HAS SOUS 12815 HAS SOUPS 7232 WITH SCORE 7305.759
AT ITER 643 NEW BEST:: SOT 114514 SOS 73758 HAS SOPS 41880 HAS SOUS 12815 HAS SOUPS 7232 WITH SCORE 7305.758
AT ITER 652 NEW BEST:: SOT 114514 SOS 73758 HAS SOPS 41880 HAS SOUS 12796 HAS SOUPS 7230 WITH SCORE 7303.758
AT ITER 664 NEW BEST:: SOT 114444 SOS 73667 HAS SOPS 41824 HAS SOUS 12782 HAS SOUPS 7223 WITH SCORE 7296.667
AT ITER 683 NEW BEST:: SOT 114444 SOS 73748 HAS SOPS 41824 HAS SOUS 12773 HAS SOUPS 7205 WITH SCORE 7278.748
AT ITER 685 NEW BEST:: SOT 114496 SOS 73207 HAS SOPS 41715 HAS SOUS 12716 HAS SOUPS 7196 WITH SCORE 7269.207
AT ITER 693 NEW BEST:: SOT 114498 SOS 73208 HAS SOPS 41719 HAS SOUS 12707 HAS SOUPS 7192 WITH SCORE 7265.208
AT ITER 700 NEW BEST:: SOT 114389 SOS 74508 HAS SOPS 42539 HAS SOUS 12700 HAS SOUPS 7185 WITH SCORE 7259.508
AT ITER 714 NEW BEST:: SOT 114066 SOS 72952 HAS SOPS 41670 HAS SOUS 12670 HAS SOUPS 7152 WITH SCORE 7224.952
AT ITER 717 NEW BEST:: SOT 114039 SOS 72898 HAS SOPS 41616 HAS SOUS 12621 HAS SOUPS 7117 WITH SCORE 7189.898
AT ITER 719 NEW BEST:: SOT 114106 SOS 72671 HAS SOPS 41848 HAS SOUS 12536 HAS SOUPS 7083 WITH SCORE 7155.671
AT ITER 723 NEW BEST:: SOT 114093 SOS 72482 HAS SOPS 41659 HAS SOUS 12507 HAS SOUPS 7054 WITH SCORE 7126.482
AT ITER 727 NEW BEST:: SOT 113567 SOS 71994 HAS SOPS 41128 HAS SOUS 12454 HAS SOUPS 7047 WITH SCORE 7118.994
AT ITER 729 NEW BEST:: SOT 113111 SOS 71440 HAS SOPS 40790 HAS SOUS 12446 HAS SOUPS 7039 WITH SCORE 7110.44
AT ITER 760 NEW BEST:: SOT 113102 SOS 71341 HAS SOPS 40691 HAS SOUS 12437 HAS SOUPS 7030 WITH SCORE 7101.341
AT ITER 770 NEW BEST:: SOT 113120 SOS 71387 HAS SOPS 40691 HAS SOUS 12395 HAS SOUPS 7010 WITH SCORE 7081.387
AT ITER 786 NEW BEST:: SOT 113119 SOS 71375 HAS SOPS 40688 HAS SOUS 12393 HAS SOUPS 7009 WITH SCORE 7080.375
AT ITER 807 NEW BEST:: SOT 113360 SOS 71857 HAS SOPS 40866 HAS SOUS 12336 HAS SOUPS 6968 WITH SCORE 7039.857
AT ITER 827 NEW BEST:: SOT 113363 SOS 71875 HAS SOPS 40872 HAS SOUS 12336 HAS SOUPS 6965 WITH SCORE 7036.875
AT ITER 851 NEW BEST:: SOT 113126 SOS 71506 HAS SOPS 40730 HAS SOUS 12307 HAS SOUPS 6957 WITH SCORE 7028.506
AT ITER 853 NEW BEST:: SOT 113114 SOS 71494 HAS SOPS 40718 HAS SOUS 12307 HAS SOUPS 6957 WITH SCORE 7028.494
AT ITER 860 NEW BEST:: SOT 113142 SOS 71480 HAS SOPS 40718 HAS SOUS 12307 HAS SOUPS 6951 WITH SCORE 7022.48
AT ITER 898 NEW BEST:: SOT 113061 SOS 71408 HAS SOPS 40694 HAS SOUS 12235 HAS SOUPS 6870 WITH SCORE 6941.408
AT ITER 914 NEW BEST:: SOT 113030 SOS 71328 HAS SOPS 40663 HAS SOUS 12181 HAS SOUPS 6823 WITH SCORE 6894.328
AT ITER 945 NEW BEST:: SOT 112973 SOS 71214 HAS SOPS 40663 HAS SOUS 12126 HAS SOUPS 6823 WITH SCORE 6894.214
AT ITER 949 NEW BEST:: SOT 112391 SOS 70904 HAS SOPS 40445 HAS SOUS 12157 HAS SOUPS 6799 WITH SCORE 6869.904
AT ITER 953 NEW BEST:: SOT 111955 SOS 66125 HAS SOPS 36079 HAS SOUS 12066 HAS SOUPS 6724 WITH SCORE 6790.125
AT ITER 958 NEW BEST:: SOT 111923 SOS 66013 HAS SOPS 35967 HAS SOUS 12058 HAS SOUPS 6716 WITH SCORE 6782.013
AT ITER 969 NEW BEST:: SOT 111921 SOS 65991 HAS SOPS 35944 HAS SOUS 12054 HAS SOUPS 6712 WITH SCORE 6777.991
AT ITER 981 NEW BEST:: SOT 111877 SOS 65916 HAS SOPS 35921 HAS SOUS 12027 HAS SOUPS 6697 WITH SCORE 6762.916
AT ITER 989 NEW BEST:: SOT 112491 SOS 67376 HAS SOPS 37545 HAS SOUS 11938 HAS SOUPS 6676 WITH SCORE 6743.376
AT ITER 1012 NEW BEST:: SOT 112491 SOS 67376 HAS SOPS 37545 HAS SOUS 11932 HAS SOUPS 6672 WITH SCORE 6739.376
AT ITER 1022 NEW BEST:: SOT 112495 SOS 67298 HAS SOPS 37485 HAS SOUS 11929 HAS SOUPS 6671 WITH SCORE 6738.298
AT ITER 1023 NEW BEST:: SOT 112506 SOS 67269 HAS SOPS 37503 HAS SOUS 11916 HAS SOUPS 6664 WITH SCORE 6731.269
AT ITER 1024 NEW BEST:: SOT 112815 SOS 67499 HAS SOPS 37817 HAS SOUS 11904 HAS SOUPS 6640 WITH SCORE 6707.499
AT ITER 1029 NEW BEST:: SOT 113287 SOS 68535 HAS SOPS 37945 HAS SOUS 11940 HAS SOUPS 6601 WITH SCORE 6669.535
AT ITER 1074 NEW BEST:: SOT 113266 SOS 68526 HAS SOPS 37930 HAS SOUS 11928 HAS SOUPS 6585 WITH SCORE 6653.526
AT ITER 1077 NEW BEST:: SOT 113261 SOS 68408 HAS SOPS 37920 HAS SOUS 11911 HAS SOUPS 6580 WITH SCORE 6648.408
AT ITER 1099 NEW BEST:: SOT 113237 SOS 68464 HAS SOPS 37898 HAS SOUS 11887 HAS SOUPS 6556 WITH SCORE 6624.464
AT ITER 1132 NEW BEST:: SOT 113243 SOS 68392 HAS SOPS 37862 HAS SOUS 11885 HAS SOUPS 6554 WITH SCORE 6622.392
AT ITER 1133 NEW BEST:: SOT 113108 SOS 68029 HAS SOPS 37679 HAS SOUS 11870 HAS SOUPS 6551 WITH SCORE 6619.029
AT ITER 1167 NEW BEST:: SOT 113090 SOS 67990 HAS SOPS 37616 HAS SOUS 11865 HAS SOUPS 6540 WITH SCORE 6607.99
AT ITER 1172 NEW BEST:: SOT 113122 SOS 68149 HAS SOPS 37661 HAS SOUS 11878 HAS SOUPS 6534 WITH SCORE 6602.149
AT ITER 1191 NEW BEST:: SOT 113103 SOS 68130 HAS SOPS 37661 HAS SOUS 11878 HAS SOUPS 6534 WITH SCORE 6602.13
AT ITER 1210 NEW BEST:: SOT 113102 SOS 68089 HAS SOPS 37602 HAS SOUS 11880 HAS SOUPS 6533 WITH SCORE 6601.089
AT ITER 1216 NEW BEST:: SOT 112451 SOS 67015 HAS SOPS 37155 HAS SOUS 11792 HAS SOUPS 6502 WITH SCORE 6569.015
AT ITER 1225 NEW BEST:: SOT 112417 SOS 67015 HAS SOPS 37002 HAS SOUS 11792 HAS SOUPS 6485 WITH SCORE 6552.015
AT ITER 1228 NEW BEST:: SOT 112365 SOS 66755 HAS SOPS 36976 HAS SOUS 11740 HAS SOUPS 6459 WITH SCORE 6525.755
AT ITER 1233 NEW BEST:: SOT 112417 SOS 66722 HAS SOPS 36872 HAS SOUS 11725 HAS SOUPS 6428 WITH SCORE 6494.722
AT ITER 1252 NEW BEST:: SOT 112416 SOS 66730 HAS SOPS 36880 HAS SOUS 11724 HAS SOUPS 6427 WITH SCORE 6493.73
AT ITER 1268 NEW BEST:: SOT 112415 SOS 66647 HAS SOPS 36798 HAS SOUS 11723 HAS SOUPS 6426 WITH SCORE 6492.647
AT ITER 1276 NEW BEST:: SOT 112406 SOS 66632 HAS SOPS 36792 HAS SOUS 11717 HAS SOUPS 6423 WITH SCORE 6489.632
AT ITER 1318 NEW BEST:: SOT 112408 SOS 66642 HAS SOPS 36793 HAS SOUS 11717 HAS SOUPS 6422 WITH SCORE 6488.642
AT ITER 1347 NEW BEST:: SOT 112404 SOS 66614 HAS SOPS 36789 HAS SOUS 11709 HAS SOUPS 6418 WITH SCORE 6484.614
AT ITER 1350 NEW BEST:: SOT 112364 SOS 66544 HAS SOPS 36764 HAS SOUS 11709 HAS SOUPS 6418 WITH SCORE 6484.544
AT ITER 1353 NEW BEST:: SOT 112364 SOS 66535 HAS SOPS 36755 HAS SOUS 11709 HAS SOUPS 6418 WITH SCORE 6484.535
AT ITER 1367 NEW BEST:: SOT 112359 SOS 66465 HAS SOPS 36733 HAS SOUS 11707 HAS SOUPS 6416 WITH SCORE 6482.465
AT ITER 1368 NEW BEST:: SOT 112272 SOS 66571 HAS SOPS 36679 HAS SOUS 11705 HAS SOUPS 6394 WITH SCORE 6460.571
AT ITER 1370 NEW BEST:: SOT 112292 SOS 66515 HAS SOPS 36731 HAS SOUS 11680 HAS SOUPS 6386 WITH SCORE 6452.515
AT ITER 1376 NEW BEST:: SOT 112205 SOS 66189 HAS SOPS 36517 HAS SOUS 11666 HAS SOUPS 6372 WITH SCORE 6438.189
AT ITER 1380 NEW BEST:: SOT 112196 SOS 66174 HAS SOPS 36511 HAS SOUS 11660 HAS SOUPS 6369 WITH SCORE 6435.174
AT ITER 1384 NEW BEST:: SOT 112182 SOS 66173 HAS SOPS 36513 HAS SOUS 11663 HAS SOUPS 6369 WITH SCORE 6435.173
AT ITER 1385 NEW BEST:: SOT 112192 SOS 66184 HAS SOPS 36518 HAS SOUS 11660 HAS SOUPS 6366 WITH SCORE 6432.184
AT ITER 1403 NEW BEST:: SOT 112049 SOS 66030 HAS SOPS 36419 HAS SOUS 11649 HAS SOUPS 6355 WITH SCORE 6421.03
AT ITER 1415 NEW BEST:: SOT 112162 SOS 66149 HAS SOPS 36478 HAS SOUS 11639 HAS SOUPS 6345 WITH SCORE 6411.149
AT ITER 1417 NEW BEST:: SOT 112166 SOS 66231 HAS SOPS 36470 HAS SOUS 11641 HAS SOUPS 6299 WITH SCORE 6365.231
AT ITER 1423 NEW BEST:: SOT 112136 SOS 65901 HAS SOPS 36275 HAS SOUS 11611 HAS SOUPS 6284 WITH SCORE 6349.901
AT ITER 1486 NEW BEST:: SOT 112136 SOS 65901 HAS SOPS 36275 HAS SOUS 11584 HAS SOUPS 6266 WITH SCORE 6331.901
AT ITER 1500 NEW BEST:: SOT 112130 SOS 65895 HAS SOPS 36269 HAS SOUS 11584 HAS SOUPS 6266 WITH SCORE 6331.895
AT ITER 1512 NEW BEST:: SOT 112146 SOS 65711 HAS SOPS 36157 HAS SOUS 11567 HAS SOUPS 6249 WITH SCORE 6314.711
AT ITER 1515 NEW BEST:: SOT 112134 SOS 65681 HAS SOPS 36151 HAS SOUS 11567 HAS SOUPS 6249 WITH SCORE 6314.681
AT ITER 1524 NEW BEST:: SOT 112134 SOS 65681 HAS SOPS 36151 HAS SOUS 11549 HAS SOUPS 6239 WITH SCORE 6304.681
AT ITER 1525 NEW BEST:: SOT 112134 SOS 65681 HAS SOPS 36151 HAS SOUS 11540 HAS SOUPS 6234 WITH SCORE 6299.681
AT ITER 1538 NEW BEST:: SOT 112131 SOS 65676 HAS SOPS 36149 HAS SOUS 11538 HAS SOUPS 6233 WITH SCORE 6298.676
AT ITER 1541 NEW BEST:: SOT 111993 SOS 65538 HAS SOPS 36011 HAS SOUS 11538 HAS SOUPS 6233 WITH SCORE 6298.538
AT ITER 1550 NEW BEST:: SOT 111958 SOS 65451 HAS SOPS 35949 HAS SOUS 11523 HAS SOUPS 6218 WITH SCORE 6283.451
AT ITER 1564 NEW BEST:: SOT 111950 SOS 65411 HAS SOPS 35929 HAS SOUS 11511 HAS SOUPS 6210 WITH SCORE 6275.411
AT ITER 1566 NEW BEST:: SOT 111896 SOS 64598 HAS SOPS 35452 HAS SOUS 11479 HAS SOUPS 6199 WITH SCORE 6263.598
AT ITER 1573 NEW BEST:: SOT 111157 SOS 63467 HAS SOPS 34981 HAS SOUS 11384 HAS SOUPS 6154 WITH SCORE 6217.467
AT ITER 1583 NEW BEST:: SOT 111180 SOS 62834 HAS SOPS 34348 HAS SOUS 11384 HAS SOUPS 6154 WITH SCORE 6216.834
AT ITER 1585 NEW BEST:: SOT 111169 SOS 62852 HAS SOPS 34342 HAS SOUS 11379 HAS SOUPS 6149 WITH SCORE 6211.852
AT ITER 1631 NEW BEST:: SOT 111157 SOS 62867 HAS SOPS 34336 HAS SOUS 11370 HAS SOUPS 6140 WITH SCORE 6202.867
AT ITER 1647 NEW BEST:: SOT 111157 SOS 62813 HAS SOPS 34336 HAS SOUS 11364 HAS SOUPS 6140 WITH SCORE 6202.813
AT ITER 1648 NEW BEST:: SOT 111152 SOS 62803 HAS SOPS 34281 HAS SOUS 11364 HAS SOUPS 6135 WITH SCORE 6197.803
AT ITER 1659 NEW BEST:: SOT 111150 SOS 62801 HAS SOPS 34281 HAS SOUS 11364 HAS SOUPS 6135 WITH SCORE 6197.801
AT ITER 1674 NEW BEST:: SOT 111144 SOS 62932 HAS SOPS 34412 HAS SOUS 11358 HAS SOUPS 6129 WITH SCORE 6191.932
AT ITER 1685 NEW BEST:: SOT 111151 SOS 62916 HAS SOPS 34402 HAS SOUS 11359 HAS SOUPS 6129 WITH SCORE 6191.916
AT ITER 1694 NEW BEST:: SOT 111107 SOS 63143 HAS SOPS 34389 HAS SOUS 11357 HAS SOUPS 6112 WITH SCORE 6175.143
AT ITER 1696 NEW BEST:: SOT 111120 SOS 63156 HAS SOPS 34384 HAS SOUS 11356 HAS SOUPS 6111 WITH SCORE 6174.156
AT ITER 1721 NEW BEST:: SOT 111135 SOS 63199 HAS SOPS 34402 HAS SOUS 11351 HAS SOUPS 6106 WITH SCORE 6169.199
AT ITER 1741 NEW BEST:: SOT 111136 SOS 63188 HAS SOPS 34394 HAS SOUS 11351 HAS SOUPS 6106 WITH SCORE 6169.188
AT ITER 1744 NEW BEST:: SOT 111123 SOS 63141 HAS SOPS 34364 HAS SOUS 11339 HAS SOUPS 6103 WITH SCORE 6166.141
AT ITER 1745 NEW BEST:: SOT 111129 SOS 63159 HAS SOPS 34382 HAS SOUS 11338 HAS SOUPS 6102 WITH SCORE 6165.159
AT ITER 1756 NEW BEST:: SOT 111125 SOS 63171 HAS SOPS 34376 HAS SOUS 11335 HAS SOUPS 6097 WITH SCORE 6160.171
AT ITER 1765 NEW BEST:: SOT 110691 SOS 61965 HAS SOPS 33736 HAS SOUS 11299 HAS SOUPS 6082 WITH SCORE 6143.965
AT ITER 1791 NEW BEST:: SOT 110453 SOS 58597 HAS SOPS 30657 HAS SOUS 11338 HAS SOUPS 6082 WITH SCORE 6140.597
AT ITER 1804 NEW BEST:: SOT 110431 SOS 58582 HAS SOPS 30647 HAS SOUS 11323 HAS SOUPS 6072 WITH SCORE 6130.582
AT ITER 1825 NEW BEST:: SOT 110431 SOS 58586 HAS SOPS 30646 HAS SOUS 11323 HAS SOUPS 6071 WITH SCORE 6129.586
AT ITER 1831 NEW BEST:: SOT 110431 SOS 58584 HAS SOPS 30626 HAS SOUS 11325 HAS SOUPS 6071 WITH SCORE 6129.584
AT ITER 1832 NEW BEST:: SOT 110299 SOS 58232 HAS SOPS 30428 HAS SOUS 11292 HAS SOUPS 6049 WITH SCORE 6107.232
AT ITER 1848 NEW BEST:: SOT 110287 SOS 58210 HAS SOPS 30411 HAS SOUS 11291 HAS SOUPS 6048 WITH SCORE 6106.21
AT ITER 1855 NEW BEST:: SOT 110263 SOS 58174 HAS SOPS 30399 HAS SOUS 11289 HAS SOUPS 6048 WITH SCORE 6106.174
AT ITER 1863 NEW BEST:: SOT 110561 SOS 58195 HAS SOPS 30688 HAS SOUS 11244 HAS SOUPS 6033 WITH SCORE 6091.195
AT ITER 1869 NEW BEST:: SOT 110556 SOS 58191 HAS SOPS 30682 HAS SOUS 11245 HAS SOUPS 6033 WITH SCORE 6091.191
AT ITER 1878 NEW BEST:: SOT 110386 SOS 57409 HAS SOPS 29957 HAS SOUS 11277 HAS SOUPS 6024 WITH SCORE 6081.409
AT ITER 1880 NEW BEST:: SOT 110381 SOS 57405 HAS SOPS 29947 HAS SOUS 11273 HAS SOUPS 6019 WITH SCORE 6076.405
AT ITER 1884 NEW BEST:: SOT 110381 SOS 57405 HAS SOPS 29947 HAS SOUS 11253 HAS SOUPS 5999 WITH SCORE 6056.405
AT ITER 1898 NEW BEST:: SOT 110361 SOS 57341 HAS SOPS 29883 HAS SOUS 11245 HAS SOUPS 5991 WITH SCORE 6048.341
AT ITER 1921 NEW BEST:: SOT 110389 SOS 57379 HAS SOPS 29883 HAS SOUS 11235 HAS SOUPS 5981 WITH SCORE 6038.379
AT ITER 1923 NEW BEST:: SOT 110405 SOS 57174 HAS SOPS 29813 HAS SOUS 11212 HAS SOUPS 5973 WITH SCORE 6030.174
AT ITER 1925 NEW BEST:: SOT 110268 SOS 56921 HAS SOPS 29716 HAS SOUS 11192 HAS SOUPS 5972 WITH SCORE 6028.921
AT ITER 1974 NEW BEST:: SOT 110265 SOS 56779 HAS SOPS 29636 HAS SOUS 11190 HAS SOUPS 5970 WITH SCORE 6026.779
AT ITER 2009 NEW BEST:: SOT 110278 SOS 56915 HAS SOPS 29673 HAS SOUS 11200 HAS SOUPS 5969 WITH SCORE 6025.915
AT ITER 2011 NEW BEST:: SOT 110174 SOS 56707 HAS SOPS 29673 HAS SOUS 11159 HAS SOUPS 5969 WITH SCORE 6025.707
AT ITER 2013 NEW BEST:: SOT 110808 SOS 54963 HAS SOPS 28653 HAS SOUS 10888 HAS SOUPS 5834 WITH SCORE 5888.963
AT ITER 2023 NEW BEST:: SOT 110796 SOS 54959 HAS SOPS 28638 HAS SOUS 10883 HAS SOUPS 5829 WITH SCORE 5883.959
AT ITER 2044 NEW BEST:: SOT 110460 SOS 54623 HAS SOPS 28302 HAS SOUS 10883 HAS SOUPS 5829 WITH SCORE 5883.623
AT ITER 2048 NEW BEST:: SOT 110460 SOS 54607 HAS SOPS 28266 HAS SOUS 10867 HAS SOUPS 5813 WITH SCORE 5867.607
AT ITER 2059 NEW BEST:: SOT 110463 SOS 54608 HAS SOPS 28271 HAS SOUS 10865 HAS SOUPS 5812 WITH SCORE 5866.608
AT ITER 2069 NEW BEST:: SOT 110315 SOS 54228 HAS SOPS 28071 HAS SOUS 10837 HAS SOUPS 5796 WITH SCORE 5850.228
AT ITER 2072 NEW BEST:: SOT 110238 SOS 54109 HAS SOPS 28029 HAS SOUS 10821 HAS SOUPS 5791 WITH SCORE 5845.109
AT ITER 2088 NEW BEST:: SOT 110224 SOS 54095 HAS SOPS 28008 HAS SOUS 10800 HAS SOUPS 5770 WITH SCORE 5824.095
AT ITER 2092 NEW BEST:: SOT 110200 SOS 54073 HAS SOPS 27994 HAS SOUS 10787 HAS SOUPS 5756 WITH SCORE 5810.073
AT ITER 2096 NEW BEST:: SOT 110068 SOS 53831 HAS SOPS 27917 HAS SOUS 10765 HAS SOUPS 5745 WITH SCORE 5798.831
AT ITER 2109 NEW BEST:: SOT 109934 SOS 53549 HAS SOPS 27754 HAS SOUS 10680 HAS SOUPS 5692 WITH SCORE 5745.549
AT ITER 2110 NEW BEST:: SOT 109920 SOS 53507 HAS SOPS 27684 HAS SOUS 10680 HAS SOUPS 5685 WITH SCORE 5738.507
AT ITER 2148 NEW BEST:: SOT 109909 SOS 53486 HAS SOPS 27667 HAS SOUS 10680 HAS SOUPS 5685 WITH SCORE 5738.486
AT ITER 2156 NEW BEST:: SOT 109729 SOS 53156 HAS SOPS 27562 HAS SOUS 10659 HAS SOUPS 5679 WITH SCORE 5732.156
AT ITER 2168 NEW BEST:: SOT 109729 SOS 53155 HAS SOPS 27561 HAS SOUS 10658 HAS SOUPS 5678 WITH SCORE 5731.155
AT ITER 2233 NEW BEST:: SOT 110245 SOS 54179 HAS SOPS 27874 HAS SOUS 10703 HAS SOUPS 5668 WITH SCORE 5722.179
AT ITER 2239 NEW BEST:: SOT 110568 SOS 54386 HAS SOPS 28107 HAS SOUS 10653 HAS SOUPS 5649 WITH SCORE 5703.386
AT ITER 2262 NEW BEST:: SOT 110508 SOS 54422 HAS SOPS 28117 HAS SOUS 10660 HAS SOUPS 5621 WITH SCORE 5675.422
AT ITER 2297 NEW BEST:: SOT 110482 SOS 54385 HAS SOPS 28110 HAS SOUS 10637 HAS SOUPS 5598 WITH SCORE 5652.385
AT ITER 2335 NEW BEST:: SOT 110482 SOS 54385 HAS SOPS 28110 HAS SOUS 10631 HAS SOUPS 5594 WITH SCORE 5648.385
AT ITER 2354 NEW BEST:: SOT 110686 SOS 54742 HAS SOPS 28212 HAS SOUS 10628 HAS SOUPS 5564 WITH SCORE 5618.742
AT ITER 2357 NEW BEST:: SOT 110659 SOS 54678 HAS SOPS 28158 HAS SOUS 10603 HAS SOUPS 5539 WITH SCORE 5593.678
AT ITER 2368 NEW BEST:: SOT 110779 SOS 54858 HAS SOPS 28218 HAS SOUS 10611 HAS SOUPS 5537 WITH SCORE 5591.858
AT ITER 2418 NEW BEST:: SOT 110771 SOS 54842 HAS SOPS 28213 HAS SOUS 10608 HAS SOUPS 5535 WITH SCORE 5589.842
AT ITER 2438 NEW BEST:: SOT 110727 SOS 55216 HAS SOPS 28510 HAS SOUS 10586 HAS SOUPS 5513 WITH SCORE 5568.216
AT ITER 2464 NEW BEST:: SOT 110443 SOS 54928 HAS SOPS 28270 HAS SOUS 10582 HAS SOUPS 5513 WITH SCORE 5567.928
AT ITER 2483 NEW BEST:: SOT 110444 SOS 54929 HAS SOPS 28271 HAS SOUS 10580 HAS SOUPS 5511 WITH SCORE 5565.929
AT ITER 2486 NEW BEST:: SOT 110438 SOS 54893 HAS SOPS 28275 HAS SOUS 10576 HAS SOUPS 5511 WITH SCORE 5565.893
AT ITER 2490 NEW BEST:: SOT 110294 SOS 54893 HAS SOPS 28083 HAS SOUS 10597 HAS SOUPS 5496 WITH SCORE 5550.893
AT ITER 2499 NEW BEST:: SOT 110228 SOS 54827 HAS SOPS 28017 HAS SOUS 10597 HAS SOUPS 5496 WITH SCORE 5550.827
AT ITER 2545 NEW BEST:: SOT 110267 SOS 54904 HAS SOPS 28028 HAS SOUS 10606 HAS SOUPS 5491 WITH SCORE 5545.904
AT ITER 2577 NEW BEST:: SOT 110227 SOS 54872 HAS SOPS 28000 HAS SOUS 10606 HAS SOUPS 5487 WITH SCORE 5541.872
AT ITER 2583 NEW BEST:: SOT 110227 SOS 54872 HAS SOPS 28000 HAS SOUS 10588 HAS SOUPS 5477 WITH SCORE 5531.872
AT ITER 2595 NEW BEST:: SOT 110187 SOS 54948 HAS SOPS 27964 HAS SOUS 10593 HAS SOUPS 5468 WITH SCORE 5522.948
AT ITER 2624 NEW BEST:: SOT 110189 SOS 54911 HAS SOPS 27924 HAS SOUS 10593 HAS SOUPS 5467 WITH SCORE 5521.911
AT ITER 2663 NEW BEST:: SOT 109868 SOS 54130 HAS SOPS 27293 HAS SOUS 10572 HAS SOUPS 5446 WITH SCORE 5500.13
AT ITER 2685 NEW BEST:: SOT 109866 SOS 54128 HAS SOPS 27291 HAS SOUS 10572 HAS SOUPS 5446 WITH SCORE 5500.128
AT ITER 2697 NEW BEST:: SOT 109251 SOS 53273 HAS SOPS 26918 HAS SOUS 10511 HAS SOUPS 5446 WITH SCORE 5499.273
AT ITER 2724 NEW BEST:: SOT 109242 SOS 53256 HAS SOPS 26910 HAS SOUS 10509 HAS SOUPS 5444 WITH SCORE 5497.256
AT ITER 2729 NEW BEST:: SOT 109242 SOS 53256 HAS SOPS 26910 HAS SOUS 10500 HAS SOUPS 5439 WITH SCORE 5492.256
AT ITER 2732 NEW BEST:: SOT 109147 SOS 53116 HAS SOPS 26840 HAS SOUS 10485 HAS SOUPS 5424 WITH SCORE 5477.116
AT ITER 2733 NEW BEST:: SOT 109328 SOS 53487 HAS SOPS 26945 HAS SOUS 10499 HAS SOUPS 5419 WITH SCORE 5472.487
AT ITER 2736 NEW BEST:: SOT 109326 SOS 53506 HAS SOPS 26955 HAS SOUS 10499 HAS SOUPS 5418 WITH SCORE 5471.506
AT ITER 2740 NEW BEST:: SOT 109103 SOS 53206 HAS SOPS 26735 HAS SOUS 10483 HAS SOUPS 5401 WITH SCORE 5454.206
AT ITER 2760 NEW BEST:: SOT 109081 SOS 53202 HAS SOPS 26721 HAS SOUS 10487 HAS SOUPS 5399 WITH SCORE 5452.202
AT ITER 2764 NEW BEST:: SOT 109019 SOS 53150 HAS SOPS 26677 HAS SOUS 10490 HAS SOUPS 5394 WITH SCORE 5447.15
AT ITER 2771 NEW BEST:: SOT 108793 SOS 52842 HAS SOPS 26483 HAS SOUS 10468 HAS SOUPS 5372 WITH SCORE 5424.842
AT ITER 2776 NEW BEST:: SOT 108785 SOS 52780 HAS SOPS 26411 HAS SOUS 10426 HAS SOUPS 5330 WITH SCORE 5382.78
AT ITER 2809 NEW BEST:: SOT 108785 SOS 52762 HAS SOPS 26411 HAS SOUS 10424 HAS SOUPS 5330 WITH SCORE 5382.762
AT ITER 2814 NEW BEST:: SOT 108784 SOS 52751 HAS SOPS 26400 HAS SOUS 10420 HAS SOUPS 5326 WITH SCORE 5378.751
AT ITER 2830 NEW BEST:: SOT 108739 SOS 52706 HAS SOPS 26380 HAS SOUS 10404 HAS SOUPS 5326 WITH SCORE 5378.706
AT ITER 2877 NEW BEST:: SOT 108739 SOS 52680 HAS SOPS 26380 HAS SOUS 10404 HAS SOUPS 5326 WITH SCORE 5378.68
AT ITER 2898 NEW BEST:: SOT 108807 SOS 52816 HAS SOPS 26507 HAS SOUS 10392 HAS SOUPS 5323 WITH SCORE 5375.816
AT ITER 2951 NEW BEST:: SOT 108830 SOS 52850 HAS SOPS 26538 HAS SOUS 10388 HAS SOUPS 5322 WITH SCORE 5374.85
AT ITER 3004 NEW BEST:: SOT 108855 SOS 52904 HAS SOPS 26555 HAS SOUS 10389 HAS SOUPS 5321 WITH SCORE 5373.904
AT ITER 3005 NEW BEST:: SOT 108879 SOS 52922 HAS SOPS 26585 HAS SOUS 10361 HAS SOUPS 5315 WITH SCORE 5367.922
AT ITER 3008 NEW BEST:: SOT 108872 SOS 52887 HAS SOPS 26550 HAS SOUS 10353 HAS SOUPS 5307 WITH SCORE 5359.887
AT ITER 3038 NEW BEST:: SOT 108968 SOS 53063 HAS SOPS 26606 HAS SOUS 10357 HAS SOUPS 5303 WITH SCORE 5356.063
AT ITER 3091 NEW BEST:: SOT 108932 SOS 53006 HAS SOPS 26582 HAS SOUS 10354 HAS SOUPS 5303 WITH SCORE 5356.006
AT ITER 3107 NEW BEST:: SOT 108857 SOS 52472 HAS SOPS 26156 HAS SOUS 10340 HAS SOUPS 5289 WITH SCORE 5341.472
AT ITER 3114 NEW BEST:: SOT 108855 SOS 52450 HAS SOPS 26152 HAS SOUS 10336 HAS SOUPS 5287 WITH SCORE 5339.45
AT ITER 3116 NEW BEST:: SOT 108915 SOS 52540 HAS SOPS 26182 HAS SOUS 10331 HAS SOUPS 5277 WITH SCORE 5329.54
AT ITER 3175 NEW BEST:: SOT 109388 SOS 53228 HAS SOPS 26440 HAS SOUS 10245 HAS SOUPS 5191 WITH SCORE 5244.228
AT ITER 3220 NEW BEST:: SOT 109421 SOS 53261 HAS SOPS 26458 HAS SOUS 10244 HAS SOUPS 5190 WITH SCORE 5243.261
AT ITER 3229 NEW BEST:: SOT 109409 SOS 53189 HAS SOPS 26446 HAS SOUS 10220 HAS SOUPS 5178 WITH SCORE 5231.189
AT ITER 3234 NEW BEST:: SOT 109407 SOS 53037 HAS SOPS 26366 HAS SOUS 10210 HAS SOUPS 5172 WITH SCORE 5225.037
AT ITER 3246 NEW BEST:: SOT 109411 SOS 53036 HAS SOPS 26362 HAS SOUS 10210 HAS SOUPS 5172 WITH SCORE 5225.036
AT ITER 3287 NEW BEST:: SOT 109328 SOS 52905 HAS SOPS 26308 HAS SOUS 10197 HAS SOUPS 5166 WITH SCORE 5218.905
AT ITER 3301 NEW BEST:: SOT 109372 SOS 52841 HAS SOPS 26332 HAS SOUS 10185 HAS SOUPS 5166 WITH SCORE 5218.841
AT ITER 3354 NEW BEST:: SOT 109318 SOS 52787 HAS SOPS 26332 HAS SOUS 10183 HAS SOUPS 5164 WITH SCORE 5216.787
AT ITER 3366 NEW BEST:: SOT 109310 SOS 52779 HAS SOPS 26324 HAS SOUS 10181 HAS SOUPS 5162 WITH SCORE 5214.779
AT ITER 3368 NEW BEST:: SOT 109199 SOS 52847 HAS SOPS 26395 HAS SOUS 10082 HAS SOUPS 5152 WITH SCORE 5204.847
AT ITER 3417 NEW BEST:: SOT 109199 SOS 52847 HAS SOPS 26395 HAS SOUS 10046 HAS SOUPS 5132 WITH SCORE 5184.847
AT ITER 3428 NEW BEST:: SOT 109199 SOS 52847 HAS SOPS 26395 HAS SOUS 10042 HAS SOUPS 5128 WITH SCORE 5180.847
AT ITER 3443 NEW BEST:: SOT 109199 SOS 52847 HAS SOPS 26395 HAS SOUS 10006 HAS SOUPS 5108 WITH SCORE 5160.847
AT ITER 3458 NEW BEST:: SOT 109220 SOS 52889 HAS SOPS 26402 HAS SOUS 10006 HAS SOUPS 5101 WITH SCORE 5153.889
AT ITER 3460 NEW BEST:: SOT 109220 SOS 52889 HAS SOPS 26402 HAS SOUS 10004 HAS SOUPS 5099 WITH SCORE 5151.889
AT ITER 3485 NEW BEST:: SOT 109209 SOS 52692 HAS SOPS 26206 HAS SOUS 10004 HAS SOUPS 5099 WITH SCORE 5151.692
AT ITER 3515 NEW BEST:: SOT 109191 SOS 52674 HAS SOPS 26188 HAS SOUS 9989 HAS SOUPS 5091 WITH SCORE 5143.674
AT ITER 3578 NEW BEST:: SOT 109191 SOS 52668 HAS SOPS 26188 HAS SOUS 9988 HAS SOUPS 5091 WITH SCORE 5143.668
AT ITER 3607 NEW BEST:: SOT 109190 SOS 52666 HAS SOPS 26046 HAS SOUS 10001 HAS SOUPS 5090 WITH SCORE 5142.666
AT ITER 3634 NEW BEST:: SOT 109163 SOS 52609 HAS SOPS 26028 HAS SOUS 9998 HAS SOUPS 5090 WITH SCORE 5142.609
AT ITER 3646 NEW BEST:: SOT 109155 SOS 52637 HAS SOPS 26020 HAS SOUS 9998 HAS SOUPS 5086 WITH SCORE 5138.637
AT ITER 3673 NEW BEST:: SOT 109149 SOS 52631 HAS SOPS 26020 HAS SOUS 9998 HAS SOUPS 5086 WITH SCORE 5138.631
AT ITER 3677 NEW BEST:: SOT 109169 SOS 52672 HAS SOPS 26039 HAS SOUS 9987 HAS SOUPS 5075 WITH SCORE 5127.672
AT ITER 3711 NEW BEST:: SOT 109201 SOS 52376 HAS SOPS 25719 HAS SOUS 9995 HAS SOUPS 5067 WITH SCORE 5119.376
AT ITER 3715 NEW BEST:: SOT 109201 SOS 52376 HAS SOPS 25719 HAS SOUS 9992 HAS SOUPS 5065 WITH SCORE 5117.376
AT ITER 3728 NEW BEST:: SOT 109223 SOS 52186 HAS SOPS 25763 HAS SOUS 9966 HAS SOUPS 5065 WITH SCORE 5117.186
AT ITER 3773 NEW BEST:: SOT 109195 SOS 52126 HAS SOPS 25743 HAS SOUS 9934 HAS SOUPS 5053 WITH SCORE 5105.126
AT ITER 3820 NEW BEST:: SOT 109097 SOS 52028 HAS SOPS 25659 HAS SOUS 9934 HAS SOUPS 5053 WITH SCORE 5105.028
AT ITER 3851 NEW BEST:: SOT 109085 SOS 52016 HAS SOPS 25647 HAS SOUS 9934 HAS SOUPS 5053 WITH SCORE 5105.016
AT ITER 3858 NEW BEST:: SOT 108795 SOS 51279 HAS SOPS 25273 HAS SOUS 9909 HAS SOUPS 5045 WITH SCORE 5096.279
AT ITER 3902 NEW BEST:: SOT 108751 SOS 51217 HAS SOPS 25195 HAS SOUS 9914 HAS SOUPS 5043 WITH SCORE 5094.217
AT ITER 3926 NEW BEST:: SOT 108751 SOS 51297 HAS SOPS 25203 HAS SOUS 9921 HAS SOUPS 5042 WITH SCORE 5093.297
AT ITER 3942 NEW BEST:: SOT 108757 SOS 51309 HAS SOPS 25207 HAS SOUS 9905 HAS SOUPS 5032 WITH SCORE 5083.309
AT ITER 3949 NEW BEST:: SOT 108778 SOS 51316 HAS SOPS 25232 HAS SOUS 9892 HAS SOUPS 5022 WITH SCORE 5073.316
AT ITER 3962 NEW BEST:: SOT 108789 SOS 51312 HAS SOPS 25212 HAS SOUS 9894 HAS SOUPS 5019 WITH SCORE 5070.312
AT ITER 3980 NEW BEST:: SOT 108799 SOS 51360 HAS SOPS 25188 HAS SOUS 9894 HAS SOUPS 5009 WITH SCORE 5060.36
AT ITER 3993 NEW BEST:: SOT 108779 SOS 51330 HAS SOPS 25172 HAS SOUS 9890 HAS SOUPS 5005 WITH SCORE 5056.33
AT ITER 3997 NEW BEST:: SOT 108760 SOS 51311 HAS SOPS 25172 HAS SOUS 9890 HAS SOUPS 5005 WITH SCORE 5056.311
AT ITER 3998 NEW BEST:: SOT 108712 SOS 51227 HAS SOPS 25148 HAS SOUS 9878 HAS SOUPS 5005 WITH SCORE 5056.227
AT ITER 4030 NEW BEST:: SOT 108739 SOS 51231 HAS SOPS 25147 HAS SOUS 9883 HAS SOUPS 5004 WITH SCORE 5055.231
AT ITER 4059 NEW BEST:: SOT 108858 SOS 51436 HAS SOPS 25200 HAS SOUS 9910 HAS SOUPS 5002 WITH SCORE 5053.436
AT ITER 4087 NEW BEST:: SOT 108854 SOS 51428 HAS SOPS 25196 HAS SOUS 9902 HAS SOUPS 4996 WITH SCORE 5047.428
AT ITER 4090 NEW BEST:: SOT 108854 SOS 51428 HAS SOPS 25196 HAS SOUS 9899 HAS SOUPS 4994 WITH SCORE 5045.428
AT ITER 4162 NEW BEST:: SOT 108848 SOS 51444 HAS SOPS 25167 HAS SOUS 9903 HAS SOUPS 4993 WITH SCORE 5044.444
AT ITER 4242 NEW BEST:: SOT 108836 SOS 51432 HAS SOPS 25155 HAS SOUS 9885 HAS SOUPS 4983 WITH SCORE 5034.432
AT ITER 4302 NEW BEST:: SOT 108875 SOS 51320 HAS SOPS 25046 HAS SOUS 9877 HAS SOUPS 4943 WITH SCORE 4994.32
AT ITER 4332 NEW BEST:: SOT 108877 SOS 51322 HAS SOPS 25046 HAS SOUS 9863 HAS SOUPS 4937 WITH SCORE 4988.322
AT ITER 4350 NEW BEST:: SOT 108870 SOS 51315 HAS SOPS 25046 HAS SOUS 9863 HAS SOUPS 4937 WITH SCORE 4988.315
AT ITER 4364 NEW BEST:: SOT 108373 SOS 50312 HAS SOPS 24735 HAS SOUS 9825 HAS SOUPS 4932 WITH SCORE 4982.312
AT ITER 4381 NEW BEST:: SOT 108356 SOS 50213 HAS SOPS 24601 HAS SOUS 9793 HAS SOUPS 4900 WITH SCORE 4950.213
AT ITER 4384 NEW BEST:: SOT 108361 SOS 50258 HAS SOPS 24596 HAS SOUS 9788 HAS SOUPS 4890 WITH SCORE 4940.258
AT ITER 4400 NEW BEST:: SOT 108361 SOS 50258 HAS SOPS 24596 HAS SOUS 9780 HAS SOUPS 4882 WITH SCORE 4932.258
AT ITER 4423 NEW BEST:: SOT 108351 SOS 50238 HAS SOPS 24590 HAS SOUS 9779 HAS SOUPS 4882 WITH SCORE 4932.238
AT ITER 4428 NEW BEST:: SOT 108173 SOS 49931 HAS SOPS 24373 HAS SOUS 9778 HAS SOUPS 4881 WITH SCORE 4930.931
AT ITER 4443 NEW BEST:: SOT 108173 SOS 49931 HAS SOPS 24373 HAS SOUS 9760 HAS SOUPS 4871 WITH SCORE 4920.931
AT ITER 4445 NEW BEST:: SOT 108170 SOS 49928 HAS SOPS 24373 HAS SOUS 9760 HAS SOUPS 4871 WITH SCORE 4920.928
AT ITER 4460 NEW BEST:: SOT 108164 SOS 49895 HAS SOPS 24340 HAS SOUS 9760 HAS SOUPS 4871 WITH SCORE 4920.895
AT ITER 4475 NEW BEST:: SOT 108144 SOS 49867 HAS SOPS 24324 HAS SOUS 9756 HAS SOUPS 4867 WITH SCORE 4916.867
AT ITER 4487 NEW BEST:: SOT 108121 SOS 49839 HAS SOPS 24134 HAS SOUS 9769 HAS SOUPS 4862 WITH SCORE 4911.839
AT ITER 4511 NEW BEST:: SOT 108022 SOS 49666 HAS SOPS 23652 HAS SOUS 9798 HAS SOUPS 4849 WITH SCORE 4898.666
AT ITER 4520 NEW BEST:: SOT 107873 SOS 49387 HAS SOPS 23552 HAS SOUS 9730 HAS SOUPS 4830 WITH SCORE 4879.387
AT ITER 4528 NEW BEST:: SOT 107739 SOS 49231 HAS SOPS 23476 HAS SOUS 9717 HAS SOUPS 4825 WITH SCORE 4874.231
AT ITER 4593 NEW BEST:: SOT 107736 SOS 49225 HAS SOPS 23474 HAS SOUS 9716 HAS SOUPS 4825 WITH SCORE 4874.225
AT ITER 4627 NEW BEST:: SOT 107718 SOS 49187 HAS SOPS 23462 HAS SOUS 9714 HAS SOUPS 4825 WITH SCORE 4874.187
AT ITER 4658 NEW BEST:: SOT 107718 SOS 49187 HAS SOPS 23462 HAS SOUS 9711 HAS SOUPS 4823 WITH SCORE 4872.187
AT ITER 4728 NEW BEST:: SOT 107690 SOS 49138 HAS SOPS 23448 HAS SOUS 9704 HAS SOUPS 4823 WITH SCORE 4872.138
AT ITER 4737 NEW BEST:: SOT 107684 SOS 49132 HAS SOPS 23442 HAS SOUS 9704 HAS SOUPS 4823 WITH SCORE 4872.132
AT ITER 4793 NEW BEST:: SOT 107682 SOS 49120 HAS SOPS 23430 HAS SOUS 9703 HAS SOUPS 4822 WITH SCORE 4871.12
AT ITER 4797 NEW BEST:: SOT 107682 SOS 48958 HAS SOPS 23295 HAS SOUS 9692 HAS SOUPS 4814 WITH SCORE 4862.958
AT ITER 4859 NEW BEST:: SOT 107732 SOS 49062 HAS SOPS 23329 HAS SOUS 9697 HAS SOUPS 4809 WITH SCORE 4858.062
AT ITER 4919 NEW BEST:: SOT 107726 SOS 49080 HAS SOPS 23341 HAS SOUS 9696 HAS SOUPS 4805 WITH SCORE 4854.08
AT ITER 4964 NEW BEST:: SOT 107495 SOS 48568 HAS SOPS 23111 HAS SOUS 9682 HAS SOUPS 4802 WITH SCORE 4850.568
AT ITER 4969 NEW BEST:: SOT 108146 SOS 50723 HAS SOPS 23208 HAS SOUS 9780 HAS SOUPS 4797 WITH SCORE 4847.723
AT ITER 4983 NEW BEST:: SOT 107979 SOS 50464 HAS SOPS 23114 HAS SOUS 9763 HAS SOUPS 4795 WITH SCORE 4845.464
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-05a-CTLCardinality-00 (EF((EG( ( potential( ( 2 ) <= (tk(P148)) ) | potential( ( 2 ) <= (tk(P34)) ) )))))
PROPERTY: DLCround-PT-05a-CTLCardinality-01 (EF((AF(( potential( (tk(P74)) <= (tk(P109)) ) & potential( ( 2 ) <= (tk(P17)) ) )))))
PROPERTY: DLCround-PT-05a-CTLCardinality-02 (AX( (EF(( potential( ( 3 ) <= (tk(P84)) ) | potential( ( 2 ) <= (tk(P106)) ) )))))
PROPERTY: DLCround-PT-05a-CTLCardinality-03 (! (EU( potential( (tk(P68)) <= (tk(P139)) ),( potential( ( 3 ) <= (tk(P52)) ) | potential( ( 2 ) <= (tk(P146)) ) ) )))
PROPERTY: DLCround-PT-05a-CTLCardinality-04 (EX( ( (! potential( (tk(P145)) <= (tk(P145)) )) | (AG( potential( (tk(P72)) <= (tk(P115)) ))) )))
PROPERTY: DLCround-PT-05a-CTLCardinality-05 (EU( (! ( potential( ( 3 ) <= (tk(P12)) ) & potential( ( 1 ) <= (tk(P52)) ) )),(EG( potential( ( 3 ) <= (tk(P153)) ))) ))
PROPERTY: DLCround-PT-05a-CTLCardinality-06 (EX( (EF(( potential( ( 3 ) <= (tk(P112)) ) & potential( ( 3 ) <= (tk(P4)) ) )))))
PROPERTY: DLCround-PT-05a-CTLCardinality-07 ( ( (AG( potential( (tk(P162)) <= (tk(P114)) ))) | potential( (tk(P48)) <= (tk(P37)) ) ) & (AG( potential( (tk(P81)) <= (tk(P138)) ))) )
PROPERTY: DLCround-PT-05a-CTLCardinality-08 ( (AU( (! potential( (tk(P123)) <= (tk(P146)) )),(! potential( ( 3 ) <= (tk(P114)) )) )) & (EU( ( potential( ( 3 ) <= (tk(P79)) ) | potential( (tk(P152)) <= (tk(P90)) ) ),( potential( (tk(P144)) <= (tk(P129)) ) & potential( ( 1 ) <= (tk(P65)) ) ) )) )
PROPERTY: DLCround-PT-05a-CTLCardinality-09 ( (EF((AG( potential( (tk(P38)) <= (tk(P7)) ))))) & ( ( (! (! potential( (tk(P125)) <= (tk(P14)) ))) | potential( (tk(P64)) <= (tk(P36)) ) ) & (EF(( potential( ( 3 ) <= (tk(P114)) ) & potential( ( 2 ) <= (tk(P107)) ) ))) ) )
PROPERTY: DLCround-PT-05a-CTLCardinality-10 ( ( ( (! (! potential( ( 1 ) <= (tk(P148)) ))) & (AF(potential( ( 2 ) <= (tk(P145)) ))) ) | ( (AG( potential( (tk(P107)) <= (tk(P154)) ))) & (EG( potential( (tk(P72)) <= (tk(P16)) ))) ) ) & (EG( (EF(potential( (tk(P11)) <= (tk(P66)) ))))) )
PROPERTY: DLCround-PT-05a-CTLCardinality-11 (EF(( (EF(potential( (tk(P57)) <= (tk(P147)) ))) & (AG( potential( ( 2 ) <= (tk(P64)) ))) )))
PROPERTY: DLCround-PT-05a-CTLCardinality-12 (! (EF((AG( potential( ( 1 ) <= (tk(P78)) ))))))
PROPERTY: DLCround-PT-05a-CTLCardinality-13 (AG( ( ( (! potential( (tk(P138)) <= (tk(P99)) )) & ( potential( (tk(P26)) <= (tk(P108)) ) & potential( (tk(P83)) <= (tk(P57)) ) ) ) | (! (! potential( (tk(P95)) <= (tk(P136)) ))) )))
PROPERTY: DLCround-PT-05a-CTLCardinality-14 (! ( (EU( potential( (tk(P92)) <= (tk(P37)) ),potential( (tk(P121)) <= (tk(P59)) ) )) & (EF(potential( ( 2 ) <= (tk(P118)) ))) ))
PROPERTY: DLCround-PT-05a-CTLCardinality-15 (AG( (EG( potential( (tk(P23)) <= (tk(P102)) )))))

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="DLCround-PT-05a"
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 DLCround-PT-05a, 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-158902542200483"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-05a.tgz
mv DLCround-PT-05a 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 ;