Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700348.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 Sudoku-PT-AN05, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700348
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jun 3 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 31K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 51K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 190K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 71K May 12 20:42 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 Sudoku-PT-AN05-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN05-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336623444

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN05
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: 200 places, 125 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 17768 SOS 9370 HAS SOPS 9370 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9379.37
AT ITER 6 NEW BEST:: SOT 17782 SOS 9375 HAS SOPS 9375 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9376.375
AT ITER 23 NEW BEST:: SOT 17720 SOS 9336 HAS SOPS 9336 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9325.336
AT ITER 57 NEW BEST:: SOT 17698 SOS 9344 HAS SOPS 9344 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9313.344
AT ITER 65 NEW BEST:: SOT 17638 SOS 9313 HAS SOPS 9313 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9282.313
AT ITER 70 NEW BEST:: SOT 17584 SOS 9287 HAS SOPS 9287 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9252.287
AT ITER 73 NEW BEST:: SOT 17516 SOS 9389 HAS SOPS 9389 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9222.389
AT ITER 74 NEW BEST:: SOT 17516 SOS 9381 HAS SOPS 9381 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9222.381
AT ITER 76 NEW BEST:: SOT 17510 SOS 9355 HAS SOPS 9355 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9206.355
AT ITER 81 NEW BEST:: SOT 17462 SOS 9345 HAS SOPS 9345 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9184.345
AT ITER 89 NEW BEST:: SOT 17462 SOS 9459 HAS SOPS 9459 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9172.459
AT ITER 91 NEW BEST:: SOT 17462 SOS 9377 HAS SOPS 9377 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9172.377
AT ITER 114 NEW BEST:: SOT 17462 SOS 9239 HAS SOPS 9239 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9172.239
AT ITER 121 NEW BEST:: SOT 17444 SOS 9237 HAS SOPS 9237 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9170.237
AT ITER 143 NEW BEST:: SOT 17418 SOS 9223 HAS SOPS 9223 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9156.223
AT ITER 150 NEW BEST:: SOT 17408 SOS 9213 HAS SOPS 9213 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9146.213
AT ITER 151 NEW BEST:: SOT 17398 SOS 9194 HAS SOPS 9194 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9119.194
AT ITER 152 NEW BEST:: SOT 17386 SOS 9182 HAS SOPS 9182 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9107.182
AT ITER 158 NEW BEST:: SOT 17431 SOS 9198 HAS SOPS 9198 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9078.198
AT ITER 164 NEW BEST:: SOT 17445 SOS 9196 HAS SOPS 9196 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9057.196
AT ITER 170 NEW BEST:: SOT 17441 SOS 9183 HAS SOPS 9183 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9044.183
AT ITER 174 NEW BEST:: SOT 17425 SOS 9183 HAS SOPS 9183 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9028.183
AT ITER 181 NEW BEST:: SOT 17381 SOS 9232 HAS SOPS 9232 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8994.232
AT ITER 216 NEW BEST:: SOT 17323 SOS 9206 HAS SOPS 9206 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.206
AT ITER 227 NEW BEST:: SOT 17322 SOS 9205 HAS SOPS 9205 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8967.205
AT ITER 228 NEW BEST:: SOT 17227 SOS 9244 HAS SOPS 9244 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8891.244
AT ITER 232 NEW BEST:: SOT 17227 SOS 9184 HAS SOPS 9184 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8891.184
AT ITER 236 NEW BEST:: SOT 17227 SOS 9178 HAS SOPS 9178 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8891.178
AT ITER 241 NEW BEST:: SOT 17213 SOS 9192 HAS SOPS 9192 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8886.192
AT ITER 246 NEW BEST:: SOT 17169 SOS 9207 HAS SOPS 9207 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8858.207
AT ITER 273 NEW BEST:: SOT 17127 SOS 9228 HAS SOPS 9228 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8854.228
AT ITER 283 NEW BEST:: SOT 17102 SOS 9093 HAS SOPS 9093 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8821.093
AT ITER 296 NEW BEST:: SOT 17096 SOS 9099 HAS SOPS 9099 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8815.099
AT ITER 311 NEW BEST:: SOT 17035 SOS 9081 HAS SOPS 9081 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8797.081
AT ITER 312 NEW BEST:: SOT 16975 SOS 9152 HAS SOPS 9152 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8786.152
AT ITER 314 NEW BEST:: SOT 16951 SOS 9140 HAS SOPS 9140 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8770.14
AT ITER 316 NEW BEST:: SOT 16951 SOS 9132 HAS SOPS 9132 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8770.132
AT ITER 360 NEW BEST:: SOT 16937 SOS 9139 HAS SOPS 9139 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8735.139
AT ITER 376 NEW BEST:: SOT 16929 SOS 9133 HAS SOPS 9133 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.133
AT ITER 382 NEW BEST:: SOT 16929 SOS 9118 HAS SOPS 9118 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.118
AT ITER 383 NEW BEST:: SOT 16822 SOS 9160 HAS SOPS 9160 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8654.16
AT ITER 384 NEW BEST:: SOT 16806 SOS 9159 HAS SOPS 9159 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8653.159
AT ITER 408 NEW BEST:: SOT 16770 SOS 9152 HAS SOPS 9152 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8646.152
AT ITER 409 NEW BEST:: SOT 16767 SOS 9150 HAS SOPS 9150 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.15
AT ITER 410 NEW BEST:: SOT 16751 SOS 9180 HAS SOPS 9180 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8629.18
AT ITER 418 NEW BEST:: SOT 16750 SOS 9192 HAS SOPS 9192 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8623.192
AT ITER 424 NEW BEST:: SOT 16741 SOS 9204 HAS SOPS 9204 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.204
AT ITER 428 NEW BEST:: SOT 16731 SOS 9194 HAS SOPS 9194 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8604.194
AT ITER 431 NEW BEST:: SOT 16731 SOS 9184 HAS SOPS 9184 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8594.184
AT ITER 464 NEW BEST:: SOT 16731 SOS 9183 HAS SOPS 9183 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8594.183
AT ITER 465 NEW BEST:: SOT 16731 SOS 9138 HAS SOPS 9138 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8594.138
AT ITER 479 NEW BEST:: SOT 16731 SOS 9111 HAS SOPS 9111 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.111
AT ITER 483 NEW BEST:: SOT 16727 SOS 9106 HAS SOPS 9106 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8585.106
AT ITER 488 NEW BEST:: SOT 16704 SOS 9107 HAS SOPS 9107 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8562.107
AT ITER 489 NEW BEST:: SOT 16702 SOS 9105 HAS SOPS 9105 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8560.105
AT ITER 490 NEW BEST:: SOT 16698 SOS 9155 HAS SOPS 9155 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8556.155
AT ITER 499 NEW BEST:: SOT 16663 SOS 9172 HAS SOPS 9172 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8535.172
AT ITER 511 NEW BEST:: SOT 16618 SOS 9138 HAS SOPS 9138 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8474.138
AT ITER 514 NEW BEST:: SOT 16606 SOS 9175 HAS SOPS 9175 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8462.175
AT ITER 515 NEW BEST:: SOT 16602 SOS 9171 HAS SOPS 9171 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8458.171
AT ITER 529 NEW BEST:: SOT 16593 SOS 9172 HAS SOPS 9172 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8449.172
AT ITER 531 NEW BEST:: SOT 16569 SOS 9160 HAS SOPS 9160 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.16
AT ITER 540 NEW BEST:: SOT 16569 SOS 9159 HAS SOPS 9159 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.159
AT ITER 545 NEW BEST:: SOT 16552 SOS 9144 HAS SOPS 9144 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8422.144
AT ITER 552 NEW BEST:: SOT 16519 SOS 9124 HAS SOPS 9124 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.124
AT ITER 563 NEW BEST:: SOT 16487 SOS 9099 HAS SOPS 9099 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8377.099
AT ITER 571 NEW BEST:: SOT 16487 SOS 9079 HAS SOPS 9079 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8377.079
AT ITER 575 NEW BEST:: SOT 16473 SOS 9110 HAS SOPS 9110 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8368.11
AT ITER 583 NEW BEST:: SOT 16481 SOS 9110 HAS SOPS 9110 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8367.11
AT ITER 584 NEW BEST:: SOT 16504 SOS 9108 HAS SOPS 9108 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8356.108
AT ITER 587 NEW BEST:: SOT 16470 SOS 9034 HAS SOPS 9034 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8343.034
AT ITER 589 NEW BEST:: SOT 16464 SOS 9028 HAS SOPS 9028 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8337.028
AT ITER 593 NEW BEST:: SOT 16448 SOS 9024 HAS SOPS 9024 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8333.024
AT ITER 595 NEW BEST:: SOT 16448 SOS 9011 HAS SOPS 9011 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8320.011
AT ITER 600 NEW BEST:: SOT 16448 SOS 8989 HAS SOPS 8989 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8319.989
AT ITER 617 NEW BEST:: SOT 16438 SOS 8979 HAS SOPS 8979 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8309.979
AT ITER 642 NEW BEST:: SOT 16405 SOS 8946 HAS SOPS 8946 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8276.946
AT ITER 645 NEW BEST:: SOT 16443 SOS 8949 HAS SOPS 8949 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8275.949
AT ITER 659 NEW BEST:: SOT 16440 SOS 8970 HAS SOPS 8970 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8252.97
AT ITER 664 NEW BEST:: SOT 16421 SOS 8951 HAS SOPS 8951 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8233.951
AT ITER 672 NEW BEST:: SOT 16419 SOS 8949 HAS SOPS 8949 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8231.949
AT ITER 673 NEW BEST:: SOT 16415 SOS 9182 HAS SOPS 9182 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8228.182
AT ITER 691 NEW BEST:: SOT 16359 SOS 9193 HAS SOPS 9193 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8197.193
AT ITER 699 NEW BEST:: SOT 16350 SOS 9184 HAS SOPS 9184 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.184
AT ITER 725 NEW BEST:: SOT 16335 SOS 9287 HAS SOPS 9287 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8174.287
AT ITER 746 NEW BEST:: SOT 16329 SOS 9284 HAS SOPS 9284 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8155.284
AT ITER 755 NEW BEST:: SOT 16324 SOS 9284 HAS SOPS 9284 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8150.284
AT ITER 775 NEW BEST:: SOT 16324 SOS 9269 HAS SOPS 9269 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8150.269
AT ITER 794 NEW BEST:: SOT 16323 SOS 9268 HAS SOPS 9268 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8149.268
AT ITER 798 NEW BEST:: SOT 16322 SOS 9267 HAS SOPS 9267 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8148.267
AT ITER 812 NEW BEST:: SOT 16300 SOS 9262 HAS SOPS 9262 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8137.262
AT ITER 821 NEW BEST:: SOT 16300 SOS 9257 HAS SOPS 9257 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8137.257
AT ITER 826 NEW BEST:: SOT 16300 SOS 9231 HAS SOPS 9231 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8137.231
AT ITER 844 NEW BEST:: SOT 16287 SOS 9231 HAS SOPS 9231 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8128.231
AT ITER 845 NEW BEST:: SOT 16287 SOS 9229 HAS SOPS 9229 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8117.229
AT ITER 853 NEW BEST:: SOT 16255 SOS 9217 HAS SOPS 9217 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8105.217
AT ITER 856 NEW BEST:: SOT 16232 SOS 9194 HAS SOPS 9194 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.194
AT ITER 881 NEW BEST:: SOT 16232 SOS 9184 HAS SOPS 9184 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.184
AT ITER 882 NEW BEST:: SOT 16232 SOS 9172 HAS SOPS 9172 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8070.172
AT ITER 895 NEW BEST:: SOT 16215 SOS 9191 HAS SOPS 9191 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8056.191
AT ITER 937 NEW BEST:: SOT 16215 SOS 9191 HAS SOPS 9191 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8055.191
AT ITER 939 NEW BEST:: SOT 16210 SOS 9186 HAS SOPS 9186 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8050.186
AT ITER 971 NEW BEST:: SOT 16210 SOS 9176 HAS SOPS 9176 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.176
AT ITER 1008 NEW BEST:: SOT 16178 SOS 9175 HAS SOPS 9175 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8048.175
AT ITER 1024 NEW BEST:: SOT 16178 SOS 9155 HAS SOPS 9155 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8048.155
AT ITER 1041 NEW BEST:: SOT 16159 SOS 9132 HAS SOPS 9132 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8038.132
AT ITER 1052 NEW BEST:: SOT 16159 SOS 9132 HAS SOPS 9132 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7998.132
AT ITER 1056 NEW BEST:: SOT 16155 SOS 9132 HAS SOPS 9132 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7994.132
AT ITER 1066 NEW BEST:: SOT 16138 SOS 9115 HAS SOPS 9115 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7978.115
AT ITER 1070 NEW BEST:: SOT 16135 SOS 9112 HAS SOPS 9112 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7975.112
AT ITER 1084 NEW BEST:: SOT 16161 SOS 9095 HAS SOPS 9095 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7969.095
AT ITER 1116 NEW BEST:: SOT 16161 SOS 9087 HAS SOPS 9087 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7969.087
AT ITER 1125 NEW BEST:: SOT 16157 SOS 9083 HAS SOPS 9083 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7965.083
AT ITER 1136 NEW BEST:: SOT 16148 SOS 9074 HAS SOPS 9074 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7956.074
AT ITER 1144 NEW BEST:: SOT 16131 SOS 9057 HAS SOPS 9057 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7939.057
AT ITER 1184 NEW BEST:: SOT 16119 SOS 9045 HAS SOPS 9045 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7927.045
AT ITER 1193 NEW BEST:: SOT 16119 SOS 9015 HAS SOPS 9015 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7927.015
AT ITER 1205 NEW BEST:: SOT 16099 SOS 9005 HAS SOPS 9005 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7907.005
AT ITER 1209 NEW BEST:: SOT 16099 SOS 9004 HAS SOPS 9004 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7906.004
AT ITER 1211 NEW BEST:: SOT 16099 SOS 8996 HAS SOPS 8996 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7901.996
AT ITER 1220 NEW BEST:: SOT 16099 SOS 8986 HAS SOPS 8986 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7888.986
AT ITER 1231 NEW BEST:: SOT 16099 SOS 8953 HAS SOPS 8953 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7881.953
AT ITER 1233 NEW BEST:: SOT 16076 SOS 8930 HAS SOPS 8930 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7859.93
AT ITER 1239 NEW BEST:: SOT 16064 SOS 8923 HAS SOPS 8923 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.923
AT ITER 1240 NEW BEST:: SOT 16066 SOS 8905 HAS SOPS 8905 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.905
AT ITER 1246 NEW BEST:: SOT 16066 SOS 8900 HAS SOPS 8900 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.9
AT ITER 1248 NEW BEST:: SOT 16066 SOS 8891 HAS SOPS 8891 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.891
AT ITER 1263 NEW BEST:: SOT 16028 SOS 8883 HAS SOPS 8883 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.883
AT ITER 1270 NEW BEST:: SOT 16028 SOS 8876 HAS SOPS 8876 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7831.876
AT ITER 1277 NEW BEST:: SOT 16007 SOS 8855 HAS SOPS 8855 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7810.855
AT ITER 1302 NEW BEST:: SOT 16006 SOS 8855 HAS SOPS 8855 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7809.855
AT ITER 1303 NEW BEST:: SOT 15989 SOS 8853 HAS SOPS 8853 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7798.853
AT ITER 1321 NEW BEST:: SOT 15959 SOS 8836 HAS SOPS 8836 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7781.836
AT ITER 1350 NEW BEST:: SOT 15951 SOS 8828 HAS SOPS 8828 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7773.828
AT ITER 1373 NEW BEST:: SOT 15951 SOS 8812 HAS SOPS 8812 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7773.812
AT ITER 1409 NEW BEST:: SOT 15912 SOS 8774 HAS SOPS 8774 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7735.774
AT ITER 1426 NEW BEST:: SOT 15910 SOS 8766 HAS SOPS 8766 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7727.766
AT ITER 1434 NEW BEST:: SOT 15905 SOS 8763 HAS SOPS 8763 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.763
AT ITER 1443 NEW BEST:: SOT 15877 SOS 8746 HAS SOPS 8746 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7707.746
AT ITER 1457 NEW BEST:: SOT 15875 SOS 8708 HAS SOPS 8708 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7705.708
AT ITER 1474 NEW BEST:: SOT 15875 SOS 8706 HAS SOPS 8706 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7705.706
AT ITER 1484 NEW BEST:: SOT 15873 SOS 8704 HAS SOPS 8704 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.704
AT ITER 1499 NEW BEST:: SOT 15872 SOS 8703 HAS SOPS 8703 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7702.703
AT ITER 1517 NEW BEST:: SOT 15872 SOS 8702 HAS SOPS 8702 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7702.702
AT ITER 1523 NEW BEST:: SOT 15860 SOS 8690 HAS SOPS 8690 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.69
AT ITER 1524 NEW BEST:: SOT 15858 SOS 8686 HAS SOPS 8686 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7688.686
AT ITER 1551 NEW BEST:: SOT 15858 SOS 8682 HAS SOPS 8682 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7688.682
AT ITER 1562 NEW BEST:: SOT 15856 SOS 8680 HAS SOPS 8680 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.68
AT ITER 1569 NEW BEST:: SOT 15856 SOS 8679 HAS SOPS 8679 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.679
AT ITER 1600 NEW BEST:: SOT 15858 SOS 8680 HAS SOPS 8680 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.68
AT ITER 1609 NEW BEST:: SOT 15858 SOS 8632 HAS SOPS 8632 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.632
AT ITER 1621 NEW BEST:: SOT 15858 SOS 8628 HAS SOPS 8628 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.628
AT ITER 1651 NEW BEST:: SOT 15858 SOS 8586 HAS SOPS 8586 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.586
AT ITER 1673 NEW BEST:: SOT 15847 SOS 8738 HAS SOPS 8738 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.738
AT ITER 1681 NEW BEST:: SOT 15806 SOS 8722 HAS SOPS 8722 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7653.722
AT ITER 1709 NEW BEST:: SOT 15772 SOS 8650 HAS SOPS 8650 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7653.65
AT ITER 1723 NEW BEST:: SOT 15772 SOS 8662 HAS SOPS 8662 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.662
AT ITER 1726 NEW BEST:: SOT 15759 SOS 8649 HAS SOPS 8649 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7628.649
AT ITER 1736 NEW BEST:: SOT 15809 SOS 8678 HAS SOPS 8678 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7625.678
AT ITER 1751 NEW BEST:: SOT 15809 SOS 8670 HAS SOPS 8670 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7625.67
AT ITER 1752 NEW BEST:: SOT 15794 SOS 8658 HAS SOPS 8658 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.658
AT ITER 1773 NEW BEST:: SOT 15753 SOS 8629 HAS SOPS 8629 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7579.629
AT ITER 1774 NEW BEST:: SOT 15785 SOS 8651 HAS SOPS 8651 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.651
AT ITER 1798 NEW BEST:: SOT 15785 SOS 8630 HAS SOPS 8630 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7568.63
AT ITER 1809 NEW BEST:: SOT 15757 SOS 8620 HAS SOPS 8620 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7558.62
AT ITER 1868 NEW BEST:: SOT 15756 SOS 8618 HAS SOPS 8618 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7556.618
AT ITER 1877 NEW BEST:: SOT 15756 SOS 8617 HAS SOPS 8617 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7556.617
AT ITER 1890 NEW BEST:: SOT 15787 SOS 8627 HAS SOPS 8627 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.627
AT ITER 1897 NEW BEST:: SOT 15785 SOS 8698 HAS SOPS 8698 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.698
AT ITER 1899 NEW BEST:: SOT 15784 SOS 8697 HAS SOPS 8697 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7523.697
AT ITER 1911 NEW BEST:: SOT 15784 SOS 8687 HAS SOPS 8687 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7523.687
AT ITER 1918 NEW BEST:: SOT 15784 SOS 8678 HAS SOPS 8678 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.678
AT ITER 1934 NEW BEST:: SOT 15780 SOS 8662 HAS SOPS 8662 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.662
AT ITER 1936 NEW BEST:: SOT 15765 SOS 8648 HAS SOPS 8648 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7500.648
AT ITER 1950 NEW BEST:: SOT 15747 SOS 8630 HAS SOPS 8630 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7482.63
AT ITER 1953 NEW BEST:: SOT 15747 SOS 8619 HAS SOPS 8619 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7471.619
AT ITER 1955 NEW BEST:: SOT 15733 SOS 8622 HAS SOPS 8622 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7468.622
AT ITER 1958 NEW BEST:: SOT 15707 SOS 8620 HAS SOPS 8620 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.62
AT ITER 1995 NEW BEST:: SOT 15698 SOS 8619 HAS SOPS 8619 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.619
AT ITER 2014 NEW BEST:: SOT 15691 SOS 8612 HAS SOPS 8612 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.612
AT ITER 2015 NEW BEST:: SOT 15694 SOS 8564 HAS SOPS 8564 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7444.564
AT ITER 2046 NEW BEST:: SOT 15664 SOS 8597 HAS SOPS 8597 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7424.597
AT ITER 2050 NEW BEST:: SOT 15664 SOS 8597 HAS SOPS 8597 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7423.597
AT ITER 2111 NEW BEST:: SOT 15624 SOS 8746 HAS SOPS 8746 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7414.746
AT ITER 2116 NEW BEST:: SOT 15619 SOS 8741 HAS SOPS 8741 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7407.741
AT ITER 2125 NEW BEST:: SOT 15632 SOS 8737 HAS SOPS 8737 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7389.737
AT ITER 2126 NEW BEST:: SOT 15632 SOS 8677 HAS SOPS 8677 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.677
AT ITER 2129 NEW BEST:: SOT 15632 SOS 8541 HAS SOPS 8541 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7377.541
AT ITER 2152 NEW BEST:: SOT 15632 SOS 8521 HAS SOPS 8521 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7377.521
AT ITER 2188 NEW BEST:: SOT 15619 SOS 8508 HAS SOPS 8508 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7357.508
AT ITER 2190 NEW BEST:: SOT 15605 SOS 8500 HAS SOPS 8500 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7355.5
AT ITER 2207 NEW BEST:: SOT 15569 SOS 8464 HAS SOPS 8464 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7319.464
AT ITER 2224 NEW BEST:: SOT 15556 SOS 8451 HAS SOPS 8451 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.451
AT ITER 2269 NEW BEST:: SOT 15551 SOS 8449 HAS SOPS 8449 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7304.449
AT ITER 2287 NEW BEST:: SOT 15551 SOS 8433 HAS SOPS 8433 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7304.433
AT ITER 2289 NEW BEST:: SOT 15556 SOS 8432 HAS SOPS 8432 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.432
AT ITER 2295 NEW BEST:: SOT 15558 SOS 8432 HAS SOPS 8432 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7301.432
AT ITER 2299 NEW BEST:: SOT 15515 SOS 8512 HAS SOPS 8512 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.512
AT ITER 2322 NEW BEST:: SOT 15515 SOS 8506 HAS SOPS 8506 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.506
AT ITER 2331 NEW BEST:: SOT 15515 SOS 8443 HAS SOPS 8443 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7268.443
AT ITER 2338 NEW BEST:: SOT 15534 SOS 8462 HAS SOPS 8462 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.462
AT ITER 2360 NEW BEST:: SOT 15534 SOS 8451 HAS SOPS 8451 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7248.451
AT ITER 2365 NEW BEST:: SOT 15534 SOS 8447 HAS SOPS 8447 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7244.447
AT ITER 2414 NEW BEST:: SOT 15520 SOS 8488 HAS SOPS 8488 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7238.488
AT ITER 2430 NEW BEST:: SOT 15520 SOS 8474 HAS SOPS 8474 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7216.474
AT ITER 2432 NEW BEST:: SOT 15510 SOS 8459 HAS SOPS 8459 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7212.459
AT ITER 2462 NEW BEST:: SOT 15510 SOS 8472 HAS SOPS 8472 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7204.472
AT ITER 2471 NEW BEST:: SOT 15510 SOS 8463 HAS SOPS 8463 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.463
AT ITER 2482 NEW BEST:: SOT 15510 SOS 8455 HAS SOPS 8455 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.455
AT ITER 2497 NEW BEST:: SOT 15486 SOS 8476 HAS SOPS 8476 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7183.476
AT ITER 2543 NEW BEST:: SOT 15472 SOS 8462 HAS SOPS 8462 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.462
AT ITER 2565 NEW BEST:: SOT 15470 SOS 8460 HAS SOPS 8460 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7167.46
AT ITER 2566 NEW BEST:: SOT 15470 SOS 8480 HAS SOPS 8480 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.48
AT ITER 2596 NEW BEST:: SOT 15471 SOS 8464 HAS SOPS 8464 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7157.464
AT ITER 2612 NEW BEST:: SOT 15463 SOS 8484 HAS SOPS 8484 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7154.484
AT ITER 2613 NEW BEST:: SOT 15463 SOS 8475 HAS SOPS 8475 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7145.475
AT ITER 2624 NEW BEST:: SOT 15462 SOS 8474 HAS SOPS 8474 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.474
AT ITER 2629 NEW BEST:: SOT 15458 SOS 8470 HAS SOPS 8470 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.47
AT ITER 2654 NEW BEST:: SOT 15447 SOS 8459 HAS SOPS 8459 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.459
AT ITER 2661 NEW BEST:: SOT 15449 SOS 8458 HAS SOPS 8458 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7128.458
AT ITER 2662 NEW BEST:: SOT 15449 SOS 8458 HAS SOPS 8458 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.458
AT ITER 2700 NEW BEST:: SOT 15449 SOS 8455 HAS SOPS 8455 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7114.455
AT ITER 2705 NEW BEST:: SOT 15442 SOS 8448 HAS SOPS 8448 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7107.448
AT ITER 2729 NEW BEST:: SOT 15420 SOS 8441 HAS SOPS 8441 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.441
AT ITER 2769 NEW BEST:: SOT 15410 SOS 8431 HAS SOPS 8431 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7090.431
AT ITER 2794 NEW BEST:: SOT 15409 SOS 8430 HAS SOPS 8430 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.43
AT ITER 2878 NEW BEST:: SOT 15403 SOS 8424 HAS SOPS 8424 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7083.424
AT ITER 2891 NEW BEST:: SOT 15403 SOS 8421 HAS SOPS 8421 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7083.421
AT ITER 2907 NEW BEST:: SOT 15406 SOS 8421 HAS SOPS 8421 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.421
AT ITER 2912 NEW BEST:: SOT 15406 SOS 8407 HAS SOPS 8407 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.407
AT ITER 2921 NEW BEST:: SOT 15406 SOS 8402 HAS SOPS 8402 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7075.402
AT ITER 2922 NEW BEST:: SOT 15401 SOS 8397 HAS SOPS 8397 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7070.397
AT ITER 2931 NEW BEST:: SOT 15401 SOS 8391 HAS SOPS 8391 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7054.391
AT ITER 2938 NEW BEST:: SOT 15400 SOS 8390 HAS SOPS 8390 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7053.39
AT ITER 2974 NEW BEST:: SOT 15400 SOS 8390 HAS SOPS 8390 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7052.39
AT ITER 2999 NEW BEST:: SOT 15400 SOS 8390 HAS SOPS 8390 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.39
AT ITER 3052 NEW BEST:: SOT 15399 SOS 8389 HAS SOPS 8389 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.389
AT ITER 3060 NEW BEST:: SOT 15396 SOS 8389 HAS SOPS 8389 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7046.389
AT ITER 3128 NEW BEST:: SOT 15388 SOS 8381 HAS SOPS 8381 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7038.381
AT ITER 3135 NEW BEST:: SOT 15386 SOS 8379 HAS SOPS 8379 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7027.379
AT ITER 3137 NEW BEST:: SOT 15341 SOS 8359 HAS SOPS 8359 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7007.359
AT ITER 3147 NEW BEST:: SOT 15340 SOS 8348 HAS SOPS 8348 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6998.348
AT ITER 3177 NEW BEST:: SOT 15340 SOS 8346 HAS SOPS 8346 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6998.346
AT ITER 3184 NEW BEST:: SOT 15340 SOS 8359 HAS SOPS 8359 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6994.359
AT ITER 3186 NEW BEST:: SOT 15344 SOS 8356 HAS SOPS 8356 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6991.356
AT ITER 3206 NEW BEST:: SOT 15338 SOS 8359 HAS SOPS 8359 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6985.359
AT ITER 3240 NEW BEST:: SOT 15346 SOS 8337 HAS SOPS 8337 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6972.337
AT ITER 3283 NEW BEST:: SOT 15345 SOS 8336 HAS SOPS 8336 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6971.336
AT ITER 3309 NEW BEST:: SOT 15338 SOS 8322 HAS SOPS 8322 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6964.322
AT ITER 3316 NEW BEST:: SOT 15373 SOS 8337 HAS SOPS 8337 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.337
AT ITER 3343 NEW BEST:: SOT 15373 SOS 8337 HAS SOPS 8337 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.337
AT ITER 3364 NEW BEST:: SOT 15373 SOS 8323 HAS SOPS 8323 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.323
AT ITER 3392 NEW BEST:: SOT 15368 SOS 8318 HAS SOPS 8318 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.318
AT ITER 3416 NEW BEST:: SOT 15374 SOS 8293 HAS SOPS 8293 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6928.293
AT ITER 3431 NEW BEST:: SOT 15370 SOS 8289 HAS SOPS 8289 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6924.289
AT ITER 3440 NEW BEST:: SOT 15370 SOS 8288 HAS SOPS 8288 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6923.288
AT ITER 3456 NEW BEST:: SOT 15367 SOS 8283 HAS SOPS 8283 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6918.283
AT ITER 3477 NEW BEST:: SOT 15367 SOS 8281 HAS SOPS 8281 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.281
AT ITER 3490 NEW BEST:: SOT 15367 SOS 8266 HAS SOPS 8266 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6893.266
AT ITER 3544 NEW BEST:: SOT 15355 SOS 8258 HAS SOPS 8258 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6885.258
AT ITER 3551 NEW BEST:: SOT 15349 SOS 8252 HAS SOPS 8252 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6884.252
AT ITER 3557 NEW BEST:: SOT 15340 SOS 8243 HAS SOPS 8243 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6875.243
AT ITER 3562 NEW BEST:: SOT 15337 SOS 8237 HAS SOPS 8237 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.237
AT ITER 3580 NEW BEST:: SOT 15335 SOS 8241 HAS SOPS 8241 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.241
AT ITER 3600 NEW BEST:: SOT 15336 SOS 8240 HAS SOPS 8240 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6863.24
AT ITER 3640 NEW BEST:: SOT 15330 SOS 8234 HAS SOPS 8234 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.234
AT ITER 3646 NEW BEST:: SOT 15317 SOS 8221 HAS SOPS 8221 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6844.221
AT ITER 3700 NEW BEST:: SOT 15317 SOS 8212 HAS SOPS 8212 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6828.212
AT ITER 3730 NEW BEST:: SOT 15317 SOS 8208 HAS SOPS 8208 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6822.208
AT ITER 3743 NEW BEST:: SOT 15317 SOS 8208 HAS SOPS 8208 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6820.208
AT ITER 3810 NEW BEST:: SOT 15308 SOS 8217 HAS SOPS 8217 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6811.217
AT ITER 3895 NEW BEST:: SOT 15306 SOS 8215 HAS SOPS 8215 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6809.215
AT ITER 3928 NEW BEST:: SOT 15304 SOS 8213 HAS SOPS 8213 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6807.213
AT ITER 3954 NEW BEST:: SOT 15304 SOS 8217 HAS SOPS 8217 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6800.217
AT ITER 3955 NEW BEST:: SOT 15277 SOS 8204 HAS SOPS 8204 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6792.204
AT ITER 3960 NEW BEST:: SOT 15273 SOS 8209 HAS SOPS 8209 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6788.209
AT ITER 3969 NEW BEST:: SOT 15284 SOS 8220 HAS SOPS 8220 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.22
AT ITER 3977 NEW BEST:: SOT 15283 SOS 8219 HAS SOPS 8219 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6758.219
AT ITER 4016 NEW BEST:: SOT 15277 SOS 8231 HAS SOPS 8231 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6753.231
AT ITER 4030 NEW BEST:: SOT 15272 SOS 8234 HAS SOPS 8234 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6748.234
AT ITER 4034 NEW BEST:: SOT 15271 SOS 8233 HAS SOPS 8233 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6745.233
AT ITER 4058 NEW BEST:: SOT 15268 SOS 8230 HAS SOPS 8230 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6741.23
AT ITER 4068 NEW BEST:: SOT 15268 SOS 8221 HAS SOPS 8221 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6741.221
AT ITER 4081 NEW BEST:: SOT 15268 SOS 8214 HAS SOPS 8214 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6741.214
AT ITER 4123 NEW BEST:: SOT 15262 SOS 8208 HAS SOPS 8208 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6735.208
AT ITER 4125 NEW BEST:: SOT 15262 SOS 8221 HAS SOPS 8221 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6732.221
AT ITER 4137 NEW BEST:: SOT 15262 SOS 8198 HAS SOPS 8198 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.198
AT ITER 4147 NEW BEST:: SOT 15258 SOS 8194 HAS SOPS 8194 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6726.194
AT ITER 4198 NEW BEST:: SOT 15258 SOS 8190 HAS SOPS 8190 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6726.19
AT ITER 4235 NEW BEST:: SOT 15277 SOS 8199 HAS SOPS 8199 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6725.199
AT ITER 4246 NEW BEST:: SOT 15268 SOS 8190 HAS SOPS 8190 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6716.19
AT ITER 4252 NEW BEST:: SOT 15265 SOS 8187 HAS SOPS 8187 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6713.187
AT ITER 4386 NEW BEST:: SOT 15261 SOS 8184 HAS SOPS 8184 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.184
AT ITER 4402 NEW BEST:: SOT 15261 SOS 8168 HAS SOPS 8168 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.168
AT ITER 4403 NEW BEST:: SOT 15261 SOS 8152 HAS SOPS 8152 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.152
AT ITER 4408 NEW BEST:: SOT 15273 SOS 8177 HAS SOPS 8177 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.177
AT ITER 4482 NEW BEST:: SOT 15280 SOS 8180 HAS SOPS 8180 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.18
AT ITER 4501 NEW BEST:: SOT 15280 SOS 8177 HAS SOPS 8177 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.177
AT ITER 4537 NEW BEST:: SOT 15276 SOS 8173 HAS SOPS 8173 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.173
AT ITER 4546 NEW BEST:: SOT 15276 SOS 8170 HAS SOPS 8170 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.17
AT ITER 4627 NEW BEST:: SOT 15268 SOS 8169 HAS SOPS 8169 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6697.169
AT ITER 4644 NEW BEST:: SOT 15300 SOS 8189 HAS SOPS 8189 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.189
AT ITER 4684 NEW BEST:: SOT 15285 SOS 8210 HAS SOPS 8210 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6689.21
AT ITER 4761 NEW BEST:: SOT 15285 SOS 8196 HAS SOPS 8196 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6689.196
AT ITER 4775 NEW BEST:: SOT 15295 SOS 8197 HAS SOPS 8197 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.197
AT ITER 4788 NEW BEST:: SOT 15293 SOS 8195 HAS SOPS 8195 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6679.195
AT ITER 4799 NEW BEST:: SOT 15293 SOS 8196 HAS SOPS 8196 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6666.196
AT ITER 4811 NEW BEST:: SOT 15292 SOS 8195 HAS SOPS 8195 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6665.195
AT ITER 4847 NEW BEST:: SOT 15291 SOS 8203 HAS SOPS 8203 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6664.203
AT ITER 4994 NEW BEST:: SOT 15290 SOS 8202 HAS SOPS 8202 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6663.202
AT ITER 4998 NEW BEST:: SOT 15289 SOS 8189 HAS SOPS 8189 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.189
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN05-CTLFireability-00 ( ( (! (! ( ((potential((tk(P185)>=1) & (tk(P15)>=1) & (tk(P162)>=1)))) & ( ((potential((tk(P197)>=1) & (tk(P12)>=1) & (tk(P165)>=1)))) & ((potential((tk(P188)>=1) & (tk(P3)>=1) & (tk(P153)>=1)))) ) ))) | (AF( ( ( ((potential((tk(P177)>=1) & (tk(P2)>=1) & (tk(P151)>=1)))) | ((potential((tk(P176)>=1) & (tk(P11)>=1) & (tk(P161)>=1)))) ) & (! ((potential((tk(P192)>=1) & (tk(P7)>=1) & (tk(P159)>=1))))) ))) ) & (AF( (! ( ((potential((tk(P190)>=1) & (tk(P10)>=1) & (tk(P158)>=1)))) | ((potential((tk(P186)>=1) & (tk(P1)>=1) & (tk(P153)>=1)))) )))) )
PROPERTY: Sudoku-PT-AN05-CTLFireability-01 (EU( ((potential((tk(P178)>=1) & (tk(P23)>=1) & (tk(P171)>=1)))) , (AX( ((potential((tk(P193)>=1) & (tk(P3)>=1) & (tk(P154)>=1)))))) ))
PROPERTY: Sudoku-PT-AN05-CTLFireability-02 (AG( (AF( (! ( ((potential((tk(P185)>=1) & (tk(P25)>=1) & (tk(P172)>=1)))) | ((potential((tk(P196)>=1) & (tk(P6)>=1) & (tk(P160)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN05-CTLFireability-03 (EG( ((potential((tk(P182)>=1) & (tk(P17)>=1) & (tk(P167)>=1))))))
PROPERTY: Sudoku-PT-AN05-CTLFireability-04 (EF( (! (EF( ( ((potential((tk(P176)>=1) & (tk(P16)>=1) & (tk(P166)>=1)))) | ((potential((tk(P183)>=1) & (tk(P23)>=1) & (tk(P172)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN05-CTLFireability-05 ( ( ( ( ( ( ((potential((tk(P199)>=1) & (tk(P19)>=1) & (tk(P170)>=1)))) | ((potential((tk(P189)>=1) & (tk(P19)>=1) & (tk(P168)>=1)))) ) | ( ((potential((tk(P196)>=1) & (tk(P6)>=1) & (tk(P160)>=1)))) & ((potential((tk(P196)>=1) & (tk(P6)>=1) & (tk(P160)>=1)))) ) ) | (EF( ((potential((tk(P190)>=1) & (tk(P25)>=1) & (tk(P173)>=1)))))) ) & ( (AF( ((potential((tk(P195)>=1) & (tk(P5)>=1) & (tk(P154)>=1)))))) | ( (! ((potential((tk(P177)>=1) & (tk(P7)>=1) & (tk(P156)>=1))))) | ( ((potential((tk(P198)>=1) & (tk(P8)>=1) & (tk(P160)>=1)))) | ((potential((tk(P192)>=1) & (tk(P17)>=1) & (tk(P169)>=1)))) ) ) ) ) & (! (EG( ( ((potential((tk(P176)>=1) & (tk(P11)>=1) & (tk(P161)>=1)))) & ((potential((tk(P178)>=1) & (tk(P8)>=1) & (tk(P156)>=1)))) )))) ) | (! (EF( (AG( ((potential((tk(P195)>=1) & (tk(P10)>=1) & (tk(P159)>=1))))))))) )
PROPERTY: Sudoku-PT-AN05-CTLFireability-06 (EF( (EF( (AG( ((potential((tk(P182)>=1) & (tk(P22)>=1) & (tk(P172)>=1))))))))))
PROPERTY: Sudoku-PT-AN05-CTLFireability-07 (EG( ( (! (! ( ((potential((tk(P193)>=1) & (tk(P23)>=1) & (tk(P174)>=1)))) | ((potential((tk(P199)>=1) & (tk(P19)>=1) & (tk(P170)>=1)))) ))) | (EG( ( ((potential((tk(P197)>=1) & (tk(P2)>=1) & (tk(P155)>=1)))) | ((potential((tk(P180)>=1) & (tk(P10)>=1) & (tk(P156)>=1)))) ))) )))
PROPERTY: Sudoku-PT-AN05-CTLFireability-08 (! ( (AG( (AF( ((potential((tk(P195)>=1) & (tk(P5)>=1) & (tk(P154)>=1)))))))) | ( (EX( ( ((potential((tk(P200)>=1) & (tk(P10)>=1) & (tk(P160)>=1)))) | ((potential((tk(P200)>=1) & (tk(P20)>=1) & (tk(P170)>=1)))) ))) & ( ( ((potential((tk(P187)>=1) & (tk(P2)>=1) & (tk(P153)>=1)))) | ( ((potential((tk(P191)>=1) & (tk(P21)>=1) & (tk(P174)>=1)))) & ((potential((tk(P200)>=1) & (tk(P15)>=1) & (tk(P165)>=1)))) ) ) & (! ( ((potential((tk(P188)>=1) & (tk(P13)>=1) & (tk(P163)>=1)))) & ((potential((tk(P181)>=1) & (tk(P11)>=1) & (tk(P162)>=1)))) )) ) ) ))
PROPERTY: Sudoku-PT-AN05-CTLFireability-09 (! (AG( ( ((potential((tk(P179)>=1) & (tk(P19)>=1) & (tk(P166)>=1)))) | (EF( ((potential((tk(P188)>=1) & (tk(P23)>=1) & (tk(P173)>=1)))))) ))))
PROPERTY: Sudoku-PT-AN05-CTLFireability-10 ( (AX( (EX( (! ((potential((tk(P186)>=1) & (tk(P16)>=1) & (tk(P168)>=1))))))))) | (! ( ((potential((tk(P195)>=1) & (tk(P15)>=1) & (tk(P164)>=1)))) & (EX( (! ((potential((tk(P176)>=1) & (tk(P1)>=1) & (tk(P151)>=1))))))) )) )
PROPERTY: Sudoku-PT-AN05-CTLFireability-11 ( ((potential((tk(P190)>=1) & (tk(P15)>=1) & (tk(P163)>=1)))) & ( (EF( ( ( ((potential((tk(P196)>=1) & (tk(P21)>=1) & (tk(P175)>=1)))) & ((potential((tk(P177)>=1) & (tk(P12)>=1) & (tk(P161)>=1)))) ) & (! ((potential((tk(P179)>=1) & (tk(P9)>=1) & (tk(P156)>=1))))) ))) & (AG( (AF( ((potential((tk(P192)>=1) & (tk(P7)>=1) & (tk(P159)>=1)))))))) ) )
PROPERTY: Sudoku-PT-AN05-CTLFireability-12 (EF( ( ((potential((tk(P194)>=1) & (tk(P19)>=1) & (tk(P169)>=1)))) & ( ( ( ((potential((tk(P188)>=1) & (tk(P8)>=1) & (tk(P158)>=1)))) | ((potential((tk(P179)>=1) & (tk(P9)>=1) & (tk(P156)>=1)))) ) & (! ((potential((tk(P177)>=1) & (tk(P7)>=1) & (tk(P156)>=1))))) ) & (AG( ((potential((tk(P198)>=1) & (tk(P23)>=1) & (tk(P175)>=1)))))) ) )))
PROPERTY: Sudoku-PT-AN05-CTLFireability-13 (AF( (! ((potential((tk(P178)>=1) & (tk(P3)>=1) & (tk(P151)>=1)))))))
PROPERTY: Sudoku-PT-AN05-CTLFireability-14 (AG( ( ( (EG( ((potential((tk(P191)>=1) & (tk(P1)>=1) & (tk(P154)>=1)))))) | ((potential((tk(P200)>=1) & (tk(P20)>=1) & (tk(P170)>=1)))) ) | ((potential((tk(P189)>=1) & (tk(P14)>=1) & (tk(P163)>=1)))) )))
PROPERTY: Sudoku-PT-AN05-CTLFireability-15 (EG( ( ((potential((tk(P178)>=1) & (tk(P13)>=1) & (tk(P161)>=1)))) & ( ( ((potential((tk(P199)>=1) & (tk(P9)>=1) & (tk(P160)>=1)))) | ((potential((tk(P178)>=1) & (tk(P13)>=1) & (tk(P161)>=1)))) ) | (AG( ((potential((tk(P180)>=1) & (tk(P5)>=1) & (tk(P151)>=1)))))) ) )))

BK_STOP 1591339654130

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 393 Aborted ${SMART} ${INPUT_SM}

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="Sudoku-PT-AN05"
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 Sudoku-PT-AN05, 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 r224-oct2-159033538700348"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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