fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469500443
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPs-PT-004A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.710 3600000.00 3600030.00 0.00 [undef] Time out reached

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-159033469500443.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 ShieldPPPs-PT-004A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.6K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 13:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 08:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 08:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 35K 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 ShieldPPPs-PT-004A-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-004A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590442910008

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 004A
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: 127 places, 107 transitions, 406 arcs.
AT ITER 0 NEW BEST:: SOT 8875 SOS 6347 HAS SOPS 6347 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.347
AT ITER 3 NEW BEST:: SOT 8831 SOS 6317 HAS SOPS 6317 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.317
AT ITER 5 NEW BEST:: SOT 8799 SOS 6300 HAS SOPS 6300 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.3
AT ITER 6 NEW BEST:: SOT 8805 SOS 6300 HAS SOPS 6300 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.3
AT ITER 21 NEW BEST:: SOT 8774 SOS 6258 HAS SOPS 6258 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.258
AT ITER 22 NEW BEST:: SOT 8770 SOS 6254 HAS SOPS 6254 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4975.254
AT ITER 24 NEW BEST:: SOT 8752 SOS 6234 HAS SOPS 6234 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.234
AT ITER 28 NEW BEST:: SOT 8678 SOS 5961 HAS SOPS 5961 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4835.961
AT ITER 52 NEW BEST:: SOT 8678 SOS 5959 HAS SOPS 5959 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4833.959
AT ITER 55 NEW BEST:: SOT 8679 SOS 5841 HAS SOPS 5841 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.841
AT ITER 56 NEW BEST:: SOT 8676 SOS 5838 HAS SOPS 5838 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.838
AT ITER 59 NEW BEST:: SOT 8676 SOS 5839 HAS SOPS 5839 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.839
AT ITER 66 NEW BEST:: SOT 8696 SOS 5718 HAS SOPS 5718 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.718
AT ITER 68 NEW BEST:: SOT 8685 SOS 5705 HAS SOPS 5705 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4746.705
AT ITER 72 NEW BEST:: SOT 8683 SOS 5695 HAS SOPS 5695 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.695
AT ITER 75 NEW BEST:: SOT 8754 SOS 5755 HAS SOPS 5755 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4722.755
AT ITER 79 NEW BEST:: SOT 8748 SOS 5741 HAS SOPS 5741 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4708.741
AT ITER 82 NEW BEST:: SOT 8733 SOS 5726 HAS SOPS 5726 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4683.726
AT ITER 84 NEW BEST:: SOT 8754 SOS 5737 HAS SOPS 5737 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.737
AT ITER 103 NEW BEST:: SOT 8718 SOS 5701 HAS SOPS 5701 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.701
AT ITER 113 NEW BEST:: SOT 8701 SOS 5568 HAS SOPS 5568 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4546.568
AT ITER 114 NEW BEST:: SOT 8685 SOS 5503 HAS SOPS 5503 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4530.503
AT ITER 115 NEW BEST:: SOT 8684 SOS 5502 HAS SOPS 5502 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.502
AT ITER 116 NEW BEST:: SOT 8682 SOS 5498 HAS SOPS 5498 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4524.498
AT ITER 124 NEW BEST:: SOT 8682 SOS 5425 HAS SOPS 5425 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4505.425
AT ITER 129 NEW BEST:: SOT 8682 SOS 5421 HAS SOPS 5421 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4495.421
AT ITER 131 NEW BEST:: SOT 8658 SOS 5379 HAS SOPS 5379 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.379
AT ITER 133 NEW BEST:: SOT 8635 SOS 5338 HAS SOPS 5338 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4395.338
AT ITER 134 NEW BEST:: SOT 8635 SOS 5324 HAS SOPS 5324 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4393.324
AT ITER 151 NEW BEST:: SOT 8617 SOS 5306 HAS SOPS 5306 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4375.306
AT ITER 152 NEW BEST:: SOT 8581 SOS 5268 HAS SOPS 5268 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4347.268
AT ITER 159 NEW BEST:: SOT 8579 SOS 5266 HAS SOPS 5266 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4343.266
AT ITER 168 NEW BEST:: SOT 8527 SOS 5186 HAS SOPS 5186 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.186
AT ITER 172 NEW BEST:: SOT 8495 SOS 5088 HAS SOPS 5088 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4237.088
AT ITER 179 NEW BEST:: SOT 8493 SOS 5036 HAS SOPS 5036 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4191.036
AT ITER 183 NEW BEST:: SOT 8487 SOS 5031 HAS SOPS 5031 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.031
AT ITER 202 NEW BEST:: SOT 8486 SOS 4973 HAS SOPS 4973 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4178.973
AT ITER 208 NEW BEST:: SOT 8456 SOS 4693 HAS SOPS 4693 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4023.693
AT ITER 212 NEW BEST:: SOT 8446 SOS 4681 HAS SOPS 4681 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.681
AT ITER 217 NEW BEST:: SOT 8446 SOS 4659 HAS SOPS 4659 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 3999.659
AT ITER 221 NEW BEST:: SOT 8446 SOS 4650 HAS SOPS 4650 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.65
AT ITER 231 NEW BEST:: SOT 8443 SOS 4638 HAS SOPS 4638 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.638
AT ITER 233 NEW BEST:: SOT 8443 SOS 4622 HAS SOPS 4622 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.622
AT ITER 235 NEW BEST:: SOT 8447 SOS 4626 HAS SOPS 4626 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3982.626
AT ITER 245 NEW BEST:: SOT 8442 SOS 4615 HAS SOPS 4615 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3971.615
AT ITER 251 NEW BEST:: SOT 8436 SOS 4603 HAS SOPS 4603 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3962.603
AT ITER 261 NEW BEST:: SOT 8397 SOS 4564 HAS SOPS 4564 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3923.564
AT ITER 268 NEW BEST:: SOT 8397 SOS 4562 HAS SOPS 4562 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3921.562
AT ITER 270 NEW BEST:: SOT 8384 SOS 4557 HAS SOPS 4557 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.557
AT ITER 272 NEW BEST:: SOT 8340 SOS 4535 HAS SOPS 4535 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3894.535
AT ITER 276 NEW BEST:: SOT 8312 SOS 4491 HAS SOPS 4491 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.491
AT ITER 280 NEW BEST:: SOT 8288 SOS 4450 HAS SOPS 4450 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3778.45
AT ITER 283 NEW BEST:: SOT 8268 SOS 4427 HAS SOPS 4427 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3755.427
AT ITER 291 NEW BEST:: SOT 8268 SOS 4421 HAS SOPS 4421 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3752.421
AT ITER 297 NEW BEST:: SOT 8268 SOS 4407 HAS SOPS 4407 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.407
AT ITER 299 NEW BEST:: SOT 8260 SOS 4393 HAS SOPS 4393 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3731.393
AT ITER 318 NEW BEST:: SOT 8260 SOS 4375 HAS SOPS 4375 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.375
AT ITER 327 NEW BEST:: SOT 8247 SOS 4355 HAS SOPS 4355 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.355
AT ITER 328 NEW BEST:: SOT 8214 SOS 4312 HAS SOPS 4312 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3644.312
AT ITER 334 NEW BEST:: SOT 8214 SOS 4312 HAS SOPS 4312 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.312
AT ITER 336 NEW BEST:: SOT 8213 SOS 4307 HAS SOPS 4307 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3637.307
AT ITER 340 NEW BEST:: SOT 8209 SOS 4295 HAS SOPS 4295 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.295
AT ITER 343 NEW BEST:: SOT 8200 SOS 4278 HAS SOPS 4278 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3615.278
AT ITER 344 NEW BEST:: SOT 8174 SOS 4228 HAS SOPS 4228 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3577.228
AT ITER 349 NEW BEST:: SOT 8174 SOS 4226 HAS SOPS 4226 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3573.226
AT ITER 352 NEW BEST:: SOT 8172 SOS 4224 HAS SOPS 4224 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3571.224
AT ITER 356 NEW BEST:: SOT 8172 SOS 4211 HAS SOPS 4211 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.211
AT ITER 358 NEW BEST:: SOT 8172 SOS 4234 HAS SOPS 4234 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.234
AT ITER 367 NEW BEST:: SOT 8164 SOS 4211 HAS SOPS 4211 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3540.211
AT ITER 370 NEW BEST:: SOT 8160 SOS 4207 HAS SOPS 4207 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3536.207
AT ITER 371 NEW BEST:: SOT 8160 SOS 4197 HAS SOPS 4197 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3531.197
AT ITER 382 NEW BEST:: SOT 8127 SOS 4162 HAS SOPS 4162 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3494.162
AT ITER 383 NEW BEST:: SOT 8120 SOS 4155 HAS SOPS 4155 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3487.155
AT ITER 393 NEW BEST:: SOT 8113 SOS 4138 HAS SOPS 4138 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.138
AT ITER 397 NEW BEST:: SOT 8109 SOS 4114 HAS SOPS 4114 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3453.114
AT ITER 399 NEW BEST:: SOT 8101 SOS 4072 HAS SOPS 4072 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3445.072
AT ITER 402 NEW BEST:: SOT 8091 SOS 4058 HAS SOPS 4058 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.058
AT ITER 417 NEW BEST:: SOT 8086 SOS 4053 HAS SOPS 4053 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.053
AT ITER 425 NEW BEST:: SOT 8075 SOS 4033 HAS SOPS 4033 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3408.033
AT ITER 436 NEW BEST:: SOT 8074 SOS 3990 HAS SOPS 3990 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3407.99
AT ITER 438 NEW BEST:: SOT 8070 SOS 3987 HAS SOPS 3987 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3404.987
AT ITER 455 NEW BEST:: SOT 8062 SOS 3983 HAS SOPS 3983 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.983
AT ITER 456 NEW BEST:: SOT 8054 SOS 3965 HAS SOPS 3965 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3384.965
AT ITER 461 NEW BEST:: SOT 8054 SOS 3963 HAS SOPS 3963 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.963
AT ITER 470 NEW BEST:: SOT 8032 SOS 3912 HAS SOPS 3912 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.912
AT ITER 480 NEW BEST:: SOT 8025 SOS 3910 HAS SOPS 3910 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3342.91
AT ITER 484 NEW BEST:: SOT 8028 SOS 3913 HAS SOPS 3913 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.913
AT ITER 490 NEW BEST:: SOT 8027 SOS 3907 HAS SOPS 3907 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.907
AT ITER 496 NEW BEST:: SOT 8034 SOS 3916 HAS SOPS 3916 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.916
AT ITER 503 NEW BEST:: SOT 8032 SOS 3916 HAS SOPS 3916 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.916
AT ITER 554 NEW BEST:: SOT 8032 SOS 3887 HAS SOPS 3887 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.887
AT ITER 556 NEW BEST:: SOT 8032 SOS 3891 HAS SOPS 3891 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3316.891
AT ITER 564 NEW BEST:: SOT 8031 SOS 3877 HAS SOPS 3877 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.877
AT ITER 569 NEW BEST:: SOT 8031 SOS 3877 HAS SOPS 3877 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.877
AT ITER 570 NEW BEST:: SOT 8061 SOS 3877 HAS SOPS 3877 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3288.877
AT ITER 576 NEW BEST:: SOT 8060 SOS 3874 HAS SOPS 3874 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.874
AT ITER 577 NEW BEST:: SOT 8080 SOS 3872 HAS SOPS 3872 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.872
AT ITER 583 NEW BEST:: SOT 8068 SOS 3850 HAS SOPS 3850 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.85
AT ITER 591 NEW BEST:: SOT 8067 SOS 3830 HAS SOPS 3830 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3273.83
AT ITER 595 NEW BEST:: SOT 8061 SOS 3830 HAS SOPS 3830 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.83
AT ITER 598 NEW BEST:: SOT 8057 SOS 3754 HAS SOPS 3754 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.754
AT ITER 618 NEW BEST:: SOT 8043 SOS 3733 HAS SOPS 3733 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3244.733
AT ITER 627 NEW BEST:: SOT 8027 SOS 3708 HAS SOPS 3708 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.708
AT ITER 630 NEW BEST:: SOT 8029 SOS 3580 HAS SOPS 3580 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.58
AT ITER 631 NEW BEST:: SOT 8029 SOS 3591 HAS SOPS 3591 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3156.591
AT ITER 647 NEW BEST:: SOT 8026 SOS 3588 HAS SOPS 3588 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.588
AT ITER 660 NEW BEST:: SOT 8026 SOS 3494 HAS SOPS 3494 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.494
AT ITER 685 NEW BEST:: SOT 8027 SOS 3491 HAS SOPS 3491 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3140.491
AT ITER 701 NEW BEST:: SOT 8027 SOS 3493 HAS SOPS 3493 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.493
AT ITER 715 NEW BEST:: SOT 8001 SOS 3441 HAS SOPS 3441 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.441
AT ITER 721 NEW BEST:: SOT 8001 SOS 3367 HAS SOPS 3367 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.367
AT ITER 729 NEW BEST:: SOT 8001 SOS 3339 HAS SOPS 3339 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.339
AT ITER 739 NEW BEST:: SOT 7991 SOS 3326 HAS SOPS 3326 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.326
AT ITER 769 NEW BEST:: SOT 7975 SOS 3310 HAS SOPS 3310 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3015.31
AT ITER 783 NEW BEST:: SOT 7893 SOS 3155 HAS SOPS 3155 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.155
AT ITER 790 NEW BEST:: SOT 7892 SOS 3152 HAS SOPS 3152 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.152
AT ITER 800 NEW BEST:: SOT 7881 SOS 3137 HAS SOPS 3137 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.137
AT ITER 834 NEW BEST:: SOT 7881 SOS 3139 HAS SOPS 3139 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.139
AT ITER 837 NEW BEST:: SOT 7883 SOS 3138 HAS SOPS 3138 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.138
AT ITER 863 NEW BEST:: SOT 7887 SOS 3141 HAS SOPS 3141 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.141
AT ITER 868 NEW BEST:: SOT 7885 SOS 3139 HAS SOPS 3139 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2803.139
AT ITER 903 NEW BEST:: SOT 7878 SOS 3130 HAS SOPS 3130 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.13
AT ITER 912 NEW BEST:: SOT 7875 SOS 3123 HAS SOPS 3123 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.123
AT ITER 933 NEW BEST:: SOT 7869 SOS 3117 HAS SOPS 3117 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.117
AT ITER 938 NEW BEST:: SOT 7853 SOS 3101 HAS SOPS 3101 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.101
AT ITER 956 NEW BEST:: SOT 7847 SOS 3067 HAS SOPS 3067 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.067
AT ITER 968 NEW BEST:: SOT 7846 SOS 3066 HAS SOPS 3066 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.066
AT ITER 974 NEW BEST:: SOT 7857 SOS 3060 HAS SOPS 3060 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.06
AT ITER 986 NEW BEST:: SOT 7857 SOS 3059 HAS SOPS 3059 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.059
AT ITER 999 NEW BEST:: SOT 7845 SOS 3020 HAS SOPS 3020 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2745.02
AT ITER 1000 NEW BEST:: SOT 7837 SOS 2996 HAS SOPS 2996 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2728.996
AT ITER 1003 NEW BEST:: SOT 7833 SOS 2992 HAS SOPS 2992 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2724.992
AT ITER 1004 NEW BEST:: SOT 7824 SOS 2960 HAS SOPS 2960 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2715.96
AT ITER 1010 NEW BEST:: SOT 7832 SOS 2968 HAS SOPS 2968 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2709.968
AT ITER 1017 NEW BEST:: SOT 7833 SOS 2959 HAS SOPS 2959 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2700.959
AT ITER 1031 NEW BEST:: SOT 7823 SOS 2961 HAS SOPS 2961 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2694.961
AT ITER 1034 NEW BEST:: SOT 7815 SOS 2953 HAS SOPS 2953 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2686.953
AT ITER 1043 NEW BEST:: SOT 7789 SOS 2914 HAS SOPS 2914 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.914
AT ITER 1044 NEW BEST:: SOT 7787 SOS 2912 HAS SOPS 2912 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2632.912
AT ITER 1075 NEW BEST:: SOT 7787 SOS 2902 HAS SOPS 2902 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.902
AT ITER 1082 NEW BEST:: SOT 7783 SOS 2892 HAS SOPS 2892 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2614.892
AT ITER 1095 NEW BEST:: SOT 7783 SOS 2887 HAS SOPS 2887 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2614.887
AT ITER 1104 NEW BEST:: SOT 7779 SOS 2869 HAS SOPS 2869 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2603.869
AT ITER 1116 NEW BEST:: SOT 7783 SOS 2873 HAS SOPS 2873 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.873
AT ITER 1122 NEW BEST:: SOT 7783 SOS 2873 HAS SOPS 2873 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.873
AT ITER 1167 NEW BEST:: SOT 7783 SOS 2864 HAS SOPS 2864 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.864
AT ITER 1170 NEW BEST:: SOT 7789 SOS 2870 HAS SOPS 2870 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.87
AT ITER 1186 NEW BEST:: SOT 7789 SOS 2869 HAS SOPS 2869 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.869
AT ITER 1193 NEW BEST:: SOT 7781 SOS 2857 HAS SOPS 2857 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.857
AT ITER 1242 NEW BEST:: SOT 7778 SOS 2851 HAS SOPS 2851 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2567.851
AT ITER 1264 NEW BEST:: SOT 7786 SOS 2849 HAS SOPS 2849 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2565.849
AT ITER 1270 NEW BEST:: SOT 7804 SOS 2856 HAS SOPS 2856 HAS SOUS 2543 HAS SOUPS 2543 WITH SCORE 2545.856
AT ITER 1276 NEW BEST:: SOT 7801 SOS 2845 HAS SOPS 2845 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.845
AT ITER 1277 NEW BEST:: SOT 7784 SOS 2803 HAS SOPS 2803 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.803
AT ITER 1296 NEW BEST:: SOT 7784 SOS 2803 HAS SOPS 2803 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.803
AT ITER 1306 NEW BEST:: SOT 7770 SOS 2777 HAS SOPS 2777 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.777
AT ITER 1348 NEW BEST:: SOT 7764 SOS 2773 HAS SOPS 2773 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.773
AT ITER 1358 NEW BEST:: SOT 7757 SOS 2752 HAS SOPS 2752 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.752
AT ITER 1393 NEW BEST:: SOT 7755 SOS 2746 HAS SOPS 2746 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.746
AT ITER 1408 NEW BEST:: SOT 7750 SOS 2741 HAS SOPS 2741 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.741
AT ITER 1460 NEW BEST:: SOT 7719 SOS 2676 HAS SOPS 2676 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.676
AT ITER 1474 NEW BEST:: SOT 7715 SOS 2663 HAS SOPS 2663 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.663
AT ITER 1483 NEW BEST:: SOT 7695 SOS 2634 HAS SOPS 2634 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.634
AT ITER 1489 NEW BEST:: SOT 7689 SOS 2616 HAS SOPS 2616 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.616
AT ITER 1497 NEW BEST:: SOT 7689 SOS 2559 HAS SOPS 2559 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.559
AT ITER 1530 NEW BEST:: SOT 7650 SOS 2503 HAS SOPS 2503 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2240.503
AT ITER 1563 NEW BEST:: SOT 7649 SOS 2502 HAS SOPS 2502 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.502
AT ITER 1604 NEW BEST:: SOT 7649 SOS 2497 HAS SOPS 2497 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.497
AT ITER 1637 NEW BEST:: SOT 7640 SOS 2488 HAS SOPS 2488 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.488
AT ITER 1687 NEW BEST:: SOT 7638 SOS 2488 HAS SOPS 2488 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2224.488
AT ITER 1729 NEW BEST:: SOT 7634 SOS 2484 HAS SOPS 2484 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.484
AT ITER 1788 NEW BEST:: SOT 7624 SOS 2469 HAS SOPS 2469 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.469
AT ITER 1810 NEW BEST:: SOT 7619 SOS 2464 HAS SOPS 2464 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.464
AT ITER 1815 NEW BEST:: SOT 7615 SOS 2460 HAS SOPS 2460 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.46
AT ITER 1863 NEW BEST:: SOT 7612 SOS 2458 HAS SOPS 2458 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2194.458
AT ITER 1865 NEW BEST:: SOT 7619 SOS 2459 HAS SOPS 2459 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2189.459
AT ITER 1889 NEW BEST:: SOT 7614 SOS 2454 HAS SOPS 2454 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.454
AT ITER 1895 NEW BEST:: SOT 7611 SOS 2470 HAS SOPS 2470 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.47
AT ITER 1902 NEW BEST:: SOT 7602 SOS 2449 HAS SOPS 2449 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2176.449
AT ITER 1962 NEW BEST:: SOT 7602 SOS 2429 HAS SOPS 2429 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2176.429
AT ITER 2035 NEW BEST:: SOT 7598 SOS 2419 HAS SOPS 2419 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.419
AT ITER 2062 NEW BEST:: SOT 7598 SOS 2418 HAS SOPS 2418 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.418
AT ITER 2108 NEW BEST:: SOT 7569 SOS 2387 HAS SOPS 2387 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.387
AT ITER 2113 NEW BEST:: SOT 7566 SOS 2382 HAS SOPS 2382 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.382
AT ITER 2135 NEW BEST:: SOT 7570 SOS 2380 HAS SOPS 2380 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.38
AT ITER 2164 NEW BEST:: SOT 7570 SOS 2376 HAS SOPS 2376 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.376
AT ITER 2236 NEW BEST:: SOT 7567 SOS 2373 HAS SOPS 2373 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.373
AT ITER 2246 NEW BEST:: SOT 7565 SOS 2367 HAS SOPS 2367 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.367
AT ITER 2288 NEW BEST:: SOT 7563 SOS 2363 HAS SOPS 2363 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.363
AT ITER 2309 NEW BEST:: SOT 7565 SOS 2367 HAS SOPS 2367 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2130.367
AT ITER 2312 NEW BEST:: SOT 7565 SOS 2366 HAS SOPS 2366 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.366
AT ITER 2320 NEW BEST:: SOT 7563 SOS 2363 HAS SOPS 2363 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.363
AT ITER 2348 NEW BEST:: SOT 7564 SOS 2363 HAS SOPS 2363 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.363
AT ITER 2355 NEW BEST:: SOT 7558 SOS 2342 HAS SOPS 2342 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.342
AT ITER 2369 NEW BEST:: SOT 7555 SOS 2339 HAS SOPS 2339 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.339
AT ITER 2378 NEW BEST:: SOT 7554 SOS 2337 HAS SOPS 2337 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.337
AT ITER 2383 NEW BEST:: SOT 7554 SOS 2335 HAS SOPS 2335 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.335
AT ITER 2386 NEW BEST:: SOT 7564 SOS 2344 HAS SOPS 2344 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.344
AT ITER 2454 NEW BEST:: SOT 7561 SOS 2335 HAS SOPS 2335 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.335
AT ITER 2487 NEW BEST:: SOT 7548 SOS 2322 HAS SOPS 2322 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.322
AT ITER 2489 NEW BEST:: SOT 7539 SOS 2304 HAS SOPS 2304 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.304
AT ITER 2504 NEW BEST:: SOT 7540 SOS 2301 HAS SOPS 2301 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.301
AT ITER 2530 NEW BEST:: SOT 7526 SOS 2275 HAS SOPS 2275 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.275
AT ITER 2549 NEW BEST:: SOT 7520 SOS 2260 HAS SOPS 2260 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2019.26
AT ITER 2560 NEW BEST:: SOT 7515 SOS 2260 HAS SOPS 2260 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2017.26
AT ITER 2575 NEW BEST:: SOT 7508 SOS 2239 HAS SOPS 2239 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.239
AT ITER 2605 NEW BEST:: SOT 7501 SOS 2223 HAS SOPS 2223 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.223
AT ITER 2650 NEW BEST:: SOT 7501 SOS 2203 HAS SOPS 2203 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.203
AT ITER 2658 NEW BEST:: SOT 7498 SOS 2197 HAS SOPS 2197 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.197
AT ITER 2677 NEW BEST:: SOT 7496 SOS 2190 HAS SOPS 2190 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.19
AT ITER 2690 NEW BEST:: SOT 7494 SOS 2188 HAS SOPS 2188 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1987.188
AT ITER 2698 NEW BEST:: SOT 7499 SOS 2185 HAS SOPS 2185 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.185
AT ITER 2719 NEW BEST:: SOT 7485 SOS 2177 HAS SOPS 2177 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.177
AT ITER 2743 NEW BEST:: SOT 7484 SOS 2176 HAS SOPS 2176 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.176
AT ITER 2794 NEW BEST:: SOT 7484 SOS 2168 HAS SOPS 2168 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.168
AT ITER 2807 NEW BEST:: SOT 7474 SOS 2146 HAS SOPS 2146 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.146
AT ITER 2813 NEW BEST:: SOT 7474 SOS 2141 HAS SOPS 2141 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.141
AT ITER 2837 NEW BEST:: SOT 7471 SOS 2129 HAS SOPS 2129 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.129
AT ITER 2877 NEW BEST:: SOT 7471 SOS 2127 HAS SOPS 2127 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.127
AT ITER 2918 NEW BEST:: SOT 7470 SOS 2123 HAS SOPS 2123 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.123
AT ITER 2968 NEW BEST:: SOT 7462 SOS 2114 HAS SOPS 2114 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1920.114
AT ITER 2974 NEW BEST:: SOT 7462 SOS 2113 HAS SOPS 2113 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1920.113
AT ITER 3004 NEW BEST:: SOT 7460 SOS 2109 HAS SOPS 2109 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.109
AT ITER 3008 NEW BEST:: SOT 7459 SOS 2108 HAS SOPS 2108 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.108
AT ITER 3063 NEW BEST:: SOT 7458 SOS 2107 HAS SOPS 2107 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1914.107
AT ITER 3097 NEW BEST:: SOT 7454 SOS 2101 HAS SOPS 2101 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1913.101
AT ITER 3105 NEW BEST:: SOT 7458 SOS 2093 HAS SOPS 2093 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.093
AT ITER 3159 NEW BEST:: SOT 7456 SOS 2091 HAS SOPS 2091 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.091
AT ITER 3232 NEW BEST:: SOT 7456 SOS 2084 HAS SOPS 2084 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.084
AT ITER 3295 NEW BEST:: SOT 7451 SOS 2080 HAS SOPS 2080 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1905.08
AT ITER 3331 NEW BEST:: SOT 7450 SOS 2079 HAS SOPS 2079 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.079
AT ITER 3336 NEW BEST:: SOT 7448 SOS 2075 HAS SOPS 2075 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.075
AT ITER 3376 NEW BEST:: SOT 7445 SOS 2072 HAS SOPS 2072 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.072
AT ITER 3414 NEW BEST:: SOT 7442 SOS 2067 HAS SOPS 2067 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.067
AT ITER 3487 NEW BEST:: SOT 7444 SOS 2064 HAS SOPS 2064 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.064
AT ITER 3514 NEW BEST:: SOT 7441 SOS 2061 HAS SOPS 2061 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.061
AT ITER 3516 NEW BEST:: SOT 7439 SOS 2065 HAS SOPS 2065 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.065
AT ITER 3537 NEW BEST:: SOT 7438 SOS 2091 HAS SOPS 2091 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.091
AT ITER 3550 NEW BEST:: SOT 7438 SOS 2089 HAS SOPS 2089 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.089
AT ITER 3661 NEW BEST:: SOT 7424 SOS 2075 HAS SOPS 2075 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.075
AT ITER 3667 NEW BEST:: SOT 7424 SOS 2072 HAS SOPS 2072 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.072
AT ITER 3678 NEW BEST:: SOT 7422 SOS 2070 HAS SOPS 2070 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.07
AT ITER 3713 NEW BEST:: SOT 7422 SOS 2067 HAS SOPS 2067 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.067
AT ITER 3737 NEW BEST:: SOT 7419 SOS 2062 HAS SOPS 2062 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.062
AT ITER 3782 NEW BEST:: SOT 7416 SOS 2055 HAS SOPS 2055 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.055
AT ITER 3786 NEW BEST:: SOT 7404 SOS 2039 HAS SOPS 2039 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.039
AT ITER 3797 NEW BEST:: SOT 7403 SOS 2037 HAS SOPS 2037 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.037
AT ITER 3910 NEW BEST:: SOT 7401 SOS 2025 HAS SOPS 2025 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.025
AT ITER 3924 NEW BEST:: SOT 7397 SOS 2017 HAS SOPS 2017 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.017
AT ITER 4042 NEW BEST:: SOT 7395 SOS 2013 HAS SOPS 2013 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.013
AT ITER 4072 NEW BEST:: SOT 7395 SOS 2011 HAS SOPS 2011 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.011
AT ITER 4174 NEW BEST:: SOT 7396 SOS 2008 HAS SOPS 2008 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.008
AT ITER 4247 NEW BEST:: SOT 7391 SOS 2003 HAS SOPS 2003 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.003
AT ITER 4250 NEW BEST:: SOT 7391 SOS 2002 HAS SOPS 2002 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.002
AT ITER 4288 NEW BEST:: SOT 7388 SOS 2002 HAS SOPS 2002 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.002
AT ITER 4347 NEW BEST:: SOT 7384 SOS 1993 HAS SOPS 1993 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1786.993
AT ITER 4348 NEW BEST:: SOT 7384 SOS 1993 HAS SOPS 1993 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1785.993
AT ITER 4355 NEW BEST:: SOT 7384 SOS 1991 HAS SOPS 1991 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1784.991
AT ITER 4436 NEW BEST:: SOT 7382 SOS 1989 HAS SOPS 1989 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1782.989
AT ITER 4494 NEW BEST:: SOT 7380 SOS 1987 HAS SOPS 1987 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.987
AT ITER 4606 NEW BEST:: SOT 7377 SOS 1984 HAS SOPS 1984 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1777.984
AT ITER 4624 NEW BEST:: SOT 7377 SOS 1984 HAS SOPS 1984 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.984
AT ITER 4948 NEW BEST:: SOT 7375 SOS 1981 HAS SOPS 1981 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1774.981
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-00 ( (EG( (EF(potential( ( 3 ) <= (tk(P101)) ))))) | (AU( potential( ( 1 ) <= (tk(P105)) ),potential( ( 1 ) <= (tk(P71)) ) )) )
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-01 (! (EU( ( potential( ( 1 ) <= (tk(P111)) ) | potential( (tk(P94)) <= (tk(P107)) ) ),( potential( (tk(P69)) <= (tk(P98)) ) & potential( ( 3 ) <= (tk(P78)) ) ) )))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-02 ( (AX( (AG( potential( ( 1 ) <= (tk(P28)) ))))) | (! (EF(( potential( ( 3 ) <= (tk(P91)) ) & potential( (tk(P60)) <= (tk(P100)) ) )))) )
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-03 ( (! ( (AF(potential( ( 3 ) <= (tk(P25)) ))) & ( (! potential( (tk(P29)) <= (tk(P115)) )) | ( potential( (tk(P46)) <= (tk(P58)) ) | potential( (tk(P53)) <= (tk(P71)) ) ) ) )) & (EF(( potential( ( 3 ) <= (tk(P87)) ) | ( potential( ( 2 ) <= (tk(P91)) ) | potential( ( 3 ) <= (tk(P37)) ) ) ))) )
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-04 (AU( (AF(potential( (tk(P94)) <= (tk(P53)) ))),potential( ( 1 ) <= (tk(P85)) ) ))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-05 (EG( (EX( potential( (tk(P80)) <= (tk(P45)) )))))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-06 ( (EG( ( ( potential( ( 3 ) <= (tk(P64)) ) | potential( (tk(P5)) <= (tk(P80)) ) ) | potential( (tk(P82)) <= (tk(P66)) ) ))) & (! (EF(potential( ( 2 ) <= (tk(P16)) )))) )
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-07 (! (EG( potential( (tk(P74)) <= (tk(P25)) ))))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-08 (EU( potential( (tk(P117)) <= (tk(P11)) ),(AG( potential( (tk(P80)) <= (tk(P14)) ))) ))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-09 (AG( (EX( (! potential( ( 2 ) <= (tk(P28)) ))))))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-10 (! (EU( ( potential( ( 3 ) <= (tk(P32)) ) | potential( (tk(P48)) <= (tk(P53)) ) ),(! potential( (tk(P59)) <= (tk(P117)) )) )))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-11 (EG( (EU( potential( (tk(P23)) <= (tk(P36)) ),potential( ( 3 ) <= (tk(P92)) ) ))))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-12 (EF((EU( potential( (tk(P19)) <= (tk(P73)) ),potential( ( 2 ) <= (tk(P11)) ) ))))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-13 (AF(( (AF(potential( ( 3 ) <= (tk(P68)) ))) & (EG( potential( (tk(P42)) <= (tk(P112)) ))) )))
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-14 ( (AF((AX( potential( ( 3 ) <= (tk(P40)) ))))) | ( ( (EF(potential( (tk(P92)) <= (tk(P6)) ))) & potential( ( 3 ) <= (tk(P75)) ) ) | (EG( potential( ( 3 ) <= (tk(P87)) ))) ) )
PROPERTY: ShieldPPPs-PT-004A-CTLCardinality-15 ( ( (AG( ( potential( (tk(P94)) <= (tk(P115)) ) | potential( (tk(P69)) <= (tk(P119)) ) ))) | potential( ( 1 ) <= (tk(P50)) ) ) & ( ( ( ( potential( ( 1 ) <= (tk(P78)) ) | potential( (tk(P115)) <= (tk(P59)) ) ) | ( potential( (tk(P121)) <= (tk(P5)) ) | potential( ( 3 ) <= (tk(P57)) ) ) ) & (EF(potential( ( 3 ) <= (tk(P3)) ))) ) | ( ( ( potential( (tk(P68)) <= (tk(P47)) ) & potential( (tk(P115)) <= (tk(P119)) ) ) & ( potential( ( 3 ) <= (tk(P86)) ) & potential( ( 1 ) <= (tk(P19)) ) ) ) | (AX( potential( (tk(P68)) <= (tk(P24)) ))) ) ) )

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="ShieldPPPs-PT-004A"
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 ShieldPPPs-PT-004A, 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-159033469500443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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