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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:19 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.3K Apr 8 14:48 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:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 70K 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-30a-CTLFireability-00
FORMULA_NAME DES-PT-30a-CTLFireability-01
FORMULA_NAME DES-PT-30a-CTLFireability-02
FORMULA_NAME DES-PT-30a-CTLFireability-03
FORMULA_NAME DES-PT-30a-CTLFireability-04
FORMULA_NAME DES-PT-30a-CTLFireability-05
FORMULA_NAME DES-PT-30a-CTLFireability-06
FORMULA_NAME DES-PT-30a-CTLFireability-07
FORMULA_NAME DES-PT-30a-CTLFireability-08
FORMULA_NAME DES-PT-30a-CTLFireability-09
FORMULA_NAME DES-PT-30a-CTLFireability-10
FORMULA_NAME DES-PT-30a-CTLFireability-11
FORMULA_NAME DES-PT-30a-CTLFireability-12
FORMULA_NAME DES-PT-30a-CTLFireability-13
FORMULA_NAME DES-PT-30a-CTLFireability-14
FORMULA_NAME DES-PT-30a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589106657944

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30a
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: 234 places, 191 transitions, 926 arcs.
AT ITER 0 NEW BEST:: SOT 36651 SOS 32681 HAS SOPS 32681 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19423.681
AT ITER 16 NEW BEST:: SOT 36615 SOS 32681 HAS SOPS 32681 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19420.681
AT ITER 23 NEW BEST:: SOT 35535 SOS 31601 HAS SOPS 31601 HAS SOUS 18308 HAS SOUPS 18308 WITH SCORE 18339.601
AT ITER 31 NEW BEST:: SOT 35420 SOS 31608 HAS SOPS 31608 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18315.608
AT ITER 36 NEW BEST:: SOT 35405 SOS 31594 HAS SOPS 31594 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18313.594
AT ITER 40 NEW BEST:: SOT 35379 SOS 31562 HAS SOPS 31562 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18281.562
AT ITER 50 NEW BEST:: SOT 35376 SOS 31559 HAS SOPS 31559 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18278.559
AT ITER 52 NEW BEST:: SOT 33533 SOS 29848 HAS SOPS 29848 HAS SOUS 16526 HAS SOUPS 16526 WITH SCORE 16555.848
AT ITER 58 NEW BEST:: SOT 33530 SOS 29845 HAS SOPS 29845 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16542.845
AT ITER 65 NEW BEST:: SOT 33448 SOS 29763 HAS SOPS 29763 HAS SOUS 16430 HAS SOUPS 16430 WITH SCORE 16459.763
AT ITER 85 NEW BEST:: SOT 32992 SOS 29307 HAS SOPS 29307 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16343.307
AT ITER 86 NEW BEST:: SOT 31844 SOS 28159 HAS SOPS 28159 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15194.159
AT ITER 87 NEW BEST:: SOT 31852 SOS 28167 HAS SOPS 28167 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15191.167
AT ITER 111 NEW BEST:: SOT 31761 SOS 28076 HAS SOPS 28076 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15143.076
AT ITER 123 NEW BEST:: SOT 31761 SOS 28028 HAS SOPS 28028 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15142.028
AT ITER 128 NEW BEST:: SOT 31838 SOS 28105 HAS SOPS 28105 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15134.105
AT ITER 130 NEW BEST:: SOT 31838 SOS 28105 HAS SOPS 28105 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15133.105
AT ITER 131 NEW BEST:: SOT 31834 SOS 28055 HAS SOPS 28055 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15083.055
AT ITER 134 NEW BEST:: SOT 31876 SOS 28097 HAS SOPS 28097 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15013.097
AT ITER 142 NEW BEST:: SOT 31876 SOS 28097 HAS SOPS 28097 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15012.097
AT ITER 149 NEW BEST:: SOT 31876 SOS 28097 HAS SOPS 28097 HAS SOUS 14973 HAS SOUPS 14973 WITH SCORE 15001.097
AT ITER 157 NEW BEST:: SOT 31876 SOS 28097 HAS SOPS 28097 HAS SOUS 14972 HAS SOUPS 14972 WITH SCORE 15000.097
AT ITER 165 NEW BEST:: SOT 31876 SOS 28097 HAS SOPS 28097 HAS SOUS 14971 HAS SOUPS 14971 WITH SCORE 14999.097
AT ITER 170 NEW BEST:: SOT 31241 SOS 27462 HAS SOPS 27462 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14318.462
AT ITER 186 NEW BEST:: SOT 30908 SOS 27129 HAS SOPS 27129 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13979.129
AT ITER 201 NEW BEST:: SOT 30878 SOS 27084 HAS SOPS 27084 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13934.084
AT ITER 203 NEW BEST:: SOT 30815 SOS 27045 HAS SOPS 27045 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13895.045
AT ITER 223 NEW BEST:: SOT 30724 SOS 26954 HAS SOPS 26954 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13890.954
AT ITER 224 NEW BEST:: SOT 30723 SOS 26953 HAS SOPS 26953 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13888.953
AT ITER 228 NEW BEST:: SOT 30676 SOS 26896 HAS SOPS 26896 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13875.896
AT ITER 233 NEW BEST:: SOT 30669 SOS 26889 HAS SOPS 26889 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13868.889
AT ITER 243 NEW BEST:: SOT 30661 SOS 26881 HAS SOPS 26881 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13853.881
AT ITER 250 NEW BEST:: SOT 30502 SOS 26722 HAS SOPS 26722 HAS SOUS 13478 HAS SOUPS 13478 WITH SCORE 13504.722
AT ITER 251 NEW BEST:: SOT 29566 SOS 25786 HAS SOPS 25786 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12566.786
AT ITER 270 NEW BEST:: SOT 29528 SOS 25747 HAS SOPS 25747 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12545.747
AT ITER 273 NEW BEST:: SOT 29159 SOS 25375 HAS SOPS 25375 HAS SOUS 12416 HAS SOUPS 12416 WITH SCORE 12441.375
AT ITER 294 NEW BEST:: SOT 29100 SOS 25316 HAS SOPS 25316 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12381.316
AT ITER 297 NEW BEST:: SOT 29064 SOS 25280 HAS SOPS 25280 HAS SOUS 12331 HAS SOUPS 12331 WITH SCORE 12356.28
AT ITER 301 NEW BEST:: SOT 29050 SOS 25199 HAS SOPS 25199 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12278.199
AT ITER 308 NEW BEST:: SOT 28495 SOS 24644 HAS SOPS 24644 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11703.644
AT ITER 315 NEW BEST:: SOT 28379 SOS 24528 HAS SOPS 24528 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11474.528
AT ITER 318 NEW BEST:: SOT 28363 SOS 24512 HAS SOPS 24512 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11396.512
AT ITER 323 NEW BEST:: SOT 28403 SOS 24552 HAS SOPS 24552 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11394.552
AT ITER 336 NEW BEST:: SOT 28292 SOS 24441 HAS SOPS 24441 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11282.441
AT ITER 342 NEW BEST:: SOT 28209 SOS 24357 HAS SOPS 24357 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11265.357
AT ITER 352 NEW BEST:: SOT 28203 SOS 24351 HAS SOPS 24351 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11256.351
AT ITER 368 NEW BEST:: SOT 28198 SOS 24346 HAS SOPS 24346 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11251.346
AT ITER 377 NEW BEST:: SOT 28197 SOS 24345 HAS SOPS 24345 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11249.345
AT ITER 388 NEW BEST:: SOT 28193 SOS 24330 HAS SOPS 24330 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11234.33
AT ITER 396 NEW BEST:: SOT 28193 SOS 24320 HAS SOPS 24320 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11224.32
AT ITER 403 NEW BEST:: SOT 28193 SOS 24241 HAS SOPS 24241 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11217.241
AT ITER 415 NEW BEST:: SOT 28206 SOS 24228 HAS SOPS 24228 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11217.228
AT ITER 416 NEW BEST:: SOT 26912 SOS 22985 HAS SOPS 22985 HAS SOUS 9949 HAS SOUPS 9949 WITH SCORE 9971.985
AT ITER 418 NEW BEST:: SOT 26898 SOS 22971 HAS SOPS 22971 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9932.971
AT ITER 440 NEW BEST:: SOT 26829 SOS 22902 HAS SOPS 22902 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9811.902
AT ITER 450 NEW BEST:: SOT 26843 SOS 22916 HAS SOPS 22916 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9758.916
AT ITER 472 NEW BEST:: SOT 26777 SOS 22837 HAS SOPS 22837 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9647.837
AT ITER 475 NEW BEST:: SOT 26774 SOS 22834 HAS SOPS 22834 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9644.834
AT ITER 476 NEW BEST:: SOT 26987 SOS 23047 HAS SOPS 23047 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9546.047
AT ITER 480 NEW BEST:: SOT 26937 SOS 23022 HAS SOPS 23022 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9537.022
AT ITER 482 NEW BEST:: SOT 26926 SOS 23011 HAS SOPS 23011 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9515.011
AT ITER 483 NEW BEST:: SOT 26926 SOS 23010 HAS SOPS 23010 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9514.01
AT ITER 485 NEW BEST:: SOT 26929 SOS 23022 HAS SOPS 23022 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9510.022
AT ITER 509 NEW BEST:: SOT 26960 SOS 23053 HAS SOPS 23053 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9509.053
AT ITER 510 NEW BEST:: SOT 26960 SOS 23059 HAS SOPS 23059 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9503.059
AT ITER 530 NEW BEST:: SOT 26956 SOS 23055 HAS SOPS 23055 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9495.055
AT ITER 562 NEW BEST:: SOT 26953 SOS 22706 HAS SOPS 22706 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9494.706
AT ITER 582 NEW BEST:: SOT 26897 SOS 22629 HAS SOPS 22629 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9429.629
AT ITER 584 NEW BEST:: SOT 26896 SOS 22628 HAS SOPS 22628 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9427.628
AT ITER 586 NEW BEST:: SOT 26884 SOS 22616 HAS SOPS 22616 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9415.616
AT ITER 591 NEW BEST:: SOT 26884 SOS 22592 HAS SOPS 22592 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9391.592
AT ITER 603 NEW BEST:: SOT 26683 SOS 22391 HAS SOPS 22391 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9179.391
AT ITER 606 NEW BEST:: SOT 26660 SOS 22368 HAS SOPS 22368 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9116.368
AT ITER 614 NEW BEST:: SOT 26512 SOS 22220 HAS SOPS 22220 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9104.22
AT ITER 632 NEW BEST:: SOT 26553 SOS 22261 HAS SOPS 22261 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9085.261
AT ITER 659 NEW BEST:: SOT 26546 SOS 22252 HAS SOPS 22252 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9076.252
AT ITER 670 NEW BEST:: SOT 26546 SOS 22239 HAS SOPS 22239 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9067.239
AT ITER 681 NEW BEST:: SOT 26537 SOS 22230 HAS SOPS 22230 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9063.23
AT ITER 684 NEW BEST:: SOT 26534 SOS 22227 HAS SOPS 22227 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9057.227
AT ITER 691 NEW BEST:: SOT 26506 SOS 22199 HAS SOPS 22199 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9030.199
AT ITER 708 NEW BEST:: SOT 26504 SOS 22203 HAS SOPS 22203 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9028.203
AT ITER 713 NEW BEST:: SOT 26503 SOS 22202 HAS SOPS 22202 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9026.202
AT ITER 721 NEW BEST:: SOT 26536 SOS 22235 HAS SOPS 22235 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9024.235
AT ITER 745 NEW BEST:: SOT 26689 SOS 22388 HAS SOPS 22388 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8973.388
AT ITER 747 NEW BEST:: SOT 26455 SOS 22154 HAS SOPS 22154 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8903.154
AT ITER 750 NEW BEST:: SOT 26473 SOS 22132 HAS SOPS 22132 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8883.132
AT ITER 759 NEW BEST:: SOT 26463 SOS 22103 HAS SOPS 22103 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8882.103
AT ITER 774 NEW BEST:: SOT 26315 SOS 21924 HAS SOPS 21924 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8702.924
AT ITER 775 NEW BEST:: SOT 26315 SOS 21925 HAS SOPS 21925 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8701.925
AT ITER 786 NEW BEST:: SOT 26315 SOS 21925 HAS SOPS 21925 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8671.925
AT ITER 799 NEW BEST:: SOT 26319 SOS 21926 HAS SOPS 21926 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8666.926
AT ITER 809 NEW BEST:: SOT 26289 SOS 21860 HAS SOPS 21860 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8638.86
AT ITER 812 NEW BEST:: SOT 26315 SOS 21886 HAS SOPS 21886 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8636.886
AT ITER 818 NEW BEST:: SOT 26315 SOS 21891 HAS SOPS 21891 HAS SOUS 8613 HAS SOUPS 8613 WITH SCORE 8634.891
AT ITER 827 NEW BEST:: SOT 26305 SOS 21340 HAS SOPS 21340 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8614.34
AT ITER 829 NEW BEST:: SOT 26253 SOS 21288 HAS SOPS 21288 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8577.288
AT ITER 850 NEW BEST:: SOT 26222 SOS 21210 HAS SOPS 21210 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8536.21
AT ITER 860 NEW BEST:: SOT 26267 SOS 21255 HAS SOPS 21255 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8534.255
AT ITER 867 NEW BEST:: SOT 26011 SOS 21005 HAS SOPS 21005 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8412.005
AT ITER 876 NEW BEST:: SOT 25941 SOS 20935 HAS SOPS 20935 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8352.935
AT ITER 882 NEW BEST:: SOT 25923 SOS 20917 HAS SOPS 20917 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8298.917
AT ITER 894 NEW BEST:: SOT 25910 SOS 20904 HAS SOPS 20904 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8285.904
AT ITER 908 NEW BEST:: SOT 25908 SOS 20902 HAS SOPS 20902 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8281.902
AT ITER 915 NEW BEST:: SOT 25860 SOS 20854 HAS SOPS 20854 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8247.854
AT ITER 916 NEW BEST:: SOT 25796 SOS 20790 HAS SOPS 20790 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8243.79
AT ITER 946 NEW BEST:: SOT 25792 SOS 20782 HAS SOPS 20782 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8235.782
AT ITER 971 NEW BEST:: SOT 25747 SOS 20736 HAS SOPS 20736 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8198.736
AT ITER 992 NEW BEST:: SOT 25745 SOS 20730 HAS SOPS 20730 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8192.73
AT ITER 993 NEW BEST:: SOT 25697 SOS 20668 HAS SOPS 20668 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8130.668
AT ITER 1000 NEW BEST:: SOT 25697 SOS 20668 HAS SOPS 20668 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8111.668
AT ITER 1014 NEW BEST:: SOT 25697 SOS 20651 HAS SOPS 20651 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8094.651
AT ITER 1017 NEW BEST:: SOT 25607 SOS 20561 HAS SOPS 20561 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8064.561
AT ITER 1019 NEW BEST:: SOT 25606 SOS 20559 HAS SOPS 20559 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8063.559
AT ITER 1050 NEW BEST:: SOT 25606 SOS 20559 HAS SOPS 20559 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8056.559
AT ITER 1069 NEW BEST:: SOT 25556 SOS 20509 HAS SOPS 20509 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8056.509
AT ITER 1088 NEW BEST:: SOT 25556 SOS 20511 HAS SOPS 20511 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8054.511
AT ITER 1094 NEW BEST:: SOT 25379 SOS 20408 HAS SOPS 20408 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7865.408
AT ITER 1121 NEW BEST:: SOT 25355 SOS 20384 HAS SOPS 20384 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7865.384
AT ITER 1123 NEW BEST:: SOT 25389 SOS 20418 HAS SOPS 20418 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7831.418
AT ITER 1131 NEW BEST:: SOT 25308 SOS 20337 HAS SOPS 20337 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7740.337
AT ITER 1141 NEW BEST:: SOT 25263 SOS 20310 HAS SOPS 20310 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7621.31
AT ITER 1143 NEW BEST:: SOT 25181 SOS 20224 HAS SOPS 20224 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7535.224
AT ITER 1147 NEW BEST:: SOT 25172 SOS 20111 HAS SOPS 20111 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7422.111
AT ITER 1162 NEW BEST:: SOT 24938 SOS 19877 HAS SOPS 19877 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7325.877
AT ITER 1170 NEW BEST:: SOT 24893 SOS 19827 HAS SOPS 19827 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7320.827
AT ITER 1173 NEW BEST:: SOT 24892 SOS 19826 HAS SOPS 19826 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7291.826
AT ITER 1191 NEW BEST:: SOT 24892 SOS 19820 HAS SOPS 19820 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7285.82
AT ITER 1196 NEW BEST:: SOT 24882 SOS 19810 HAS SOPS 19810 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7283.81
AT ITER 1205 NEW BEST:: SOT 24904 SOS 19794 HAS SOPS 19794 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7283.794
AT ITER 1206 NEW BEST:: SOT 24903 SOS 19793 HAS SOPS 19793 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7282.793
AT ITER 1223 NEW BEST:: SOT 24815 SOS 19563 HAS SOPS 19563 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7219.563
AT ITER 1258 NEW BEST:: SOT 24815 SOS 19561 HAS SOPS 19561 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7217.561
AT ITER 1261 NEW BEST:: SOT 24750 SOS 19517 HAS SOPS 19517 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7186.517
AT ITER 1300 NEW BEST:: SOT 24750 SOS 19545 HAS SOPS 19545 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7177.545
AT ITER 1307 NEW BEST:: SOT 24731 SOS 19526 HAS SOPS 19526 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7174.526
AT ITER 1398 NEW BEST:: SOT 24717 SOS 19512 HAS SOPS 19512 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7160.512
AT ITER 1399 NEW BEST:: SOT 24715 SOS 19478 HAS SOPS 19478 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7126.478
AT ITER 1401 NEW BEST:: SOT 24668 SOS 19412 HAS SOPS 19412 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7103.412
AT ITER 1406 NEW BEST:: SOT 24667 SOS 19401 HAS SOPS 19401 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7092.401
AT ITER 1450 NEW BEST:: SOT 24664 SOS 19398 HAS SOPS 19398 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7086.398
AT ITER 1462 NEW BEST:: SOT 24664 SOS 19391 HAS SOPS 19391 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7079.391
AT ITER 1466 NEW BEST:: SOT 24544 SOS 19271 HAS SOPS 19271 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6959.271
AT ITER 1470 NEW BEST:: SOT 24540 SOS 19267 HAS SOPS 19267 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6955.267
AT ITER 1476 NEW BEST:: SOT 24524 SOS 19234 HAS SOPS 19234 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6940.234
AT ITER 1477 NEW BEST:: SOT 24473 SOS 19139 HAS SOPS 19139 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6845.139
AT ITER 1478 NEW BEST:: SOT 24400 SOS 19046 HAS SOPS 19046 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6752.046
AT ITER 1511 NEW BEST:: SOT 24405 SOS 19051 HAS SOPS 19051 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6739.051
AT ITER 1534 NEW BEST:: SOT 24401 SOS 19047 HAS SOPS 19047 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6735.047
AT ITER 1537 NEW BEST:: SOT 24357 SOS 19003 HAS SOPS 19003 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6647.003
AT ITER 1538 NEW BEST:: SOT 24357 SOS 18997 HAS SOPS 18997 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6640.997
AT ITER 1556 NEW BEST:: SOT 24355 SOS 18995 HAS SOPS 18995 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6636.995
AT ITER 1559 NEW BEST:: SOT 24354 SOS 18994 HAS SOPS 18994 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6634.994
AT ITER 1561 NEW BEST:: SOT 24354 SOS 19003 HAS SOPS 19003 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6628.003
AT ITER 1565 NEW BEST:: SOT 24354 SOS 19003 HAS SOPS 19003 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6624.003
AT ITER 1581 NEW BEST:: SOT 24346 SOS 18995 HAS SOPS 18995 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6615.995
AT ITER 1591 NEW BEST:: SOT 24345 SOS 18994 HAS SOPS 18994 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6590.994
AT ITER 1594 NEW BEST:: SOT 24336 SOS 18979 HAS SOPS 18979 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6584.979
AT ITER 1598 NEW BEST:: SOT 24291 SOS 18899 HAS SOPS 18899 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6530.899
AT ITER 1609 NEW BEST:: SOT 24292 SOS 18875 HAS SOPS 18875 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6506.875
AT ITER 1612 NEW BEST:: SOT 24292 SOS 18875 HAS SOPS 18875 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6497.875
AT ITER 1613 NEW BEST:: SOT 24291 SOS 18902 HAS SOPS 18902 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6420.902
AT ITER 1624 NEW BEST:: SOT 24291 SOS 18895 HAS SOPS 18895 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6420.895
AT ITER 1640 NEW BEST:: SOT 24291 SOS 18886 HAS SOPS 18886 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6411.886
AT ITER 1646 NEW BEST:: SOT 24276 SOS 18450 HAS SOPS 18450 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6411.45
AT ITER 1654 NEW BEST:: SOT 24293 SOS 18467 HAS SOPS 18467 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6405.467
AT ITER 1667 NEW BEST:: SOT 24265 SOS 18439 HAS SOPS 18439 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6377.439
AT ITER 1675 NEW BEST:: SOT 24293 SOS 18467 HAS SOPS 18467 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6374.467
AT ITER 1702 NEW BEST:: SOT 24255 SOS 18429 HAS SOPS 18429 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6317.429
AT ITER 1706 NEW BEST:: SOT 24247 SOS 18421 HAS SOPS 18421 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6309.421
AT ITER 1715 NEW BEST:: SOT 24203 SOS 18375 HAS SOPS 18375 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6274.375
AT ITER 1717 NEW BEST:: SOT 24194 SOS 18366 HAS SOPS 18366 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6271.366
AT ITER 1722 NEW BEST:: SOT 24187 SOS 18359 HAS SOPS 18359 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6264.359
AT ITER 1736 NEW BEST:: SOT 24204 SOS 18376 HAS SOPS 18376 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6255.376
AT ITER 1752 NEW BEST:: SOT 24142 SOS 18314 HAS SOPS 18314 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6249.314
AT ITER 1755 NEW BEST:: SOT 24135 SOS 18307 HAS SOPS 18307 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6235.307
AT ITER 1801 NEW BEST:: SOT 24124 SOS 18296 HAS SOPS 18296 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6213.296
AT ITER 1810 NEW BEST:: SOT 24121 SOS 18295 HAS SOPS 18295 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6212.295
AT ITER 1826 NEW BEST:: SOT 24095 SOS 18249 HAS SOPS 18249 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6166.249
AT ITER 1831 NEW BEST:: SOT 24127 SOS 18281 HAS SOPS 18281 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6163.281
AT ITER 1856 NEW BEST:: SOT 24125 SOS 18278 HAS SOPS 18278 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6160.278
AT ITER 1871 NEW BEST:: SOT 24125 SOS 18265 HAS SOPS 18265 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6147.265
AT ITER 1889 NEW BEST:: SOT 24125 SOS 18232 HAS SOPS 18232 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6114.232
AT ITER 1901 NEW BEST:: SOT 24124 SOS 18231 HAS SOPS 18231 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6112.231
AT ITER 1929 NEW BEST:: SOT 24096 SOS 18168 HAS SOPS 18168 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6089.168
AT ITER 1938 NEW BEST:: SOT 24090 SOS 18164 HAS SOPS 18164 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6085.164
AT ITER 1940 NEW BEST:: SOT 23974 SOS 18048 HAS SOPS 18048 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6041.048
AT ITER 1947 NEW BEST:: SOT 23968 SOS 18039 HAS SOPS 18039 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6032.039
AT ITER 1977 NEW BEST:: SOT 23963 SOS 18034 HAS SOPS 18034 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6022.034
AT ITER 2001 NEW BEST:: SOT 23947 SOS 18014 HAS SOPS 18014 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 6002.014
AT ITER 2016 NEW BEST:: SOT 23948 SOS 18015 HAS SOPS 18015 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5995.015
AT ITER 2056 NEW BEST:: SOT 23696 SOS 17763 HAS SOPS 17763 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5945.763
AT ITER 2066 NEW BEST:: SOT 23695 SOS 16852 HAS SOPS 16852 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5942.852
AT ITER 2091 NEW BEST:: SOT 23671 SOS 16828 HAS SOPS 16828 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5918.828
AT ITER 2094 NEW BEST:: SOT 23536 SOS 16683 HAS SOPS 16683 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5879.683
AT ITER 2105 NEW BEST:: SOT 23528 SOS 16675 HAS SOPS 16675 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5863.675
AT ITER 2112 NEW BEST:: SOT 23527 SOS 16674 HAS SOPS 16674 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5861.674
AT ITER 2134 NEW BEST:: SOT 23526 SOS 16673 HAS SOPS 16673 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5861.673
AT ITER 2184 NEW BEST:: SOT 23517 SOS 16662 HAS SOPS 16662 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5850.662
AT ITER 2190 NEW BEST:: SOT 23508 SOS 16640 HAS SOPS 16640 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5845.64
AT ITER 2222 NEW BEST:: SOT 23526 SOS 16658 HAS SOPS 16658 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5808.658
AT ITER 2255 NEW BEST:: SOT 23506 SOS 16638 HAS SOPS 16638 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5804.638
AT ITER 2270 NEW BEST:: SOT 23496 SOS 16628 HAS SOPS 16628 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5774.628
AT ITER 2290 NEW BEST:: SOT 23485 SOS 16568 HAS SOPS 16568 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5759.568
AT ITER 2295 NEW BEST:: SOT 23485 SOS 16562 HAS SOPS 16562 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5753.562
AT ITER 2318 NEW BEST:: SOT 23477 SOS 16557 HAS SOPS 16557 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5737.557
AT ITER 2332 NEW BEST:: SOT 23477 SOS 16554 HAS SOPS 16554 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5737.554
AT ITER 2354 NEW BEST:: SOT 23475 SOS 16573 HAS SOPS 16573 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5720.573
AT ITER 2358 NEW BEST:: SOT 23473 SOS 16571 HAS SOPS 16571 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5715.571
AT ITER 2395 NEW BEST:: SOT 23426 SOS 16524 HAS SOPS 16524 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5707.524
AT ITER 2399 NEW BEST:: SOT 23427 SOS 16525 HAS SOPS 16525 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5699.525
AT ITER 2405 NEW BEST:: SOT 23430 SOS 16539 HAS SOPS 16539 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5682.539
AT ITER 2416 NEW BEST:: SOT 23385 SOS 16494 HAS SOPS 16494 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5637.494
AT ITER 2424 NEW BEST:: SOT 23381 SOS 16487 HAS SOPS 16487 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5634.487
AT ITER 2431 NEW BEST:: SOT 23377 SOS 16480 HAS SOPS 16480 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5633.48
AT ITER 2453 NEW BEST:: SOT 23365 SOS 16465 HAS SOPS 16465 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5618.465
AT ITER 2465 NEW BEST:: SOT 23360 SOS 16460 HAS SOPS 16460 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5608.46
AT ITER 2468 NEW BEST:: SOT 23347 SOS 16447 HAS SOPS 16447 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5582.447
AT ITER 2469 NEW BEST:: SOT 23347 SOS 16487 HAS SOPS 16487 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5536.487
AT ITER 2471 NEW BEST:: SOT 23345 SOS 16483 HAS SOPS 16483 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5529.483
AT ITER 2472 NEW BEST:: SOT 23344 SOS 16482 HAS SOPS 16482 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5527.482
AT ITER 2497 NEW BEST:: SOT 23337 SOS 16475 HAS SOPS 16475 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5513.475
AT ITER 2516 NEW BEST:: SOT 23337 SOS 16475 HAS SOPS 16475 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5507.475
AT ITER 2518 NEW BEST:: SOT 23330 SOS 16437 HAS SOPS 16437 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5500.437
AT ITER 2523 NEW BEST:: SOT 23323 SOS 16430 HAS SOPS 16430 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5493.43
AT ITER 2545 NEW BEST:: SOT 23306 SOS 16403 HAS SOPS 16403 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5483.403
AT ITER 2554 NEW BEST:: SOT 23345 SOS 16442 HAS SOPS 16442 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5446.442
AT ITER 2560 NEW BEST:: SOT 23272 SOS 16369 HAS SOPS 16369 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5444.369
AT ITER 2569 NEW BEST:: SOT 23268 SOS 16365 HAS SOPS 16365 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5436.365
AT ITER 2572 NEW BEST:: SOT 23264 SOS 16359 HAS SOPS 16359 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5430.359
AT ITER 2579 NEW BEST:: SOT 23263 SOS 16358 HAS SOPS 16358 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5429.358
AT ITER 2632 NEW BEST:: SOT 23256 SOS 16351 HAS SOPS 16351 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5424.351
AT ITER 2719 NEW BEST:: SOT 23253 SOS 16344 HAS SOPS 16344 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5422.344
AT ITER 2761 NEW BEST:: SOT 23236 SOS 16311 HAS SOPS 16311 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5420.311
AT ITER 2780 NEW BEST:: SOT 23226 SOS 16294 HAS SOPS 16294 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5407.294
AT ITER 2821 NEW BEST:: SOT 23228 SOS 16251 HAS SOPS 16251 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5397.251
AT ITER 2903 NEW BEST:: SOT 23222 SOS 16245 HAS SOPS 16245 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5391.245
AT ITER 2905 NEW BEST:: SOT 23221 SOS 16244 HAS SOPS 16244 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5388.244
AT ITER 2931 NEW BEST:: SOT 23218 SOS 16241 HAS SOPS 16241 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5385.241
AT ITER 2937 NEW BEST:: SOT 23234 SOS 16257 HAS SOPS 16257 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5374.257
AT ITER 2943 NEW BEST:: SOT 23232 SOS 16255 HAS SOPS 16255 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5370.255
AT ITER 2947 NEW BEST:: SOT 23223 SOS 16246 HAS SOPS 16246 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5349.246
AT ITER 3001 NEW BEST:: SOT 23223 SOS 16244 HAS SOPS 16244 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5348.244
AT ITER 3057 NEW BEST:: SOT 23204 SOS 16225 HAS SOPS 16225 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5329.225
AT ITER 3098 NEW BEST:: SOT 23167 SOS 16188 HAS SOPS 16188 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5292.188
AT ITER 3119 NEW BEST:: SOT 23164 SOS 16181 HAS SOPS 16181 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5288.181
AT ITER 3135 NEW BEST:: SOT 23171 SOS 16188 HAS SOPS 16188 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5287.188
AT ITER 3178 NEW BEST:: SOT 23166 SOS 16183 HAS SOPS 16183 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5282.183
AT ITER 3245 NEW BEST:: SOT 23129 SOS 16146 HAS SOPS 16146 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5282.146
AT ITER 3268 NEW BEST:: SOT 23128 SOS 16145 HAS SOPS 16145 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5280.145
AT ITER 3281 NEW BEST:: SOT 23130 SOS 16147 HAS SOPS 16147 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5276.147
AT ITER 3302 NEW BEST:: SOT 23121 SOS 16138 HAS SOPS 16138 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5258.138
AT ITER 3334 NEW BEST:: SOT 23121 SOS 16107 HAS SOPS 16107 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5256.107
AT ITER 3432 NEW BEST:: SOT 23117 SOS 16103 HAS SOPS 16103 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5252.103
AT ITER 3452 NEW BEST:: SOT 23108 SOS 16030 HAS SOPS 16030 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5248.03
AT ITER 3470 NEW BEST:: SOT 23106 SOS 16026 HAS SOPS 16026 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5244.026
AT ITER 3554 NEW BEST:: SOT 23090 SOS 16015 HAS SOPS 16015 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5235.015
AT ITER 3573 NEW BEST:: SOT 23063 SOS 15984 HAS SOPS 15984 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5230.984
AT ITER 3616 NEW BEST:: SOT 23071 SOS 15993 HAS SOPS 15993 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5207.993
AT ITER 3645 NEW BEST:: SOT 23069 SOS 15991 HAS SOPS 15991 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5203.991
AT ITER 3656 NEW BEST:: SOT 23066 SOS 15985 HAS SOPS 15985 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5197.985
AT ITER 3713 NEW BEST:: SOT 23064 SOS 15983 HAS SOPS 15983 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5193.983
AT ITER 3727 NEW BEST:: SOT 23062 SOS 15981 HAS SOPS 15981 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5189.981
AT ITER 3783 NEW BEST:: SOT 23059 SOS 15975 HAS SOPS 15975 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5183.975
AT ITER 3796 NEW BEST:: SOT 23058 SOS 15974 HAS SOPS 15974 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5181.974
AT ITER 3828 NEW BEST:: SOT 23046 SOS 15962 HAS SOPS 15962 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5181.962
AT ITER 3839 NEW BEST:: SOT 23045 SOS 15956 HAS SOPS 15956 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5175.956
AT ITER 3879 NEW BEST:: SOT 23031 SOS 15942 HAS SOPS 15942 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5169.942
AT ITER 3881 NEW BEST:: SOT 23030 SOS 15940 HAS SOPS 15940 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5168.94
AT ITER 3936 NEW BEST:: SOT 23014 SOS 15916 HAS SOPS 15916 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5144.916
AT ITER 3953 NEW BEST:: SOT 22973 SOS 15851 HAS SOPS 15851 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5104.851
AT ITER 4001 NEW BEST:: SOT 22975 SOS 15843 HAS SOPS 15843 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5096.843
AT ITER 4015 NEW BEST:: SOT 22927 SOS 15824 HAS SOPS 15824 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5080.824
AT ITER 4017 NEW BEST:: SOT 22924 SOS 15821 HAS SOPS 15821 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5046.821
AT ITER 4024 NEW BEST:: SOT 22888 SOS 15644 HAS SOPS 15644 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4982.644
AT ITER 4032 NEW BEST:: SOT 22883 SOS 15639 HAS SOPS 15639 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4976.639
AT ITER 4034 NEW BEST:: SOT 22863 SOS 15616 HAS SOPS 15616 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4953.616
AT ITER 4072 NEW BEST:: SOT 22861 SOS 15612 HAS SOPS 15612 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4951.612
AT ITER 4102 NEW BEST:: SOT 22848 SOS 15599 HAS SOPS 15599 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4951.599
AT ITER 4134 NEW BEST:: SOT 22841 SOS 15592 HAS SOPS 15592 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4944.592
AT ITER 4174 NEW BEST:: SOT 22841 SOS 15596 HAS SOPS 15596 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4942.596
AT ITER 4200 NEW BEST:: SOT 22836 SOS 15583 HAS SOPS 15583 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4929.583
AT ITER 4223 NEW BEST:: SOT 22832 SOS 15575 HAS SOPS 15575 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4925.575
AT ITER 4239 NEW BEST:: SOT 22839 SOS 15562 HAS SOPS 15562 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4912.562
AT ITER 4241 NEW BEST:: SOT 22837 SOS 15560 HAS SOPS 15560 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4908.56
AT ITER 4265 NEW BEST:: SOT 22837 SOS 15562 HAS SOPS 15562 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4907.562
AT ITER 4279 NEW BEST:: SOT 22835 SOS 15558 HAS SOPS 15558 HAS SOUS 4888 HAS SOUPS 4888 WITH SCORE 4903.558
AT ITER 4284 NEW BEST:: SOT 22834 SOS 15557 HAS SOPS 15557 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4901.557
AT ITER 4307 NEW BEST:: SOT 22831 SOS 15546 HAS SOPS 15546 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4897.546
AT ITER 4317 NEW BEST:: SOT 22824 SOS 15542 HAS SOPS 15542 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4893.542
AT ITER 4385 NEW BEST:: SOT 22821 SOS 15539 HAS SOPS 15539 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4890.539
AT ITER 4410 NEW BEST:: SOT 22807 SOS 15525 HAS SOPS 15525 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4862.525
AT ITER 4424 NEW BEST:: SOT 22808 SOS 15526 HAS SOPS 15526 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4854.526
AT ITER 4441 NEW BEST:: SOT 22805 SOS 15523 HAS SOPS 15523 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4848.523
AT ITER 4468 NEW BEST:: SOT 22782 SOS 15468 HAS SOPS 15468 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4816.468
AT ITER 4497 NEW BEST:: SOT 22782 SOS 15464 HAS SOPS 15464 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4812.464
AT ITER 4507 NEW BEST:: SOT 22782 SOS 15455 HAS SOPS 15455 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4803.455
AT ITER 4522 NEW BEST:: SOT 22776 SOS 15449 HAS SOPS 15449 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4785.449
AT ITER 4565 NEW BEST:: SOT 22734 SOS 15407 HAS SOPS 15407 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4779.407
AT ITER 4613 NEW BEST:: SOT 22732 SOS 15405 HAS SOPS 15405 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4758.405
AT ITER 4614 NEW BEST:: SOT 22730 SOS 15388 HAS SOPS 15388 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4741.388
AT ITER 4653 NEW BEST:: SOT 22738 SOS 15396 HAS SOPS 15396 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4729.396
AT ITER 4665 NEW BEST:: SOT 22736 SOS 15390 HAS SOPS 15390 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4729.39
AT ITER 4704 NEW BEST:: SOT 22735 SOS 15389 HAS SOPS 15389 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4727.389
AT ITER 4722 NEW BEST:: SOT 22734 SOS 15388 HAS SOPS 15388 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4725.388
AT ITER 4737 NEW BEST:: SOT 22672 SOS 15326 HAS SOPS 15326 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4713.326
AT ITER 4826 NEW BEST:: SOT 22672 SOS 15326 HAS SOPS 15326 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4698.326
AT ITER 4925 NEW BEST:: SOT 22672 SOS 15326 HAS SOPS 15326 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4681.326
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-30a-CTLFireability-00 (EG( ( ( (EF( ((potential((tk(P216)>=1) & (tk(P231)>=1)))))) | ((potential((tk(P101)>=1) & (tk(P125)>=1)))) ) | ((potential((tk(P36)>=1) & (tk(P230)>=1)))) )))
PROPERTY: DES-PT-30a-CTLFireability-01 ( ((potential((tk(P134)>=1) & (tk(P208)>=1)))) | ( (EG( (AF( ((potential((tk(P90)>=1) & (tk(P150)>=1)))))))) | ( ((potential((tk(P137)>=1) & (tk(P138)>=1)))) & (AX( ((potential((tk(P45)>=1) & (tk(P230)>=1)))))) ) ) )
PROPERTY: DES-PT-30a-CTLFireability-02 (EF( (! (AF( ( ((potential((tk(P62)>=1) & (tk(P150)>=1)))) | ((potential((tk(P126)>=1) & (tk(P148)>=1)))) ))))))
PROPERTY: DES-PT-30a-CTLFireability-03 (! ( (! (EX( ((potential((tk(P82)>=1) & (tk(P150)>=1))))))) & ( (! (EF( ((potential((tk(P104)>=1) & (tk(P125)>=1))))))) & (EF( ((potential((tk(P229)>=1) & (tk(P233)>=1)))))) ) ))
PROPERTY: DES-PT-30a-CTLFireability-04 ( ( (EG( ( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P20)>=1)))) | ( ((potential((tk(P72)>=1) & (tk(P150)>=1)))) & ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P18)>=1)))) ) ))) & (EG( ( ( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P12)>=1)))) & ((potential((tk(P84)>=1) & (tk(P150)>=1)))) ) | (! ((potential((tk(P50)>=1) & (tk(P230)>=1))))) ))) ) | ( (EF( ( ((potential((tk(P51)>=1) & (tk(P230)>=1)))) | ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P25)>=1)))) ))) & (EG( (! ((potential((tk(P60)>=1) & (tk(P230)>=1))))))) ) )
PROPERTY: DES-PT-30a-CTLFireability-05 (EU( (! ((potential((tk(P64)>=1) & (tk(P150)>=1))))) , ( (! ((potential((tk(P172)>=1) & (tk(P189)>=1))))) & (EG( ((potential((tk(P92)>=1) & (tk(P125)>=1)))))) ) ))
PROPERTY: DES-PT-30a-CTLFireability-06 (AG( (! ( ( ( ((potential((tk(P119)>=1) & (tk(P125)>=1)))) & ((potential((tk(P96)>=1) & (tk(P125)>=1)))) ) | ( ((potential((tk(P186)>=1) & (tk(P202)>=1)))) & ((potential((tk(P112)>=1) & (tk(P125)>=1)))) ) ) | ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P3)>=1)))) ))))
PROPERTY: DES-PT-30a-CTLFireability-07 ( ( (AX( (AG( ((potential((tk(P91)>=1) & (tk(P125)>=1)))))))) & (AU( (! ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P23)>=1))))) , ((potential((tk(P131)>=1) & (tk(P225)>=1)))) )) ) | (! (AF( (EX( ((potential((tk(P178)>=1) & (tk(P194)>=1))))))))) )
PROPERTY: DES-PT-30a-CTLFireability-08 ( (AF( ( (AG( ((potential((tk(P65)>=1) & (tk(P150)>=1)))))) | ( ( ((potential((tk(P210)>=1) & (tk(P213)>=1)))) | ((potential((tk(P130)>=1) & (tk(P127)>=1) & (tk(P121)>=1) & (tk(P123)>=1) & (tk(P128)>=1) & (tk(P132)>=1)))) ) & ( ((potential((tk(P58)>=1) & (tk(P230)>=1)))) | ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P11)>=1)))) ) ) ))) | ( ( ( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P20)>=1)))) | (AF( ((potential((tk(P42)>=1) & (tk(P230)>=1)))))) ) & (AG( ( ((potential((tk(P94)>=1) & (tk(P125)>=1)))) | ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P8)>=1)))) ))) ) & ( (AG( ( ((potential((tk(P42)>=1) & (tk(P230)>=1)))) & ((potential((tk(P79)>=1) & (tk(P150)>=1)))) ))) & (EF( ( ((potential((tk(P160)>=1) & (tk(P177)>=1)))) & ((potential((tk(P68)>=1) & (tk(P150)>=1)))) ))) ) ) )
PROPERTY: DES-PT-30a-CTLFireability-09 (! ( (AF( (! (! ((potential((tk(P92)>=1) & (tk(P125)>=1)))))))) | ( ( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P29)>=1)))) | (AF( ((potential((tk(P137)>=1) & (tk(P151)>=1)))))) ) & ( ( ( ((potential((tk(P39)>=1) & (tk(P230)>=1)))) & ((potential((tk(P91)>=1) & (tk(P125)>=1)))) ) | ((potential((tk(P52)>=1) & (tk(P230)>=1)))) ) | (! ( ((potential((tk(P229)>=1) & (tk(P219)>=1)))) & ((potential((tk(P67)>=1) & (tk(P150)>=1)))) )) ) ) ))
PROPERTY: DES-PT-30a-CTLFireability-10 (! (EU( (! ((potential((tk(P87)>=1) & (tk(P150)>=1))))) , ( ( ((potential((tk(P141)>=1) & (tk(P139)>=1)))) & ((potential((tk(P62)>=1) & (tk(P150)>=1)))) ) & ( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P21)>=1)))) & ((potential((tk(P85)>=1) & (tk(P150)>=1)))) ) ) )))
PROPERTY: DES-PT-30a-CTLFireability-11 (! (AF( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P28)>=1)))))))
PROPERTY: DES-PT-30a-CTLFireability-12 (AG( ( (EG( (! ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P7)>=1))))))) | (AG( (! ((potential((tk(P160)>=1) & (tk(P177)>=1))))))) )))
PROPERTY: DES-PT-30a-CTLFireability-13 (AF( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P5)>=1))))))
PROPERTY: DES-PT-30a-CTLFireability-14 (AF( ( (EU( ((potential((tk(P39)>=1) & (tk(P230)>=1)))) , ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P17)>=1)))) )) & (! ((potential((tk(P141)>=1) & (tk(P139)>=1))))) )))
PROPERTY: DES-PT-30a-CTLFireability-15 (AX( (AF( ( ( ((potential((tk(P149)>=1) & (tk(P147)>=1) & (tk(P142)>=1)))) | ((potential((tk(P67)>=1) & (tk(P150)>=1)))) ) | ( ((potential((tk(P126)>=1) & (tk(P148)>=1)))) & ((potential((tk(P76)>=1) & (tk(P150)>=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-30a"
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-30a, 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-158902542000276"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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