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.r207-tajo-159033470300995.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 ShieldRVt-PT-005B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470300995
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.7K May 14 02:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 02:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 20:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 60K 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 ShieldRVt-PT-005B-CTLCardinality-00
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-01
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-02
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-03
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-04
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-05
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-06
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-07
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-08
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-09
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-10
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-11
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-12
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-13
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-14
FORMULA_NAME ShieldRVt-PT-005B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590454066079

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 005B
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: 253 places, 253 transitions, 596 arcs.
AT ITER 0 NEW BEST:: SOT 34859 SOS 9888 HAS SOPS 9888 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.888
AT ITER 6 NEW BEST:: SOT 34859 SOS 9798 HAS SOPS 9798 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.798
AT ITER 19 NEW BEST:: SOT 34856 SOS 9798 HAS SOPS 9798 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8806.798
AT ITER 38 NEW BEST:: SOT 34870 SOS 9823 HAS SOPS 9823 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8800.823
AT ITER 45 NEW BEST:: SOT 34838 SOS 9677 HAS SOPS 9677 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8718.677
AT ITER 48 NEW BEST:: SOT 34827 SOS 9644 HAS SOPS 9644 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8696.644
AT ITER 55 NEW BEST:: SOT 34817 SOS 9614 HAS SOPS 9614 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.614
AT ITER 57 NEW BEST:: SOT 34811 SOS 9602 HAS SOPS 9602 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.602
AT ITER 69 NEW BEST:: SOT 34812 SOS 9578 HAS SOPS 9578 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.578
AT ITER 74 NEW BEST:: SOT 34812 SOS 9575 HAS SOPS 9575 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8611.575
AT ITER 89 NEW BEST:: SOT 34797 SOS 9545 HAS SOPS 9545 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8581.545
AT ITER 96 NEW BEST:: SOT 34821 SOS 9495 HAS SOPS 9495 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.495
AT ITER 98 NEW BEST:: SOT 34833 SOS 9506 HAS SOPS 9506 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8498.506
AT ITER 107 NEW BEST:: SOT 34800 SOS 9440 HAS SOPS 9440 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8465.44
AT ITER 123 NEW BEST:: SOT 34792 SOS 9413 HAS SOPS 9413 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8446.413
AT ITER 125 NEW BEST:: SOT 34768 SOS 9336 HAS SOPS 9336 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.336
AT ITER 130 NEW BEST:: SOT 34768 SOS 9334 HAS SOPS 9334 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8439.334
AT ITER 140 NEW BEST:: SOT 34754 SOS 9306 HAS SOPS 9306 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8439.306
AT ITER 155 NEW BEST:: SOT 34770 SOS 9264 HAS SOPS 9264 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8363.264
AT ITER 164 NEW BEST:: SOT 34745 SOS 9217 HAS SOPS 9217 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.217
AT ITER 178 NEW BEST:: SOT 34726 SOS 9179 HAS SOPS 9179 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8300.179
AT ITER 182 NEW BEST:: SOT 34730 SOS 9187 HAS SOPS 9187 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8280.187
AT ITER 190 NEW BEST:: SOT 34726 SOS 9179 HAS SOPS 9179 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8276.179
AT ITER 195 NEW BEST:: SOT 34730 SOS 9137 HAS SOPS 9137 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8203.137
AT ITER 206 NEW BEST:: SOT 34741 SOS 9099 HAS SOPS 9099 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8162.099
AT ITER 226 NEW BEST:: SOT 34741 SOS 9094 HAS SOPS 9094 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8157.094
AT ITER 231 NEW BEST:: SOT 34719 SOS 9013 HAS SOPS 9013 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.013
AT ITER 235 NEW BEST:: SOT 34719 SOS 9012 HAS SOPS 9012 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8134.012
AT ITER 240 NEW BEST:: SOT 34718 SOS 8998 HAS SOPS 8998 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8131.998
AT ITER 252 NEW BEST:: SOT 34710 SOS 8990 HAS SOPS 8990 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8123.99
AT ITER 257 NEW BEST:: SOT 34700 SOS 8980 HAS SOPS 8980 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8113.98
AT ITER 292 NEW BEST:: SOT 34684 SOS 8948 HAS SOPS 8948 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8108.948
AT ITER 310 NEW BEST:: SOT 34683 SOS 8924 HAS SOPS 8924 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8095.924
AT ITER 320 NEW BEST:: SOT 34629 SOS 8860 HAS SOPS 8860 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8018.86
AT ITER 321 NEW BEST:: SOT 34618 SOS 8838 HAS SOPS 8838 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7984.838
AT ITER 328 NEW BEST:: SOT 34618 SOS 8837 HAS SOPS 8837 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7983.837
AT ITER 331 NEW BEST:: SOT 34615 SOS 8834 HAS SOPS 8834 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7977.834
AT ITER 341 NEW BEST:: SOT 34615 SOS 8833 HAS SOPS 8833 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7976.833
AT ITER 356 NEW BEST:: SOT 34606 SOS 8799 HAS SOPS 8799 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7962.799
AT ITER 357 NEW BEST:: SOT 34606 SOS 8797 HAS SOPS 8797 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7960.797
AT ITER 370 NEW BEST:: SOT 34585 SOS 8722 HAS SOPS 8722 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7919.722
AT ITER 384 NEW BEST:: SOT 34585 SOS 8717 HAS SOPS 8717 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7914.717
AT ITER 410 NEW BEST:: SOT 34582 SOS 8704 HAS SOPS 8704 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7904.704
AT ITER 450 NEW BEST:: SOT 34564 SOS 8649 HAS SOPS 8649 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7859.649
AT ITER 451 NEW BEST:: SOT 34557 SOS 8635 HAS SOPS 8635 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.635
AT ITER 457 NEW BEST:: SOT 34535 SOS 8677 HAS SOPS 8677 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7844.677
AT ITER 488 NEW BEST:: SOT 34535 SOS 8663 HAS SOPS 8663 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7830.663
AT ITER 497 NEW BEST:: SOT 34530 SOS 8667 HAS SOPS 8667 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7825.667
AT ITER 503 NEW BEST:: SOT 34520 SOS 8662 HAS SOPS 8662 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7820.662
AT ITER 506 NEW BEST:: SOT 34501 SOS 8605 HAS SOPS 8605 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7782.605
AT ITER 523 NEW BEST:: SOT 34481 SOS 8595 HAS SOPS 8595 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7772.595
AT ITER 565 NEW BEST:: SOT 34475 SOS 8593 HAS SOPS 8593 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7726.593
AT ITER 574 NEW BEST:: SOT 34475 SOS 8589 HAS SOPS 8589 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7726.589
AT ITER 586 NEW BEST:: SOT 34473 SOS 8583 HAS SOPS 8583 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.583
AT ITER 591 NEW BEST:: SOT 34473 SOS 8554 HAS SOPS 8554 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7695.554
AT ITER 601 NEW BEST:: SOT 34473 SOS 8540 HAS SOPS 8540 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.54
AT ITER 617 NEW BEST:: SOT 34469 SOS 8543 HAS SOPS 8543 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7677.543
AT ITER 623 NEW BEST:: SOT 34453 SOS 8511 HAS SOPS 8511 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7655.511
AT ITER 639 NEW BEST:: SOT 34414 SOS 8433 HAS SOPS 8433 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7577.433
AT ITER 648 NEW BEST:: SOT 34414 SOS 8405 HAS SOPS 8405 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7550.405
AT ITER 678 NEW BEST:: SOT 34413 SOS 8404 HAS SOPS 8404 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7549.404
AT ITER 679 NEW BEST:: SOT 34382 SOS 8398 HAS SOPS 8398 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7543.398
AT ITER 691 NEW BEST:: SOT 34409 SOS 8384 HAS SOPS 8384 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7536.384
AT ITER 707 NEW BEST:: SOT 34409 SOS 8374 HAS SOPS 8374 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.374
AT ITER 732 NEW BEST:: SOT 34399 SOS 8369 HAS SOPS 8369 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7521.369
AT ITER 787 NEW BEST:: SOT 34398 SOS 8367 HAS SOPS 8367 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.367
AT ITER 788 NEW BEST:: SOT 34386 SOS 8343 HAS SOPS 8343 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.343
AT ITER 802 NEW BEST:: SOT 34386 SOS 8309 HAS SOPS 8309 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.309
AT ITER 808 NEW BEST:: SOT 34402 SOS 8313 HAS SOPS 8313 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.313
AT ITER 815 NEW BEST:: SOT 34402 SOS 8297 HAS SOPS 8297 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7432.297
AT ITER 824 NEW BEST:: SOT 34425 SOS 8343 HAS SOPS 8343 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.343
AT ITER 884 NEW BEST:: SOT 34425 SOS 8342 HAS SOPS 8342 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.342
AT ITER 895 NEW BEST:: SOT 34437 SOS 8322 HAS SOPS 8322 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7424.322
AT ITER 909 NEW BEST:: SOT 34437 SOS 8315 HAS SOPS 8315 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7417.315
AT ITER 920 NEW BEST:: SOT 34437 SOS 8314 HAS SOPS 8314 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.314
AT ITER 924 NEW BEST:: SOT 34427 SOS 8294 HAS SOPS 8294 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7360.294
AT ITER 934 NEW BEST:: SOT 34427 SOS 8293 HAS SOPS 8293 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7359.293
AT ITER 938 NEW BEST:: SOT 34427 SOS 8290 HAS SOPS 8290 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.29
AT ITER 948 NEW BEST:: SOT 34427 SOS 8289 HAS SOPS 8289 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7355.289
AT ITER 963 NEW BEST:: SOT 34410 SOS 8277 HAS SOPS 8277 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7338.277
AT ITER 965 NEW BEST:: SOT 34361 SOS 8190 HAS SOPS 8190 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7251.19
AT ITER 977 NEW BEST:: SOT 34340 SOS 8106 HAS SOPS 8106 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7230.106
AT ITER 1017 NEW BEST:: SOT 34328 SOS 8106 HAS SOPS 8106 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7223.106
AT ITER 1023 NEW BEST:: SOT 34328 SOS 8102 HAS SOPS 8102 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7219.102
AT ITER 1031 NEW BEST:: SOT 34327 SOS 8101 HAS SOPS 8101 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7218.101
AT ITER 1051 NEW BEST:: SOT 34324 SOS 8104 HAS SOPS 8104 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.104
AT ITER 1056 NEW BEST:: SOT 34324 SOS 8103 HAS SOPS 8103 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7214.103
AT ITER 1057 NEW BEST:: SOT 34313 SOS 8081 HAS SOPS 8081 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7184.081
AT ITER 1064 NEW BEST:: SOT 34311 SOS 8077 HAS SOPS 8077 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7180.077
AT ITER 1070 NEW BEST:: SOT 34334 SOS 8123 HAS SOPS 8123 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7156.123
AT ITER 1095 NEW BEST:: SOT 34334 SOS 8087 HAS SOPS 8087 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7147.087
AT ITER 1112 NEW BEST:: SOT 34347 SOS 8083 HAS SOPS 8083 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7145.083
AT ITER 1115 NEW BEST:: SOT 34337 SOS 8073 HAS SOPS 8073 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7135.073
AT ITER 1143 NEW BEST:: SOT 34325 SOS 8130 HAS SOPS 8130 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7132.13
AT ITER 1158 NEW BEST:: SOT 34329 SOS 8126 HAS SOPS 8126 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7126.126
AT ITER 1175 NEW BEST:: SOT 34324 SOS 8116 HAS SOPS 8116 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7116.116
AT ITER 1180 NEW BEST:: SOT 34337 SOS 8171 HAS SOPS 8171 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7109.171
AT ITER 1189 NEW BEST:: SOT 34381 SOS 8191 HAS SOPS 8191 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.191
AT ITER 1194 NEW BEST:: SOT 34390 SOS 8203 HAS SOPS 8203 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7091.203
AT ITER 1203 NEW BEST:: SOT 34389 SOS 8175 HAS SOPS 8175 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.175
AT ITER 1209 NEW BEST:: SOT 34388 SOS 8171 HAS SOPS 8171 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7087.171
AT ITER 1212 NEW BEST:: SOT 34387 SOS 8123 HAS SOPS 8123 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7036.123
AT ITER 1213 NEW BEST:: SOT 34386 SOS 8105 HAS SOPS 8105 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7031.105
AT ITER 1234 NEW BEST:: SOT 34371 SOS 8092 HAS SOPS 8092 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7018.092
AT ITER 1235 NEW BEST:: SOT 34371 SOS 8088 HAS SOPS 8088 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7014.088
AT ITER 1254 NEW BEST:: SOT 34384 SOS 8104 HAS SOPS 8104 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7006.104
AT ITER 1256 NEW BEST:: SOT 34383 SOS 8103 HAS SOPS 8103 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7006.103
AT ITER 1269 NEW BEST:: SOT 34379 SOS 8095 HAS SOPS 8095 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6998.095
AT ITER 1307 NEW BEST:: SOT 34375 SOS 8079 HAS SOPS 8079 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.079
AT ITER 1312 NEW BEST:: SOT 34373 SOS 8085 HAS SOPS 8085 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.085
AT ITER 1317 NEW BEST:: SOT 34343 SOS 7978 HAS SOPS 7978 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6910.978
AT ITER 1318 NEW BEST:: SOT 34324 SOS 7902 HAS SOPS 7902 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6853.902
AT ITER 1321 NEW BEST:: SOT 34336 SOS 7908 HAS SOPS 7908 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6841.908
AT ITER 1323 NEW BEST:: SOT 34310 SOS 7843 HAS SOPS 7843 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6815.843
AT ITER 1331 NEW BEST:: SOT 34306 SOS 7831 HAS SOPS 7831 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6807.831
AT ITER 1341 NEW BEST:: SOT 34289 SOS 7824 HAS SOPS 7824 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6790.824
AT ITER 1358 NEW BEST:: SOT 34286 SOS 7821 HAS SOPS 7821 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6787.821
AT ITER 1390 NEW BEST:: SOT 34295 SOS 7792 HAS SOPS 7792 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.792
AT ITER 1401 NEW BEST:: SOT 34294 SOS 7790 HAS SOPS 7790 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6776.79
AT ITER 1422 NEW BEST:: SOT 34290 SOS 7782 HAS SOPS 7782 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6768.782
AT ITER 1424 NEW BEST:: SOT 34279 SOS 7777 HAS SOPS 7777 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6760.777
AT ITER 1430 NEW BEST:: SOT 34279 SOS 7776 HAS SOPS 7776 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6759.776
AT ITER 1466 NEW BEST:: SOT 34272 SOS 7762 HAS SOPS 7762 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6752.762
AT ITER 1470 NEW BEST:: SOT 34258 SOS 7734 HAS SOPS 7734 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6724.734
AT ITER 1509 NEW BEST:: SOT 34240 SOS 7622 HAS SOPS 7622 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.622
AT ITER 1529 NEW BEST:: SOT 34254 SOS 7623 HAS SOPS 7623 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6646.623
AT ITER 1584 NEW BEST:: SOT 34248 SOS 7617 HAS SOPS 7617 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6640.617
AT ITER 1594 NEW BEST:: SOT 34242 SOS 7599 HAS SOPS 7599 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6634.599
AT ITER 1601 NEW BEST:: SOT 34236 SOS 7575 HAS SOPS 7575 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6622.575
AT ITER 1602 NEW BEST:: SOT 34238 SOS 7560 HAS SOPS 7560 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.56
AT ITER 1608 NEW BEST:: SOT 34249 SOS 7716 HAS SOPS 7716 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6600.716
AT ITER 1631 NEW BEST:: SOT 34249 SOS 7716 HAS SOPS 7716 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.716
AT ITER 1634 NEW BEST:: SOT 34255 SOS 7705 HAS SOPS 7705 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6594.705
AT ITER 1707 NEW BEST:: SOT 34239 SOS 7689 HAS SOPS 7689 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6578.689
AT ITER 1727 NEW BEST:: SOT 34239 SOS 7688 HAS SOPS 7688 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6577.688
AT ITER 1834 NEW BEST:: SOT 34236 SOS 7685 HAS SOPS 7685 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6574.685
AT ITER 1839 NEW BEST:: SOT 34236 SOS 7685 HAS SOPS 7685 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6552.685
AT ITER 1868 NEW BEST:: SOT 34198 SOS 7550 HAS SOPS 7550 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6471.55
AT ITER 1879 NEW BEST:: SOT 34198 SOS 7543 HAS SOPS 7543 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.543
AT ITER 1897 NEW BEST:: SOT 34196 SOS 7537 HAS SOPS 7537 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.537
AT ITER 1914 NEW BEST:: SOT 34193 SOS 7393 HAS SOPS 7393 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6450.393
AT ITER 1921 NEW BEST:: SOT 34193 SOS 7391 HAS SOPS 7391 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6448.391
AT ITER 1964 NEW BEST:: SOT 34193 SOS 7383 HAS SOPS 7383 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.383
AT ITER 1973 NEW BEST:: SOT 34193 SOS 7365 HAS SOPS 7365 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6435.365
AT ITER 2016 NEW BEST:: SOT 34193 SOS 7362 HAS SOPS 7362 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6431.362
AT ITER 2020 NEW BEST:: SOT 34193 SOS 7359 HAS SOPS 7359 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6428.359
AT ITER 2036 NEW BEST:: SOT 34191 SOS 7357 HAS SOPS 7357 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6426.357
AT ITER 2086 NEW BEST:: SOT 34200 SOS 7317 HAS SOPS 7317 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6423.317
AT ITER 2093 NEW BEST:: SOT 34200 SOS 7317 HAS SOPS 7317 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.317
AT ITER 2109 NEW BEST:: SOT 34200 SOS 7269 HAS SOPS 7269 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.269
AT ITER 2136 NEW BEST:: SOT 34204 SOS 7254 HAS SOPS 7254 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6416.254
AT ITER 2140 NEW BEST:: SOT 34200 SOS 7257 HAS SOPS 7257 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6413.257
AT ITER 2145 NEW BEST:: SOT 34191 SOS 7239 HAS SOPS 7239 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.239
AT ITER 2146 NEW BEST:: SOT 34199 SOS 7197 HAS SOPS 7197 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6351.197
AT ITER 2156 NEW BEST:: SOT 34194 SOS 7162 HAS SOPS 7162 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6335.162
AT ITER 2166 NEW BEST:: SOT 34194 SOS 7153 HAS SOPS 7153 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6326.153
AT ITER 2195 NEW BEST:: SOT 34181 SOS 7127 HAS SOPS 7127 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6313.127
AT ITER 2204 NEW BEST:: SOT 34175 SOS 7103 HAS SOPS 7103 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6295.103
AT ITER 2219 NEW BEST:: SOT 34171 SOS 7095 HAS SOPS 7095 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6287.095
AT ITER 2238 NEW BEST:: SOT 34171 SOS 7095 HAS SOPS 7095 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6281.095
AT ITER 2243 NEW BEST:: SOT 34167 SOS 7087 HAS SOPS 7087 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.087
AT ITER 2278 NEW BEST:: SOT 34167 SOS 7053 HAS SOPS 7053 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6245.053
AT ITER 2284 NEW BEST:: SOT 34161 SOS 7044 HAS SOPS 7044 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6236.044
AT ITER 2405 NEW BEST:: SOT 34161 SOS 7033 HAS SOPS 7033 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6225.033
AT ITER 2411 NEW BEST:: SOT 34158 SOS 7030 HAS SOPS 7030 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6222.03
AT ITER 2420 NEW BEST:: SOT 34174 SOS 7012 HAS SOPS 7012 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6204.012
AT ITER 2458 NEW BEST:: SOT 34173 SOS 7011 HAS SOPS 7011 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6203.011
AT ITER 2469 NEW BEST:: SOT 34171 SOS 7009 HAS SOPS 7009 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6201.009
AT ITER 2513 NEW BEST:: SOT 34171 SOS 7008 HAS SOPS 7008 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6200.008
AT ITER 2554 NEW BEST:: SOT 34169 SOS 7006 HAS SOPS 7006 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6196.006
AT ITER 2555 NEW BEST:: SOT 34169 SOS 6994 HAS SOPS 6994 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6192.994
AT ITER 2560 NEW BEST:: SOT 34158 SOS 6994 HAS SOPS 6994 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6181.994
AT ITER 2577 NEW BEST:: SOT 34158 SOS 6985 HAS SOPS 6985 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6176.985
AT ITER 2589 NEW BEST:: SOT 34155 SOS 7000 HAS SOPS 7000 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6171.0
AT ITER 2592 NEW BEST:: SOT 34143 SOS 6952 HAS SOPS 6952 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6146.952
AT ITER 2603 NEW BEST:: SOT 34146 SOS 6955 HAS SOPS 6955 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6138.955
AT ITER 2673 NEW BEST:: SOT 34143 SOS 6949 HAS SOPS 6949 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6132.949
AT ITER 2683 NEW BEST:: SOT 34136 SOS 6942 HAS SOPS 6942 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.942
AT ITER 2687 NEW BEST:: SOT 34131 SOS 6932 HAS SOPS 6932 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6108.932
AT ITER 2746 NEW BEST:: SOT 34119 SOS 6911 HAS SOPS 6911 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6099.911
AT ITER 2760 NEW BEST:: SOT 34200 SOS 7021 HAS SOPS 7021 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6099.021
AT ITER 2779 NEW BEST:: SOT 34200 SOS 7016 HAS SOPS 7016 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.016
AT ITER 2784 NEW BEST:: SOT 34200 SOS 7021 HAS SOPS 7021 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.021
AT ITER 2820 NEW BEST:: SOT 34189 SOS 6999 HAS SOPS 6999 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6085.999
AT ITER 2823 NEW BEST:: SOT 34203 SOS 6986 HAS SOPS 6986 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6072.986
AT ITER 2895 NEW BEST:: SOT 34203 SOS 7006 HAS SOPS 7006 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6066.006
AT ITER 2919 NEW BEST:: SOT 34201 SOS 7002 HAS SOPS 7002 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6064.002
AT ITER 2935 NEW BEST:: SOT 34199 SOS 6998 HAS SOPS 6998 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6063.998
AT ITER 2956 NEW BEST:: SOT 34216 SOS 6993 HAS SOPS 6993 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6047.993
AT ITER 2962 NEW BEST:: SOT 34216 SOS 6993 HAS SOPS 6993 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6046.993
AT ITER 3019 NEW BEST:: SOT 34196 SOS 6953 HAS SOPS 6953 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6014.953
AT ITER 3032 NEW BEST:: SOT 34196 SOS 6949 HAS SOPS 6949 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6014.949
AT ITER 3039 NEW BEST:: SOT 34196 SOS 6944 HAS SOPS 6944 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6014.944
AT ITER 3045 NEW BEST:: SOT 34198 SOS 6934 HAS SOPS 6934 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6004.934
AT ITER 3058 NEW BEST:: SOT 34195 SOS 6928 HAS SOPS 6928 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5998.928
AT ITER 3063 NEW BEST:: SOT 34196 SOS 6928 HAS SOPS 6928 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5989.928
AT ITER 3180 NEW BEST:: SOT 34195 SOS 6931 HAS SOPS 6931 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.931
AT ITER 3213 NEW BEST:: SOT 34195 SOS 6926 HAS SOPS 6926 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.926
AT ITER 3221 NEW BEST:: SOT 34197 SOS 6916 HAS SOPS 6916 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.916
AT ITER 3225 NEW BEST:: SOT 34185 SOS 6852 HAS SOPS 6852 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.852
AT ITER 3312 NEW BEST:: SOT 34185 SOS 6826 HAS SOPS 6826 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.826
AT ITER 3333 NEW BEST:: SOT 34149 SOS 6754 HAS SOPS 6754 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5904.754
AT ITER 3363 NEW BEST:: SOT 34147 SOS 6749 HAS SOPS 6749 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5900.749
AT ITER 3365 NEW BEST:: SOT 34139 SOS 6686 HAS SOPS 6686 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.686
AT ITER 3373 NEW BEST:: SOT 34139 SOS 6685 HAS SOPS 6685 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5868.685
AT ITER 3399 NEW BEST:: SOT 34128 SOS 6686 HAS SOPS 6686 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5857.686
AT ITER 3403 NEW BEST:: SOT 34128 SOS 6683 HAS SOPS 6683 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5857.683
AT ITER 3409 NEW BEST:: SOT 34126 SOS 6702 HAS SOPS 6702 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5854.702
AT ITER 3421 NEW BEST:: SOT 34053 SOS 6665 HAS SOPS 6665 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5816.665
AT ITER 3434 NEW BEST:: SOT 34053 SOS 6619 HAS SOPS 6619 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.619
AT ITER 3441 NEW BEST:: SOT 34053 SOS 6624 HAS SOPS 6624 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.624
AT ITER 3476 NEW BEST:: SOT 34053 SOS 6618 HAS SOPS 6618 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.618
AT ITER 3540 NEW BEST:: SOT 34051 SOS 6614 HAS SOPS 6614 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.614
AT ITER 3542 NEW BEST:: SOT 34045 SOS 6608 HAS SOPS 6608 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5759.608
AT ITER 3620 NEW BEST:: SOT 34050 SOS 6596 HAS SOPS 6596 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.596
AT ITER 3624 NEW BEST:: SOT 34050 SOS 6602 HAS SOPS 6602 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.602
AT ITER 3649 NEW BEST:: SOT 34050 SOS 6596 HAS SOPS 6596 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.596
AT ITER 3652 NEW BEST:: SOT 34048 SOS 6594 HAS SOPS 6594 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.594
AT ITER 3681 NEW BEST:: SOT 34028 SOS 6554 HAS SOPS 6554 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.554
AT ITER 3813 NEW BEST:: SOT 34022 SOS 6542 HAS SOPS 6542 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5712.542
AT ITER 3820 NEW BEST:: SOT 34004 SOS 6506 HAS SOPS 6506 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.506
AT ITER 3850 NEW BEST:: SOT 34004 SOS 6505 HAS SOPS 6505 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.505
AT ITER 3860 NEW BEST:: SOT 34004 SOS 6486 HAS SOPS 6486 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.486
AT ITER 3884 NEW BEST:: SOT 34000 SOS 6474 HAS SOPS 6474 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.474
AT ITER 3926 NEW BEST:: SOT 34001 SOS 6466 HAS SOPS 6466 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5665.466
AT ITER 3933 NEW BEST:: SOT 33998 SOS 6470 HAS SOPS 6470 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.47
AT ITER 3946 NEW BEST:: SOT 33986 SOS 6405 HAS SOPS 6405 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.405
AT ITER 3952 NEW BEST:: SOT 33972 SOS 6377 HAS SOPS 6377 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.377
AT ITER 3953 NEW BEST:: SOT 33972 SOS 6375 HAS SOPS 6375 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.375
AT ITER 3960 NEW BEST:: SOT 33960 SOS 6375 HAS SOPS 6375 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.375
AT ITER 4040 NEW BEST:: SOT 33958 SOS 6373 HAS SOPS 6373 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5617.373
AT ITER 4135 NEW BEST:: SOT 33952 SOS 6375 HAS SOPS 6375 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5589.375
AT ITER 4142 NEW BEST:: SOT 33952 SOS 6379 HAS SOPS 6379 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.379
AT ITER 4163 NEW BEST:: SOT 33949 SOS 6329 HAS SOPS 6329 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5582.329
AT ITER 4169 NEW BEST:: SOT 33947 SOS 6326 HAS SOPS 6326 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5579.326
AT ITER 4292 NEW BEST:: SOT 33943 SOS 6322 HAS SOPS 6322 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.322
AT ITER 4306 NEW BEST:: SOT 33941 SOS 6318 HAS SOPS 6318 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.318
AT ITER 4391 NEW BEST:: SOT 33946 SOS 6288 HAS SOPS 6288 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.288
AT ITER 4460 NEW BEST:: SOT 33946 SOS 6274 HAS SOPS 6274 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.274
AT ITER 4471 NEW BEST:: SOT 33945 SOS 6272 HAS SOPS 6272 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.272
AT ITER 4477 NEW BEST:: SOT 33945 SOS 6272 HAS SOPS 6272 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5555.272
AT ITER 4554 NEW BEST:: SOT 33933 SOS 6261 HAS SOPS 6261 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.261
AT ITER 4556 NEW BEST:: SOT 33933 SOS 6269 HAS SOPS 6269 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.269
AT ITER 4649 NEW BEST:: SOT 33921 SOS 6239 HAS SOPS 6239 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.239
AT ITER 4690 NEW BEST:: SOT 33908 SOS 6213 HAS SOPS 6213 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.213
AT ITER 4703 NEW BEST:: SOT 33909 SOS 6205 HAS SOPS 6205 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5498.205
AT ITER 4715 NEW BEST:: SOT 33910 SOS 6202 HAS SOPS 6202 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5495.202
AT ITER 4740 NEW BEST:: SOT 33920 SOS 6212 HAS SOPS 6212 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.212
AT ITER 4771 NEW BEST:: SOT 33930 SOS 6189 HAS SOPS 6189 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5492.189
AT ITER 4923 NEW BEST:: SOT 33929 SOS 6187 HAS SOPS 6187 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5490.187
AT ITER 4924 NEW BEST:: SOT 33927 SOS 6183 HAS SOPS 6183 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.183
AT ITER 4958 NEW BEST:: SOT 33927 SOS 6180 HAS SOPS 6180 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.18
AT ITER 4969 NEW BEST:: SOT 33925 SOS 6176 HAS SOPS 6176 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5480.176
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-00 (AG( (AF(( potential( (tk(P192)) <= (tk(P158)) ) & potential( ( 2 ) <= (tk(P100)) ) )))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-01 (EG( (AX( potential( (tk(P150)) <= (tk(P65)) )))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-02 ( (EX( (EG( potential( (tk(P160)) <= (tk(P62)) ))))) & ( (AU( potential( (tk(P24)) <= (tk(P134)) ),potential( (tk(P161)) <= (tk(P166)) ) )) & (EU( potential( ( 3 ) <= (tk(P158)) ),potential( (tk(P62)) <= (tk(P166)) ) )) ) )
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-03 ( (EX( ( potential( (tk(P16)) <= (tk(P16)) ) & ( potential( ( 1 ) <= (tk(P104)) ) | potential( (tk(P170)) <= (tk(P21)) ) ) ))) & ( ( potential( (tk(P136)) <= (tk(P163)) ) & (EX( potential( (tk(P107)) <= (tk(P91)) ))) ) & (EG( ( potential( ( 3 ) <= (tk(P53)) ) | potential( (tk(P127)) <= (tk(P244)) ) ))) ) )
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-04 (AF((! ( ( potential( ( 2 ) <= (tk(P31)) ) & potential( ( 3 ) <= (tk(P250)) ) ) | (! potential( ( 2 ) <= (tk(P39)) )) ))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-05 (! (EF((AX( potential( ( 3 ) <= (tk(P17)) ))))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-06 (! (EG( (AF(potential( ( 1 ) <= (tk(P138)) ))))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-07 (! (AG( (EX( potential( (tk(P25)) <= (tk(P202)) ))))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-08 ( ( (! (EG( potential( ( 2 ) <= (tk(P170)) )))) & ( ( (! potential( (tk(P170)) <= (tk(P145)) )) & ( potential( ( 1 ) <= (tk(P59)) ) | potential( ( 3 ) <= (tk(P230)) ) ) ) | ( potential( (tk(P116)) <= (tk(P127)) ) & (! potential( (tk(P184)) <= (tk(P252)) )) ) ) ) | (AU( (! potential( ( 3 ) <= (tk(P250)) )),(! potential( (tk(P24)) <= (tk(P133)) )) )) )
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-09 (EU( (EF(potential( ( 1 ) <= (tk(P237)) ))),(AF(potential( ( 3 ) <= (tk(P114)) ))) ))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-10 (EG( (EX( (! potential( ( 1 ) <= (tk(P242)) ))))))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-11 (AG( ( (EF(potential( ( 3 ) <= (tk(P217)) ))) & potential( (tk(P210)) <= (tk(P205)) ) )))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-12 (EG( ( ( ( potential( (tk(P86)) <= (tk(P110)) ) | potential( (tk(P199)) <= (tk(P77)) ) ) & potential( ( 2 ) <= (tk(P88)) ) ) | (! ( potential( (tk(P108)) <= (tk(P200)) ) & potential( ( 1 ) <= (tk(P7)) ) )) )))
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-13 ( ( potential( ( 2 ) <= (tk(P229)) ) | ( ( ( potential( (tk(P223)) <= (tk(P16)) ) & potential( ( 2 ) <= (tk(P83)) ) ) | ( potential( ( 3 ) <= (tk(P164)) ) | potential( (tk(P22)) <= (tk(P232)) ) ) ) | (AF(potential( ( 3 ) <= (tk(P151)) ))) ) ) & (AG( ( potential( (tk(P186)) <= (tk(P117)) ) | ( potential( (tk(P35)) <= (tk(P202)) ) & potential( (tk(P26)) <= (tk(P123)) ) ) ))) )
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-14 ( (EX( potential( ( 2 ) <= (tk(P47)) ))) | ( (AF(potential( ( 2 ) <= (tk(P209)) ))) | potential( ( 1 ) <= (tk(P204)) ) ) )
PROPERTY: ShieldRVt-PT-005B-CTLCardinality-15 ( (! (AG( potential( (tk(P197)) <= (tk(P242)) )))) | ( potential( ( 1 ) <= (tk(P134)) ) & potential( (tk(P146)) <= (tk(P133)) ) ) )

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="ShieldRVt-PT-005B"
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 ShieldRVt-PT-005B, 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 r207-tajo-159033470300995"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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