Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250800651.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PermAdmissibility-PT-50, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800651
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 4.6K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Apr 10 23:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K Apr 10 23:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 5.1K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 91K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 08:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 08:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 30K Apr 9 12:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Apr 9 12:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 484K 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 PermAdmissibility-PT-50-CTLCardinality-00
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-01
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-02
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-03
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-04
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-05
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-06
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-07
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-08
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-09
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-10
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-11
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-12
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-13
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-14
FORMULA_NAME PermAdmissibility-PT-50-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645729519

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 50
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 5 NEW BEST:: SOT 73578 SOS 47768 HAS SOPS 47768 HAS SOUS 29017 HAS SOUPS 29017 WITH SCORE 29064.768
AT ITER 8 NEW BEST:: SOT 73372 SOS 47900 HAS SOPS 47900 HAS SOUS 28947 HAS SOUPS 28947 WITH SCORE 28994.9
AT ITER 9 NEW BEST:: SOT 73172 SOS 47843 HAS SOPS 47843 HAS SOUS 28912 HAS SOUPS 28912 WITH SCORE 28959.843
AT ITER 14 NEW BEST:: SOT 72946 SOS 47932 HAS SOPS 47932 HAS SOUS 28514 HAS SOUPS 28514 WITH SCORE 28561.932
AT ITER 15 NEW BEST:: SOT 72714 SOS 48168 HAS SOPS 48168 HAS SOUS 28440 HAS SOUPS 28440 WITH SCORE 28488.168
AT ITER 20 NEW BEST:: SOT 72714 SOS 48168 HAS SOPS 48168 HAS SOUS 28430 HAS SOUPS 28430 WITH SCORE 28478.168
AT ITER 26 NEW BEST:: SOT 72618 SOS 48327 HAS SOPS 48327 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28251.327
AT ITER 32 NEW BEST:: SOT 72466 SOS 48578 HAS SOPS 48578 HAS SOUS 28071 HAS SOUPS 28071 WITH SCORE 28119.578
AT ITER 36 NEW BEST:: SOT 72466 SOS 48578 HAS SOPS 48578 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28023.578
AT ITER 39 NEW BEST:: SOT 72466 SOS 49314 HAS SOPS 49314 HAS SOUS 27950 HAS SOUPS 27950 WITH SCORE 27999.314
AT ITER 41 NEW BEST:: SOT 72242 SOS 49450 HAS SOPS 49450 HAS SOUS 27797 HAS SOUPS 27797 WITH SCORE 27846.45
AT ITER 46 NEW BEST:: SOT 72230 SOS 49438 HAS SOPS 49438 HAS SOUS 27764 HAS SOUPS 27764 WITH SCORE 27813.438
AT ITER 47 NEW BEST:: SOT 72190 SOS 49398 HAS SOPS 49398 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27774.398
AT ITER 55 NEW BEST:: SOT 71894 SOS 49186 HAS SOPS 49186 HAS SOUS 27521 HAS SOUPS 27521 WITH SCORE 27570.186
AT ITER 62 NEW BEST:: SOT 71878 SOS 49170 HAS SOPS 49170 HAS SOUS 27492 HAS SOUPS 27492 WITH SCORE 27541.17
AT ITER 64 NEW BEST:: SOT 71625 SOS 48901 HAS SOPS 48901 HAS SOUS 27346 HAS SOUPS 27346 WITH SCORE 27394.901
AT ITER 68 NEW BEST:: SOT 71563 SOS 48839 HAS SOPS 48839 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27343.839
AT ITER 75 NEW BEST:: SOT 71563 SOS 48839 HAS SOPS 48839 HAS SOUS 27012 HAS SOUPS 27012 WITH SCORE 27060.839
AT ITER 85 NEW BEST:: SOT 71531 SOS 48820 HAS SOPS 48820 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27025.82
AT ITER 95 NEW BEST:: SOT 71261 SOS 48907 HAS SOPS 48907 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26799.907
AT ITER 107 NEW BEST:: SOT 71246 SOS 48892 HAS SOPS 48892 HAS SOUS 26737 HAS SOUPS 26737 WITH SCORE 26785.892
AT ITER 110 NEW BEST:: SOT 71101 SOS 48801 HAS SOPS 48801 HAS SOUS 26618 HAS SOUPS 26618 WITH SCORE 26666.801
AT ITER 114 NEW BEST:: SOT 70784 SOS 48559 HAS SOPS 48559 HAS SOUS 26333 HAS SOUPS 26333 WITH SCORE 26381.559
AT ITER 120 NEW BEST:: SOT 70437 SOS 48272 HAS SOPS 48272 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 26002.272
AT ITER 136 NEW BEST:: SOT 70367 SOS 48547 HAS SOPS 48547 HAS SOUS 25917 HAS SOUPS 25917 WITH SCORE 25965.547
AT ITER 140 NEW BEST:: SOT 70259 SOS 48469 HAS SOPS 48469 HAS SOUS 25848 HAS SOUPS 25848 WITH SCORE 25896.469
AT ITER 159 NEW BEST:: SOT 70247 SOS 48456 HAS SOPS 48456 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 25885.456
AT ITER 164 NEW BEST:: SOT 70245 SOS 48482 HAS SOPS 48482 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 25884.482
AT ITER 168 NEW BEST:: SOT 70099 SOS 47728 HAS SOPS 47728 HAS SOUS 25766 HAS SOUPS 25766 WITH SCORE 25813.728
AT ITER 169 NEW BEST:: SOT 70099 SOS 47762 HAS SOPS 47762 HAS SOUS 25658 HAS SOUPS 25658 WITH SCORE 25705.762
AT ITER 179 NEW BEST:: SOT 70067 SOS 47730 HAS SOPS 47730 HAS SOUS 25621 HAS SOUPS 25621 WITH SCORE 25668.73
AT ITER 180 NEW BEST:: SOT 69935 SOS 47598 HAS SOPS 47598 HAS SOUS 25432 HAS SOUPS 25432 WITH SCORE 25479.598
AT ITER 189 NEW BEST:: SOT 69680 SOS 47343 HAS SOPS 47343 HAS SOUS 25219 HAS SOUPS 25219 WITH SCORE 25266.343
AT ITER 190 NEW BEST:: SOT 69680 SOS 47343 HAS SOPS 47343 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25225.343
AT ITER 199 NEW BEST:: SOT 69612 SOS 47275 HAS SOPS 47275 HAS SOUS 25115 HAS SOUPS 25115 WITH SCORE 25162.275
AT ITER 210 NEW BEST:: SOT 69437 SOS 46691 HAS SOPS 46691 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25110.691
AT ITER 218 NEW BEST:: SOT 69479 SOS 48141 HAS SOPS 48141 HAS SOUS 24968 HAS SOUPS 24968 WITH SCORE 25016.141
AT ITER 220 NEW BEST:: SOT 69476 SOS 48138 HAS SOPS 48138 HAS SOUS 24965 HAS SOUPS 24965 WITH SCORE 25013.138
AT ITER 222 NEW BEST:: SOT 69308 SOS 48150 HAS SOPS 48150 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24814.15
AT ITER 225 NEW BEST:: SOT 69306 SOS 48148 HAS SOPS 48148 HAS SOUS 24745 HAS SOUPS 24745 WITH SCORE 24793.148
AT ITER 231 NEW BEST:: SOT 69306 SOS 48148 HAS SOPS 48148 HAS SOUS 24735 HAS SOUPS 24735 WITH SCORE 24783.148
AT ITER 239 NEW BEST:: SOT 69315 SOS 50123 HAS SOPS 50123 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24582.123
AT ITER 253 NEW BEST:: SOT 69269 SOS 50462 HAS SOPS 50462 HAS SOUS 24495 HAS SOUPS 24495 WITH SCORE 24545.462
AT ITER 260 NEW BEST:: SOT 69285 SOS 50169 HAS SOPS 50169 HAS SOUS 24417 HAS SOUPS 24417 WITH SCORE 24467.169
AT ITER 269 NEW BEST:: SOT 69290 SOS 50174 HAS SOPS 50174 HAS SOUS 24381 HAS SOUPS 24381 WITH SCORE 24431.174
AT ITER 276 NEW BEST:: SOT 69280 SOS 50320 HAS SOPS 50320 HAS SOUS 24366 HAS SOUPS 24366 WITH SCORE 24416.32
AT ITER 277 NEW BEST:: SOT 69100 SOS 50140 HAS SOPS 50140 HAS SOUS 24250 HAS SOUPS 24250 WITH SCORE 24300.14
AT ITER 278 NEW BEST:: SOT 69100 SOS 50140 HAS SOPS 50140 HAS SOUS 24249 HAS SOUPS 24249 WITH SCORE 24299.14
AT ITER 296 NEW BEST:: SOT 69100 SOS 50140 HAS SOPS 50140 HAS SOUS 24204 HAS SOUPS 24204 WITH SCORE 24254.14
AT ITER 299 NEW BEST:: SOT 69100 SOS 50530 HAS SOPS 50530 HAS SOUS 24126 HAS SOUPS 24126 WITH SCORE 24176.53
AT ITER 304 NEW BEST:: SOT 69091 SOS 50806 HAS SOPS 50806 HAS SOUS 24072 HAS SOUPS 24072 WITH SCORE 24122.806
AT ITER 307 NEW BEST:: SOT 69045 SOS 50647 HAS SOPS 50647 HAS SOUS 24031 HAS SOUPS 24031 WITH SCORE 24081.647
AT ITER 314 NEW BEST:: SOT 69030 SOS 50632 HAS SOPS 50632 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24066.632
AT ITER 322 NEW BEST:: SOT 68956 SOS 50635 HAS SOPS 50635 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23916.635
AT ITER 326 NEW BEST:: SOT 68956 SOS 50635 HAS SOPS 50635 HAS SOUS 23864 HAS SOUPS 23864 WITH SCORE 23914.635
AT ITER 329 NEW BEST:: SOT 69014 SOS 50743 HAS SOPS 50743 HAS SOUS 23849 HAS SOUPS 23849 WITH SCORE 23899.743
AT ITER 347 NEW BEST:: SOT 69014 SOS 50743 HAS SOPS 50743 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23860.743
AT ITER 349 NEW BEST:: SOT 68999 SOS 50917 HAS SOPS 50917 HAS SOUS 23807 HAS SOUPS 23807 WITH SCORE 23857.917
AT ITER 357 NEW BEST:: SOT 68989 SOS 50911 HAS SOPS 50911 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23847.911
AT ITER 361 NEW BEST:: SOT 69006 SOS 50935 HAS SOPS 50935 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23832.935
AT ITER 372 NEW BEST:: SOT 68996 SOS 51877 HAS SOPS 51877 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23648.877
AT ITER 380 NEW BEST:: SOT 68936 SOS 51831 HAS SOPS 51831 HAS SOUS 23585 HAS SOUPS 23585 WITH SCORE 23636.831
AT ITER 396 NEW BEST:: SOT 68928 SOS 51823 HAS SOPS 51823 HAS SOUS 23561 HAS SOUPS 23561 WITH SCORE 23612.823
AT ITER 405 NEW BEST:: SOT 68906 SOS 51801 HAS SOPS 51801 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23585.801
AT ITER 407 NEW BEST:: SOT 68906 SOS 51801 HAS SOPS 51801 HAS SOUS 23318 HAS SOUPS 23318 WITH SCORE 23369.801
AT ITER 413 NEW BEST:: SOT 68900 SOS 51795 HAS SOPS 51795 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23363.795
AT ITER 414 NEW BEST:: SOT 68866 SOS 51761 HAS SOPS 51761 HAS SOUS 23260 HAS SOUPS 23260 WITH SCORE 23311.761
AT ITER 421 NEW BEST:: SOT 68650 SOS 51554 HAS SOPS 51554 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23146.554
AT ITER 430 NEW BEST:: SOT 68634 SOS 51529 HAS SOPS 51529 HAS SOUS 23039 HAS SOUPS 23039 WITH SCORE 23090.529
AT ITER 444 NEW BEST:: SOT 68605 SOS 51500 HAS SOPS 51500 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23080.5
AT ITER 460 NEW BEST:: SOT 68573 SOS 51475 HAS SOPS 51475 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23052.475
AT ITER 468 NEW BEST:: SOT 68561 SOS 51463 HAS SOPS 51463 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23047.463
AT ITER 480 NEW BEST:: SOT 68628 SOS 51530 HAS SOPS 51530 HAS SOUS 22975 HAS SOUPS 22975 WITH SCORE 23026.53
AT ITER 481 NEW BEST:: SOT 68585 SOS 51487 HAS SOPS 51487 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22958.487
AT ITER 488 NEW BEST:: SOT 68629 SOS 51587 HAS SOPS 51587 HAS SOUS 22864 HAS SOUPS 22864 WITH SCORE 22915.587
AT ITER 494 NEW BEST:: SOT 68680 SOS 51638 HAS SOPS 51638 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22889.638
AT ITER 512 NEW BEST:: SOT 68680 SOS 51638 HAS SOPS 51638 HAS SOUS 22714 HAS SOUPS 22714 WITH SCORE 22765.638
AT ITER 521 NEW BEST:: SOT 68508 SOS 51459 HAS SOPS 51459 HAS SOUS 22605 HAS SOUPS 22605 WITH SCORE 22656.459
AT ITER 522 NEW BEST:: SOT 68490 SOS 51441 HAS SOPS 51441 HAS SOUS 22601 HAS SOUPS 22601 WITH SCORE 22652.441
AT ITER 530 NEW BEST:: SOT 68453 SOS 51396 HAS SOPS 51396 HAS SOUS 22595 HAS SOUPS 22595 WITH SCORE 22646.396
AT ITER 532 NEW BEST:: SOT 68382 SOS 51325 HAS SOPS 51325 HAS SOUS 22563 HAS SOUPS 22563 WITH SCORE 22614.325
AT ITER 533 NEW BEST:: SOT 68415 SOS 51566 HAS SOPS 51566 HAS SOUS 22509 HAS SOUPS 22509 WITH SCORE 22560.566
AT ITER 566 NEW BEST:: SOT 68377 SOS 51528 HAS SOPS 51528 HAS SOUS 22430 HAS SOUPS 22430 WITH SCORE 22481.528
AT ITER 578 NEW BEST:: SOT 68377 SOS 51528 HAS SOPS 51528 HAS SOUS 22421 HAS SOUPS 22421 WITH SCORE 22472.528
AT ITER 589 NEW BEST:: SOT 68323 SOS 51485 HAS SOPS 51485 HAS SOUS 22300 HAS SOUPS 22300 WITH SCORE 22351.485
AT ITER 623 NEW BEST:: SOT 68186 SOS 51352 HAS SOPS 51352 HAS SOUS 22161 HAS SOUPS 22161 WITH SCORE 22212.352
AT ITER 664 NEW BEST:: SOT 67983 SOS 51149 HAS SOPS 51149 HAS SOUS 22092 HAS SOUPS 22092 WITH SCORE 22143.149
AT ITER 674 NEW BEST:: SOT 67974 SOS 51140 HAS SOPS 51140 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22134.14
AT ITER 677 NEW BEST:: SOT 68028 SOS 51232 HAS SOPS 51232 HAS SOUS 22071 HAS SOUPS 22071 WITH SCORE 22122.232
AT ITER 679 NEW BEST:: SOT 68040 SOS 51244 HAS SOPS 51244 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22116.244
AT ITER 686 NEW BEST:: SOT 67945 SOS 51195 HAS SOPS 51195 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21984.195
AT ITER 712 NEW BEST:: SOT 67945 SOS 51195 HAS SOPS 51195 HAS SOUS 21818 HAS SOUPS 21818 WITH SCORE 21869.195
AT ITER 721 NEW BEST:: SOT 67965 SOS 51215 HAS SOPS 51215 HAS SOUS 21718 HAS SOUPS 21718 WITH SCORE 21769.215
AT ITER 765 NEW BEST:: SOT 67926 SOS 51230 HAS SOPS 51230 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21695.23
AT ITER 766 NEW BEST:: SOT 67902 SOS 51218 HAS SOPS 51218 HAS SOUS 21626 HAS SOUPS 21626 WITH SCORE 21677.218
AT ITER 772 NEW BEST:: SOT 67896 SOS 51212 HAS SOPS 51212 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21598.212
AT ITER 796 NEW BEST:: SOT 67964 SOS 52315 HAS SOPS 52315 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21421.315
AT ITER 827 NEW BEST:: SOT 67944 SOS 52295 HAS SOPS 52295 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21387.295
AT ITER 870 NEW BEST:: SOT 67939 SOS 52353 HAS SOPS 52353 HAS SOUS 21331 HAS SOUPS 21331 WITH SCORE 21383.353
AT ITER 891 NEW BEST:: SOT 67939 SOS 52353 HAS SOPS 52353 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21358.353
AT ITER 892 NEW BEST:: SOT 67939 SOS 52353 HAS SOPS 52353 HAS SOUS 21283 HAS SOUPS 21283 WITH SCORE 21335.353
AT ITER 903 NEW BEST:: SOT 68198 SOS 52612 HAS SOPS 52612 HAS SOUS 21278 HAS SOUPS 21278 WITH SCORE 21330.612
AT ITER 905 NEW BEST:: SOT 68198 SOS 52537 HAS SOPS 52537 HAS SOUS 21278 HAS SOUPS 21278 WITH SCORE 21330.537
AT ITER 916 NEW BEST:: SOT 68184 SOS 52501 HAS SOPS 52501 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21280.501
AT ITER 955 NEW BEST:: SOT 68137 SOS 52454 HAS SOPS 52454 HAS SOUS 21081 HAS SOUPS 21081 WITH SCORE 21133.454
AT ITER 966 NEW BEST:: SOT 68221 SOS 52538 HAS SOPS 52538 HAS SOUS 21053 HAS SOUPS 21053 WITH SCORE 21105.538
AT ITER 977 NEW BEST:: SOT 68162 SOS 52479 HAS SOPS 52479 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21104.479
AT ITER 978 NEW BEST:: SOT 68147 SOS 52464 HAS SOPS 52464 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21097.464
AT ITER 1010 NEW BEST:: SOT 68135 SOS 52452 HAS SOPS 52452 HAS SOUS 21001 HAS SOUPS 21001 WITH SCORE 21053.452
AT ITER 1029 NEW BEST:: SOT 68135 SOS 52452 HAS SOPS 52452 HAS SOUS 20991 HAS SOUPS 20991 WITH SCORE 21043.452
AT ITER 1040 NEW BEST:: SOT 68049 SOS 52366 HAS SOPS 52366 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20981.366
AT ITER 1060 NEW BEST:: SOT 67854 SOS 52171 HAS SOPS 52171 HAS SOUS 20798 HAS SOUPS 20798 WITH SCORE 20850.171
AT ITER 1069 NEW BEST:: SOT 67866 SOS 53144 HAS SOPS 53144 HAS SOUS 20790 HAS SOUPS 20790 WITH SCORE 20843.144
AT ITER 1099 NEW BEST:: SOT 67876 SOS 53154 HAS SOPS 53154 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20840.154
AT ITER 1104 NEW BEST:: SOT 67900 SOS 53118 HAS SOPS 53118 HAS SOUS 20781 HAS SOUPS 20781 WITH SCORE 20834.118
AT ITER 1126 NEW BEST:: SOT 67900 SOS 53118 HAS SOPS 53118 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20830.118
AT ITER 1136 NEW BEST:: SOT 67894 SOS 53112 HAS SOPS 53112 HAS SOUS 20771 HAS SOUPS 20771 WITH SCORE 20824.112
AT ITER 1188 NEW BEST:: SOT 67894 SOS 52480 HAS SOPS 52480 HAS SOUS 20770 HAS SOUPS 20770 WITH SCORE 20822.48
AT ITER 1210 NEW BEST:: SOT 67894 SOS 53056 HAS SOPS 53056 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20763.056
AT ITER 1217 NEW BEST:: SOT 67852 SOS 53014 HAS SOPS 53014 HAS SOUS 20696 HAS SOUPS 20696 WITH SCORE 20749.014
AT ITER 1318 NEW BEST:: SOT 67852 SOS 53174 HAS SOPS 53174 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20739.174
AT ITER 1324 NEW BEST:: SOT 67839 SOS 53161 HAS SOPS 53161 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20726.161
AT ITER 1326 NEW BEST:: SOT 67538 SOS 52860 HAS SOPS 52860 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20677.86
AT ITER 1328 NEW BEST:: SOT 67538 SOS 52860 HAS SOPS 52860 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20607.86
AT ITER 1346 NEW BEST:: SOT 67538 SOS 52860 HAS SOPS 52860 HAS SOUS 20471 HAS SOUPS 20471 WITH SCORE 20523.86
AT ITER 1357 NEW BEST:: SOT 67447 SOS 52769 HAS SOPS 52769 HAS SOUS 20432 HAS SOUPS 20432 WITH SCORE 20484.769
AT ITER 1401 NEW BEST:: SOT 67417 SOS 52739 HAS SOPS 52739 HAS SOUS 20386 HAS SOUPS 20386 WITH SCORE 20438.739
AT ITER 1404 NEW BEST:: SOT 67417 SOS 52739 HAS SOPS 52739 HAS SOUS 20374 HAS SOUPS 20374 WITH SCORE 20426.739
AT ITER 1410 NEW BEST:: SOT 67411 SOS 52733 HAS SOPS 52733 HAS SOUS 20359 HAS SOUPS 20359 WITH SCORE 20411.733
AT ITER 1429 NEW BEST:: SOT 67399 SOS 52721 HAS SOPS 52721 HAS SOUS 20347 HAS SOUPS 20347 WITH SCORE 20399.721
AT ITER 1433 NEW BEST:: SOT 67347 SOS 52669 HAS SOPS 52669 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20355.669
AT ITER 1439 NEW BEST:: SOT 67242 SOS 52564 HAS SOPS 52564 HAS SOUS 20204 HAS SOUPS 20204 WITH SCORE 20256.564
AT ITER 1449 NEW BEST:: SOT 67232 SOS 52563 HAS SOPS 52563 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20236.563
AT ITER 1452 NEW BEST:: SOT 67254 SOS 52576 HAS SOPS 52576 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20202.576
AT ITER 1467 NEW BEST:: SOT 67150 SOS 52472 HAS SOPS 52472 HAS SOUS 20102 HAS SOUPS 20102 WITH SCORE 20154.472
AT ITER 1505 NEW BEST:: SOT 67208 SOS 52530 HAS SOPS 52530 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20039.53
AT ITER 1525 NEW BEST:: SOT 67208 SOS 53116 HAS SOPS 53116 HAS SOUS 19945 HAS SOUPS 19945 WITH SCORE 19998.116
AT ITER 1546 NEW BEST:: SOT 67038 SOS 52950 HAS SOPS 52950 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19939.95
AT ITER 1555 NEW BEST:: SOT 66827 SOS 52741 HAS SOPS 52741 HAS SOUS 19755 HAS SOUPS 19755 WITH SCORE 19807.741
AT ITER 1566 NEW BEST:: SOT 66747 SOS 52661 HAS SOPS 52661 HAS SOUS 19675 HAS SOUPS 19675 WITH SCORE 19727.661
AT ITER 1573 NEW BEST:: SOT 66724 SOS 52638 HAS SOPS 52638 HAS SOUS 19632 HAS SOUPS 19632 WITH SCORE 19684.638
AT ITER 1574 NEW BEST:: SOT 66724 SOS 51362 HAS SOPS 51362 HAS SOUS 19632 HAS SOUPS 19632 WITH SCORE 19683.362
AT ITER 1598 NEW BEST:: SOT 66442 SOS 51080 HAS SOPS 51080 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19652.08
AT ITER 1604 NEW BEST:: SOT 66442 SOS 51080 HAS SOPS 51080 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19646.08
AT ITER 1609 NEW BEST:: SOT 66442 SOS 51050 HAS SOPS 51050 HAS SOUS 19589 HAS SOUPS 19589 WITH SCORE 19640.05
AT ITER 1626 NEW BEST:: SOT 66234 SOS 50842 HAS SOPS 50842 HAS SOUS 19589 HAS SOUPS 19589 WITH SCORE 19639.842
AT ITER 1701 NEW BEST:: SOT 66302 SOS 50889 HAS SOPS 50889 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19600.889
AT ITER 1702 NEW BEST:: SOT 66302 SOS 50889 HAS SOPS 50889 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19596.889
AT ITER 1706 NEW BEST:: SOT 66285 SOS 50872 HAS SOPS 50872 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19579.872
AT ITER 1709 NEW BEST:: SOT 66310 SOS 50897 HAS SOPS 50897 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19516.897
AT ITER 1722 NEW BEST:: SOT 66310 SOS 51078 HAS SOPS 51078 HAS SOUS 19448 HAS SOUPS 19448 WITH SCORE 19499.078
AT ITER 1771 NEW BEST:: SOT 66286 SOS 51022 HAS SOPS 51022 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19483.022
AT ITER 1774 NEW BEST:: SOT 66286 SOS 50924 HAS SOPS 50924 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19480.924
AT ITER 1775 NEW BEST:: SOT 66268 SOS 50903 HAS SOPS 50903 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19464.903
AT ITER 1806 NEW BEST:: SOT 66164 SOS 50799 HAS SOPS 50799 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19266.799
AT ITER 1848 NEW BEST:: SOT 65996 SOS 50631 HAS SOPS 50631 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19157.631
AT ITER 1866 NEW BEST:: SOT 65982 SOS 50617 HAS SOPS 50617 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19155.617
AT ITER 1896 NEW BEST:: SOT 66002 SOS 50637 HAS SOPS 50637 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 19019.637
AT ITER 1944 NEW BEST:: SOT 65972 SOS 50607 HAS SOPS 50607 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 18995.607
AT ITER 1949 NEW BEST:: SOT 65972 SOS 50607 HAS SOPS 50607 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 18993.607
AT ITER 1987 NEW BEST:: SOT 65946 SOS 50581 HAS SOPS 50581 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18967.581
AT ITER 2005 NEW BEST:: SOT 65946 SOS 50581 HAS SOPS 50581 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18966.581
AT ITER 2090 NEW BEST:: SOT 65954 SOS 51246 HAS SOPS 51246 HAS SOUS 18905 HAS SOUPS 18905 WITH SCORE 18956.246
AT ITER 2118 NEW BEST:: SOT 65979 SOS 51592 HAS SOPS 51592 HAS SOUS 18897 HAS SOUPS 18897 WITH SCORE 18948.592
AT ITER 2139 NEW BEST:: SOT 65959 SOS 51572 HAS SOPS 51572 HAS SOUS 18869 HAS SOUPS 18869 WITH SCORE 18920.572
AT ITER 2155 NEW BEST:: SOT 65951 SOS 51564 HAS SOPS 51564 HAS SOUS 18861 HAS SOUPS 18861 WITH SCORE 18912.564
AT ITER 2178 NEW BEST:: SOT 66013 SOS 51626 HAS SOPS 51626 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18893.626
AT ITER 2187 NEW BEST:: SOT 65942 SOS 51554 HAS SOPS 51554 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18843.554
AT ITER 2210 NEW BEST:: SOT 65942 SOS 51554 HAS SOPS 51554 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18840.554
AT ITER 2241 NEW BEST:: SOT 65942 SOS 52018 HAS SOPS 52018 HAS SOUS 18782 HAS SOUPS 18782 WITH SCORE 18834.018
AT ITER 2262 NEW BEST:: SOT 65937 SOS 52013 HAS SOPS 52013 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18829.013
AT ITER 2271 NEW BEST:: SOT 65937 SOS 52013 HAS SOPS 52013 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18820.013
AT ITER 2278 NEW BEST:: SOT 65936 SOS 52012 HAS SOPS 52012 HAS SOUS 18767 HAS SOUPS 18767 WITH SCORE 18819.012
AT ITER 2279 NEW BEST:: SOT 65929 SOS 52005 HAS SOPS 52005 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18812.005
AT ITER 2291 NEW BEST:: SOT 65861 SOS 51917 HAS SOPS 51917 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18773.917
AT ITER 2304 NEW BEST:: SOT 65861 SOS 51997 HAS SOPS 51997 HAS SOUS 18720 HAS SOUPS 18720 WITH SCORE 18771.997
AT ITER 2310 NEW BEST:: SOT 65738 SOS 51874 HAS SOPS 51874 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18628.874
AT ITER 2312 NEW BEST:: SOT 65736 SOS 51860 HAS SOPS 51860 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18619.86
AT ITER 2366 NEW BEST:: SOT 65730 SOS 51854 HAS SOPS 51854 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18613.854
AT ITER 2384 NEW BEST:: SOT 65652 SOS 51779 HAS SOPS 51779 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18541.779
AT ITER 2385 NEW BEST:: SOT 65652 SOS 51773 HAS SOPS 51773 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18515.773
AT ITER 2416 NEW BEST:: SOT 65647 SOS 51768 HAS SOPS 51768 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18505.768
AT ITER 2435 NEW BEST:: SOT 65647 SOS 49627 HAS SOPS 49627 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18497.627
AT ITER 2497 NEW BEST:: SOT 65623 SOS 49603 HAS SOPS 49603 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18473.603
AT ITER 2502 NEW BEST:: SOT 65320 SOS 49300 HAS SOPS 49300 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18238.3
AT ITER 2503 NEW BEST:: SOT 65320 SOS 49240 HAS SOPS 49240 HAS SOUS 18181 HAS SOUPS 18181 WITH SCORE 18230.24
AT ITER 2521 NEW BEST:: SOT 65330 SOS 49250 HAS SOPS 49250 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18219.25
AT ITER 2529 NEW BEST:: SOT 65296 SOS 49212 HAS SOPS 49212 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18156.212
AT ITER 2537 NEW BEST:: SOT 65355 SOS 49337 HAS SOPS 49337 HAS SOUS 18076 HAS SOUPS 18076 WITH SCORE 18125.337
AT ITER 2608 NEW BEST:: SOT 65355 SOS 49337 HAS SOPS 49337 HAS SOUS 18034 HAS SOUPS 18034 WITH SCORE 18083.337
AT ITER 2637 NEW BEST:: SOT 65229 SOS 49211 HAS SOPS 49211 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 18001.211
AT ITER 2686 NEW BEST:: SOT 65242 SOS 48976 HAS SOPS 48976 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17919.976
AT ITER 2703 NEW BEST:: SOT 65234 SOS 48976 HAS SOPS 48976 HAS SOUS 17862 HAS SOUPS 17862 WITH SCORE 17910.976
AT ITER 2768 NEW BEST:: SOT 65162 SOS 48904 HAS SOPS 48904 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17836.904
AT ITER 2809 NEW BEST:: SOT 65162 SOS 48904 HAS SOPS 48904 HAS SOUS 17786 HAS SOUPS 17786 WITH SCORE 17834.904
AT ITER 2813 NEW BEST:: SOT 65115 SOS 48857 HAS SOPS 48857 HAS SOUS 17750 HAS SOUPS 17750 WITH SCORE 17798.857
AT ITER 2858 NEW BEST:: SOT 65116 SOS 48858 HAS SOPS 48858 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17793.858
AT ITER 2877 NEW BEST:: SOT 65132 SOS 48874 HAS SOPS 48874 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17780.874
AT ITER 2934 NEW BEST:: SOT 65126 SOS 48868 HAS SOPS 48868 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17774.868
AT ITER 2940 NEW BEST:: SOT 65126 SOS 51116 HAS SOPS 51116 HAS SOUS 17721 HAS SOUPS 17721 WITH SCORE 17772.116
AT ITER 2995 NEW BEST:: SOT 65128 SOS 51118 HAS SOPS 51118 HAS SOUS 17719 HAS SOUPS 17719 WITH SCORE 17770.118
AT ITER 3027 NEW BEST:: SOT 65130 SOS 51120 HAS SOPS 51120 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17760.12
AT ITER 3038 NEW BEST:: SOT 65130 SOS 50988 HAS SOPS 50988 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17756.988
AT ITER 3101 NEW BEST:: SOT 65088 SOS 50946 HAS SOPS 50946 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17730.946
AT ITER 3106 NEW BEST:: SOT 65086 SOS 50944 HAS SOPS 50944 HAS SOUS 17677 HAS SOUPS 17677 WITH SCORE 17727.944
AT ITER 3117 NEW BEST:: SOT 65060 SOS 50914 HAS SOPS 50914 HAS SOUS 17657 HAS SOUPS 17657 WITH SCORE 17707.914
AT ITER 3122 NEW BEST:: SOT 65016 SOS 50870 HAS SOPS 50870 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17663.87
AT ITER 3130 NEW BEST:: SOT 65000 SOS 50859 HAS SOPS 50859 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17651.859
AT ITER 3136 NEW BEST:: SOT 65000 SOS 51179 HAS SOPS 51179 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17647.179
AT ITER 3144 NEW BEST:: SOT 64984 SOS 51163 HAS SOPS 51163 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17620.163
AT ITER 3154 NEW BEST:: SOT 65013 SOS 51192 HAS SOPS 51192 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17611.192
AT ITER 3166 NEW BEST:: SOT 65020 SOS 51199 HAS SOPS 51199 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17605.199
AT ITER 3180 NEW BEST:: SOT 65018 SOS 51197 HAS SOPS 51197 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17605.197
AT ITER 3228 NEW BEST:: SOT 64998 SOS 51141 HAS SOPS 51141 HAS SOUS 17465 HAS SOUPS 17465 WITH SCORE 17516.141
AT ITER 3242 NEW BEST:: SOT 64998 SOS 51069 HAS SOPS 51069 HAS SOUS 17465 HAS SOUPS 17465 WITH SCORE 17516.069
AT ITER 3269 NEW BEST:: SOT 64938 SOS 51009 HAS SOPS 51009 HAS SOUS 17370 HAS SOUPS 17370 WITH SCORE 17421.009
AT ITER 3271 NEW BEST:: SOT 64904 SOS 51004 HAS SOPS 51004 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17418.004
AT ITER 3290 NEW BEST:: SOT 64910 SOS 50907 HAS SOPS 50907 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17391.907
AT ITER 3335 NEW BEST:: SOT 64909 SOS 50906 HAS SOPS 50906 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17358.906
AT ITER 3340 NEW BEST:: SOT 64906 SOS 50899 HAS SOPS 50899 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17357.899
AT ITER 3352 NEW BEST:: SOT 64900 SOS 50893 HAS SOPS 50893 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17357.893
AT ITER 3353 NEW BEST:: SOT 64900 SOS 50788 HAS SOPS 50788 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17357.788
AT ITER 3354 NEW BEST:: SOT 64897 SOS 50785 HAS SOPS 50785 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17346.785
AT ITER 3402 NEW BEST:: SOT 64831 SOS 50719 HAS SOPS 50719 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17293.719
AT ITER 3446 NEW BEST:: SOT 64919 SOS 50807 HAS SOPS 50807 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17262.807
AT ITER 3462 NEW BEST:: SOT 64918 SOS 50806 HAS SOPS 50806 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17254.806
AT ITER 3466 NEW BEST:: SOT 64928 SOS 50806 HAS SOPS 50806 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17204.806
AT ITER 3474 NEW BEST:: SOT 64968 SOS 50846 HAS SOPS 50846 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17188.846
AT ITER 3482 NEW BEST:: SOT 64938 SOS 50813 HAS SOPS 50813 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17167.813
AT ITER 3485 NEW BEST:: SOT 64896 SOS 50791 HAS SOPS 50791 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17135.791
AT ITER 3488 NEW BEST:: SOT 64896 SOS 50791 HAS SOPS 50791 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17103.791
AT ITER 3491 NEW BEST:: SOT 64880 SOS 50775 HAS SOPS 50775 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17091.775
AT ITER 3523 NEW BEST:: SOT 64887 SOS 50782 HAS SOPS 50782 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17087.782
AT ITER 3536 NEW BEST:: SOT 64885 SOS 50780 HAS SOPS 50780 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17085.78
AT ITER 3557 NEW BEST:: SOT 64853 SOS 50748 HAS SOPS 50748 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17029.748
AT ITER 3565 NEW BEST:: SOT 64861 SOS 50756 HAS SOPS 50756 HAS SOUS 16978 HAS SOUPS 16978 WITH SCORE 17028.756
AT ITER 3577 NEW BEST:: SOT 64861 SOS 50756 HAS SOPS 50756 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 17021.756
AT ITER 3589 NEW BEST:: SOT 64808 SOS 50723 HAS SOPS 50723 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16989.723
AT ITER 3655 NEW BEST:: SOT 64788 SOS 50703 HAS SOPS 50703 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16969.703
AT ITER 3706 NEW BEST:: SOT 64775 SOS 50690 HAS SOPS 50690 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16885.69
AT ITER 3748 NEW BEST:: SOT 64795 SOS 50710 HAS SOPS 50710 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16873.71
AT ITER 3751 NEW BEST:: SOT 64817 SOS 50748 HAS SOPS 50748 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16869.748
AT ITER 3757 NEW BEST:: SOT 64817 SOS 50748 HAS SOPS 50748 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16865.748
AT ITER 3777 NEW BEST:: SOT 64736 SOS 50653 HAS SOPS 50653 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16779.653
AT ITER 3842 NEW BEST:: SOT 64714 SOS 50631 HAS SOPS 50631 HAS SOUS 16723 HAS SOUPS 16723 WITH SCORE 16773.631
AT ITER 3868 NEW BEST:: SOT 64705 SOS 50622 HAS SOPS 50622 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16722.622
AT ITER 3914 NEW BEST:: SOT 64621 SOS 50498 HAS SOPS 50498 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16621.498
AT ITER 4024 NEW BEST:: SOT 64583 SOS 50460 HAS SOPS 50460 HAS SOUS 16541 HAS SOUPS 16541 WITH SCORE 16591.46
AT ITER 4028 NEW BEST:: SOT 64591 SOS 50468 HAS SOPS 50468 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16590.468
AT ITER 4062 NEW BEST:: SOT 64581 SOS 50458 HAS SOPS 50458 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16584.458
AT ITER 4068 NEW BEST:: SOT 64463 SOS 50340 HAS SOPS 50340 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16445.34
AT ITER 4072 NEW BEST:: SOT 64463 SOS 50332 HAS SOPS 50332 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16445.332
AT ITER 4116 NEW BEST:: SOT 64465 SOS 50334 HAS SOPS 50334 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16443.334
AT ITER 4139 NEW BEST:: SOT 64436 SOS 50305 HAS SOPS 50305 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16400.305
AT ITER 4221 NEW BEST:: SOT 64426 SOS 50279 HAS SOPS 50279 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16340.279
AT ITER 4258 NEW BEST:: SOT 64420 SOS 50270 HAS SOPS 50270 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16326.27
AT ITER 4276 NEW BEST:: SOT 64397 SOS 50247 HAS SOPS 50247 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16311.247
AT ITER 4277 NEW BEST:: SOT 64397 SOS 50247 HAS SOPS 50247 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16309.247
AT ITER 4389 NEW BEST:: SOT 64397 SOS 49991 HAS SOPS 49991 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16304.991
AT ITER 4415 NEW BEST:: SOT 64385 SOS 49979 HAS SOPS 49979 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16304.979
AT ITER 4480 NEW BEST:: SOT 64385 SOS 50076 HAS SOPS 50076 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16295.076
AT ITER 4517 NEW BEST:: SOT 64385 SOS 50076 HAS SOPS 50076 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16287.076
AT ITER 4528 NEW BEST:: SOT 64385 SOS 50079 HAS SOPS 50079 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16286.079
AT ITER 4571 NEW BEST:: SOT 64385 SOS 50094 HAS SOPS 50094 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16275.094
AT ITER 4582 NEW BEST:: SOT 64316 SOS 50025 HAS SOPS 50025 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16268.025
AT ITER 4587 NEW BEST:: SOT 64316 SOS 50025 HAS SOPS 50025 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16264.025
AT ITER 4628 NEW BEST:: SOT 64292 SOS 50001 HAS SOPS 50001 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16256.001
AT ITER 4748 NEW BEST:: SOT 64289 SOS 49998 HAS SOPS 49998 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16243.998
AT ITER 4756 NEW BEST:: SOT 64269 SOS 49975 HAS SOPS 49975 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16221.975
AT ITER 4786 NEW BEST:: SOT 64257 SOS 49963 HAS SOPS 49963 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16206.963
AT ITER 4838 NEW BEST:: SOT 64218 SOS 49924 HAS SOPS 49924 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16167.924
AT ITER 4892 NEW BEST:: SOT 64216 SOS 49922 HAS SOPS 49922 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16167.922
AT ITER 4971 NEW BEST:: SOT 64258 SOS 49964 HAS SOPS 49964 HAS SOUS 16106 HAS SOUPS 16106 WITH SCORE 16155.964
AT ITER 4974 NEW BEST:: SOT 64214 SOS 49920 HAS SOPS 49920 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16080.92
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-00 ( (EG( ( potential( (tk(P164)) <= (tk(P124)) ) & potential( (tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P154) + tk(P155) + tk(P156) + tk(P157)) <= (tk(P81)) ) ))) & potential( (tk(P36)) <= (tk(P167) + tk(P168)) ) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-01 (EX( (! (EF(potential( ( 1 ) <= (tk(P58) + tk(P59) + tk(P60) + tk(P62) + tk(P66) + tk(P67) + tk(P68) + tk(P69)) ))))))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-02 (EX( (AG( potential( (tk(P36)) <= (tk(P117)) )))))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-03 ( (EU( (! potential( ( 3 ) <= (tk(P164)) )),potential( (tk(P165)) <= (tk(P164)) ) )) | ( ( potential( ( 1 ) <= (tk(P102) + tk(P104) + tk(P105) + tk(P107)) ) & potential( ( 2 ) <= (tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25)) ) ) & ( ( potential( (tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P17)) <= (tk(P128) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P150) + tk(P151) + tk(P152)) ) & potential( ( 3 ) <= (tk(P165)) ) ) & (AF(potential( ( 3 ) <= (tk(P117)) ))) ) ) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-04 (EF((EG( ( potential( ( 3 ) <= (tk(P136) + tk(P137) + tk(P138) + tk(P139)) ) | potential( ( 2 ) <= (tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25)) ) )))))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-05 ( (! (EU( potential( (tk(P36)) <= (tk(P129)) ),potential( ( 1 ) <= (tk(P42) + tk(P43) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P53)) ) ))) | ( potential( ( 1 ) <= (tk(P42) + tk(P43) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P53)) ) & (EX( (! potential( ( 3 ) <= (tk(P165)) )))) ) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-06 ( (! (! (EG( potential( (tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P17)) <= (tk(P164)) ))))) & (AF((EG( potential( (tk(P166)) <= (tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P134) + tk(P135)) ))))) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-07 (EF((! potential( (tk(P103)) <= (tk(P102) + tk(P104) + tk(P105) + tk(P107)) ))))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-08 ( (! ( ( potential( (tk(P67)) <= (tk(P97)) ) & potential( (tk(P111)) <= (tk(P3)) ) ) | (EX( potential( ( 2 ) <= (tk(P60)) ))) )) | (EG( ( ( potential( (tk(P151)) <= (tk(P93)) ) & potential( ( 3 ) <= (tk(P149)) ) ) | ( potential( (tk(P55)) <= (tk(P159)) ) | potential( (tk(P147)) <= (tk(P74)) ) ) ))) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-09 (EG( ( (! ( potential( (tk(P135)) <= (tk(P153)) ) & potential( (tk(P121)) <= (tk(P53)) ) )) | potential( (tk(P48)) <= (tk(P159)) ) )))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-10 ( ( potential( (tk(P53)) <= (tk(P85)) ) & (EX( ( potential( (tk(P70)) <= (tk(P95)) ) & potential( ( 1 ) <= (tk(P103)) ) ))) ) | (AX( (AF(potential( ( 1 ) <= (tk(P47)) ))))) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-11 ( potential( (tk(P28)) <= (tk(P39)) ) & (EG( (AF(potential( ( 3 ) <= (tk(P46)) ))))) )
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-12 (EG( potential( (tk(P160)) <= (tk(P26)) )))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-13 (EG( (EF(( potential( (tk(P116)) <= (tk(P115)) ) & potential( (tk(P100)) <= (tk(P74)) ) )))))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-14 (AU( (EG( potential( (tk(P97)) <= (tk(P90)) ))),( ( potential( (tk(P24)) <= (tk(P26)) ) & potential( (tk(P139)) <= (tk(P105)) ) ) & ( potential( (tk(P66)) <= (tk(P59)) ) & potential( ( 2 ) <= (tk(P87)) ) ) ) ))
PROPERTY: PermAdmissibility-PT-50-CTLCardinality-15 ( potential( (tk(P84)) <= (tk(P56)) ) & ( ( potential( ( 2 ) <= (tk(P62)) ) | (! potential( (tk(P12)) <= (tk(P60)) )) ) | (EU( potential( (tk(P63)) <= (tk(P4)) ),potential( ( 1 ) <= (tk(P10)) ) )) ) )

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="PermAdmissibility-PT-50"
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 PermAdmissibility-PT-50, 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 r108-csrt-158961250800651"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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