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-159033469000091.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 ShieldIIPs-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-159033469000091
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.9K May 14 00:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 00:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 17:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 17:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 07:39 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 34K 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 ShieldIIPs-PT-004A-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-004A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590435514088

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (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: 103 places, 99 transitions, 438 arcs.
AT ITER 0 NEW BEST:: SOT 6965 SOS 5440 HAS SOPS 5440 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.44
AT ITER 8 NEW BEST:: SOT 6965 SOS 5396 HAS SOPS 5396 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.396
AT ITER 13 NEW BEST:: SOT 6943 SOS 5381 HAS SOPS 5381 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.381
AT ITER 25 NEW BEST:: SOT 6924 SOS 5359 HAS SOPS 5359 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4595.359
AT ITER 27 NEW BEST:: SOT 6903 SOS 5263 HAS SOPS 5263 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.263
AT ITER 28 NEW BEST:: SOT 6889 SOS 5261 HAS SOPS 5261 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4544.261
AT ITER 31 NEW BEST:: SOT 6866 SOS 5167 HAS SOPS 5167 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.167
AT ITER 36 NEW BEST:: SOT 6864 SOS 5165 HAS SOPS 5165 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.165
AT ITER 44 NEW BEST:: SOT 6864 SOS 5161 HAS SOPS 5161 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4472.161
AT ITER 45 NEW BEST:: SOT 6845 SOS 5140 HAS SOPS 5140 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.14
AT ITER 46 NEW BEST:: SOT 6828 SOS 5122 HAS SOPS 5122 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4433.122
AT ITER 51 NEW BEST:: SOT 6779 SOS 5099 HAS SOPS 5099 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4410.099
AT ITER 52 NEW BEST:: SOT 6774 SOS 5083 HAS SOPS 5083 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4400.083
AT ITER 54 NEW BEST:: SOT 6768 SOS 5075 HAS SOPS 5075 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4392.075
AT ITER 60 NEW BEST:: SOT 6817 SOS 5025 HAS SOPS 5025 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4342.025
AT ITER 67 NEW BEST:: SOT 6761 SOS 4969 HAS SOPS 4969 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4285.969
AT ITER 70 NEW BEST:: SOT 6740 SOS 4937 HAS SOPS 4937 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4253.937
AT ITER 81 NEW BEST:: SOT 6739 SOS 4936 HAS SOPS 4936 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4252.936
AT ITER 82 NEW BEST:: SOT 6718 SOS 4847 HAS SOPS 4847 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4206.847
AT ITER 89 NEW BEST:: SOT 6680 SOS 4809 HAS SOPS 4809 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4168.809
AT ITER 94 NEW BEST:: SOT 6680 SOS 4798 HAS SOPS 4798 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.798
AT ITER 96 NEW BEST:: SOT 6695 SOS 4795 HAS SOPS 4795 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.795
AT ITER 100 NEW BEST:: SOT 6655 SOS 4751 HAS SOPS 4751 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4119.751
AT ITER 101 NEW BEST:: SOT 6598 SOS 4699 HAS SOPS 4699 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4040.699
AT ITER 108 NEW BEST:: SOT 6586 SOS 4655 HAS SOPS 4655 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4024.655
AT ITER 109 NEW BEST:: SOT 6598 SOS 4652 HAS SOPS 4652 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4021.652
AT ITER 110 NEW BEST:: SOT 6520 SOS 4576 HAS SOPS 4576 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3949.576
AT ITER 111 NEW BEST:: SOT 6494 SOS 4535 HAS SOPS 4535 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.535
AT ITER 115 NEW BEST:: SOT 6487 SOS 4521 HAS SOPS 4521 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.521
AT ITER 118 NEW BEST:: SOT 6494 SOS 4506 HAS SOPS 4506 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.506
AT ITER 126 NEW BEST:: SOT 6493 SOS 4496 HAS SOPS 4496 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.496
AT ITER 127 NEW BEST:: SOT 6493 SOS 4503 HAS SOPS 4503 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.503
AT ITER 132 NEW BEST:: SOT 6466 SOS 4499 HAS SOPS 4499 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.499
AT ITER 143 NEW BEST:: SOT 6444 SOS 4477 HAS SOPS 4477 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3816.477
AT ITER 145 NEW BEST:: SOT 6429 SOS 4462 HAS SOPS 4462 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3801.462
AT ITER 149 NEW BEST:: SOT 6419 SOS 4452 HAS SOPS 4452 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.452
AT ITER 152 NEW BEST:: SOT 6419 SOS 4427 HAS SOPS 4427 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3786.427
AT ITER 155 NEW BEST:: SOT 6417 SOS 4415 HAS SOPS 4415 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3774.415
AT ITER 158 NEW BEST:: SOT 6397 SOS 4395 HAS SOPS 4395 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.395
AT ITER 167 NEW BEST:: SOT 6432 SOS 4408 HAS SOPS 4408 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.408
AT ITER 170 NEW BEST:: SOT 6432 SOS 4390 HAS SOPS 4390 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3689.39
AT ITER 179 NEW BEST:: SOT 6424 SOS 4382 HAS SOPS 4382 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.382
AT ITER 192 NEW BEST:: SOT 6439 SOS 4374 HAS SOPS 4374 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3670.374
AT ITER 193 NEW BEST:: SOT 6375 SOS 4288 HAS SOPS 4288 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.288
AT ITER 194 NEW BEST:: SOT 6362 SOS 4271 HAS SOPS 4271 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.271
AT ITER 198 NEW BEST:: SOT 6374 SOS 4285 HAS SOPS 4285 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.285
AT ITER 203 NEW BEST:: SOT 6372 SOS 4283 HAS SOPS 4283 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.283
AT ITER 206 NEW BEST:: SOT 6377 SOS 4288 HAS SOPS 4288 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3550.288
AT ITER 210 NEW BEST:: SOT 6351 SOS 4216 HAS SOPS 4216 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.216
AT ITER 214 NEW BEST:: SOT 6364 SOS 4235 HAS SOPS 4235 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3406.235
AT ITER 232 NEW BEST:: SOT 6362 SOS 4224 HAS SOPS 4224 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3403.224
AT ITER 238 NEW BEST:: SOT 6362 SOS 4222 HAS SOPS 4222 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.222
AT ITER 251 NEW BEST:: SOT 6350 SOS 4218 HAS SOPS 4218 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3399.218
AT ITER 253 NEW BEST:: SOT 6346 SOS 4210 HAS SOPS 4210 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3395.21
AT ITER 264 NEW BEST:: SOT 6346 SOS 4210 HAS SOPS 4210 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3394.21
AT ITER 270 NEW BEST:: SOT 6346 SOS 4186 HAS SOPS 4186 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.186
AT ITER 275 NEW BEST:: SOT 6343 SOS 4183 HAS SOPS 4183 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3379.183
AT ITER 280 NEW BEST:: SOT 6339 SOS 4179 HAS SOPS 4179 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3375.179
AT ITER 284 NEW BEST:: SOT 6339 SOS 4167 HAS SOPS 4167 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3363.167
AT ITER 294 NEW BEST:: SOT 6301 SOS 4059 HAS SOPS 4059 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.059
AT ITER 309 NEW BEST:: SOT 6304 SOS 4056 HAS SOPS 4056 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3288.056
AT ITER 311 NEW BEST:: SOT 6304 SOS 3995 HAS SOPS 3995 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.995
AT ITER 312 NEW BEST:: SOT 6303 SOS 3994 HAS SOPS 3994 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.994
AT ITER 341 NEW BEST:: SOT 6322 SOS 3968 HAS SOPS 3968 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.968
AT ITER 347 NEW BEST:: SOT 6329 SOS 3968 HAS SOPS 3968 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.968
AT ITER 353 NEW BEST:: SOT 6329 SOS 3954 HAS SOPS 3954 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3233.954
AT ITER 359 NEW BEST:: SOT 6337 SOS 3933 HAS SOPS 3933 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.933
AT ITER 383 NEW BEST:: SOT 6337 SOS 3931 HAS SOPS 3931 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.931
AT ITER 391 NEW BEST:: SOT 6322 SOS 3893 HAS SOPS 3893 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3097.893
AT ITER 401 NEW BEST:: SOT 6324 SOS 3879 HAS SOPS 3879 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.879
AT ITER 407 NEW BEST:: SOT 6324 SOS 3863 HAS SOPS 3863 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.863
AT ITER 409 NEW BEST:: SOT 6352 SOS 3860 HAS SOPS 3860 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.86
AT ITER 412 NEW BEST:: SOT 6352 SOS 3859 HAS SOPS 3859 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.859
AT ITER 414 NEW BEST:: SOT 6350 SOS 3856 HAS SOPS 3856 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3073.856
AT ITER 415 NEW BEST:: SOT 6349 SOS 3852 HAS SOPS 3852 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.852
AT ITER 421 NEW BEST:: SOT 6368 SOS 3903 HAS SOPS 3903 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3061.903
AT ITER 424 NEW BEST:: SOT 6359 SOS 3898 HAS SOPS 3898 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.898
AT ITER 432 NEW BEST:: SOT 6341 SOS 3862 HAS SOPS 3862 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.862
AT ITER 434 NEW BEST:: SOT 6351 SOS 3832 HAS SOPS 3832 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.832
AT ITER 436 NEW BEST:: SOT 6351 SOS 3829 HAS SOPS 3829 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2968.829
AT ITER 438 NEW BEST:: SOT 6350 SOS 3828 HAS SOPS 3828 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.828
AT ITER 439 NEW BEST:: SOT 6346 SOS 3824 HAS SOPS 3824 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.824
AT ITER 450 NEW BEST:: SOT 6331 SOS 3800 HAS SOPS 3800 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.8
AT ITER 451 NEW BEST:: SOT 6256 SOS 3704 HAS SOPS 3704 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2843.704
AT ITER 463 NEW BEST:: SOT 6254 SOS 3691 HAS SOPS 3691 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2830.691
AT ITER 475 NEW BEST:: SOT 6251 SOS 3688 HAS SOPS 3688 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.688
AT ITER 504 NEW BEST:: SOT 6251 SOS 3682 HAS SOPS 3682 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.682
AT ITER 519 NEW BEST:: SOT 6248 SOS 3679 HAS SOPS 3679 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.679
AT ITER 530 NEW BEST:: SOT 6286 SOS 3705 HAS SOPS 3705 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.705
AT ITER 532 NEW BEST:: SOT 6140 SOS 3569 HAS SOPS 3569 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2712.569
AT ITER 546 NEW BEST:: SOT 6133 SOS 3562 HAS SOPS 3562 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.562
AT ITER 550 NEW BEST:: SOT 6099 SOS 3510 HAS SOPS 3510 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2697.51
AT ITER 553 NEW BEST:: SOT 6092 SOS 3499 HAS SOPS 3499 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.499
AT ITER 566 NEW BEST:: SOT 6088 SOS 3497 HAS SOPS 3497 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.497
AT ITER 568 NEW BEST:: SOT 6099 SOS 3486 HAS SOPS 3486 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.486
AT ITER 573 NEW BEST:: SOT 6090 SOS 3477 HAS SOPS 3477 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2638.477
AT ITER 579 NEW BEST:: SOT 6091 SOS 3463 HAS SOPS 3463 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.463
AT ITER 581 NEW BEST:: SOT 6075 SOS 3443 HAS SOPS 3443 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.443
AT ITER 589 NEW BEST:: SOT 6070 SOS 3438 HAS SOPS 3438 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.438
AT ITER 594 NEW BEST:: SOT 6070 SOS 3417 HAS SOPS 3417 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2606.417
AT ITER 604 NEW BEST:: SOT 6069 SOS 3415 HAS SOPS 3415 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2603.415
AT ITER 614 NEW BEST:: SOT 6069 SOS 3408 HAS SOPS 3408 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2603.408
AT ITER 644 NEW BEST:: SOT 6066 SOS 3404 HAS SOPS 3404 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2599.404
AT ITER 645 NEW BEST:: SOT 6062 SOS 3400 HAS SOPS 3400 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2599.4
AT ITER 646 NEW BEST:: SOT 6064 SOS 3403 HAS SOPS 3403 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.403
AT ITER 648 NEW BEST:: SOT 6073 SOS 3371 HAS SOPS 3371 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.371
AT ITER 663 NEW BEST:: SOT 6073 SOS 3369 HAS SOPS 3369 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.369
AT ITER 667 NEW BEST:: SOT 6069 SOS 3364 HAS SOPS 3364 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2587.364
AT ITER 671 NEW BEST:: SOT 6063 SOS 3350 HAS SOPS 3350 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2567.35
AT ITER 677 NEW BEST:: SOT 6058 SOS 3345 HAS SOPS 3345 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2562.345
AT ITER 692 NEW BEST:: SOT 6058 SOS 3340 HAS SOPS 3340 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2549.34
AT ITER 698 NEW BEST:: SOT 6044 SOS 3306 HAS SOPS 3306 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2515.306
AT ITER 717 NEW BEST:: SOT 6044 SOS 3303 HAS SOPS 3303 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2514.303
AT ITER 743 NEW BEST:: SOT 6072 SOS 3300 HAS SOPS 3300 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2502.3
AT ITER 755 NEW BEST:: SOT 6060 SOS 3297 HAS SOPS 3297 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2502.297
AT ITER 772 NEW BEST:: SOT 6024 SOS 3288 HAS SOPS 3288 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2482.288
AT ITER 782 NEW BEST:: SOT 6024 SOS 3285 HAS SOPS 3285 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2479.285
AT ITER 787 NEW BEST:: SOT 6024 SOS 3273 HAS SOPS 3273 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2472.273
AT ITER 798 NEW BEST:: SOT 6021 SOS 3262 HAS SOPS 3262 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.262
AT ITER 808 NEW BEST:: SOT 6023 SOS 3264 HAS SOPS 3264 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2460.264
AT ITER 823 NEW BEST:: SOT 6018 SOS 3259 HAS SOPS 3259 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2456.259
AT ITER 842 NEW BEST:: SOT 6022 SOS 3261 HAS SOPS 3261 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.261
AT ITER 866 NEW BEST:: SOT 6021 SOS 3258 HAS SOPS 3258 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2438.258
AT ITER 867 NEW BEST:: SOT 6011 SOS 3248 HAS SOPS 3248 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2434.248
AT ITER 874 NEW BEST:: SOT 6011 SOS 3246 HAS SOPS 3246 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2429.246
AT ITER 883 NEW BEST:: SOT 6009 SOS 3244 HAS SOPS 3244 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2427.244
AT ITER 908 NEW BEST:: SOT 6005 SOS 3232 HAS SOPS 3232 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2415.232
AT ITER 910 NEW BEST:: SOT 6006 SOS 3231 HAS SOPS 3231 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2414.231
AT ITER 923 NEW BEST:: SOT 5992 SOS 3217 HAS SOPS 3217 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2400.217
AT ITER 943 NEW BEST:: SOT 5989 SOS 3195 HAS SOPS 3195 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.195
AT ITER 954 NEW BEST:: SOT 5982 SOS 3095 HAS SOPS 3095 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.095
AT ITER 961 NEW BEST:: SOT 5996 SOS 3107 HAS SOPS 3107 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2381.107
AT ITER 974 NEW BEST:: SOT 6013 SOS 3124 HAS SOPS 3124 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.124
AT ITER 977 NEW BEST:: SOT 6010 SOS 3098 HAS SOPS 3098 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2344.098
AT ITER 992 NEW BEST:: SOT 5981 SOS 3072 HAS SOPS 3072 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.072
AT ITER 1007 NEW BEST:: SOT 5981 SOS 3066 HAS SOPS 3066 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.066
AT ITER 1023 NEW BEST:: SOT 5979 SOS 3064 HAS SOPS 3064 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.064
AT ITER 1032 NEW BEST:: SOT 5982 SOS 3040 HAS SOPS 3040 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2300.04
AT ITER 1059 NEW BEST:: SOT 5983 SOS 3029 HAS SOPS 3029 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2291.029
AT ITER 1072 NEW BEST:: SOT 5982 SOS 3026 HAS SOPS 3026 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2291.026
AT ITER 1092 NEW BEST:: SOT 5953 SOS 3008 HAS SOPS 3008 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2286.008
AT ITER 1099 NEW BEST:: SOT 5949 SOS 2996 HAS SOPS 2996 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2281.996
AT ITER 1118 NEW BEST:: SOT 5946 SOS 2983 HAS SOPS 2983 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.983
AT ITER 1156 NEW BEST:: SOT 5945 SOS 2971 HAS SOPS 2971 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.971
AT ITER 1168 NEW BEST:: SOT 5943 SOS 2967 HAS SOPS 2967 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.967
AT ITER 1174 NEW BEST:: SOT 5943 SOS 2962 HAS SOPS 2962 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.962
AT ITER 1200 NEW BEST:: SOT 5941 SOS 2956 HAS SOPS 2956 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.956
AT ITER 1202 NEW BEST:: SOT 5925 SOS 2942 HAS SOPS 2942 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.942
AT ITER 1208 NEW BEST:: SOT 5927 SOS 2942 HAS SOPS 2942 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.942
AT ITER 1222 NEW BEST:: SOT 5922 SOS 2935 HAS SOPS 2935 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.935
AT ITER 1231 NEW BEST:: SOT 5921 SOS 2934 HAS SOPS 2934 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.934
AT ITER 1282 NEW BEST:: SOT 5921 SOS 2933 HAS SOPS 2933 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.933
AT ITER 1307 NEW BEST:: SOT 5907 SOS 2927 HAS SOPS 2927 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.927
AT ITER 1310 NEW BEST:: SOT 5907 SOS 2917 HAS SOPS 2917 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.917
AT ITER 1315 NEW BEST:: SOT 5907 SOS 2917 HAS SOPS 2917 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.917
AT ITER 1329 NEW BEST:: SOT 5906 SOS 2909 HAS SOPS 2909 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2215.909
AT ITER 1346 NEW BEST:: SOT 5905 SOS 2914 HAS SOPS 2914 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.914
AT ITER 1348 NEW BEST:: SOT 5905 SOS 2913 HAS SOPS 2913 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.913
AT ITER 1350 NEW BEST:: SOT 5904 SOS 2911 HAS SOPS 2911 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.911
AT ITER 1355 NEW BEST:: SOT 5904 SOS 2914 HAS SOPS 2914 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2208.914
AT ITER 1360 NEW BEST:: SOT 5859 SOS 2838 HAS SOPS 2838 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2166.838
AT ITER 1361 NEW BEST:: SOT 5861 SOS 2832 HAS SOPS 2832 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.832
AT ITER 1367 NEW BEST:: SOT 5861 SOS 2828 HAS SOPS 2828 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.828
AT ITER 1384 NEW BEST:: SOT 5854 SOS 2821 HAS SOPS 2821 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.821
AT ITER 1402 NEW BEST:: SOT 5844 SOS 2811 HAS SOPS 2811 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.811
AT ITER 1422 NEW BEST:: SOT 5852 SOS 2809 HAS SOPS 2809 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.809
AT ITER 1437 NEW BEST:: SOT 5851 SOS 2806 HAS SOPS 2806 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.806
AT ITER 1438 NEW BEST:: SOT 5848 SOS 2802 HAS SOPS 2802 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.802
AT ITER 1452 NEW BEST:: SOT 5839 SOS 2790 HAS SOPS 2790 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.79
AT ITER 1475 NEW BEST:: SOT 5839 SOS 2788 HAS SOPS 2788 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.788
AT ITER 1511 NEW BEST:: SOT 5838 SOS 2786 HAS SOPS 2786 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2104.786
AT ITER 1523 NEW BEST:: SOT 5836 SOS 2784 HAS SOPS 2784 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.784
AT ITER 1524 NEW BEST:: SOT 5835 SOS 2775 HAS SOPS 2775 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.775
AT ITER 1542 NEW BEST:: SOT 5829 SOS 2741 HAS SOPS 2741 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.741
AT ITER 1545 NEW BEST:: SOT 5829 SOS 2737 HAS SOPS 2737 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2035.737
AT ITER 1551 NEW BEST:: SOT 5819 SOS 2740 HAS SOPS 2740 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.74
AT ITER 1561 NEW BEST:: SOT 5817 SOS 2738 HAS SOPS 2738 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.738
AT ITER 1580 NEW BEST:: SOT 5808 SOS 2732 HAS SOPS 2732 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.732
AT ITER 1581 NEW BEST:: SOT 5817 SOS 2734 HAS SOPS 2734 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.734
AT ITER 1592 NEW BEST:: SOT 5791 SOS 2708 HAS SOPS 2708 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.708
AT ITER 1598 NEW BEST:: SOT 5789 SOS 2700 HAS SOPS 2700 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.7
AT ITER 1672 NEW BEST:: SOT 5789 SOS 2700 HAS SOPS 2700 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1973.7
AT ITER 1674 NEW BEST:: SOT 5788 SOS 2699 HAS SOPS 2699 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.699
AT ITER 1689 NEW BEST:: SOT 5786 SOS 2692 HAS SOPS 2692 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.692
AT ITER 1716 NEW BEST:: SOT 5794 SOS 2619 HAS SOPS 2619 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.619
AT ITER 1731 NEW BEST:: SOT 5790 SOS 2615 HAS SOPS 2615 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1926.615
AT ITER 1736 NEW BEST:: SOT 5788 SOS 2601 HAS SOPS 2601 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.601
AT ITER 1743 NEW BEST:: SOT 5806 SOS 2574 HAS SOPS 2574 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.574
AT ITER 1744 NEW BEST:: SOT 5777 SOS 2545 HAS SOPS 2545 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.545
AT ITER 1750 NEW BEST:: SOT 5757 SOS 2525 HAS SOPS 2525 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.525
AT ITER 1764 NEW BEST:: SOT 5754 SOS 2520 HAS SOPS 2520 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.52
AT ITER 1813 NEW BEST:: SOT 5754 SOS 2510 HAS SOPS 2510 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.51
AT ITER 1819 NEW BEST:: SOT 5762 SOS 2510 HAS SOPS 2510 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.51
AT ITER 1820 NEW BEST:: SOT 5760 SOS 2509 HAS SOPS 2509 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.509
AT ITER 1832 NEW BEST:: SOT 5747 SOS 2496 HAS SOPS 2496 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.496
AT ITER 1858 NEW BEST:: SOT 5742 SOS 2495 HAS SOPS 2495 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1829.495
AT ITER 1867 NEW BEST:: SOT 5732 SOS 2456 HAS SOPS 2456 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.456
AT ITER 1931 NEW BEST:: SOT 5730 SOS 2452 HAS SOPS 2452 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.452
AT ITER 1956 NEW BEST:: SOT 5730 SOS 2448 HAS SOPS 2448 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.448
AT ITER 1960 NEW BEST:: SOT 5726 SOS 2444 HAS SOPS 2444 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.444
AT ITER 1965 NEW BEST:: SOT 5726 SOS 2443 HAS SOPS 2443 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.443
AT ITER 1998 NEW BEST:: SOT 5699 SOS 2414 HAS SOPS 2414 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1813.414
AT ITER 2002 NEW BEST:: SOT 5693 SOS 2399 HAS SOPS 2399 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.399
AT ITER 2016 NEW BEST:: SOT 5694 SOS 2352 HAS SOPS 2352 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.352
AT ITER 2041 NEW BEST:: SOT 5691 SOS 2348 HAS SOPS 2348 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1792.348
AT ITER 2045 NEW BEST:: SOT 5702 SOS 2350 HAS SOPS 2350 HAS SOUS 1788 HAS SOUPS 1788 WITH SCORE 1790.35
AT ITER 2053 NEW BEST:: SOT 5690 SOS 2339 HAS SOPS 2339 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.339
AT ITER 2055 NEW BEST:: SOT 5677 SOS 2242 HAS SOPS 2242 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1768.242
AT ITER 2125 NEW BEST:: SOT 5676 SOS 2241 HAS SOPS 2241 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.241
AT ITER 2129 NEW BEST:: SOT 5668 SOS 2226 HAS SOPS 2226 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.226
AT ITER 2167 NEW BEST:: SOT 5649 SOS 2197 HAS SOPS 2197 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1729.197
AT ITER 2171 NEW BEST:: SOT 5640 SOS 2192 HAS SOPS 2192 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1724.192
AT ITER 2187 NEW BEST:: SOT 5632 SOS 2188 HAS SOPS 2188 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1724.188
AT ITER 2198 NEW BEST:: SOT 5634 SOS 2200 HAS SOPS 2200 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1722.2
AT ITER 2221 NEW BEST:: SOT 5638 SOS 2192 HAS SOPS 2192 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1722.192
AT ITER 2265 NEW BEST:: SOT 5633 SOS 2185 HAS SOPS 2185 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.185
AT ITER 2287 NEW BEST:: SOT 5632 SOS 2183 HAS SOPS 2183 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1714.183
AT ITER 2311 NEW BEST:: SOT 5629 SOS 2167 HAS SOPS 2167 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.167
AT ITER 2396 NEW BEST:: SOT 5627 SOS 2157 HAS SOPS 2157 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.157
AT ITER 2410 NEW BEST:: SOT 5625 SOS 2155 HAS SOPS 2155 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.155
AT ITER 2455 NEW BEST:: SOT 5630 SOS 2164 HAS SOPS 2164 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1704.164
AT ITER 2545 NEW BEST:: SOT 5623 SOS 2145 HAS SOPS 2145 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1688.145
AT ITER 2560 NEW BEST:: SOT 5614 SOS 2136 HAS SOPS 2136 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1681.136
AT ITER 2564 NEW BEST:: SOT 5612 SOS 2134 HAS SOPS 2134 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1679.134
AT ITER 2580 NEW BEST:: SOT 5608 SOS 2133 HAS SOPS 2133 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.133
AT ITER 2590 NEW BEST:: SOT 5608 SOS 2136 HAS SOPS 2136 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.136
AT ITER 2605 NEW BEST:: SOT 5598 SOS 2118 HAS SOPS 2118 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1657.118
AT ITER 2657 NEW BEST:: SOT 5596 SOS 2116 HAS SOPS 2116 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1655.116
AT ITER 2668 NEW BEST:: SOT 5587 SOS 2104 HAS SOPS 2104 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.104
AT ITER 2673 NEW BEST:: SOT 5586 SOS 2101 HAS SOPS 2101 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.101
AT ITER 2709 NEW BEST:: SOT 5582 SOS 2089 HAS SOPS 2089 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.089
AT ITER 2727 NEW BEST:: SOT 5579 SOS 2086 HAS SOPS 2086 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.086
AT ITER 2738 NEW BEST:: SOT 5577 SOS 2085 HAS SOPS 2085 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.085
AT ITER 2806 NEW BEST:: SOT 5575 SOS 2073 HAS SOPS 2073 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.073
AT ITER 2835 NEW BEST:: SOT 5580 SOS 2075 HAS SOPS 2075 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.075
AT ITER 2859 NEW BEST:: SOT 5571 SOS 2060 HAS SOPS 2060 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1618.06
AT ITER 2875 NEW BEST:: SOT 5561 SOS 2050 HAS SOPS 2050 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.05
AT ITER 2897 NEW BEST:: SOT 5561 SOS 2049 HAS SOPS 2049 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.049
AT ITER 2910 NEW BEST:: SOT 5561 SOS 2049 HAS SOPS 2049 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1602.049
AT ITER 2940 NEW BEST:: SOT 5561 SOS 2047 HAS SOPS 2047 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.047
AT ITER 2945 NEW BEST:: SOT 5561 SOS 2046 HAS SOPS 2046 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.046
AT ITER 2991 NEW BEST:: SOT 5560 SOS 2045 HAS SOPS 2045 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.045
AT ITER 2999 NEW BEST:: SOT 5556 SOS 2028 HAS SOPS 2028 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1581.028
AT ITER 3007 NEW BEST:: SOT 5560 SOS 2027 HAS SOPS 2027 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.027
AT ITER 3053 NEW BEST:: SOT 5559 SOS 2026 HAS SOPS 2026 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1579.026
AT ITER 3072 NEW BEST:: SOT 5556 SOS 2019 HAS SOPS 2019 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1574.019
AT ITER 3074 NEW BEST:: SOT 5550 SOS 2013 HAS SOPS 2013 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.013
AT ITER 3077 NEW BEST:: SOT 5547 SOS 2011 HAS SOPS 2011 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.011
AT ITER 3120 NEW BEST:: SOT 5542 SOS 2006 HAS SOPS 2006 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1566.006
AT ITER 3171 NEW BEST:: SOT 5545 SOS 2001 HAS SOPS 2001 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1558.001
AT ITER 3187 NEW BEST:: SOT 5542 SOS 1998 HAS SOPS 1998 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.998
AT ITER 3242 NEW BEST:: SOT 5542 SOS 1985 HAS SOPS 1985 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.985
AT ITER 3348 NEW BEST:: SOT 5541 SOS 1983 HAS SOPS 1983 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.983
AT ITER 3380 NEW BEST:: SOT 5545 SOS 1987 HAS SOPS 1987 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1543.987
AT ITER 3528 NEW BEST:: SOT 5545 SOS 1985 HAS SOPS 1985 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1543.985
AT ITER 3603 NEW BEST:: SOT 5544 SOS 1980 HAS SOPS 1980 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1538.98
AT ITER 3648 NEW BEST:: SOT 5541 SOS 1978 HAS SOPS 1978 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1536.978
AT ITER 3681 NEW BEST:: SOT 5541 SOS 1976 HAS SOPS 1976 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1534.976
AT ITER 3702 NEW BEST:: SOT 5539 SOS 1974 HAS SOPS 1974 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1533.974
AT ITER 3765 NEW BEST:: SOT 5538 SOS 1972 HAS SOPS 1972 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1527.972
AT ITER 3766 NEW BEST:: SOT 5536 SOS 1943 HAS SOPS 1943 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.943
AT ITER 3788 NEW BEST:: SOT 5535 SOS 1942 HAS SOPS 1942 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1519.942
AT ITER 3946 NEW BEST:: SOT 5534 SOS 1941 HAS SOPS 1941 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1518.941
AT ITER 3970 NEW BEST:: SOT 5531 SOS 1931 HAS SOPS 1931 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1511.931
AT ITER 4055 NEW BEST:: SOT 5529 SOS 1927 HAS SOPS 1927 HAS SOUS 1506 HAS SOUPS 1506 WITH SCORE 1507.927
AT ITER 4125 NEW BEST:: SOT 5528 SOS 1926 HAS SOPS 1926 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1506.926
AT ITER 4170 NEW BEST:: SOT 5525 SOS 1919 HAS SOPS 1919 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.919
AT ITER 4176 NEW BEST:: SOT 5526 SOS 1920 HAS SOPS 1920 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1500.92
AT ITER 4230 NEW BEST:: SOT 5525 SOS 1919 HAS SOPS 1919 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.919
AT ITER 4248 NEW BEST:: SOT 5525 SOS 1918 HAS SOPS 1918 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1498.918
AT ITER 4281 NEW BEST:: SOT 5525 SOS 1912 HAS SOPS 1912 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.912
AT ITER 4311 NEW BEST:: SOT 5531 SOS 1910 HAS SOPS 1910 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.91
AT ITER 4361 NEW BEST:: SOT 5523 SOS 1904 HAS SOPS 1904 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1494.904
AT ITER 4429 NEW BEST:: SOT 5519 SOS 1894 HAS SOPS 1894 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.894
AT ITER 4618 NEW BEST:: SOT 5519 SOS 1908 HAS SOPS 1908 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1485.908
AT ITER 4830 NEW BEST:: SOT 5517 SOS 1906 HAS SOPS 1906 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1483.906
AT ITER 4833 NEW BEST:: SOT 5517 SOS 1904 HAS SOPS 1904 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1481.904
AT ITER 4834 NEW BEST:: SOT 5518 SOS 1903 HAS SOPS 1903 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1480.903
AT ITER 4836 NEW BEST:: SOT 5516 SOS 1899 HAS SOPS 1899 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1477.899
AT ITER 4908 NEW BEST:: SOT 5514 SOS 1897 HAS SOPS 1897 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1475.897
AT ITER 4925 NEW BEST:: SOT 5519 SOS 1896 HAS SOPS 1896 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1474.896
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-00 (EG( ( ( ( potential( (tk(P30)) <= (tk(P80)) ) & potential( (tk(P102)) <= (tk(P42)) ) ) | ( potential( ( 2 ) <= (tk(P33)) ) | potential( (tk(P30)) <= (tk(P12)) ) ) ) | ( ( potential( ( 3 ) <= (tk(P86)) ) | potential( ( 1 ) <= (tk(P48)) ) ) | potential( (tk(P38)) <= (tk(P73)) ) ) )))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-01 (EU( (! ( potential( (tk(P81)) <= (tk(P9)) ) & potential( (tk(P52)) <= (tk(P71)) ) )),(AF(potential( ( 2 ) <= (tk(P15)) ))) ))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-02 (EF(( (! potential( ( 2 ) <= (tk(P9)) )) & (AG( potential( ( 1 ) <= (tk(P8)) ))) )))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-03 ( (AG( (AF(potential( ( 3 ) <= (tk(P102)) ))))) & (EF(( ( potential( (tk(P37)) <= (tk(P40)) ) & potential( ( 3 ) <= (tk(P25)) ) ) & ( potential( ( 3 ) <= (tk(P82)) ) | potential( (tk(P38)) <= (tk(P57)) ) ) ))) )
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-04 (EF((AX( ( potential( (tk(P31)) <= (tk(P42)) ) & potential( ( 2 ) <= (tk(P93)) ) )))))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-05 ( ( ( potential( (tk(P80)) <= (tk(P5)) ) & (EF(potential( (tk(P71)) <= (tk(P58)) ))) ) & (EG( ( potential( (tk(P21)) <= (tk(P92)) ) | potential( ( 2 ) <= (tk(P91)) ) ))) ) & (! ( potential( ( 1 ) <= (tk(P49)) ) & ( ( potential( (tk(P75)) <= (tk(P33)) ) & potential( (tk(P78)) <= (tk(P102)) ) ) | potential( (tk(P92)) <= (tk(P82)) ) ) )) )
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-06 (AF(( (EF(potential( ( 1 ) <= (tk(P69)) ))) & potential( ( 3 ) <= (tk(P98)) ) )))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-07 (! (AF((AG( potential( (tk(P65)) <= (tk(P76)) ))))))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-08 (EG( potential( (tk(P52)) <= (tk(P17)) )))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-09 ( (EF(potential( ( 3 ) <= (tk(P33)) ))) & ( (! (AG( potential( ( 3 ) <= (tk(P20)) )))) | ( ( ( potential( ( 1 ) <= (tk(P35)) ) & potential( ( 2 ) <= (tk(P98)) ) ) | potential( (tk(P96)) <= (tk(P4)) ) ) | ( ( potential( (tk(P96)) <= (tk(P23)) ) & potential( (tk(P59)) <= (tk(P45)) ) ) & ( potential( ( 3 ) <= (tk(P23)) ) | potential( ( 2 ) <= (tk(P81)) ) ) ) ) ) )
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-10 (AF(( ( ( potential( ( 2 ) <= (tk(P15)) ) & potential( ( 1 ) <= (tk(P1)) ) ) & ( potential( ( 3 ) <= (tk(P52)) ) | potential( ( 2 ) <= (tk(P102)) ) ) ) & (! ( potential( ( 1 ) <= (tk(P61)) ) & potential( (tk(P91)) <= (tk(P33)) ) )) )))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-11 ( potential( ( 3 ) <= (tk(P20)) ) | (AF(( ( potential( (tk(P13)) <= (tk(P22)) ) & potential( ( 1 ) <= (tk(P71)) ) ) & (! potential( ( 3 ) <= (tk(P57)) )) ))) )
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-12 (AF(( ( potential( ( 2 ) <= (tk(P70)) ) & ( potential( (tk(P54)) <= (tk(P76)) ) & potential( (tk(P19)) <= (tk(P19)) ) ) ) & potential( (tk(P96)) <= (tk(P27)) ) )))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-13 (AX( (AU( potential( (tk(P51)) <= (tk(P90)) ),potential( (tk(P93)) <= (tk(P12)) ) ))))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-14 (EU( (AX( potential( (tk(P67)) <= (tk(P100)) ))),potential( ( 3 ) <= (tk(P75)) ) ))
PROPERTY: ShieldIIPs-PT-004A-CTLCardinality-15 (AF(( ( ( potential( (tk(P10)) <= (tk(P46)) ) | potential( ( 3 ) <= (tk(P29)) ) ) | ( potential( ( 2 ) <= (tk(P84)) ) & potential( ( 3 ) <= (tk(P69)) ) ) ) & (EG( potential( (tk(P30)) <= (tk(P8)) ))) )))

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="ShieldIIPs-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 ShieldIIPs-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-159033469000091"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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