Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508500443.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AutoFlight-PT-05b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 3.3K Mar 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 113K 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 AutoFlight-PT-05b-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-05b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589154431741

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 05b
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: 482 places, 480 transitions, 1120 arcs.
AT ITER 0 NEW BEST:: SOT 125658 SOS 25107 HAS SOPS 25107 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23080.107
AT ITER 6 NEW BEST:: SOT 125658 SOS 25092 HAS SOPS 25092 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23068.092
AT ITER 27 NEW BEST:: SOT 125658 SOS 25075 HAS SOPS 25075 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23051.075
AT ITER 36 NEW BEST:: SOT 125658 SOS 25064 HAS SOPS 25064 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23051.064
AT ITER 41 NEW BEST:: SOT 125642 SOS 25048 HAS SOPS 25048 HAS SOUS 23010 HAS SOUPS 23010 WITH SCORE 23035.048
AT ITER 43 NEW BEST:: SOT 125654 SOS 25038 HAS SOPS 25038 HAS SOUS 22999 HAS SOUPS 22999 WITH SCORE 23024.038
AT ITER 60 NEW BEST:: SOT 125654 SOS 25002 HAS SOPS 25002 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 22988.002
AT ITER 62 NEW BEST:: SOT 125653 SOS 25001 HAS SOPS 25001 HAS SOUS 22962 HAS SOUPS 22962 WITH SCORE 22987.001
AT ITER 71 NEW BEST:: SOT 125602 SOS 24899 HAS SOPS 24899 HAS SOUS 22911 HAS SOUPS 22911 WITH SCORE 22935.899
AT ITER 84 NEW BEST:: SOT 125602 SOS 24897 HAS SOPS 24897 HAS SOUS 22911 HAS SOUPS 22911 WITH SCORE 22935.897
AT ITER 88 NEW BEST:: SOT 125602 SOS 24875 HAS SOPS 24875 HAS SOUS 22900 HAS SOUPS 22900 WITH SCORE 22924.875
AT ITER 98 NEW BEST:: SOT 125595 SOS 24861 HAS SOPS 24861 HAS SOUS 22886 HAS SOUPS 22886 WITH SCORE 22910.861
AT ITER 111 NEW BEST:: SOT 125525 SOS 24826 HAS SOPS 24826 HAS SOUS 22816 HAS SOUPS 22816 WITH SCORE 22840.826
AT ITER 149 NEW BEST:: SOT 125525 SOS 24809 HAS SOPS 24809 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22823.809
AT ITER 166 NEW BEST:: SOT 125510 SOS 24807 HAS SOPS 24807 HAS SOUS 22797 HAS SOUPS 22797 WITH SCORE 22821.807
AT ITER 238 NEW BEST:: SOT 125510 SOS 24784 HAS SOPS 24784 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22798.784
AT ITER 250 NEW BEST:: SOT 125486 SOS 24755 HAS SOPS 24755 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22793.755
AT ITER 251 NEW BEST:: SOT 125505 SOS 24743 HAS SOPS 24743 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22781.743
AT ITER 269 NEW BEST:: SOT 125505 SOS 24688 HAS SOPS 24688 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22781.688
AT ITER 278 NEW BEST:: SOT 125466 SOS 24649 HAS SOPS 24649 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22742.649
AT ITER 346 NEW BEST:: SOT 125440 SOS 24568 HAS SOPS 24568 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22690.568
AT ITER 358 NEW BEST:: SOT 125440 SOS 24560 HAS SOPS 24560 HAS SOUS 22658 HAS SOUPS 22658 WITH SCORE 22682.56
AT ITER 360 NEW BEST:: SOT 125417 SOS 24628 HAS SOPS 24628 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22602.628
AT ITER 377 NEW BEST:: SOT 125417 SOS 24622 HAS SOPS 24622 HAS SOUS 22572 HAS SOUPS 22572 WITH SCORE 22596.622
AT ITER 390 NEW BEST:: SOT 125417 SOS 24606 HAS SOPS 24606 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22580.606
AT ITER 402 NEW BEST:: SOT 125417 SOS 24565 HAS SOPS 24565 HAS SOUS 22515 HAS SOUPS 22515 WITH SCORE 22539.565
AT ITER 404 NEW BEST:: SOT 125417 SOS 24562 HAS SOPS 24562 HAS SOUS 22512 HAS SOUPS 22512 WITH SCORE 22536.562
AT ITER 469 NEW BEST:: SOT 125319 SOS 24464 HAS SOPS 24464 HAS SOUS 22414 HAS SOUPS 22414 WITH SCORE 22438.464
AT ITER 480 NEW BEST:: SOT 125294 SOS 24413 HAS SOPS 24413 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22387.413
AT ITER 492 NEW BEST:: SOT 125294 SOS 24395 HAS SOPS 24395 HAS SOUS 22345 HAS SOUPS 22345 WITH SCORE 22369.395
AT ITER 504 NEW BEST:: SOT 125282 SOS 24371 HAS SOPS 24371 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22345.371
AT ITER 512 NEW BEST:: SOT 125282 SOS 24314 HAS SOPS 24314 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22326.314
AT ITER 518 NEW BEST:: SOT 125282 SOS 24307 HAS SOPS 24307 HAS SOUS 22295 HAS SOUPS 22295 WITH SCORE 22319.307
AT ITER 523 NEW BEST:: SOT 125284 SOS 24252 HAS SOPS 24252 HAS SOUS 22292 HAS SOUPS 22292 WITH SCORE 22316.252
AT ITER 538 NEW BEST:: SOT 125245 SOS 24060 HAS SOPS 24060 HAS SOUS 22181 HAS SOUPS 22181 WITH SCORE 22205.06
AT ITER 550 NEW BEST:: SOT 125246 SOS 24059 HAS SOPS 24059 HAS SOUS 22180 HAS SOUPS 22180 WITH SCORE 22204.059
AT ITER 553 NEW BEST:: SOT 125207 SOS 23981 HAS SOPS 23981 HAS SOUS 22102 HAS SOUPS 22102 WITH SCORE 22125.981
AT ITER 572 NEW BEST:: SOT 125182 SOS 23909 HAS SOPS 23909 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22097.909
AT ITER 581 NEW BEST:: SOT 125125 SOS 23849 HAS SOPS 23849 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22019.849
AT ITER 595 NEW BEST:: SOT 125125 SOS 23848 HAS SOPS 23848 HAS SOUS 21995 HAS SOUPS 21995 WITH SCORE 22018.848
AT ITER 598 NEW BEST:: SOT 125124 SOS 23846 HAS SOPS 23846 HAS SOUS 21993 HAS SOUPS 21993 WITH SCORE 22016.846
AT ITER 603 NEW BEST:: SOT 125132 SOS 23850 HAS SOPS 23850 HAS SOUS 21985 HAS SOUPS 21985 WITH SCORE 22008.85
AT ITER 606 NEW BEST:: SOT 125132 SOS 23862 HAS SOPS 23862 HAS SOUS 21955 HAS SOUPS 21955 WITH SCORE 21978.862
AT ITER 614 NEW BEST:: SOT 125139 SOS 23855 HAS SOPS 23855 HAS SOUS 21948 HAS SOUPS 21948 WITH SCORE 21971.855
AT ITER 634 NEW BEST:: SOT 125117 SOS 23881 HAS SOPS 23881 HAS SOUS 21926 HAS SOUPS 21926 WITH SCORE 21949.881
AT ITER 643 NEW BEST:: SOT 125117 SOS 23844 HAS SOPS 23844 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21942.844
AT ITER 659 NEW BEST:: SOT 125144 SOS 23779 HAS SOPS 23779 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21932.779
AT ITER 661 NEW BEST:: SOT 125144 SOS 23778 HAS SOPS 23778 HAS SOUS 21908 HAS SOUPS 21908 WITH SCORE 21931.778
AT ITER 664 NEW BEST:: SOT 125135 SOS 23823 HAS SOPS 23823 HAS SOUS 21879 HAS SOUPS 21879 WITH SCORE 21902.823
AT ITER 681 NEW BEST:: SOT 125092 SOS 23737 HAS SOPS 23737 HAS SOUS 21835 HAS SOUPS 21835 WITH SCORE 21858.737
AT ITER 739 NEW BEST:: SOT 125060 SOS 23673 HAS SOPS 23673 HAS SOUS 21803 HAS SOUPS 21803 WITH SCORE 21826.673
AT ITER 758 NEW BEST:: SOT 125052 SOS 23638 HAS SOPS 23638 HAS SOUS 21795 HAS SOUPS 21795 WITH SCORE 21818.638
AT ITER 773 NEW BEST:: SOT 125016 SOS 23566 HAS SOPS 23566 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21721.566
AT ITER 802 NEW BEST:: SOT 125016 SOS 23559 HAS SOPS 23559 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21714.559
AT ITER 831 NEW BEST:: SOT 125016 SOS 23553 HAS SOPS 23553 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21708.553
AT ITER 835 NEW BEST:: SOT 125015 SOS 23551 HAS SOPS 23551 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21706.551
AT ITER 876 NEW BEST:: SOT 125015 SOS 23551 HAS SOPS 23551 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21700.551
AT ITER 916 NEW BEST:: SOT 125039 SOS 23575 HAS SOPS 23575 HAS SOUS 21663 HAS SOUPS 21663 WITH SCORE 21686.575
AT ITER 942 NEW BEST:: SOT 125046 SOS 23565 HAS SOPS 23565 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21676.565
AT ITER 946 NEW BEST:: SOT 125017 SOS 23522 HAS SOPS 23522 HAS SOUS 21639 HAS SOUPS 21639 WITH SCORE 21662.522
AT ITER 950 NEW BEST:: SOT 125038 SOS 23517 HAS SOPS 23517 HAS SOUS 21634 HAS SOUPS 21634 WITH SCORE 21657.517
AT ITER 956 NEW BEST:: SOT 125038 SOS 23517 HAS SOPS 23517 HAS SOUS 21631 HAS SOUPS 21631 WITH SCORE 21654.517
AT ITER 963 NEW BEST:: SOT 124969 SOS 23449 HAS SOPS 23449 HAS SOUS 21563 HAS SOUPS 21563 WITH SCORE 21586.449
AT ITER 1006 NEW BEST:: SOT 124957 SOS 23425 HAS SOPS 23425 HAS SOUS 21539 HAS SOUPS 21539 WITH SCORE 21562.425
AT ITER 1012 NEW BEST:: SOT 124924 SOS 23411 HAS SOPS 23411 HAS SOUS 21514 HAS SOUPS 21514 WITH SCORE 21537.411
AT ITER 1023 NEW BEST:: SOT 124891 SOS 23412 HAS SOPS 23412 HAS SOUS 21499 HAS SOUPS 21499 WITH SCORE 21522.412
AT ITER 1026 NEW BEST:: SOT 124876 SOS 23408 HAS SOPS 23408 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21518.408
AT ITER 1031 NEW BEST:: SOT 124872 SOS 23396 HAS SOPS 23396 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21510.396
AT ITER 1043 NEW BEST:: SOT 124872 SOS 23389 HAS SOPS 23389 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21510.389
AT ITER 1054 NEW BEST:: SOT 124851 SOS 23388 HAS SOPS 23388 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21490.388
AT ITER 1062 NEW BEST:: SOT 124868 SOS 23394 HAS SOPS 23394 HAS SOUS 21445 HAS SOUPS 21445 WITH SCORE 21468.394
AT ITER 1080 NEW BEST:: SOT 124850 SOS 23370 HAS SOPS 23370 HAS SOUS 21421 HAS SOUPS 21421 WITH SCORE 21444.37
AT ITER 1081 NEW BEST:: SOT 124787 SOS 23296 HAS SOPS 23296 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21424.296
AT ITER 1082 NEW BEST:: SOT 124762 SOS 23287 HAS SOPS 23287 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21415.287
AT ITER 1089 NEW BEST:: SOT 124740 SOS 23257 HAS SOPS 23257 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21393.257
AT ITER 1090 NEW BEST:: SOT 124767 SOS 23255 HAS SOPS 23255 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21391.255
AT ITER 1096 NEW BEST:: SOT 124761 SOS 23249 HAS SOPS 23249 HAS SOUS 21356 HAS SOUPS 21356 WITH SCORE 21379.249
AT ITER 1099 NEW BEST:: SOT 124743 SOS 23225 HAS SOPS 23225 HAS SOUS 21332 HAS SOUPS 21332 WITH SCORE 21355.225
AT ITER 1136 NEW BEST:: SOT 124718 SOS 23163 HAS SOPS 23163 HAS SOUS 21255 HAS SOUPS 21255 WITH SCORE 21278.163
AT ITER 1175 NEW BEST:: SOT 124727 SOS 23121 HAS SOPS 23121 HAS SOUS 21230 HAS SOUPS 21230 WITH SCORE 21253.121
AT ITER 1196 NEW BEST:: SOT 124727 SOS 23121 HAS SOPS 23121 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21226.121
AT ITER 1216 NEW BEST:: SOT 124660 SOS 23075 HAS SOPS 23075 HAS SOUS 21113 HAS SOUPS 21113 WITH SCORE 21136.075
AT ITER 1223 NEW BEST:: SOT 124651 SOS 23057 HAS SOPS 23057 HAS SOUS 21099 HAS SOUPS 21099 WITH SCORE 21122.057
AT ITER 1225 NEW BEST:: SOT 124650 SOS 23055 HAS SOPS 23055 HAS SOUS 21097 HAS SOUPS 21097 WITH SCORE 21120.055
AT ITER 1230 NEW BEST:: SOT 124650 SOS 23054 HAS SOPS 23054 HAS SOUS 21096 HAS SOUPS 21096 WITH SCORE 21119.054
AT ITER 1241 NEW BEST:: SOT 124638 SOS 23030 HAS SOPS 23030 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21107.03
AT ITER 1267 NEW BEST:: SOT 124628 SOS 23000 HAS SOPS 23000 HAS SOUS 21054 HAS SOUPS 21054 WITH SCORE 21077.0
AT ITER 1291 NEW BEST:: SOT 124614 SOS 22956 HAS SOPS 22956 HAS SOUS 21026 HAS SOUPS 21026 WITH SCORE 21048.956
AT ITER 1308 NEW BEST:: SOT 124635 SOS 22931 HAS SOPS 22931 HAS SOUS 21001 HAS SOUPS 21001 WITH SCORE 21023.931
AT ITER 1337 NEW BEST:: SOT 124606 SOS 22818 HAS SOPS 22818 HAS SOUS 20967 HAS SOUPS 20967 WITH SCORE 20989.818
AT ITER 1341 NEW BEST:: SOT 124606 SOS 22814 HAS SOPS 22814 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20985.814
AT ITER 1357 NEW BEST:: SOT 124584 SOS 22827 HAS SOPS 22827 HAS SOUS 20949 HAS SOUPS 20949 WITH SCORE 20971.827
AT ITER 1368 NEW BEST:: SOT 124584 SOS 22825 HAS SOPS 22825 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20969.825
AT ITER 1372 NEW BEST:: SOT 124583 SOS 22823 HAS SOPS 22823 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 20967.823
AT ITER 1380 NEW BEST:: SOT 124582 SOS 22821 HAS SOPS 22821 HAS SOUS 20943 HAS SOUPS 20943 WITH SCORE 20965.821
AT ITER 1409 NEW BEST:: SOT 124627 SOS 22859 HAS SOPS 22859 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20946.859
AT ITER 1429 NEW BEST:: SOT 124605 SOS 22848 HAS SOPS 22848 HAS SOUS 20902 HAS SOUPS 20902 WITH SCORE 20924.848
AT ITER 1466 NEW BEST:: SOT 124605 SOS 22846 HAS SOPS 22846 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20922.846
AT ITER 1488 NEW BEST:: SOT 124593 SOS 22844 HAS SOPS 22844 HAS SOUS 20898 HAS SOUPS 20898 WITH SCORE 20920.844
AT ITER 1495 NEW BEST:: SOT 124590 SOS 22841 HAS SOPS 22841 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20917.841
AT ITER 1542 NEW BEST:: SOT 124590 SOS 22830 HAS SOPS 22830 HAS SOUS 20885 HAS SOUPS 20885 WITH SCORE 20907.83
AT ITER 1543 NEW BEST:: SOT 124565 SOS 22805 HAS SOPS 22805 HAS SOUS 20860 HAS SOUPS 20860 WITH SCORE 20882.805
AT ITER 1598 NEW BEST:: SOT 124524 SOS 22723 HAS SOPS 22723 HAS SOUS 20819 HAS SOUPS 20819 WITH SCORE 20841.723
AT ITER 1611 NEW BEST:: SOT 124466 SOS 22668 HAS SOPS 22668 HAS SOUS 20762 HAS SOUPS 20762 WITH SCORE 20784.668
AT ITER 1655 NEW BEST:: SOT 124466 SOS 22663 HAS SOPS 22663 HAS SOUS 20762 HAS SOUPS 20762 WITH SCORE 20784.663
AT ITER 1659 NEW BEST:: SOT 124455 SOS 22652 HAS SOPS 22652 HAS SOUS 20751 HAS SOUPS 20751 WITH SCORE 20773.652
AT ITER 1667 NEW BEST:: SOT 124424 SOS 22555 HAS SOPS 22555 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20685.555
AT ITER 1669 NEW BEST:: SOT 124386 SOS 22537 HAS SOPS 22537 HAS SOUS 20642 HAS SOUPS 20642 WITH SCORE 20664.537
AT ITER 1693 NEW BEST:: SOT 124390 SOS 22524 HAS SOPS 22524 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20651.524
AT ITER 1764 NEW BEST:: SOT 124368 SOS 22524 HAS SOPS 22524 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20607.524
AT ITER 1770 NEW BEST:: SOT 124337 SOS 22546 HAS SOPS 22546 HAS SOUS 20582 HAS SOUPS 20582 WITH SCORE 20604.546
AT ITER 1793 NEW BEST:: SOT 124336 SOS 22546 HAS SOPS 22546 HAS SOUS 20580 HAS SOUPS 20580 WITH SCORE 20602.546
AT ITER 1816 NEW BEST:: SOT 124352 SOS 22578 HAS SOPS 22578 HAS SOUS 20567 HAS SOUPS 20567 WITH SCORE 20589.578
AT ITER 1818 NEW BEST:: SOT 124336 SOS 22546 HAS SOPS 22546 HAS SOUS 20551 HAS SOUPS 20551 WITH SCORE 20573.546
AT ITER 1837 NEW BEST:: SOT 124336 SOS 22543 HAS SOPS 22543 HAS SOUS 20548 HAS SOUPS 20548 WITH SCORE 20570.543
AT ITER 1848 NEW BEST:: SOT 124336 SOS 22540 HAS SOPS 22540 HAS SOUS 20545 HAS SOUPS 20545 WITH SCORE 20567.54
AT ITER 1850 NEW BEST:: SOT 124320 SOS 22538 HAS SOPS 22538 HAS SOUS 20526 HAS SOUPS 20526 WITH SCORE 20548.538
AT ITER 1867 NEW BEST:: SOT 124320 SOS 22525 HAS SOPS 22525 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20535.525
AT ITER 1883 NEW BEST:: SOT 124314 SOS 22513 HAS SOPS 22513 HAS SOUS 20501 HAS SOUPS 20501 WITH SCORE 20523.513
AT ITER 1895 NEW BEST:: SOT 124315 SOS 22504 HAS SOPS 22504 HAS SOUS 20492 HAS SOUPS 20492 WITH SCORE 20514.504
AT ITER 1902 NEW BEST:: SOT 124313 SOS 22574 HAS SOPS 22574 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20512.574
AT ITER 1921 NEW BEST:: SOT 124339 SOS 22597 HAS SOPS 22597 HAS SOUS 20485 HAS SOUPS 20485 WITH SCORE 20507.597
AT ITER 1930 NEW BEST:: SOT 124327 SOS 22624 HAS SOPS 22624 HAS SOUS 20459 HAS SOUPS 20459 WITH SCORE 20481.624
AT ITER 1935 NEW BEST:: SOT 124322 SOS 22643 HAS SOPS 22643 HAS SOUS 20429 HAS SOUPS 20429 WITH SCORE 20451.643
AT ITER 1945 NEW BEST:: SOT 124304 SOS 22607 HAS SOPS 22607 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20415.607
AT ITER 1987 NEW BEST:: SOT 124294 SOS 22587 HAS SOPS 22587 HAS SOUS 20382 HAS SOUPS 20382 WITH SCORE 20404.587
AT ITER 2033 NEW BEST:: SOT 124294 SOS 22585 HAS SOPS 22585 HAS SOUS 20380 HAS SOUPS 20380 WITH SCORE 20402.585
AT ITER 2057 NEW BEST:: SOT 124263 SOS 22543 HAS SOPS 22543 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20385.543
AT ITER 2059 NEW BEST:: SOT 124226 SOS 22472 HAS SOPS 22472 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20374.472
AT ITER 2068 NEW BEST:: SOT 124226 SOS 22424 HAS SOPS 22424 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20374.424
AT ITER 2071 NEW BEST:: SOT 124199 SOS 22426 HAS SOPS 22426 HAS SOUS 20297 HAS SOUPS 20297 WITH SCORE 20319.426
AT ITER 2103 NEW BEST:: SOT 124208 SOS 22411 HAS SOPS 22411 HAS SOUS 20282 HAS SOUPS 20282 WITH SCORE 20304.411
AT ITER 2133 NEW BEST:: SOT 124192 SOS 22395 HAS SOPS 22395 HAS SOUS 20266 HAS SOUPS 20266 WITH SCORE 20288.395
AT ITER 2135 NEW BEST:: SOT 124192 SOS 22347 HAS SOPS 22347 HAS SOUS 20218 HAS SOUPS 20218 WITH SCORE 20240.347
AT ITER 2149 NEW BEST:: SOT 124165 SOS 22323 HAS SOPS 22323 HAS SOUS 20196 HAS SOUPS 20196 WITH SCORE 20218.323
AT ITER 2165 NEW BEST:: SOT 124126 SOS 22245 HAS SOPS 22245 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20166.245
AT ITER 2215 NEW BEST:: SOT 124107 SOS 22207 HAS SOPS 22207 HAS SOUS 20106 HAS SOUPS 20106 WITH SCORE 20128.207
AT ITER 2216 NEW BEST:: SOT 124107 SOS 22206 HAS SOPS 22206 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20127.206
AT ITER 2224 NEW BEST:: SOT 124107 SOS 22200 HAS SOPS 22200 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20127.2
AT ITER 2277 NEW BEST:: SOT 124107 SOS 22195 HAS SOPS 22195 HAS SOUS 20100 HAS SOUPS 20100 WITH SCORE 20122.195
AT ITER 2278 NEW BEST:: SOT 124096 SOS 22192 HAS SOPS 22192 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20119.192
AT ITER 2285 NEW BEST:: SOT 124096 SOS 22192 HAS SOPS 22192 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20118.192
AT ITER 2288 NEW BEST:: SOT 124116 SOS 22208 HAS SOPS 22208 HAS SOUS 20064 HAS SOUPS 20064 WITH SCORE 20086.208
AT ITER 2304 NEW BEST:: SOT 124097 SOS 22189 HAS SOPS 22189 HAS SOUS 20045 HAS SOUPS 20045 WITH SCORE 20067.189
AT ITER 2312 NEW BEST:: SOT 124123 SOS 22215 HAS SOPS 22215 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20053.215
AT ITER 2315 NEW BEST:: SOT 124119 SOS 22207 HAS SOPS 22207 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20043.207
AT ITER 2366 NEW BEST:: SOT 124124 SOS 22203 HAS SOPS 22203 HAS SOUS 20017 HAS SOUPS 20017 WITH SCORE 20039.203
AT ITER 2391 NEW BEST:: SOT 124124 SOS 22152 HAS SOPS 22152 HAS SOUS 19971 HAS SOUPS 19971 WITH SCORE 19993.152
AT ITER 2433 NEW BEST:: SOT 124109 SOS 22002 HAS SOPS 22002 HAS SOUS 19941 HAS SOUPS 19941 WITH SCORE 19963.002
AT ITER 2441 NEW BEST:: SOT 124107 SOS 22009 HAS SOPS 22009 HAS SOUS 19937 HAS SOUPS 19937 WITH SCORE 19959.009
AT ITER 2458 NEW BEST:: SOT 124093 SOS 22035 HAS SOPS 22035 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19957.035
AT ITER 2474 NEW BEST:: SOT 124093 SOS 22018 HAS SOPS 22018 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19937.018
AT ITER 2489 NEW BEST:: SOT 124085 SOS 22010 HAS SOPS 22010 HAS SOUS 19907 HAS SOUPS 19907 WITH SCORE 19929.01
AT ITER 2508 NEW BEST:: SOT 124085 SOS 21986 HAS SOPS 21986 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19904.986
AT ITER 2519 NEW BEST:: SOT 124079 SOS 21983 HAS SOPS 21983 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19898.983
AT ITER 2590 NEW BEST:: SOT 124071 SOS 21960 HAS SOPS 21960 HAS SOUS 19854 HAS SOUPS 19854 WITH SCORE 19875.96
AT ITER 2669 NEW BEST:: SOT 124067 SOS 21886 HAS SOPS 21886 HAS SOUS 19849 HAS SOUPS 19849 WITH SCORE 19870.886
AT ITER 2681 NEW BEST:: SOT 124055 SOS 21862 HAS SOPS 21862 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19846.862
AT ITER 2716 NEW BEST:: SOT 124055 SOS 21862 HAS SOPS 21862 HAS SOUS 19808 HAS SOUPS 19808 WITH SCORE 19829.862
AT ITER 2721 NEW BEST:: SOT 124055 SOS 21848 HAS SOPS 21848 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19815.848
AT ITER 2727 NEW BEST:: SOT 124051 SOS 21832 HAS SOPS 21832 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19807.832
AT ITER 2799 NEW BEST:: SOT 124056 SOS 21818 HAS SOPS 21818 HAS SOUS 19783 HAS SOUPS 19783 WITH SCORE 19804.818
AT ITER 2801 NEW BEST:: SOT 124057 SOS 21715 HAS SOPS 21715 HAS SOUS 19749 HAS SOUPS 19749 WITH SCORE 19770.715
AT ITER 2853 NEW BEST:: SOT 124058 SOS 21677 HAS SOPS 21677 HAS SOUS 19747 HAS SOUPS 19747 WITH SCORE 19768.677
AT ITER 2912 NEW BEST:: SOT 124054 SOS 21734 HAS SOPS 21734 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19751.734
AT ITER 2920 NEW BEST:: SOT 124032 SOS 21783 HAS SOPS 21783 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19729.783
AT ITER 2929 NEW BEST:: SOT 124062 SOS 21751 HAS SOPS 21751 HAS SOUS 19676 HAS SOUPS 19676 WITH SCORE 19697.751
AT ITER 2995 NEW BEST:: SOT 124068 SOS 21757 HAS SOPS 21757 HAS SOUS 19670 HAS SOUPS 19670 WITH SCORE 19691.757
AT ITER 3073 NEW BEST:: SOT 124065 SOS 21751 HAS SOPS 21751 HAS SOUS 19664 HAS SOUPS 19664 WITH SCORE 19685.751
AT ITER 3075 NEW BEST:: SOT 124107 SOS 21738 HAS SOPS 21738 HAS SOUS 19651 HAS SOUPS 19651 WITH SCORE 19672.738
AT ITER 3094 NEW BEST:: SOT 124107 SOS 21735 HAS SOPS 21735 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19669.735
AT ITER 3101 NEW BEST:: SOT 124111 SOS 21767 HAS SOPS 21767 HAS SOUS 19644 HAS SOUPS 19644 WITH SCORE 19665.767
AT ITER 3106 NEW BEST:: SOT 124107 SOS 21767 HAS SOPS 21767 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19661.767
AT ITER 3108 NEW BEST:: SOT 124108 SOS 21766 HAS SOPS 21766 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19661.766
AT ITER 3114 NEW BEST:: SOT 124108 SOS 21765 HAS SOPS 21765 HAS SOUS 19639 HAS SOUPS 19639 WITH SCORE 19660.765
AT ITER 3119 NEW BEST:: SOT 124108 SOS 21755 HAS SOPS 21755 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19650.755
AT ITER 3142 NEW BEST:: SOT 124108 SOS 21753 HAS SOPS 21753 HAS SOUS 19627 HAS SOUPS 19627 WITH SCORE 19648.753
AT ITER 3183 NEW BEST:: SOT 124098 SOS 21733 HAS SOPS 21733 HAS SOUS 19607 HAS SOUPS 19607 WITH SCORE 19628.733
AT ITER 3213 NEW BEST:: SOT 124102 SOS 21683 HAS SOPS 21683 HAS SOUS 19569 HAS SOUPS 19569 WITH SCORE 19590.683
AT ITER 3218 NEW BEST:: SOT 124102 SOS 21683 HAS SOPS 21683 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19551.683
AT ITER 3244 NEW BEST:: SOT 124097 SOS 21669 HAS SOPS 21669 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19537.669
AT ITER 3259 NEW BEST:: SOT 124124 SOS 21693 HAS SOPS 21693 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19518.693
AT ITER 3263 NEW BEST:: SOT 124120 SOS 21685 HAS SOPS 21685 HAS SOUS 19487 HAS SOUPS 19487 WITH SCORE 19508.685
AT ITER 3276 NEW BEST:: SOT 124137 SOS 21684 HAS SOPS 21684 HAS SOUS 19486 HAS SOUPS 19486 WITH SCORE 19507.684
AT ITER 3338 NEW BEST:: SOT 124137 SOS 21660 HAS SOPS 21660 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19499.66
AT ITER 3349 NEW BEST:: SOT 124143 SOS 21630 HAS SOPS 21630 HAS SOUS 19448 HAS SOUPS 19448 WITH SCORE 19469.63
AT ITER 3359 NEW BEST:: SOT 124143 SOS 21627 HAS SOPS 21627 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19466.627
AT ITER 3362 NEW BEST:: SOT 124165 SOS 21671 HAS SOPS 21671 HAS SOUS 19440 HAS SOUPS 19440 WITH SCORE 19461.671
AT ITER 3363 NEW BEST:: SOT 124163 SOS 21667 HAS SOPS 21667 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19459.667
AT ITER 3371 NEW BEST:: SOT 124148 SOS 21637 HAS SOPS 21637 HAS SOUS 19419 HAS SOUPS 19419 WITH SCORE 19440.637
AT ITER 3417 NEW BEST:: SOT 124147 SOS 21622 HAS SOPS 21622 HAS SOUS 19404 HAS SOUPS 19404 WITH SCORE 19425.622
AT ITER 3475 NEW BEST:: SOT 124143 SOS 21596 HAS SOPS 21596 HAS SOUS 19396 HAS SOUPS 19396 WITH SCORE 19417.596
AT ITER 3499 NEW BEST:: SOT 124141 SOS 21594 HAS SOPS 21594 HAS SOUS 19394 HAS SOUPS 19394 WITH SCORE 19415.594
AT ITER 3581 NEW BEST:: SOT 124120 SOS 21552 HAS SOPS 21552 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19405.552
AT ITER 3629 NEW BEST:: SOT 124120 SOS 21548 HAS SOPS 21548 HAS SOUS 19380 HAS SOUPS 19380 WITH SCORE 19401.548
AT ITER 3675 NEW BEST:: SOT 124120 SOS 21530 HAS SOPS 21530 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19383.53
AT ITER 3684 NEW BEST:: SOT 124102 SOS 21494 HAS SOPS 21494 HAS SOUS 19360 HAS SOUPS 19360 WITH SCORE 19381.494
AT ITER 3695 NEW BEST:: SOT 124100 SOS 21481 HAS SOPS 21481 HAS SOUS 19347 HAS SOUPS 19347 WITH SCORE 19368.481
AT ITER 3737 NEW BEST:: SOT 124100 SOS 21476 HAS SOPS 21476 HAS SOUS 19342 HAS SOUPS 19342 WITH SCORE 19363.476
AT ITER 3785 NEW BEST:: SOT 124076 SOS 21427 HAS SOPS 21427 HAS SOUS 19293 HAS SOUPS 19293 WITH SCORE 19314.427
AT ITER 3786 NEW BEST:: SOT 124076 SOS 21420 HAS SOPS 21420 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19307.42
AT ITER 3862 NEW BEST:: SOT 124076 SOS 21395 HAS SOPS 21395 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19307.395
AT ITER 3938 NEW BEST:: SOT 124073 SOS 21561 HAS SOPS 21561 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19301.561
AT ITER 3955 NEW BEST:: SOT 124031 SOS 21477 HAS SOPS 21477 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19222.477
AT ITER 3971 NEW BEST:: SOT 124027 SOS 21452 HAS SOPS 21452 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19197.452
AT ITER 3981 NEW BEST:: SOT 124027 SOS 21413 HAS SOPS 21413 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19197.413
AT ITER 3982 NEW BEST:: SOT 124022 SOS 21403 HAS SOPS 21403 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19183.403
AT ITER 3996 NEW BEST:: SOT 124022 SOS 21376 HAS SOPS 21376 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19156.376
AT ITER 4006 NEW BEST:: SOT 124022 SOS 21373 HAS SOPS 21373 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19153.373
AT ITER 4013 NEW BEST:: SOT 124038 SOS 21330 HAS SOPS 21330 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19135.33
AT ITER 4099 NEW BEST:: SOT 124038 SOS 21314 HAS SOPS 21314 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19135.314
AT ITER 4129 NEW BEST:: SOT 124022 SOS 21456 HAS SOPS 21456 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19103.456
AT ITER 4135 NEW BEST:: SOT 124009 SOS 21439 HAS SOPS 21439 HAS SOUS 19065 HAS SOUPS 19065 WITH SCORE 19086.439
AT ITER 4182 NEW BEST:: SOT 124011 SOS 21488 HAS SOPS 21488 HAS SOUS 19064 HAS SOUPS 19064 WITH SCORE 19085.488
AT ITER 4199 NEW BEST:: SOT 124012 SOS 21452 HAS SOPS 21452 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19049.452
AT ITER 4221 NEW BEST:: SOT 124006 SOS 21453 HAS SOPS 21453 HAS SOUS 19016 HAS SOUPS 19016 WITH SCORE 19037.453
AT ITER 4232 NEW BEST:: SOT 124003 SOS 21450 HAS SOPS 21450 HAS SOUS 19013 HAS SOUPS 19013 WITH SCORE 19034.45
AT ITER 4237 NEW BEST:: SOT 123985 SOS 21392 HAS SOPS 21392 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 18976.392
AT ITER 4246 NEW BEST:: SOT 123971 SOS 21364 HAS SOPS 21364 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18948.364
AT ITER 4306 NEW BEST:: SOT 123971 SOS 21287 HAS SOPS 21287 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18938.287
AT ITER 4357 NEW BEST:: SOT 123971 SOS 21265 HAS SOPS 21265 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18924.265
AT ITER 4412 NEW BEST:: SOT 123988 SOS 21260 HAS SOPS 21260 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18919.26
AT ITER 4466 NEW BEST:: SOT 123971 SOS 21226 HAS SOPS 21226 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18885.226
AT ITER 4473 NEW BEST:: SOT 123959 SOS 21214 HAS SOPS 21214 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18873.214
AT ITER 4504 NEW BEST:: SOT 123963 SOS 21202 HAS SOPS 21202 HAS SOUS 18840 HAS SOUPS 18840 WITH SCORE 18861.202
AT ITER 4527 NEW BEST:: SOT 123944 SOS 21192 HAS SOPS 21192 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18835.192
AT ITER 4589 NEW BEST:: SOT 123944 SOS 21122 HAS SOPS 21122 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18835.122
AT ITER 4597 NEW BEST:: SOT 123944 SOS 21121 HAS SOPS 21121 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18834.121
AT ITER 4598 NEW BEST:: SOT 123929 SOS 21191 HAS SOPS 21191 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18819.191
AT ITER 4616 NEW BEST:: SOT 123930 SOS 21189 HAS SOPS 21189 HAS SOUS 18796 HAS SOUPS 18796 WITH SCORE 18817.189
AT ITER 4673 NEW BEST:: SOT 123930 SOS 21184 HAS SOPS 21184 HAS SOUS 18791 HAS SOUPS 18791 WITH SCORE 18812.184
AT ITER 4771 NEW BEST:: SOT 123913 SOS 21122 HAS SOPS 21122 HAS SOUS 18729 HAS SOUPS 18729 WITH SCORE 18750.122
AT ITER 4816 NEW BEST:: SOT 123900 SOS 21083 HAS SOPS 21083 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18724.083
AT ITER 4831 NEW BEST:: SOT 123903 SOS 21091 HAS SOPS 21091 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18715.091
AT ITER 4841 NEW BEST:: SOT 123871 SOS 21011 HAS SOPS 21011 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18660.011
AT ITER 4844 NEW BEST:: SOT 123871 SOS 21011 HAS SOPS 21011 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18658.011
AT ITER 4863 NEW BEST:: SOT 123883 SOS 20931 HAS SOPS 20931 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18629.931
AT ITER 4889 NEW BEST:: SOT 123882 SOS 20947 HAS SOPS 20947 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18621.947
AT ITER 4914 NEW BEST:: SOT 123886 SOS 20932 HAS SOPS 20932 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18606.932
AT ITER 4932 NEW BEST:: SOT 123871 SOS 20808 HAS SOPS 20808 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18576.808
AT ITER 4959 NEW BEST:: SOT 123871 SOS 20803 HAS SOPS 20803 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18576.803
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AutoFlight-PT-05b-CTLCardinality-00 (EX( ( (AG( potential( (tk(P92)) <= (tk(P408)) ))) | (EX( potential( ( 1 ) <= (tk(P270)) ))) )))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-01 (! (EF((AG( potential( ( 1 ) <= (tk(P96)) ))))))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-02 (AF(( ( (! potential( ( 2 ) <= (tk(P188)) )) & (! potential( (tk(P9)) <= (tk(P240)) )) ) & ( potential( (tk(P16)) <= (tk(P23)) ) | (! potential( ( 2 ) <= (tk(P1)) )) ) )))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-03 ( (! ( (AG( potential( (tk(P204)) <= (tk(P64)) ))) & potential( (tk(P314)) <= (tk(P456)) ) )) | ( ( (! (! potential( (tk(P482)) <= (tk(P216)) ))) & ( ( potential( ( 2 ) <= (tk(P163)) ) & potential( (tk(P437)) <= (tk(P377)) ) ) | (! potential( (tk(P86)) <= (tk(P246)) )) ) ) | ( (EF(potential( (tk(P181)) <= (tk(P400)) ))) & ( potential( ( 2 ) <= (tk(P52)) ) & (! potential( ( 2 ) <= (tk(P360)) )) ) ) ) )
PROPERTY: AutoFlight-PT-05b-CTLCardinality-04 ( potential( ( 3 ) <= (tk(P344)) ) | (AF((! ( potential( (tk(P331)) <= (tk(P381)) ) | potential( ( 2 ) <= (tk(P434)) ) )))) )
PROPERTY: AutoFlight-PT-05b-CTLCardinality-05 (! ( (AG( ( potential( (tk(P49)) <= (tk(P330)) ) | potential( ( 3 ) <= (tk(P220)) ) ))) & (EG( potential( (tk(P412)) <= (tk(P280)) ))) ))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-06 (AF(( (AG( potential( (tk(P182)) <= (tk(P313)) ))) & (EX( potential( (tk(P427)) <= (tk(P192)) ))) )))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-07 (AU( ( (! potential( ( 1 ) <= (tk(P288)) )) | ( potential( (tk(P303)) <= (tk(P121)) ) | potential( ( 1 ) <= (tk(P439)) ) ) ),(AG( potential( ( 2 ) <= (tk(P199)) ))) ))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-08 (AF((! (! (! potential( (tk(P184)) <= (tk(P471)) ))))))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-09 ( (EU( ( potential( ( 3 ) <= (tk(P245)) ) | potential( (tk(P186)) <= (tk(P448)) ) ),( potential( ( 2 ) <= (tk(P81)) ) & potential( ( 1 ) <= (tk(P179)) ) ) )) & (EF((AX( potential( ( 3 ) <= (tk(P323)) ))))) )
PROPERTY: AutoFlight-PT-05b-CTLCardinality-10 (EF((! (AF(potential( ( 1 ) <= (tk(P155)) ))))))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-11 ( (EX( (EF(potential( (tk(P272)) <= (tk(P408)) ))))) & ( (EF((! potential( (tk(P265)) <= (tk(P71)) )))) | (AX( ( potential( ( 1 ) <= (tk(P17)) ) & potential( ( 1 ) <= (tk(P172)) ) ))) ) )
PROPERTY: AutoFlight-PT-05b-CTLCardinality-12 ( (AG( (! potential( ( 1 ) <= (tk(P419)) )))) & (! (AX( (! potential( (tk(P318)) <= (tk(P401)) ))))) )
PROPERTY: AutoFlight-PT-05b-CTLCardinality-13 (! (EG( (! potential( ( 1 ) <= (tk(P337)) )))))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-14 (AF(( (AG( potential( (tk(P306)) <= (tk(P266)) ))) | (! potential( (tk(P226)) <= (tk(P136)) )) )))
PROPERTY: AutoFlight-PT-05b-CTLCardinality-15 (AF(potential( ( 2 ) <= (tk(P9)) )))

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="AutoFlight-PT-05b"
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 AutoFlight-PT-05b, 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 r003-smll-158897508500443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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