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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:17 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.0K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:16 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 37K 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-05a-CTLCardinality-00
FORMULA_NAME DES-PT-05a-CTLCardinality-01
FORMULA_NAME DES-PT-05a-CTLCardinality-02
FORMULA_NAME DES-PT-05a-CTLCardinality-03
FORMULA_NAME DES-PT-05a-CTLCardinality-04
FORMULA_NAME DES-PT-05a-CTLCardinality-05
FORMULA_NAME DES-PT-05a-CTLCardinality-06
FORMULA_NAME DES-PT-05a-CTLCardinality-07
FORMULA_NAME DES-PT-05a-CTLCardinality-08
FORMULA_NAME DES-PT-05a-CTLCardinality-09
FORMULA_NAME DES-PT-05a-CTLCardinality-10
FORMULA_NAME DES-PT-05a-CTLCardinality-11
FORMULA_NAME DES-PT-05a-CTLCardinality-12
FORMULA_NAME DES-PT-05a-CTLCardinality-13
FORMULA_NAME DES-PT-05a-CTLCardinality-14
FORMULA_NAME DES-PT-05a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589103016335

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05a
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: 135 places, 92 transitions, 457 arcs.
AT ITER 0 NEW BEST:: SOT 9263 SOS 7681 HAS SOPS 7681 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.681
AT ITER 4 NEW BEST:: SOT 9195 SOS 7656 HAS SOPS 7656 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5402.656
AT ITER 6 NEW BEST:: SOT 9189 SOS 7650 HAS SOPS 7650 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5393.65
AT ITER 7 NEW BEST:: SOT 9189 SOS 7637 HAS SOPS 7637 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5388.637
AT ITER 10 NEW BEST:: SOT 9172 SOS 7617 HAS SOPS 7617 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5368.617
AT ITER 11 NEW BEST:: SOT 9105 SOS 7550 HAS SOPS 7550 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5301.55
AT ITER 14 NEW BEST:: SOT 9085 SOS 7461 HAS SOPS 7461 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5228.461
AT ITER 15 NEW BEST:: SOT 9083 SOS 7459 HAS SOPS 7459 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5225.459
AT ITER 17 NEW BEST:: SOT 9137 SOS 7439 HAS SOPS 7439 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5165.439
AT ITER 19 NEW BEST:: SOT 9137 SOS 7427 HAS SOPS 7427 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5153.427
AT ITER 23 NEW BEST:: SOT 9116 SOS 7406 HAS SOPS 7406 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5130.406
AT ITER 25 NEW BEST:: SOT 9116 SOS 7406 HAS SOPS 7406 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5122.406
AT ITER 28 NEW BEST:: SOT 9122 SOS 7412 HAS SOPS 7412 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5073.412
AT ITER 29 NEW BEST:: SOT 9104 SOS 7394 HAS SOPS 7394 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5055.394
AT ITER 38 NEW BEST:: SOT 9105 SOS 7387 HAS SOPS 7387 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5048.387
AT ITER 40 NEW BEST:: SOT 9023 SOS 7330 HAS SOPS 7330 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4985.33
AT ITER 50 NEW BEST:: SOT 9011 SOS 7318 HAS SOPS 7318 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4973.318
AT ITER 52 NEW BEST:: SOT 8981 SOS 7284 HAS SOPS 7284 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4957.284
AT ITER 57 NEW BEST:: SOT 8894 SOS 7202 HAS SOPS 7202 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4875.202
AT ITER 58 NEW BEST:: SOT 8894 SOS 7202 HAS SOPS 7202 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4865.202
AT ITER 63 NEW BEST:: SOT 8895 SOS 7196 HAS SOPS 7196 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4859.196
AT ITER 64 NEW BEST:: SOT 8940 SOS 7241 HAS SOPS 7241 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4810.241
AT ITER 68 NEW BEST:: SOT 8895 SOS 7176 HAS SOPS 7176 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4782.176
AT ITER 71 NEW BEST:: SOT 8895 SOS 7176 HAS SOPS 7176 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4776.176
AT ITER 77 NEW BEST:: SOT 8881 SOS 7162 HAS SOPS 7162 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4736.162
AT ITER 83 NEW BEST:: SOT 8797 SOS 7077 HAS SOPS 7077 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4651.077
AT ITER 100 NEW BEST:: SOT 8797 SOS 7051 HAS SOPS 7051 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4625.051
AT ITER 102 NEW BEST:: SOT 8800 SOS 7126 HAS SOPS 7126 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4611.126
AT ITER 104 NEW BEST:: SOT 8800 SOS 7119 HAS SOPS 7119 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4607.119
AT ITER 126 NEW BEST:: SOT 8800 SOS 7078 HAS SOPS 7078 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4605.078
AT ITER 135 NEW BEST:: SOT 8776 SOS 7045 HAS SOPS 7045 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4549.045
AT ITER 137 NEW BEST:: SOT 8776 SOS 7024 HAS SOPS 7024 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4528.024
AT ITER 139 NEW BEST:: SOT 8776 SOS 6994 HAS SOPS 6994 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4517.994
AT ITER 140 NEW BEST:: SOT 8776 SOS 6993 HAS SOPS 6993 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4516.993
AT ITER 144 NEW BEST:: SOT 8768 SOS 6945 HAS SOPS 6945 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4468.945
AT ITER 148 NEW BEST:: SOT 8810 SOS 6998 HAS SOPS 6998 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4440.998
AT ITER 155 NEW BEST:: SOT 8749 SOS 6905 HAS SOPS 6905 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4380.905
AT ITER 160 NEW BEST:: SOT 8752 SOS 6908 HAS SOPS 6908 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4369.908
AT ITER 163 NEW BEST:: SOT 8752 SOS 6884 HAS SOPS 6884 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4369.884
AT ITER 166 NEW BEST:: SOT 8752 SOS 6879 HAS SOPS 6879 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4364.879
AT ITER 170 NEW BEST:: SOT 8752 SOS 6958 HAS SOPS 6958 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4363.958
AT ITER 174 NEW BEST:: SOT 8652 SOS 6768 HAS SOPS 6768 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4281.768
AT ITER 178 NEW BEST:: SOT 8617 SOS 6740 HAS SOPS 6740 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4267.74
AT ITER 179 NEW BEST:: SOT 8359 SOS 6501 HAS SOPS 6501 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4239.501
AT ITER 188 NEW BEST:: SOT 8372 SOS 6467 HAS SOPS 6467 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4205.467
AT ITER 189 NEW BEST:: SOT 8365 SOS 6460 HAS SOPS 6460 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4198.46
AT ITER 196 NEW BEST:: SOT 8387 SOS 6324 HAS SOPS 6324 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4106.324
AT ITER 202 NEW BEST:: SOT 8385 SOS 6314 HAS SOPS 6314 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4104.314
AT ITER 208 NEW BEST:: SOT 8331 SOS 6257 HAS SOPS 6257 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4058.257
AT ITER 211 NEW BEST:: SOT 8331 SOS 6279 HAS SOPS 6279 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4034.279
AT ITER 212 NEW BEST:: SOT 8331 SOS 6278 HAS SOPS 6278 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4033.278
AT ITER 217 NEW BEST:: SOT 8331 SOS 6262 HAS SOPS 6262 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4017.262
AT ITER 219 NEW BEST:: SOT 8327 SOS 6256 HAS SOPS 6256 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4011.256
AT ITER 223 NEW BEST:: SOT 8327 SOS 6198 HAS SOPS 6198 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3953.198
AT ITER 224 NEW BEST:: SOT 8228 SOS 6083 HAS SOPS 6083 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3912.083
AT ITER 238 NEW BEST:: SOT 8228 SOS 6076 HAS SOPS 6076 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3912.076
AT ITER 239 NEW BEST:: SOT 8222 SOS 6070 HAS SOPS 6070 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3906.07
AT ITER 245 NEW BEST:: SOT 8217 SOS 6065 HAS SOPS 6065 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3901.065
AT ITER 248 NEW BEST:: SOT 8199 SOS 6047 HAS SOPS 6047 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3899.047
AT ITER 255 NEW BEST:: SOT 8183 SOS 6023 HAS SOPS 6023 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3875.023
AT ITER 258 NEW BEST:: SOT 8183 SOS 6000 HAS SOPS 6000 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3875.0
AT ITER 269 NEW BEST:: SOT 8176 SOS 5993 HAS SOPS 5993 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3867.993
AT ITER 270 NEW BEST:: SOT 8233 SOS 6013 HAS SOPS 6013 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3857.013
AT ITER 273 NEW BEST:: SOT 8230 SOS 6010 HAS SOPS 6010 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.01
AT ITER 281 NEW BEST:: SOT 8228 SOS 6008 HAS SOPS 6008 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.008
AT ITER 283 NEW BEST:: SOT 8241 SOS 6021 HAS SOPS 6021 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3797.021
AT ITER 284 NEW BEST:: SOT 8181 SOS 5945 HAS SOPS 5945 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3720.945
AT ITER 293 NEW BEST:: SOT 8181 SOS 5920 HAS SOPS 5920 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3695.92
AT ITER 299 NEW BEST:: SOT 8181 SOS 5923 HAS SOPS 5923 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3675.923
AT ITER 300 NEW BEST:: SOT 8099 SOS 5841 HAS SOPS 5841 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3619.841
AT ITER 303 NEW BEST:: SOT 8097 SOS 5838 HAS SOPS 5838 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3616.838
AT ITER 307 NEW BEST:: SOT 8097 SOS 5826 HAS SOPS 5826 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3607.826
AT ITER 311 NEW BEST:: SOT 8097 SOS 5824 HAS SOPS 5824 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3606.824
AT ITER 318 NEW BEST:: SOT 8133 SOS 5860 HAS SOPS 5860 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3569.86
AT ITER 323 NEW BEST:: SOT 8128 SOS 5855 HAS SOPS 5855 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3564.855
AT ITER 325 NEW BEST:: SOT 8128 SOS 5699 HAS SOPS 5699 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3564.699
AT ITER 327 NEW BEST:: SOT 8125 SOS 5696 HAS SOPS 5696 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3561.696
AT ITER 330 NEW BEST:: SOT 8125 SOS 5692 HAS SOPS 5692 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3557.692
AT ITER 350 NEW BEST:: SOT 7995 SOS 5570 HAS SOPS 5570 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3501.57
AT ITER 357 NEW BEST:: SOT 7995 SOS 5569 HAS SOPS 5569 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3501.569
AT ITER 358 NEW BEST:: SOT 7989 SOS 5557 HAS SOPS 5557 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3495.557
AT ITER 365 NEW BEST:: SOT 7988 SOS 5556 HAS SOPS 5556 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3491.556
AT ITER 383 NEW BEST:: SOT 7987 SOS 5572 HAS SOPS 5572 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3477.572
AT ITER 384 NEW BEST:: SOT 7985 SOS 5568 HAS SOPS 5568 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3473.568
AT ITER 394 NEW BEST:: SOT 7984 SOS 5567 HAS SOPS 5567 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3472.567
AT ITER 402 NEW BEST:: SOT 7944 SOS 5632 HAS SOPS 5632 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3460.632
AT ITER 411 NEW BEST:: SOT 7944 SOS 5631 HAS SOPS 5631 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3459.631
AT ITER 419 NEW BEST:: SOT 7933 SOS 5535 HAS SOPS 5535 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3437.535
AT ITER 423 NEW BEST:: SOT 7928 SOS 5500 HAS SOPS 5500 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3433.5
AT ITER 433 NEW BEST:: SOT 7920 SOS 5492 HAS SOPS 5492 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3425.492
AT ITER 438 NEW BEST:: SOT 7913 SOS 5485 HAS SOPS 5485 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3418.485
AT ITER 452 NEW BEST:: SOT 7883 SOS 5454 HAS SOPS 5454 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3407.454
AT ITER 458 NEW BEST:: SOT 7874 SOS 5445 HAS SOPS 5445 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3398.445
AT ITER 469 NEW BEST:: SOT 7882 SOS 5492 HAS SOPS 5492 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3393.492
AT ITER 470 NEW BEST:: SOT 7882 SOS 5469 HAS SOPS 5469 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3370.469
AT ITER 472 NEW BEST:: SOT 7872 SOS 5367 HAS SOPS 5367 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3370.367
AT ITER 477 NEW BEST:: SOT 7843 SOS 5336 HAS SOPS 5336 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3359.336
AT ITER 478 NEW BEST:: SOT 7853 SOS 5304 HAS SOPS 5304 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3343.304
AT ITER 482 NEW BEST:: SOT 7853 SOS 5302 HAS SOPS 5302 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3343.302
AT ITER 501 NEW BEST:: SOT 7850 SOS 5296 HAS SOPS 5296 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3337.296
AT ITER 507 NEW BEST:: SOT 7862 SOS 5209 HAS SOPS 5209 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3334.209
AT ITER 510 NEW BEST:: SOT 7862 SOS 5194 HAS SOPS 5194 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3323.194
AT ITER 515 NEW BEST:: SOT 7862 SOS 5194 HAS SOPS 5194 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3320.194
AT ITER 521 NEW BEST:: SOT 7831 SOS 5185 HAS SOPS 5185 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3311.185
AT ITER 544 NEW BEST:: SOT 7831 SOS 5210 HAS SOPS 5210 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3308.21
AT ITER 550 NEW BEST:: SOT 7828 SOS 5207 HAS SOPS 5207 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3305.207
AT ITER 551 NEW BEST:: SOT 7828 SOS 5199 HAS SOPS 5199 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3297.199
AT ITER 552 NEW BEST:: SOT 7746 SOS 5063 HAS SOPS 5063 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3205.063
AT ITER 556 NEW BEST:: SOT 7746 SOS 5074 HAS SOPS 5074 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3204.074
AT ITER 557 NEW BEST:: SOT 7743 SOS 5065 HAS SOPS 5065 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3195.065
AT ITER 568 NEW BEST:: SOT 7745 SOS 5064 HAS SOPS 5064 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3194.064
AT ITER 586 NEW BEST:: SOT 7738 SOS 5057 HAS SOPS 5057 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3187.057
AT ITER 596 NEW BEST:: SOT 7734 SOS 5053 HAS SOPS 5053 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3183.053
AT ITER 604 NEW BEST:: SOT 7702 SOS 5021 HAS SOPS 5021 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3175.021
AT ITER 612 NEW BEST:: SOT 7702 SOS 5006 HAS SOPS 5006 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3174.006
AT ITER 620 NEW BEST:: SOT 7701 SOS 5005 HAS SOPS 5005 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3173.005
AT ITER 621 NEW BEST:: SOT 7701 SOS 5003 HAS SOPS 5003 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3171.003
AT ITER 625 NEW BEST:: SOT 7718 SOS 4997 HAS SOPS 4997 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3164.997
AT ITER 633 NEW BEST:: SOT 7734 SOS 5017 HAS SOPS 5017 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3149.017
AT ITER 635 NEW BEST:: SOT 7724 SOS 5007 HAS SOPS 5007 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3133.007
AT ITER 654 NEW BEST:: SOT 7657 SOS 4949 HAS SOPS 4949 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3074.949
AT ITER 663 NEW BEST:: SOT 7652 SOS 4944 HAS SOPS 4944 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3069.944
AT ITER 670 NEW BEST:: SOT 7652 SOS 4942 HAS SOPS 4942 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3067.942
AT ITER 673 NEW BEST:: SOT 7649 SOS 4939 HAS SOPS 4939 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3064.939
AT ITER 709 NEW BEST:: SOT 7609 SOS 4898 HAS SOPS 4898 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3023.898
AT ITER 716 NEW BEST:: SOT 7604 SOS 4893 HAS SOPS 4893 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3018.893
AT ITER 717 NEW BEST:: SOT 7582 SOS 4871 HAS SOPS 4871 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.871
AT ITER 743 NEW BEST:: SOT 7576 SOS 4879 HAS SOPS 4879 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2988.879
AT ITER 744 NEW BEST:: SOT 7569 SOS 4831 HAS SOPS 4831 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2940.831
AT ITER 746 NEW BEST:: SOT 7569 SOS 4831 HAS SOPS 4831 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2938.831
AT ITER 758 NEW BEST:: SOT 7569 SOS 4583 HAS SOPS 4583 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2895.583
AT ITER 767 NEW BEST:: SOT 7569 SOS 4582 HAS SOPS 4582 HAS SOUS 2890 HAS SOUPS 2890 WITH SCORE 2894.582
AT ITER 769 NEW BEST:: SOT 7560 SOS 4565 HAS SOPS 4565 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2890.565
AT ITER 770 NEW BEST:: SOT 7560 SOS 4563 HAS SOPS 4563 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2888.563
AT ITER 775 NEW BEST:: SOT 7554 SOS 4557 HAS SOPS 4557 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2882.557
AT ITER 795 NEW BEST:: SOT 7557 SOS 4556 HAS SOPS 4556 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2881.556
AT ITER 842 NEW BEST:: SOT 7539 SOS 4531 HAS SOPS 4531 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2876.531
AT ITER 846 NEW BEST:: SOT 7539 SOS 4529 HAS SOPS 4529 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2874.529
AT ITER 857 NEW BEST:: SOT 7537 SOS 4527 HAS SOPS 4527 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2872.527
AT ITER 859 NEW BEST:: SOT 7532 SOS 4526 HAS SOPS 4526 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2871.526
AT ITER 869 NEW BEST:: SOT 7523 SOS 4515 HAS SOPS 4515 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2860.515
AT ITER 876 NEW BEST:: SOT 7303 SOS 4291 HAS SOPS 4291 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2772.291
AT ITER 881 NEW BEST:: SOT 7282 SOS 4263 HAS SOPS 4263 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2758.263
AT ITER 882 NEW BEST:: SOT 7290 SOS 4313 HAS SOPS 4313 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2745.313
AT ITER 887 NEW BEST:: SOT 7286 SOS 4309 HAS SOPS 4309 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2741.309
AT ITER 893 NEW BEST:: SOT 7286 SOS 4304 HAS SOPS 4304 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2736.304
AT ITER 906 NEW BEST:: SOT 7286 SOS 4300 HAS SOPS 4300 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2730.3
AT ITER 911 NEW BEST:: SOT 7282 SOS 4296 HAS SOPS 4296 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2730.296
AT ITER 936 NEW BEST:: SOT 7274 SOS 4295 HAS SOPS 4295 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2729.295
AT ITER 949 NEW BEST:: SOT 7272 SOS 4293 HAS SOPS 4293 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2723.293
AT ITER 984 NEW BEST:: SOT 7271 SOS 4293 HAS SOPS 4293 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2722.293
AT ITER 995 NEW BEST:: SOT 7271 SOS 4293 HAS SOPS 4293 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2714.293
AT ITER 1010 NEW BEST:: SOT 7271 SOS 4291 HAS SOPS 4291 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2712.291
AT ITER 1015 NEW BEST:: SOT 7269 SOS 4289 HAS SOPS 4289 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2710.289
AT ITER 1023 NEW BEST:: SOT 7224 SOS 4242 HAS SOPS 4242 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2671.242
AT ITER 1030 NEW BEST:: SOT 7223 SOS 4241 HAS SOPS 4241 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2670.241
AT ITER 1038 NEW BEST:: SOT 7212 SOS 4235 HAS SOPS 4235 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2667.235
AT ITER 1041 NEW BEST:: SOT 7209 SOS 4232 HAS SOPS 4232 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2664.232
AT ITER 1045 NEW BEST:: SOT 7160 SOS 4179 HAS SOPS 4179 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2611.179
AT ITER 1053 NEW BEST:: SOT 7159 SOS 4176 HAS SOPS 4176 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2608.176
AT ITER 1060 NEW BEST:: SOT 7159 SOS 4169 HAS SOPS 4169 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2608.169
AT ITER 1073 NEW BEST:: SOT 7257 SOS 4255 HAS SOPS 4255 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2586.255
AT ITER 1075 NEW BEST:: SOT 7256 SOS 4253 HAS SOPS 4253 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2584.253
AT ITER 1076 NEW BEST:: SOT 7250 SOS 4247 HAS SOPS 4247 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2582.247
AT ITER 1094 NEW BEST:: SOT 7255 SOS 4239 HAS SOPS 4239 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2574.239
AT ITER 1096 NEW BEST:: SOT 7254 SOS 4238 HAS SOPS 4238 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2572.238
AT ITER 1112 NEW BEST:: SOT 7247 SOS 4227 HAS SOPS 4227 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2561.227
AT ITER 1129 NEW BEST:: SOT 7245 SOS 4226 HAS SOPS 4226 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2560.226
AT ITER 1132 NEW BEST:: SOT 7242 SOS 4206 HAS SOPS 4206 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2557.206
AT ITER 1145 NEW BEST:: SOT 7242 SOS 4205 HAS SOPS 4205 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2556.205
AT ITER 1148 NEW BEST:: SOT 7239 SOS 4202 HAS SOPS 4202 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2553.202
AT ITER 1152 NEW BEST:: SOT 7242 SOS 4205 HAS SOPS 4205 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2545.205
AT ITER 1161 NEW BEST:: SOT 7171 SOS 4134 HAS SOPS 4134 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2530.134
AT ITER 1164 NEW BEST:: SOT 7165 SOS 4118 HAS SOPS 4118 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2514.118
AT ITER 1175 NEW BEST:: SOT 7161 SOS 4107 HAS SOPS 4107 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2503.107
AT ITER 1209 NEW BEST:: SOT 7163 SOS 4110 HAS SOPS 4110 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2498.11
AT ITER 1235 NEW BEST:: SOT 7159 SOS 4105 HAS SOPS 4105 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2493.105
AT ITER 1237 NEW BEST:: SOT 7159 SOS 4103 HAS SOPS 4103 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2491.103
AT ITER 1243 NEW BEST:: SOT 7159 SOS 4099 HAS SOPS 4099 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2491.099
AT ITER 1297 NEW BEST:: SOT 7157 SOS 4097 HAS SOPS 4097 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2489.097
AT ITER 1303 NEW BEST:: SOT 7157 SOS 4097 HAS SOPS 4097 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2488.097
AT ITER 1305 NEW BEST:: SOT 7159 SOS 4099 HAS SOPS 4099 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2486.099
AT ITER 1309 NEW BEST:: SOT 7148 SOS 4087 HAS SOPS 4087 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2483.087
AT ITER 1336 NEW BEST:: SOT 7090 SOS 4022 HAS SOPS 4022 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2474.022
AT ITER 1337 NEW BEST:: SOT 7084 SOS 4016 HAS SOPS 4016 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2472.016
AT ITER 1345 NEW BEST:: SOT 7074 SOS 3976 HAS SOPS 3976 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2431.976
AT ITER 1357 NEW BEST:: SOT 7061 SOS 3956 HAS SOPS 3956 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2415.956
AT ITER 1369 NEW BEST:: SOT 7035 SOS 3916 HAS SOPS 3916 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.916
AT ITER 1372 NEW BEST:: SOT 7037 SOS 3914 HAS SOPS 3914 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.914
AT ITER 1377 NEW BEST:: SOT 7029 SOS 3906 HAS SOPS 3906 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2389.906
AT ITER 1384 NEW BEST:: SOT 7034 SOS 3917 HAS SOPS 3917 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2386.917
AT ITER 1387 NEW BEST:: SOT 7026 SOS 3909 HAS SOPS 3909 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2384.909
AT ITER 1405 NEW BEST:: SOT 7027 SOS 3906 HAS SOPS 3906 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2381.906
AT ITER 1420 NEW BEST:: SOT 7027 SOS 3883 HAS SOPS 3883 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2357.883
AT ITER 1429 NEW BEST:: SOT 7029 SOS 3882 HAS SOPS 3882 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2356.882
AT ITER 1451 NEW BEST:: SOT 7017 SOS 3870 HAS SOPS 3870 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.87
AT ITER 1452 NEW BEST:: SOT 7012 SOS 3865 HAS SOPS 3865 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.865
AT ITER 1460 NEW BEST:: SOT 7012 SOS 3863 HAS SOPS 3863 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2328.863
AT ITER 1470 NEW BEST:: SOT 6993 SOS 3844 HAS SOPS 3844 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.844
AT ITER 1479 NEW BEST:: SOT 6998 SOS 3846 HAS SOPS 3846 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2287.846
AT ITER 1491 NEW BEST:: SOT 6996 SOS 3844 HAS SOPS 3844 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2285.844
AT ITER 1512 NEW BEST:: SOT 6996 SOS 3841 HAS SOPS 3841 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2282.841
AT ITER 1527 NEW BEST:: SOT 6991 SOS 3831 HAS SOPS 3831 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2272.831
AT ITER 1556 NEW BEST:: SOT 6981 SOS 3821 HAS SOPS 3821 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2252.821
AT ITER 1572 NEW BEST:: SOT 6988 SOS 3820 HAS SOPS 3820 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2251.82
AT ITER 1597 NEW BEST:: SOT 6983 SOS 3809 HAS SOPS 3809 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2248.809
AT ITER 1633 NEW BEST:: SOT 6969 SOS 3795 HAS SOPS 3795 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.795
AT ITER 1656 NEW BEST:: SOT 6969 SOS 3794 HAS SOPS 3794 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2245.794
AT ITER 1671 NEW BEST:: SOT 6968 SOS 3793 HAS SOPS 3793 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2244.793
AT ITER 1787 NEW BEST:: SOT 6968 SOS 3773 HAS SOPS 3773 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2244.773
AT ITER 1791 NEW BEST:: SOT 6963 SOS 3768 HAS SOPS 3768 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2239.768
AT ITER 1833 NEW BEST:: SOT 6956 SOS 3697 HAS SOPS 3697 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2232.697
AT ITER 1839 NEW BEST:: SOT 6956 SOS 3691 HAS SOPS 3691 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2226.691
AT ITER 1854 NEW BEST:: SOT 6956 SOS 3686 HAS SOPS 3686 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2221.686
AT ITER 1874 NEW BEST:: SOT 6954 SOS 3684 HAS SOPS 3684 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.684
AT ITER 1891 NEW BEST:: SOT 6949 SOS 3674 HAS SOPS 3674 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.674
AT ITER 1917 NEW BEST:: SOT 6949 SOS 3673 HAS SOPS 3673 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2218.673
AT ITER 1921 NEW BEST:: SOT 6943 SOS 3781 HAS SOPS 3781 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2202.781
AT ITER 1930 NEW BEST:: SOT 6942 SOS 3778 HAS SOPS 3778 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2199.778
AT ITER 1940 NEW BEST:: SOT 6953 SOS 3797 HAS SOPS 3797 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2196.797
AT ITER 1985 NEW BEST:: SOT 6953 SOS 3789 HAS SOPS 3789 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2188.789
AT ITER 2011 NEW BEST:: SOT 6953 SOS 3784 HAS SOPS 3784 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2183.784
AT ITER 2026 NEW BEST:: SOT 6941 SOS 3772 HAS SOPS 3772 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2171.772
AT ITER 2059 NEW BEST:: SOT 6941 SOS 3770 HAS SOPS 3770 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2169.77
AT ITER 2063 NEW BEST:: SOT 6941 SOS 3765 HAS SOPS 3765 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.765
AT ITER 2066 NEW BEST:: SOT 6940 SOS 3763 HAS SOPS 3763 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2162.763
AT ITER 2136 NEW BEST:: SOT 6938 SOS 3761 HAS SOPS 3761 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2160.761
AT ITER 2167 NEW BEST:: SOT 6931 SOS 3754 HAS SOPS 3754 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2153.754
AT ITER 2205 NEW BEST:: SOT 6930 SOS 3753 HAS SOPS 3753 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2152.753
AT ITER 2227 NEW BEST:: SOT 6927 SOS 3750 HAS SOPS 3750 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2149.75
AT ITER 2230 NEW BEST:: SOT 6929 SOS 3752 HAS SOPS 3752 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.752
AT ITER 2240 NEW BEST:: SOT 6930 SOS 3746 HAS SOPS 3746 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2141.746
AT ITER 2250 NEW BEST:: SOT 6921 SOS 3712 HAS SOPS 3712 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2133.712
AT ITER 2291 NEW BEST:: SOT 6912 SOS 3643 HAS SOPS 3643 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2112.643
AT ITER 2331 NEW BEST:: SOT 6917 SOS 3642 HAS SOPS 3642 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2111.642
AT ITER 2358 NEW BEST:: SOT 6911 SOS 3634 HAS SOPS 3634 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2108.634
AT ITER 2364 NEW BEST:: SOT 6889 SOS 3612 HAS SOPS 3612 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2102.612
AT ITER 2423 NEW BEST:: SOT 6891 SOS 3614 HAS SOPS 3614 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2096.614
AT ITER 2493 NEW BEST:: SOT 6890 SOS 3612 HAS SOPS 3612 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2094.612
AT ITER 2506 NEW BEST:: SOT 6884 SOS 3606 HAS SOPS 3606 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2094.606
AT ITER 2516 NEW BEST:: SOT 6884 SOS 3604 HAS SOPS 3604 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2092.604
AT ITER 2582 NEW BEST:: SOT 6885 SOS 3605 HAS SOPS 3605 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2091.605
AT ITER 2608 NEW BEST:: SOT 6884 SOS 3603 HAS SOPS 3603 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2089.603
AT ITER 2626 NEW BEST:: SOT 6883 SOS 3593 HAS SOPS 3593 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2087.593
AT ITER 2651 NEW BEST:: SOT 6880 SOS 3589 HAS SOPS 3589 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2084.589
AT ITER 2671 NEW BEST:: SOT 6877 SOS 3586 HAS SOPS 3586 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2081.586
AT ITER 2676 NEW BEST:: SOT 6877 SOS 3554 HAS SOPS 3554 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2081.554
AT ITER 2703 NEW BEST:: SOT 6874 SOS 3543 HAS SOPS 3543 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2075.543
AT ITER 2811 NEW BEST:: SOT 6894 SOS 3541 HAS SOPS 3541 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2075.541
AT ITER 2812 NEW BEST:: SOT 6894 SOS 3540 HAS SOPS 3540 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2073.54
AT ITER 2857 NEW BEST:: SOT 6883 SOS 3525 HAS SOPS 3525 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2058.525
AT ITER 2860 NEW BEST:: SOT 6883 SOS 3523 HAS SOPS 3523 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2057.523
AT ITER 2871 NEW BEST:: SOT 6885 SOS 3520 HAS SOPS 3520 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2050.52
AT ITER 2907 NEW BEST:: SOT 6884 SOS 3514 HAS SOPS 3514 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2048.514
AT ITER 2923 NEW BEST:: SOT 6874 SOS 3492 HAS SOPS 3492 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2046.492
AT ITER 2941 NEW BEST:: SOT 6872 SOS 3488 HAS SOPS 3488 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.488
AT ITER 2972 NEW BEST:: SOT 6866 SOS 3466 HAS SOPS 3466 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2037.466
AT ITER 2996 NEW BEST:: SOT 6866 SOS 3461 HAS SOPS 3461 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2032.461
AT ITER 3024 NEW BEST:: SOT 6865 SOS 3460 HAS SOPS 3460 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2030.46
AT ITER 3111 NEW BEST:: SOT 6865 SOS 3449 HAS SOPS 3449 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2025.449
AT ITER 3158 NEW BEST:: SOT 6865 SOS 3448 HAS SOPS 3448 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2024.448
AT ITER 3217 NEW BEST:: SOT 6870 SOS 3422 HAS SOPS 3422 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 2000.422
AT ITER 3232 NEW BEST:: SOT 6868 SOS 3420 HAS SOPS 3420 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1999.42
AT ITER 3240 NEW BEST:: SOT 6866 SOS 3418 HAS SOPS 3418 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1997.418
AT ITER 3247 NEW BEST:: SOT 6864 SOS 3416 HAS SOPS 3416 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1995.416
AT ITER 3339 NEW BEST:: SOT 6862 SOS 3440 HAS SOPS 3440 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1986.44
AT ITER 3365 NEW BEST:: SOT 6862 SOS 3440 HAS SOPS 3440 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1984.44
AT ITER 3370 NEW BEST:: SOT 6861 SOS 3439 HAS SOPS 3439 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1983.439
AT ITER 3407 NEW BEST:: SOT 6858 SOS 3436 HAS SOPS 3436 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1980.436
AT ITER 3422 NEW BEST:: SOT 6860 SOS 3434 HAS SOPS 3434 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1978.434
AT ITER 3478 NEW BEST:: SOT 6864 SOS 3437 HAS SOPS 3437 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1977.437
AT ITER 3495 NEW BEST:: SOT 6855 SOS 3435 HAS SOPS 3435 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1975.435
AT ITER 3631 NEW BEST:: SOT 6856 SOS 3442 HAS SOPS 3442 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1974.442
AT ITER 3657 NEW BEST:: SOT 6856 SOS 3442 HAS SOPS 3442 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1973.442
AT ITER 3683 NEW BEST:: SOT 6851 SOS 3436 HAS SOPS 3436 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1967.436
AT ITER 3735 NEW BEST:: SOT 6850 SOS 3435 HAS SOPS 3435 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1965.435
AT ITER 3737 NEW BEST:: SOT 6849 SOS 3434 HAS SOPS 3434 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1964.434
AT ITER 3801 NEW BEST:: SOT 6849 SOS 3430 HAS SOPS 3430 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1960.43
AT ITER 3853 NEW BEST:: SOT 6848 SOS 3429 HAS SOPS 3429 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1959.429
AT ITER 3857 NEW BEST:: SOT 6848 SOS 3424 HAS SOPS 3424 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1958.424
AT ITER 3867 NEW BEST:: SOT 6844 SOS 3419 HAS SOPS 3419 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1953.419
AT ITER 3878 NEW BEST:: SOT 6844 SOS 3418 HAS SOPS 3418 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1952.418
AT ITER 3912 NEW BEST:: SOT 6837 SOS 3411 HAS SOPS 3411 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1944.411
AT ITER 3913 NEW BEST:: SOT 6837 SOS 3410 HAS SOPS 3410 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1943.41
AT ITER 3925 NEW BEST:: SOT 6832 SOS 3416 HAS SOPS 3416 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1941.416
AT ITER 3954 NEW BEST:: SOT 6829 SOS 3414 HAS SOPS 3414 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1939.414
AT ITER 4032 NEW BEST:: SOT 6829 SOS 3414 HAS SOPS 3414 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1938.414
AT ITER 4038 NEW BEST:: SOT 6827 SOS 3413 HAS SOPS 3413 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1935.413
AT ITER 4057 NEW BEST:: SOT 6827 SOS 3412 HAS SOPS 3412 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1934.412
AT ITER 4099 NEW BEST:: SOT 6809 SOS 3393 HAS SOPS 3393 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1915.393
AT ITER 4101 NEW BEST:: SOT 6809 SOS 3392 HAS SOPS 3392 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1914.392
AT ITER 4168 NEW BEST:: SOT 6805 SOS 3388 HAS SOPS 3388 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1910.388
AT ITER 4187 NEW BEST:: SOT 6802 SOS 3384 HAS SOPS 3384 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.384
AT ITER 4250 NEW BEST:: SOT 6800 SOS 3383 HAS SOPS 3383 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.383
AT ITER 4265 NEW BEST:: SOT 6795 SOS 3378 HAS SOPS 3378 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1900.378
AT ITER 4359 NEW BEST:: SOT 6794 SOS 3377 HAS SOPS 3377 HAS SOUS 1896 HAS SOUPS 1896 WITH SCORE 1899.377
AT ITER 4436 NEW BEST:: SOT 6792 SOS 3374 HAS SOPS 3374 HAS SOUS 1893 HAS SOUPS 1893 WITH SCORE 1896.374
AT ITER 4515 NEW BEST:: SOT 6788 SOS 3353 HAS SOPS 3353 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1891.353
AT ITER 4524 NEW BEST:: SOT 6790 SOS 3355 HAS SOPS 3355 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1887.355
AT ITER 4537 NEW BEST:: SOT 6785 SOS 3347 HAS SOPS 3347 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1883.347
AT ITER 4544 NEW BEST:: SOT 6784 SOS 3344 HAS SOPS 3344 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1880.344
AT ITER 4555 NEW BEST:: SOT 6787 SOS 3347 HAS SOPS 3347 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1878.347
AT ITER 4587 NEW BEST:: SOT 6784 SOS 3341 HAS SOPS 3341 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1875.341
AT ITER 4618 NEW BEST:: SOT 6782 SOS 3339 HAS SOPS 3339 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1869.339
AT ITER 4644 NEW BEST:: SOT 6782 SOS 3279 HAS SOPS 3279 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1857.279
AT ITER 4738 NEW BEST:: SOT 6782 SOS 3279 HAS SOPS 3279 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1850.279
AT ITER 4787 NEW BEST:: SOT 6781 SOS 3278 HAS SOPS 3278 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1848.278
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DES-PT-05a-CTLCardinality-00 ( (EU( (! potential( ( 1 ) <= (tk(P123)) )),( potential( ( 3 ) <= (tk(P57)) ) & potential( (tk(P53)) <= (tk(P43)) ) ) )) & (AF((EF(potential( (tk(P42)) <= (tk(P94)) ))))) )
PROPERTY: DES-PT-05a-CTLCardinality-01 (! (EU( ( potential( (tk(P101)) <= (tk(P63)) ) | potential( ( 3 ) <= (tk(P96)) ) ),(! potential( (tk(P84)) <= (tk(P33)) )) )))
PROPERTY: DES-PT-05a-CTLCardinality-02 (AG( potential( (tk(P34)) <= (tk(P67)) )))
PROPERTY: DES-PT-05a-CTLCardinality-03 (AU( ( ( potential( ( 1 ) <= (tk(P59)) ) | potential( ( 1 ) <= (tk(P90)) ) ) & ( potential( ( 3 ) <= (tk(P71)) ) | potential( ( 1 ) <= (tk(P35)) ) ) ),(AG( potential( (tk(P100)) <= (tk(P50)) ))) ))
PROPERTY: DES-PT-05a-CTLCardinality-04 (EX( (AF((! potential( (tk(P100)) <= (tk(P71)) ))))))
PROPERTY: DES-PT-05a-CTLCardinality-05 (EG( (AX( (! potential( (tk(P81)) <= (tk(P95)) ))))))
PROPERTY: DES-PT-05a-CTLCardinality-06 (AG( (EU( potential( (tk(P93)) <= (tk(P26)) ),potential( ( 3 ) <= (tk(P118)) ) ))))
PROPERTY: DES-PT-05a-CTLCardinality-07 ( ( ( (AF(potential( (tk(P7)) <= (tk(P122)) ))) | (EF(potential( (tk(P49)) <= (tk(P80)) ))) ) & (! (AF(potential( ( 3 ) <= (tk(P63)) )))) ) | potential( ( 1 ) <= (tk(P15)) ) )
PROPERTY: DES-PT-05a-CTLCardinality-08 (! ( ( ( ( potential( ( 3 ) <= (tk(P83)) ) | potential( (tk(P38)) <= (tk(P26)) ) ) & (! potential( (tk(P128)) <= (tk(P81)) )) ) | ( (! potential( (tk(P11)) <= (tk(P11)) )) & potential( (tk(P44)) <= (tk(P123)) ) ) ) | (AG( potential( (tk(P80)) <= (tk(P112)) ))) ))
PROPERTY: DES-PT-05a-CTLCardinality-09 (AF(( (AF(potential( ( 1 ) <= (tk(P51)) ))) & potential( ( 3 ) <= (tk(P54)) ) )))
PROPERTY: DES-PT-05a-CTLCardinality-10 (! ( ( potential( (tk(P100)) <= (tk(P19)) ) & potential( ( 3 ) <= (tk(P20)) ) ) | (EG( (! potential( ( 3 ) <= (tk(P9)) )))) ))
PROPERTY: DES-PT-05a-CTLCardinality-11 ( potential( ( 3 ) <= (tk(P124)) ) | (AF(( ( potential( ( 3 ) <= (tk(P120)) ) | potential( ( 3 ) <= (tk(P56)) ) ) | ( potential( ( 2 ) <= (tk(P46)) ) & potential( ( 2 ) <= (tk(P3)) ) ) ))) )
PROPERTY: DES-PT-05a-CTLCardinality-12 (AG( ( (EG( potential( (tk(P11)) <= (tk(P71)) ))) | (AG( potential( (tk(P54)) <= (tk(P81)) ))) )))
PROPERTY: DES-PT-05a-CTLCardinality-13 (EU( (EF(potential( (tk(P61)) <= (tk(P132)) ))),( (! potential( (tk(P103)) <= (tk(P96)) )) & (! potential( (tk(P124)) <= (tk(P122)) )) ) ))
PROPERTY: DES-PT-05a-CTLCardinality-14 ( (EX( ( ( potential( (tk(P29)) <= (tk(P111)) ) & potential( ( 3 ) <= (tk(P91)) ) ) & ( potential( ( 1 ) <= (tk(P43)) ) & potential( ( 1 ) <= (tk(P57)) ) ) ))) | ( (EX( (! potential( (tk(P66)) <= (tk(P97)) )))) | (AF((! potential( (tk(P5)) <= (tk(P70)) )))) ) )
PROPERTY: DES-PT-05a-CTLCardinality-15 (EG( ( (EX( potential( (tk(P84)) <= (tk(P98)) ))) & (EF(potential( (tk(P35)) <= (tk(P70)) ))) )))

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-05a"
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 DES-PT-05a, 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 r048-ebro-158902541900227"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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