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-158902541900260.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900260
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME DES-PT-20a-CTLFireability-01
FORMULA_NAME DES-PT-20a-CTLFireability-02
FORMULA_NAME DES-PT-20a-CTLFireability-03
FORMULA_NAME DES-PT-20a-CTLFireability-04
FORMULA_NAME DES-PT-20a-CTLFireability-05
FORMULA_NAME DES-PT-20a-CTLFireability-06
FORMULA_NAME DES-PT-20a-CTLFireability-07
FORMULA_NAME DES-PT-20a-CTLFireability-08
FORMULA_NAME DES-PT-20a-CTLFireability-09
FORMULA_NAME DES-PT-20a-CTLFireability-10
FORMULA_NAME DES-PT-20a-CTLFireability-11
FORMULA_NAME DES-PT-20a-CTLFireability-12
FORMULA_NAME DES-PT-20a-CTLFireability-13
FORMULA_NAME DES-PT-20a-CTLFireability-14
FORMULA_NAME DES-PT-20a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589106445451

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

GOT IT HERE. BS
Petri model created: 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 13 NEW BEST:: SOT 23455 SOS 20060 HAS SOPS 20060 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12884.06
AT ITER 23 NEW BEST:: SOT 22136 SOS 18681 HAS SOPS 18681 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11507.681
AT ITER 34 NEW BEST:: SOT 22133 SOS 18678 HAS SOPS 18678 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11504.678
AT ITER 40 NEW BEST:: SOT 22093 SOS 18629 HAS SOPS 18629 HAS SOUS 11437 HAS SOUPS 11437 WITH SCORE 11455.629
AT ITER 41 NEW BEST:: SOT 22007 SOS 18543 HAS SOPS 18543 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11414.543
AT ITER 52 NEW BEST:: SOT 21107 SOS 17642 HAS SOPS 17642 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10512.642
AT ITER 54 NEW BEST:: SOT 20183 SOS 16718 HAS SOPS 16718 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9600.718
AT ITER 55 NEW BEST:: SOT 20183 SOS 16756 HAS SOPS 16756 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9586.756
AT ITER 68 NEW BEST:: SOT 20181 SOS 16754 HAS SOPS 16754 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9568.754
AT ITER 82 NEW BEST:: SOT 20188 SOS 16761 HAS SOPS 16761 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9470.761
AT ITER 91 NEW BEST:: SOT 20102 SOS 16675 HAS SOPS 16675 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9383.675
AT ITER 93 NEW BEST:: SOT 19786 SOS 16359 HAS SOPS 16359 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9067.359
AT ITER 94 NEW BEST:: SOT 19586 SOS 16158 HAS SOPS 16158 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9026.158
AT ITER 107 NEW BEST:: SOT 19523 SOS 16095 HAS SOPS 16095 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8991.095
AT ITER 112 NEW BEST:: SOT 19514 SOS 16073 HAS SOPS 16073 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8987.073
AT ITER 119 NEW BEST:: SOT 19517 SOS 16076 HAS SOPS 16076 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8980.076
AT ITER 124 NEW BEST:: SOT 19517 SOS 16075 HAS SOPS 16075 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8979.075
AT ITER 133 NEW BEST:: SOT 19491 SOS 16049 HAS SOPS 16049 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8965.049
AT ITER 137 NEW BEST:: SOT 19509 SOS 15932 HAS SOPS 15932 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8845.932
AT ITER 145 NEW BEST:: SOT 19376 SOS 15799 HAS SOPS 15799 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8726.799
AT ITER 152 NEW BEST:: SOT 19395 SOS 15818 HAS SOPS 15818 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8725.818
AT ITER 153 NEW BEST:: SOT 19300 SOS 15723 HAS SOPS 15723 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8630.723
AT ITER 156 NEW BEST:: SOT 19298 SOS 15721 HAS SOPS 15721 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8606.721
AT ITER 159 NEW BEST:: SOT 19292 SOS 15718 HAS SOPS 15718 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8603.718
AT ITER 160 NEW BEST:: SOT 19091 SOS 15517 HAS SOPS 15517 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8565.517
AT ITER 170 NEW BEST:: SOT 19091 SOS 15417 HAS SOPS 15417 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8565.417
AT ITER 174 NEW BEST:: SOT 18921 SOS 15247 HAS SOPS 15247 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8395.247
AT ITER 180 NEW BEST:: SOT 18921 SOS 15207 HAS SOPS 15207 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8394.207
AT ITER 185 NEW BEST:: SOT 18921 SOS 15188 HAS SOPS 15188 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8375.188
AT ITER 187 NEW BEST:: SOT 18920 SOS 15187 HAS SOPS 15187 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8373.187
AT ITER 197 NEW BEST:: SOT 18618 SOS 14765 HAS SOPS 14765 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8358.765
AT ITER 210 NEW BEST:: SOT 18590 SOS 14727 HAS SOPS 14727 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8320.727
AT ITER 212 NEW BEST:: SOT 18584 SOS 14721 HAS SOPS 14721 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8314.721
AT ITER 215 NEW BEST:: SOT 18570 SOS 14707 HAS SOPS 14707 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8300.707
AT ITER 216 NEW BEST:: SOT 18567 SOS 14704 HAS SOPS 14704 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8219.704
AT ITER 219 NEW BEST:: SOT 18567 SOS 14703 HAS SOPS 14703 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8218.703
AT ITER 223 NEW BEST:: SOT 18567 SOS 14675 HAS SOPS 14675 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8190.675
AT ITER 228 NEW BEST:: SOT 18496 SOS 14561 HAS SOPS 14561 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8119.561
AT ITER 262 NEW BEST:: SOT 18487 SOS 14556 HAS SOPS 14556 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8114.556
AT ITER 282 NEW BEST:: SOT 18484 SOS 14532 HAS SOPS 14532 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8090.532
AT ITER 293 NEW BEST:: SOT 18484 SOS 14501 HAS SOPS 14501 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8059.501
AT ITER 295 NEW BEST:: SOT 18498 SOS 14528 HAS SOPS 14528 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8052.528
AT ITER 296 NEW BEST:: SOT 18481 SOS 14511 HAS SOPS 14511 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8051.511
AT ITER 302 NEW BEST:: SOT 18478 SOS 14508 HAS SOPS 14508 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8048.508
AT ITER 303 NEW BEST:: SOT 18449 SOS 14482 HAS SOPS 14482 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8029.482
AT ITER 332 NEW BEST:: SOT 18439 SOS 14472 HAS SOPS 14472 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8019.472
AT ITER 340 NEW BEST:: SOT 17362 SOS 13395 HAS SOPS 13395 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6941.395
AT ITER 353 NEW BEST:: SOT 17349 SOS 13382 HAS SOPS 13382 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6928.382
AT ITER 357 NEW BEST:: SOT 17337 SOS 13370 HAS SOPS 13370 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6904.37
AT ITER 373 NEW BEST:: SOT 17243 SOS 13233 HAS SOPS 13233 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6767.233
AT ITER 376 NEW BEST:: SOT 17184 SOS 13174 HAS SOPS 13174 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6686.174
AT ITER 404 NEW BEST:: SOT 17184 SOS 13187 HAS SOPS 13187 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6681.187
AT ITER 405 NEW BEST:: SOT 17184 SOS 13146 HAS SOPS 13146 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6640.146
AT ITER 416 NEW BEST:: SOT 17136 SOS 13057 HAS SOPS 13057 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6555.057
AT ITER 441 NEW BEST:: SOT 17106 SOS 13017 HAS SOPS 13017 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6515.017
AT ITER 445 NEW BEST:: SOT 17104 SOS 12610 HAS SOPS 12610 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6500.61
AT ITER 447 NEW BEST:: SOT 17104 SOS 12610 HAS SOPS 12610 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6498.61
AT ITER 454 NEW BEST:: SOT 17101 SOS 12607 HAS SOPS 12607 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6498.607
AT ITER 458 NEW BEST:: SOT 17059 SOS 12565 HAS SOPS 12565 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6462.565
AT ITER 461 NEW BEST:: SOT 17057 SOS 12563 HAS SOPS 12563 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6462.563
AT ITER 466 NEW BEST:: SOT 17079 SOS 12515 HAS SOPS 12515 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6455.515
AT ITER 467 NEW BEST:: SOT 16974 SOS 12410 HAS SOPS 12410 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6446.41
AT ITER 476 NEW BEST:: SOT 16974 SOS 12410 HAS SOPS 12410 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6442.41
AT ITER 480 NEW BEST:: SOT 16924 SOS 12385 HAS SOPS 12385 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6442.385
AT ITER 485 NEW BEST:: SOT 16894 SOS 12355 HAS SOPS 12355 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6427.355
AT ITER 487 NEW BEST:: SOT 16857 SOS 12305 HAS SOPS 12305 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6377.305
AT ITER 493 NEW BEST:: SOT 16817 SOS 12265 HAS SOPS 12265 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6336.265
AT ITER 504 NEW BEST:: SOT 16830 SOS 12263 HAS SOPS 12263 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6334.263
AT ITER 508 NEW BEST:: SOT 16637 SOS 12161 HAS SOPS 12161 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6244.161
AT ITER 516 NEW BEST:: SOT 16624 SOS 12148 HAS SOPS 12148 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6231.148
AT ITER 528 NEW BEST:: SOT 16594 SOS 12108 HAS SOPS 12108 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6207.108
AT ITER 530 NEW BEST:: SOT 16590 SOS 12073 HAS SOPS 12073 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6172.073
AT ITER 553 NEW BEST:: SOT 16501 SOS 11968 HAS SOPS 11968 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6105.968
AT ITER 564 NEW BEST:: SOT 16498 SOS 11965 HAS SOPS 11965 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6103.965
AT ITER 567 NEW BEST:: SOT 16730 SOS 12165 HAS SOPS 12165 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6076.165
AT ITER 577 NEW BEST:: SOT 16656 SOS 12091 HAS SOPS 12091 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 6002.091
AT ITER 612 NEW BEST:: SOT 16632 SOS 12067 HAS SOPS 12067 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5886.067
AT ITER 613 NEW BEST:: SOT 16600 SOS 12033 HAS SOPS 12033 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5852.033
AT ITER 622 NEW BEST:: SOT 16525 SOS 11958 HAS SOPS 11958 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5836.958
AT ITER 623 NEW BEST:: SOT 16523 SOS 11956 HAS SOPS 11956 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5834.956
AT ITER 625 NEW BEST:: SOT 16513 SOS 11946 HAS SOPS 11946 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5819.946
AT ITER 629 NEW BEST:: SOT 16507 SOS 11940 HAS SOPS 11940 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5813.94
AT ITER 640 NEW BEST:: SOT 16498 SOS 11931 HAS SOPS 11931 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5795.931
AT ITER 646 NEW BEST:: SOT 16496 SOS 11929 HAS SOPS 11929 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5795.929
AT ITER 660 NEW BEST:: SOT 16481 SOS 11917 HAS SOPS 11917 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5791.917
AT ITER 667 NEW BEST:: SOT 16458 SOS 11885 HAS SOPS 11885 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5759.885
AT ITER 693 NEW BEST:: SOT 16433 SOS 11860 HAS SOPS 11860 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5734.86
AT ITER 694 NEW BEST:: SOT 16283 SOS 11708 HAS SOPS 11708 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5647.708
AT ITER 704 NEW BEST:: SOT 16252 SOS 11655 HAS SOPS 11655 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5594.655
AT ITER 712 NEW BEST:: SOT 16015 SOS 11434 HAS SOPS 11434 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5549.434
AT ITER 716 NEW BEST:: SOT 16009 SOS 11428 HAS SOPS 11428 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5543.428
AT ITER 731 NEW BEST:: SOT 16008 SOS 11413 HAS SOPS 11413 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5541.413
AT ITER 732 NEW BEST:: SOT 15972 SOS 11377 HAS SOPS 11377 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5476.377
AT ITER 733 NEW BEST:: SOT 15969 SOS 11374 HAS SOPS 11374 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5467.374
AT ITER 766 NEW BEST:: SOT 15948 SOS 11335 HAS SOPS 11335 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5428.335
AT ITER 772 NEW BEST:: SOT 15792 SOS 11098 HAS SOPS 11098 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5197.098
AT ITER 807 NEW BEST:: SOT 15792 SOS 11092 HAS SOPS 11092 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5191.092
AT ITER 857 NEW BEST:: SOT 15790 SOS 11088 HAS SOPS 11088 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5189.088
AT ITER 863 NEW BEST:: SOT 15787 SOS 11085 HAS SOPS 11085 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5186.085
AT ITER 877 NEW BEST:: SOT 15786 SOS 11082 HAS SOPS 11082 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5183.082
AT ITER 908 NEW BEST:: SOT 15783 SOS 11079 HAS SOPS 11079 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5183.079
AT ITER 914 NEW BEST:: SOT 15780 SOS 11073 HAS SOPS 11073 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5180.073
AT ITER 956 NEW BEST:: SOT 15780 SOS 11073 HAS SOPS 11073 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5144.073
AT ITER 961 NEW BEST:: SOT 15759 SOS 11050 HAS SOPS 11050 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5121.05
AT ITER 1041 NEW BEST:: SOT 15758 SOS 11049 HAS SOPS 11049 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5119.049
AT ITER 1042 NEW BEST:: SOT 15755 SOS 11044 HAS SOPS 11044 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5114.044
AT ITER 1046 NEW BEST:: SOT 15751 SOS 11029 HAS SOPS 11029 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5106.029
AT ITER 1056 NEW BEST:: SOT 15751 SOS 10969 HAS SOPS 10969 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5102.969
AT ITER 1059 NEW BEST:: SOT 15718 SOS 10936 HAS SOPS 10936 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5011.936
AT ITER 1070 NEW BEST:: SOT 15717 SOS 10935 HAS SOPS 10935 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4979.935
AT ITER 1092 NEW BEST:: SOT 15717 SOS 10935 HAS SOPS 10935 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4964.935
AT ITER 1094 NEW BEST:: SOT 15717 SOS 10904 HAS SOPS 10904 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4945.904
AT ITER 1099 NEW BEST:: SOT 15716 SOS 10901 HAS SOPS 10901 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4943.901
AT ITER 1100 NEW BEST:: SOT 15717 SOS 10900 HAS SOPS 10900 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4942.9
AT ITER 1115 NEW BEST:: SOT 15717 SOS 10878 HAS SOPS 10878 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4920.878
AT ITER 1124 NEW BEST:: SOT 15704 SOS 10865 HAS SOPS 10865 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4896.865
AT ITER 1137 NEW BEST:: SOT 15682 SOS 10828 HAS SOPS 10828 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4888.828
AT ITER 1147 NEW BEST:: SOT 15671 SOS 10812 HAS SOPS 10812 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4872.812
AT ITER 1151 NEW BEST:: SOT 15647 SOS 10786 HAS SOPS 10786 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4870.786
AT ITER 1172 NEW BEST:: SOT 15628 SOS 10767 HAS SOPS 10767 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4832.767
AT ITER 1184 NEW BEST:: SOT 15643 SOS 10752 HAS SOPS 10752 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4832.752
AT ITER 1216 NEW BEST:: SOT 15640 SOS 10747 HAS SOPS 10747 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4827.747
AT ITER 1233 NEW BEST:: SOT 15624 SOS 10709 HAS SOPS 10709 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4825.709
AT ITER 1267 NEW BEST:: SOT 15627 SOS 10720 HAS SOPS 10720 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4823.72
AT ITER 1282 NEW BEST:: SOT 15627 SOS 10719 HAS SOPS 10719 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4822.719
AT ITER 1288 NEW BEST:: SOT 15606 SOS 10686 HAS SOPS 10686 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4789.686
AT ITER 1293 NEW BEST:: SOT 15589 SOS 10669 HAS SOPS 10669 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4774.669
AT ITER 1301 NEW BEST:: SOT 15591 SOS 10663 HAS SOPS 10663 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4768.663
AT ITER 1303 NEW BEST:: SOT 15572 SOS 10649 HAS SOPS 10649 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4762.649
AT ITER 1329 NEW BEST:: SOT 15572 SOS 10649 HAS SOPS 10649 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4758.649
AT ITER 1349 NEW BEST:: SOT 15571 SOS 10648 HAS SOPS 10648 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4756.648
AT ITER 1402 NEW BEST:: SOT 15467 SOS 10579 HAS SOPS 10579 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4734.579
AT ITER 1403 NEW BEST:: SOT 15477 SOS 10578 HAS SOPS 10578 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4733.578
AT ITER 1404 NEW BEST:: SOT 15470 SOS 10547 HAS SOPS 10547 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4727.547
AT ITER 1429 NEW BEST:: SOT 15469 SOS 10546 HAS SOPS 10546 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4725.546
AT ITER 1434 NEW BEST:: SOT 15464 SOS 10539 HAS SOPS 10539 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4718.539
AT ITER 1441 NEW BEST:: SOT 15464 SOS 10535 HAS SOPS 10535 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4714.535
AT ITER 1495 NEW BEST:: SOT 15464 SOS 10534 HAS SOPS 10534 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4713.534
AT ITER 1496 NEW BEST:: SOT 15463 SOS 10533 HAS SOPS 10533 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4711.533
AT ITER 1536 NEW BEST:: SOT 15451 SOS 10517 HAS SOPS 10517 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4686.517
AT ITER 1541 NEW BEST:: SOT 15451 SOS 10516 HAS SOPS 10516 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4686.516
AT ITER 1594 NEW BEST:: SOT 15427 SOS 10492 HAS SOPS 10492 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4638.492
AT ITER 1595 NEW BEST:: SOT 15451 SOS 10498 HAS SOPS 10498 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4634.498
AT ITER 1601 NEW BEST:: SOT 15449 SOS 10496 HAS SOPS 10496 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4632.496
AT ITER 1604 NEW BEST:: SOT 15411 SOS 10521 HAS SOPS 10521 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4606.521
AT ITER 1606 NEW BEST:: SOT 15398 SOS 10508 HAS SOPS 10508 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4593.508
AT ITER 1613 NEW BEST:: SOT 15378 SOS 10498 HAS SOPS 10498 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4588.498
AT ITER 1655 NEW BEST:: SOT 15374 SOS 10491 HAS SOPS 10491 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4585.491
AT ITER 1658 NEW BEST:: SOT 15368 SOS 10475 HAS SOPS 10475 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4581.475
AT ITER 1662 NEW BEST:: SOT 15365 SOS 10472 HAS SOPS 10472 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4578.472
AT ITER 1675 NEW BEST:: SOT 15365 SOS 10470 HAS SOPS 10470 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4576.47
AT ITER 1678 NEW BEST:: SOT 15436 SOS 10541 HAS SOPS 10541 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4575.541
AT ITER 1681 NEW BEST:: SOT 15418 SOS 10523 HAS SOPS 10523 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4575.523
AT ITER 1720 NEW BEST:: SOT 15396 SOS 10479 HAS SOPS 10479 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4531.479
AT ITER 1735 NEW BEST:: SOT 15377 SOS 10460 HAS SOPS 10460 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4495.46
AT ITER 1763 NEW BEST:: SOT 15376 SOS 10459 HAS SOPS 10459 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4468.459
AT ITER 1767 NEW BEST:: SOT 15374 SOS 10457 HAS SOPS 10457 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4464.457
AT ITER 1780 NEW BEST:: SOT 15371 SOS 10442 HAS SOPS 10442 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4460.442
AT ITER 1784 NEW BEST:: SOT 15366 SOS 10427 HAS SOPS 10427 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4454.427
AT ITER 1785 NEW BEST:: SOT 15340 SOS 10419 HAS SOPS 10419 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4440.419
AT ITER 1811 NEW BEST:: SOT 15342 SOS 10391 HAS SOPS 10391 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4412.391
AT ITER 1878 NEW BEST:: SOT 15250 SOS 10299 HAS SOPS 10299 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4372.299
AT ITER 1896 NEW BEST:: SOT 15250 SOS 10278 HAS SOPS 10278 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4351.278
AT ITER 1923 NEW BEST:: SOT 15216 SOS 9996 HAS SOPS 9996 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4344.996
AT ITER 1937 NEW BEST:: SOT 15186 SOS 9989 HAS SOPS 9989 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4330.989
AT ITER 1944 NEW BEST:: SOT 15186 SOS 9989 HAS SOPS 9989 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4314.989
AT ITER 1951 NEW BEST:: SOT 15183 SOS 9986 HAS SOPS 9986 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4311.986
AT ITER 1952 NEW BEST:: SOT 15181 SOS 9983 HAS SOPS 9983 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4310.983
AT ITER 1955 NEW BEST:: SOT 15167 SOS 9969 HAS SOPS 9969 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4286.969
AT ITER 2044 NEW BEST:: SOT 15178 SOS 9980 HAS SOPS 9980 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.98
AT ITER 2070 NEW BEST:: SOT 15166 SOS 9968 HAS SOPS 9968 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4251.968
AT ITER 2071 NEW BEST:: SOT 15174 SOS 9974 HAS SOPS 9974 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4249.974
AT ITER 2073 NEW BEST:: SOT 15148 SOS 9948 HAS SOPS 9948 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4223.948
AT ITER 2137 NEW BEST:: SOT 15146 SOS 9946 HAS SOPS 9946 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4223.946
AT ITER 2154 NEW BEST:: SOT 15151 SOS 9951 HAS SOPS 9951 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4203.951
AT ITER 2166 NEW BEST:: SOT 15135 SOS 9935 HAS SOPS 9935 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4188.935
AT ITER 2168 NEW BEST:: SOT 15133 SOS 9921 HAS SOPS 9921 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4174.921
AT ITER 2172 NEW BEST:: SOT 15133 SOS 9919 HAS SOPS 9919 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4172.919
AT ITER 2193 NEW BEST:: SOT 15115 SOS 9900 HAS SOPS 9900 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4165.9
AT ITER 2200 NEW BEST:: SOT 15105 SOS 9880 HAS SOPS 9880 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4155.88
AT ITER 2204 NEW BEST:: SOT 15100 SOS 9875 HAS SOPS 9875 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4140.875
AT ITER 2205 NEW BEST:: SOT 15082 SOS 9857 HAS SOPS 9857 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4104.857
AT ITER 2209 NEW BEST:: SOT 15065 SOS 9848 HAS SOPS 9848 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4094.848
AT ITER 2221 NEW BEST:: SOT 14885 SOS 9711 HAS SOPS 9711 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4093.711
AT ITER 2281 NEW BEST:: SOT 14880 SOS 9706 HAS SOPS 9706 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4088.706
AT ITER 2305 NEW BEST:: SOT 14786 SOS 9622 HAS SOPS 9622 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4061.622
AT ITER 2314 NEW BEST:: SOT 14785 SOS 9621 HAS SOPS 9621 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4060.621
AT ITER 2336 NEW BEST:: SOT 14762 SOS 9475 HAS SOPS 9475 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4046.475
AT ITER 2351 NEW BEST:: SOT 14755 SOS 9466 HAS SOPS 9466 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4037.466
AT ITER 2402 NEW BEST:: SOT 14722 SOS 9433 HAS SOPS 9433 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4035.433
AT ITER 2414 NEW BEST:: SOT 14715 SOS 9426 HAS SOPS 9426 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4028.426
AT ITER 2431 NEW BEST:: SOT 14708 SOS 9419 HAS SOPS 9419 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4022.419
AT ITER 2447 NEW BEST:: SOT 14711 SOS 9402 HAS SOPS 9402 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4017.402
AT ITER 2468 NEW BEST:: SOT 14708 SOS 9399 HAS SOPS 9399 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4017.399
AT ITER 2500 NEW BEST:: SOT 14705 SOS 9396 HAS SOPS 9396 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4014.396
AT ITER 2549 NEW BEST:: SOT 14705 SOS 9393 HAS SOPS 9393 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4011.393
AT ITER 2559 NEW BEST:: SOT 14705 SOS 9391 HAS SOPS 9391 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4009.391
AT ITER 2573 NEW BEST:: SOT 14690 SOS 9340 HAS SOPS 9340 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3977.34
AT ITER 2582 NEW BEST:: SOT 14689 SOS 9338 HAS SOPS 9338 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3975.338
AT ITER 2590 NEW BEST:: SOT 14694 SOS 9343 HAS SOPS 9343 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3965.343
AT ITER 2603 NEW BEST:: SOT 14704 SOS 9347 HAS SOPS 9347 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3962.347
AT ITER 2612 NEW BEST:: SOT 14649 SOS 9292 HAS SOPS 9292 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3932.292
AT ITER 2652 NEW BEST:: SOT 14644 SOS 9284 HAS SOPS 9284 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3924.284
AT ITER 2653 NEW BEST:: SOT 14644 SOS 9279 HAS SOPS 9279 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3912.279
AT ITER 2664 NEW BEST:: SOT 14639 SOS 9274 HAS SOPS 9274 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3907.274
AT ITER 2721 NEW BEST:: SOT 14636 SOS 9271 HAS SOPS 9271 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3903.271
AT ITER 2756 NEW BEST:: SOT 14606 SOS 9231 HAS SOPS 9231 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3873.231
AT ITER 2782 NEW BEST:: SOT 14605 SOS 9230 HAS SOPS 9230 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3871.23
AT ITER 2835 NEW BEST:: SOT 14604 SOS 9229 HAS SOPS 9229 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3870.229
AT ITER 2852 NEW BEST:: SOT 14604 SOS 9211 HAS SOPS 9211 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3870.211
AT ITER 2899 NEW BEST:: SOT 14596 SOS 9203 HAS SOPS 9203 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3846.203
AT ITER 2931 NEW BEST:: SOT 14618 SOS 9191 HAS SOPS 9191 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3817.191
AT ITER 2933 NEW BEST:: SOT 14631 SOS 9176 HAS SOPS 9176 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3802.176
AT ITER 2967 NEW BEST:: SOT 14631 SOS 9175 HAS SOPS 9175 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3801.175
AT ITER 3016 NEW BEST:: SOT 14631 SOS 9189 HAS SOPS 9189 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3800.189
AT ITER 3023 NEW BEST:: SOT 14630 SOS 9188 HAS SOPS 9188 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3798.188
AT ITER 3052 NEW BEST:: SOT 14606 SOS 9139 HAS SOPS 9139 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3749.139
AT ITER 3086 NEW BEST:: SOT 14604 SOS 9135 HAS SOPS 9135 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3745.135
AT ITER 3087 NEW BEST:: SOT 14604 SOS 9135 HAS SOPS 9135 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3735.135
AT ITER 3154 NEW BEST:: SOT 14589 SOS 9120 HAS SOPS 9120 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3720.12
AT ITER 3179 NEW BEST:: SOT 14587 SOS 9118 HAS SOPS 9118 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3718.118
AT ITER 3192 NEW BEST:: SOT 14587 SOS 9076 HAS SOPS 9076 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3704.076
AT ITER 3233 NEW BEST:: SOT 14585 SOS 9074 HAS SOPS 9074 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3702.074
AT ITER 3244 NEW BEST:: SOT 14586 SOS 9075 HAS SOPS 9075 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3695.075
AT ITER 3256 NEW BEST:: SOT 14580 SOS 9069 HAS SOPS 9069 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3689.069
AT ITER 3282 NEW BEST:: SOT 14579 SOS 9070 HAS SOPS 9070 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3687.07
AT ITER 3317 NEW BEST:: SOT 14566 SOS 9037 HAS SOPS 9037 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3684.037
AT ITER 3326 NEW BEST:: SOT 14565 SOS 9036 HAS SOPS 9036 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3684.036
AT ITER 3365 NEW BEST:: SOT 14569 SOS 9064 HAS SOPS 9064 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3675.064
AT ITER 3415 NEW BEST:: SOT 14560 SOS 9055 HAS SOPS 9055 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3675.055
AT ITER 3426 NEW BEST:: SOT 14610 SOS 9105 HAS SOPS 9105 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3665.105
AT ITER 3495 NEW BEST:: SOT 14609 SOS 9103 HAS SOPS 9103 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3664.103
AT ITER 3529 NEW BEST:: SOT 14607 SOS 9102 HAS SOPS 9102 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3663.102
AT ITER 3569 NEW BEST:: SOT 14607 SOS 9095 HAS SOPS 9095 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3656.095
AT ITER 3580 NEW BEST:: SOT 14580 SOS 9031 HAS SOPS 9031 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3637.031
AT ITER 3610 NEW BEST:: SOT 14553 SOS 9013 HAS SOPS 9013 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3637.013
AT ITER 3645 NEW BEST:: SOT 14553 SOS 9001 HAS SOPS 9001 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3625.001
AT ITER 3667 NEW BEST:: SOT 14552 SOS 8834 HAS SOPS 8834 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3624.834
AT ITER 3675 NEW BEST:: SOT 14545 SOS 8827 HAS SOPS 8827 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3610.827
AT ITER 3687 NEW BEST:: SOT 14543 SOS 8822 HAS SOPS 8822 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3605.822
AT ITER 3739 NEW BEST:: SOT 14543 SOS 8797 HAS SOPS 8797 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3599.797
AT ITER 3791 NEW BEST:: SOT 14539 SOS 8793 HAS SOPS 8793 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3595.793
AT ITER 3866 NEW BEST:: SOT 14528 SOS 8782 HAS SOPS 8782 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3583.782
AT ITER 3872 NEW BEST:: SOT 14518 SOS 8772 HAS SOPS 8772 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3573.772
AT ITER 3900 NEW BEST:: SOT 14518 SOS 8774 HAS SOPS 8774 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3571.774
AT ITER 3916 NEW BEST:: SOT 14518 SOS 8772 HAS SOPS 8772 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3569.772
AT ITER 3925 NEW BEST:: SOT 14517 SOS 8771 HAS SOPS 8771 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3568.771
AT ITER 3935 NEW BEST:: SOT 14544 SOS 8769 HAS SOPS 8769 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3559.769
AT ITER 3940 NEW BEST:: SOT 14543 SOS 8767 HAS SOPS 8767 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3558.767
AT ITER 4005 NEW BEST:: SOT 14542 SOS 8766 HAS SOPS 8766 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3557.766
AT ITER 4015 NEW BEST:: SOT 14524 SOS 8744 HAS SOPS 8744 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3535.744
AT ITER 4017 NEW BEST:: SOT 14525 SOS 8745 HAS SOPS 8745 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3532.745
AT ITER 4018 NEW BEST:: SOT 14522 SOS 8739 HAS SOPS 8739 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3531.739
AT ITER 4034 NEW BEST:: SOT 14487 SOS 8683 HAS SOPS 8683 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3475.683
AT ITER 4036 NEW BEST:: SOT 14485 SOS 8681 HAS SOPS 8681 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3473.681
AT ITER 4053 NEW BEST:: SOT 14484 SOS 8677 HAS SOPS 8677 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3472.677
AT ITER 4055 NEW BEST:: SOT 14474 SOS 8667 HAS SOPS 8667 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3469.667
AT ITER 4083 NEW BEST:: SOT 14462 SOS 8661 HAS SOPS 8661 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3466.661
AT ITER 4091 NEW BEST:: SOT 14469 SOS 8668 HAS SOPS 8668 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3462.668
AT ITER 4108 NEW BEST:: SOT 14468 SOS 8660 HAS SOPS 8660 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3454.66
AT ITER 4109 NEW BEST:: SOT 14467 SOS 8655 HAS SOPS 8655 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3449.655
AT ITER 4111 NEW BEST:: SOT 14465 SOS 8533 HAS SOPS 8533 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3445.533
AT ITER 4129 NEW BEST:: SOT 14459 SOS 8530 HAS SOPS 8530 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3442.53
AT ITER 4228 NEW BEST:: SOT 14446 SOS 8507 HAS SOPS 8507 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3440.507
AT ITER 4285 NEW BEST:: SOT 14454 SOS 8507 HAS SOPS 8507 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3428.507
AT ITER 4354 NEW BEST:: SOT 14524 SOS 8617 HAS SOPS 8617 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3414.617
AT ITER 4377 NEW BEST:: SOT 14524 SOS 8605 HAS SOPS 8605 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3414.605
AT ITER 4381 NEW BEST:: SOT 14519 SOS 8603 HAS SOPS 8603 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3414.603
AT ITER 4457 NEW BEST:: SOT 14519 SOS 8602 HAS SOPS 8602 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3413.602
AT ITER 4468 NEW BEST:: SOT 14519 SOS 8601 HAS SOPS 8601 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3412.601
AT ITER 4484 NEW BEST:: SOT 14520 SOS 8602 HAS SOPS 8602 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3389.602
AT ITER 4486 NEW BEST:: SOT 14516 SOS 8598 HAS SOPS 8598 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3381.598
AT ITER 4535 NEW BEST:: SOT 14508 SOS 8553 HAS SOPS 8553 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3370.553
AT ITER 4567 NEW BEST:: SOT 14636 SOS 8667 HAS SOPS 8667 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3351.667
AT ITER 4572 NEW BEST:: SOT 14629 SOS 8660 HAS SOPS 8660 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3351.66
AT ITER 4609 NEW BEST:: SOT 14626 SOS 8657 HAS SOPS 8657 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3351.657
AT ITER 4631 NEW BEST:: SOT 14626 SOS 8647 HAS SOPS 8647 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3340.647
AT ITER 4647 NEW BEST:: SOT 14624 SOS 8645 HAS SOPS 8645 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3339.645
AT ITER 4668 NEW BEST:: SOT 14626 SOS 8655 HAS SOPS 8655 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3335.655
AT ITER 4678 NEW BEST:: SOT 14622 SOS 8651 HAS SOPS 8651 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3331.651
AT ITER 4707 NEW BEST:: SOT 14612 SOS 8541 HAS SOPS 8541 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3321.541
AT ITER 4720 NEW BEST:: SOT 14604 SOS 8533 HAS SOPS 8533 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3305.533
AT ITER 4792 NEW BEST:: SOT 14602 SOS 8532 HAS SOPS 8532 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3304.532
AT ITER 4805 NEW BEST:: SOT 14587 SOS 8501 HAS SOPS 8501 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3294.501
AT ITER 4852 NEW BEST:: SOT 14587 SOS 8505 HAS SOPS 8505 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3293.505
AT ITER 4862 NEW BEST:: SOT 14596 SOS 8514 HAS SOPS 8514 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3292.514
AT ITER 4864 NEW BEST:: SOT 14576 SOS 8486 HAS SOPS 8486 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3269.486
AT ITER 4890 NEW BEST:: SOT 14563 SOS 8465 HAS SOPS 8465 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3248.465
AT ITER 4912 NEW BEST:: SOT 14558 SOS 8420 HAS SOPS 8420 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3248.42
AT ITER 4935 NEW BEST:: SOT 14556 SOS 8417 HAS SOPS 8417 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3245.417
AT ITER 4939 NEW BEST:: SOT 14556 SOS 8423 HAS SOPS 8423 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3239.423
AT ITER 4981 NEW BEST:: SOT 14551 SOS 8418 HAS SOPS 8418 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3235.418
AT ITER 4993 NEW BEST:: SOT 14570 SOS 8437 HAS SOPS 8437 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3231.437
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-20a-CTLFireability-00 (EG( (AF( ((potential((tk(P114)>=1) & (tk(P116)>=1) & (tk(P5)>=1))))))))
PROPERTY: DES-PT-20a-CTLFireability-01 (AG( (AF( ( ((potential((tk(P113)>=1) & (tk(P176)>=1)))) | (! ((potential((tk(P75)>=1) & (tk(P86)>=1))))) )))))
PROPERTY: DES-PT-20a-CTLFireability-02 ( (AF( ( ( (! ((potential((tk(P98)>=1))))) & ( ((potential((tk(P114)>=1) & (tk(P116)>=1) & (tk(P8)>=1)))) & ((potential((tk(P114)>=1) & (tk(P116)>=1) & (tk(P5)>=1)))) ) ) | ( ( ((potential((tk(P114)>=1) & (tk(P116)>=1) & (tk(P17)>=1)))) & ((potential((tk(P60)>=1) & (tk(P111)>=1)))) ) & (! ((potential((tk(P134)>=1) & (tk(P130)>=1) & (tk(P126)>=1) & (tk(P122)>=1) & (tk(P124)>=1) & (tk(P128)>=1) & (tk(P132)>=1) & (tk(P136)>=1) & (tk(P117)>=1))))) ) ))) & ( ((potential((tk(P59)>=1) & (tk(P111)>=1)))) | (! ( (! ( ((potential((tk(P172)>=1) & (tk(P170)>=1)))) | ((potential((tk(P195)>=1) & (tk(P193)>=1)))) )) & (AF( ((potential((tk(P24)>=1) & (tk(P191)>=1)))))) )) ) )
PROPERTY: DES-PT-20a-CTLFireability-03 (! ( (AF( (AX( ((potential((tk(P52)>=1) & (tk(P111)>=1)))))))) | ((potential((tk(P23)>=1) & (tk(P191)>=1)))) ))
PROPERTY: DES-PT-20a-CTLFireability-04 (AF( ( (EX( ((potential((tk(P190)>=1) & (tk(P180)>=1)))))) | ((potential((tk(P115)>=1) & (tk(P187)>=1)))) )))
PROPERTY: DES-PT-20a-CTLFireability-05 (EG( (AF( ( (! ((potential((tk(P98)>=1))))) | ( ((potential((tk(P49)>=1) & (tk(P111)>=1)))) | ((potential((tk(P90)>=1) & (tk(P175)>=1)))) ) )))))
PROPERTY: DES-PT-20a-CTLFireability-06 ( (EF( ((potential((tk(P145)>=1) & (tk(P161)>=1)))))) | ((potential((tk(P22)>=1) & (tk(P191)>=1)))) )
PROPERTY: DES-PT-20a-CTLFireability-07 (! (AF( (EG( (! ((potential((tk(P139)>=1) & (tk(P155)>=1))))))))))
PROPERTY: DES-PT-20a-CTLFireability-08 (AG( (! ( (! (! ((potential((tk(P87)>=1)))))) & ( ( ((potential((tk(P79)>=1) & (tk(P86)>=1)))) | ((potential((tk(P60)>=1) & (tk(P111)>=1)))) ) & (! ((potential((tk(P149)>=1) & (tk(P165)>=1))))) ) ))))
PROPERTY: DES-PT-20a-CTLFireability-09 (AX( (AF( ( ((potential((tk(P79)>=1) & (tk(P86)>=1)))) & ( ((potential((tk(P51)>=1) & (tk(P111)>=1)))) & ((potential((tk(P134)>=1) & (tk(P130)>=1) & (tk(P126)>=1) & (tk(P122)>=1) & (tk(P124)>=1) & (tk(P128)>=1) & (tk(P132)>=1) & (tk(P136)>=1) & (tk(P117)>=1)))) ) )))))
PROPERTY: DES-PT-20a-CTLFireability-10 (EU( (! (AF( ((potential((tk(P50)>=1) & (tk(P111)>=1))))))) , ( (EF( ((potential((tk(P23)>=1) & (tk(P191)>=1)))))) & ((potential((tk(P63)>=1) & (tk(P86)>=1)))) ) ))
PROPERTY: DES-PT-20a-CTLFireability-11 (AF( (EG( (AX( ((potential((tk(P31)>=1) & (tk(P191)>=1))))))))))
PROPERTY: DES-PT-20a-CTLFireability-12 ( (! ( ( ( ( ((potential((tk(P110)>=1) & (tk(P108)>=1) & (tk(P103)>=1)))) | ((potential((tk(P67)>=1) & (tk(P86)>=1)))) ) & ( ((potential((tk(P85)>=1) & (tk(P105)>=1)))) | ((potential((tk(P51)>=1) & (tk(P111)>=1)))) ) ) | (AF( ((potential((tk(P79)>=1) & (tk(P86)>=1)))))) ) | (AF( ( ((potential((tk(P39)>=1) & (tk(P191)>=1)))) & ((potential((tk(P171)>=1) & (tk(P174)>=1)))) ))) )) & (! ( ((potential((tk(P119)>=1) & (tk(P188)>=1)))) & (AG( ( ((potential((tk(P92)>=1) & (tk(P186)>=1)))) & ((potential((tk(P23)>=1) & (tk(P191)>=1)))) ))) )) )
PROPERTY: DES-PT-20a-CTLFireability-13 ( (AF( ( (EG( ((potential((tk(P85)>=1) & (tk(P105)>=1)))))) | ( ( ((potential((tk(P98)>=1) & (tk(P112)>=1)))) | ((potential((tk(P171)>=1) & (tk(P174)>=1)))) ) & ( ((potential((tk(P68)>=1) & (tk(P86)>=1)))) | ((potential((tk(P149)>=1) & (tk(P165)>=1)))) ) ) ))) | (AG( (EX( ( ((potential((tk(P78)>=1) & (tk(P86)>=1)))) | ((potential((tk(P114)>=1) & (tk(P116)>=1) & (tk(P12)>=1)))) ))))) )
PROPERTY: DES-PT-20a-CTLFireability-14 (! (AG( (EF( ( ((potential((tk(P177)>=1) & (tk(P192)>=1)))) | ((potential((tk(P92)>=1) & (tk(P186)>=1)))) ))))))
PROPERTY: DES-PT-20a-CTLFireability-15 (AF( (EX( ( ( ((potential((tk(P87)>=1) & (tk(P109)>=1)))) | ((potential((tk(P95)>=1) & (tk(P169)>=1)))) ) & ((potential((tk(P98)>=1) & (tk(P99)>=1)))) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DES-PT-20a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541900260"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;