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-159033469800636.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 ShieldPPPt-PT-005A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800636
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.7K May 14 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 19:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:50 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 33K 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 ShieldPPPt-PT-005A-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-005A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590446637152

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 128 places, 93 transitions, 366 arcs.
AT ITER 0 NEW BEST:: SOT 9765 SOS 8121 HAS SOPS 8121 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.121
AT ITER 1 NEW BEST:: SOT 9765 SOS 8022 HAS SOPS 8022 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.022
AT ITER 3 NEW BEST:: SOT 9717 SOS 7982 HAS SOPS 7982 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.982
AT ITER 4 NEW BEST:: SOT 9717 SOS 7921 HAS SOPS 7921 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6590.921
AT ITER 6 NEW BEST:: SOT 9692 SOS 7906 HAS SOPS 7906 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.906
AT ITER 8 NEW BEST:: SOT 9658 SOS 7872 HAS SOPS 7872 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6556.872
AT ITER 9 NEW BEST:: SOT 9648 SOS 7862 HAS SOPS 7862 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.862
AT ITER 13 NEW BEST:: SOT 9648 SOS 7714 HAS SOPS 7714 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6545.714
AT ITER 14 NEW BEST:: SOT 9602 SOS 7693 HAS SOPS 7693 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.693
AT ITER 15 NEW BEST:: SOT 9454 SOS 7561 HAS SOPS 7561 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6400.561
AT ITER 16 NEW BEST:: SOT 9378 SOS 7485 HAS SOPS 7485 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6335.485
AT ITER 17 NEW BEST:: SOT 9322 SOS 7429 HAS SOPS 7429 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6278.429
AT ITER 18 NEW BEST:: SOT 9198 SOS 7305 HAS SOPS 7305 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6154.305
AT ITER 19 NEW BEST:: SOT 9120 SOS 7227 HAS SOPS 7227 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.227
AT ITER 20 NEW BEST:: SOT 9120 SOS 7109 HAS SOPS 7109 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6046.109
AT ITER 21 NEW BEST:: SOT 9101 SOS 7090 HAS SOPS 7090 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6025.09
AT ITER 23 NEW BEST:: SOT 9066 SOS 7064 HAS SOPS 7064 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6007.064
AT ITER 24 NEW BEST:: SOT 9014 SOS 7012 HAS SOPS 7012 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5982.012
AT ITER 25 NEW BEST:: SOT 8952 SOS 6950 HAS SOPS 6950 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5919.95
AT ITER 26 NEW BEST:: SOT 8938 SOS 6936 HAS SOPS 6936 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5905.936
AT ITER 29 NEW BEST:: SOT 8917 SOS 6909 HAS SOPS 6909 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5863.909
AT ITER 33 NEW BEST:: SOT 8904 SOS 6829 HAS SOPS 6829 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.829
AT ITER 34 NEW BEST:: SOT 8814 SOS 6801 HAS SOPS 6801 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5727.801
AT ITER 37 NEW BEST:: SOT 8797 SOS 6784 HAS SOPS 6784 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5710.784
AT ITER 43 NEW BEST:: SOT 8677 SOS 6664 HAS SOPS 6664 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5590.664
AT ITER 44 NEW BEST:: SOT 8656 SOS 6643 HAS SOPS 6643 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.643
AT ITER 45 NEW BEST:: SOT 8655 SOS 6642 HAS SOPS 6642 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5555.642
AT ITER 46 NEW BEST:: SOT 8574 SOS 6522 HAS SOPS 6522 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.522
AT ITER 48 NEW BEST:: SOT 8610 SOS 6278 HAS SOPS 6278 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5391.278
AT ITER 53 NEW BEST:: SOT 8585 SOS 6231 HAS SOPS 6231 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.231
AT ITER 55 NEW BEST:: SOT 8585 SOS 6214 HAS SOPS 6214 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.214
AT ITER 61 NEW BEST:: SOT 8585 SOS 6208 HAS SOPS 6208 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.208
AT ITER 63 NEW BEST:: SOT 8590 SOS 6202 HAS SOPS 6202 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.202
AT ITER 65 NEW BEST:: SOT 8556 SOS 6158 HAS SOPS 6158 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5289.158
AT ITER 67 NEW BEST:: SOT 8556 SOS 6140 HAS SOPS 6140 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.14
AT ITER 70 NEW BEST:: SOT 8539 SOS 6123 HAS SOPS 6123 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.123
AT ITER 71 NEW BEST:: SOT 8539 SOS 6057 HAS SOPS 6057 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.057
AT ITER 73 NEW BEST:: SOT 8527 SOS 6034 HAS SOPS 6034 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.034
AT ITER 74 NEW BEST:: SOT 8417 SOS 5819 HAS SOPS 5819 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.819
AT ITER 79 NEW BEST:: SOT 8382 SOS 5808 HAS SOPS 5808 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5037.808
AT ITER 83 NEW BEST:: SOT 8305 SOS 5731 HAS SOPS 5731 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.731
AT ITER 88 NEW BEST:: SOT 8305 SOS 5659 HAS SOPS 5659 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4937.659
AT ITER 89 NEW BEST:: SOT 8275 SOS 5629 HAS SOPS 5629 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4914.629
AT ITER 94 NEW BEST:: SOT 8275 SOS 5624 HAS SOPS 5624 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.624
AT ITER 100 NEW BEST:: SOT 8287 SOS 5636 HAS SOPS 5636 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4892.636
AT ITER 107 NEW BEST:: SOT 8285 SOS 5634 HAS SOPS 5634 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4890.634
AT ITER 108 NEW BEST:: SOT 8285 SOS 5625 HAS SOPS 5625 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4890.625
AT ITER 109 NEW BEST:: SOT 8229 SOS 5501 HAS SOPS 5501 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4821.501
AT ITER 111 NEW BEST:: SOT 8205 SOS 5468 HAS SOPS 5468 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.468
AT ITER 114 NEW BEST:: SOT 8194 SOS 5461 HAS SOPS 5461 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4777.461
AT ITER 116 NEW BEST:: SOT 8075 SOS 5174 HAS SOPS 5174 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.174
AT ITER 119 NEW BEST:: SOT 8059 SOS 5158 HAS SOPS 5158 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4586.158
AT ITER 122 NEW BEST:: SOT 8059 SOS 5155 HAS SOPS 5155 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.155
AT ITER 128 NEW BEST:: SOT 8051 SOS 5144 HAS SOPS 5144 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4571.144
AT ITER 133 NEW BEST:: SOT 8023 SOS 5116 HAS SOPS 5116 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.116
AT ITER 139 NEW BEST:: SOT 8016 SOS 5109 HAS SOPS 5109 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4535.109
AT ITER 141 NEW BEST:: SOT 8022 SOS 5094 HAS SOPS 5094 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.094
AT ITER 142 NEW BEST:: SOT 8053 SOS 5056 HAS SOPS 5056 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.056
AT ITER 146 NEW BEST:: SOT 8047 SOS 5032 HAS SOPS 5032 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.032
AT ITER 147 NEW BEST:: SOT 8043 SOS 5028 HAS SOPS 5028 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.028
AT ITER 152 NEW BEST:: SOT 8027 SOS 5004 HAS SOPS 5004 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.004
AT ITER 157 NEW BEST:: SOT 8026 SOS 4997 HAS SOPS 4997 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4446.997
AT ITER 162 NEW BEST:: SOT 8046 SOS 4945 HAS SOPS 4945 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4418.945
AT ITER 174 NEW BEST:: SOT 8043 SOS 4942 HAS SOPS 4942 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4415.942
AT ITER 177 NEW BEST:: SOT 8020 SOS 4957 HAS SOPS 4957 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4393.957
AT ITER 184 NEW BEST:: SOT 7988 SOS 4925 HAS SOPS 4925 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4361.925
AT ITER 188 NEW BEST:: SOT 7988 SOS 4900 HAS SOPS 4900 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4361.9
AT ITER 194 NEW BEST:: SOT 7991 SOS 4899 HAS SOPS 4899 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.899
AT ITER 195 NEW BEST:: SOT 7947 SOS 4753 HAS SOPS 4753 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4290.753
AT ITER 202 NEW BEST:: SOT 7914 SOS 4720 HAS SOPS 4720 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4257.72
AT ITER 203 NEW BEST:: SOT 7913 SOS 4692 HAS SOPS 4692 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4236.692
AT ITER 212 NEW BEST:: SOT 7903 SOS 4672 HAS SOPS 4672 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4216.672
AT ITER 213 NEW BEST:: SOT 7901 SOS 4670 HAS SOPS 4670 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4214.67
AT ITER 222 NEW BEST:: SOT 7901 SOS 4640 HAS SOPS 4640 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.64
AT ITER 225 NEW BEST:: SOT 7895 SOS 4634 HAS SOPS 4634 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.634
AT ITER 229 NEW BEST:: SOT 7868 SOS 4564 HAS SOPS 4564 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4127.564
AT ITER 236 NEW BEST:: SOT 7820 SOS 4507 HAS SOPS 4507 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4070.507
AT ITER 239 NEW BEST:: SOT 7808 SOS 4499 HAS SOPS 4499 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4046.499
AT ITER 243 NEW BEST:: SOT 7787 SOS 4470 HAS SOPS 4470 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.47
AT ITER 249 NEW BEST:: SOT 7771 SOS 4447 HAS SOPS 4447 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3979.447
AT ITER 254 NEW BEST:: SOT 7771 SOS 4444 HAS SOPS 4444 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3979.444
AT ITER 259 NEW BEST:: SOT 7771 SOS 4425 HAS SOPS 4425 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.425
AT ITER 261 NEW BEST:: SOT 7710 SOS 4421 HAS SOPS 4421 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.421
AT ITER 264 NEW BEST:: SOT 7692 SOS 4403 HAS SOPS 4403 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.403
AT ITER 266 NEW BEST:: SOT 7690 SOS 4398 HAS SOPS 4398 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.398
AT ITER 270 NEW BEST:: SOT 7654 SOS 4356 HAS SOPS 4356 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.356
AT ITER 271 NEW BEST:: SOT 7614 SOS 4235 HAS SOPS 4235 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3780.235
AT ITER 284 NEW BEST:: SOT 7604 SOS 4225 HAS SOPS 4225 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.225
AT ITER 287 NEW BEST:: SOT 7604 SOS 4213 HAS SOPS 4213 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.213
AT ITER 306 NEW BEST:: SOT 7582 SOS 4128 HAS SOPS 4128 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.128
AT ITER 317 NEW BEST:: SOT 7582 SOS 4126 HAS SOPS 4126 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3707.126
AT ITER 323 NEW BEST:: SOT 7562 SOS 4066 HAS SOPS 4066 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.066
AT ITER 338 NEW BEST:: SOT 7558 SOS 4060 HAS SOPS 4060 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3641.06
AT ITER 340 NEW BEST:: SOT 7555 SOS 4041 HAS SOPS 4041 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.041
AT ITER 345 NEW BEST:: SOT 7504 SOS 3975 HAS SOPS 3975 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3571.975
AT ITER 357 NEW BEST:: SOT 7504 SOS 3973 HAS SOPS 3973 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3571.973
AT ITER 358 NEW BEST:: SOT 7493 SOS 3949 HAS SOPS 3949 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3547.949
AT ITER 369 NEW BEST:: SOT 7468 SOS 3880 HAS SOPS 3880 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3481.88
AT ITER 379 NEW BEST:: SOT 7468 SOS 3879 HAS SOPS 3879 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3481.879
AT ITER 384 NEW BEST:: SOT 7468 SOS 3791 HAS SOPS 3791 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3479.791
AT ITER 391 NEW BEST:: SOT 7459 SOS 3779 HAS SOPS 3779 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3467.779
AT ITER 394 NEW BEST:: SOT 7459 SOS 3774 HAS SOPS 3774 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.774
AT ITER 395 NEW BEST:: SOT 7457 SOS 3770 HAS SOPS 3770 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3458.77
AT ITER 400 NEW BEST:: SOT 7459 SOS 3764 HAS SOPS 3764 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3413.764
AT ITER 401 NEW BEST:: SOT 7457 SOS 3762 HAS SOPS 3762 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.762
AT ITER 403 NEW BEST:: SOT 7453 SOS 3758 HAS SOPS 3758 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3407.758
AT ITER 406 NEW BEST:: SOT 7437 SOS 3739 HAS SOPS 3739 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3387.739
AT ITER 418 NEW BEST:: SOT 7423 SOS 3718 HAS SOPS 3718 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3366.718
AT ITER 419 NEW BEST:: SOT 7410 SOS 3718 HAS SOPS 3718 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.718
AT ITER 422 NEW BEST:: SOT 7390 SOS 3698 HAS SOPS 3698 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.698
AT ITER 424 NEW BEST:: SOT 7388 SOS 3696 HAS SOPS 3696 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.696
AT ITER 428 NEW BEST:: SOT 7388 SOS 3688 HAS SOPS 3688 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.688
AT ITER 432 NEW BEST:: SOT 7387 SOS 3669 HAS SOPS 3669 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.669
AT ITER 435 NEW BEST:: SOT 7383 SOS 3663 HAS SOPS 3663 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3316.663
AT ITER 450 NEW BEST:: SOT 7382 SOS 3612 HAS SOPS 3612 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.612
AT ITER 461 NEW BEST:: SOT 7381 SOS 3616 HAS SOPS 3616 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3312.616
AT ITER 462 NEW BEST:: SOT 7375 SOS 3614 HAS SOPS 3614 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.614
AT ITER 478 NEW BEST:: SOT 7375 SOS 3613 HAS SOPS 3613 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3306.613
AT ITER 497 NEW BEST:: SOT 7377 SOS 3612 HAS SOPS 3612 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3305.612
AT ITER 502 NEW BEST:: SOT 7355 SOS 3583 HAS SOPS 3583 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.583
AT ITER 505 NEW BEST:: SOT 7346 SOS 3562 HAS SOPS 3562 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.562
AT ITER 515 NEW BEST:: SOT 7337 SOS 3557 HAS SOPS 3557 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3266.557
AT ITER 517 NEW BEST:: SOT 7338 SOS 3552 HAS SOPS 3552 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.552
AT ITER 528 NEW BEST:: SOT 7338 SOS 3579 HAS SOPS 3579 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3259.579
AT ITER 535 NEW BEST:: SOT 7331 SOS 3543 HAS SOPS 3543 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.543
AT ITER 536 NEW BEST:: SOT 7340 SOS 3550 HAS SOPS 3550 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.55
AT ITER 537 NEW BEST:: SOT 7330 SOS 3530 HAS SOPS 3530 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3202.53
AT ITER 565 NEW BEST:: SOT 7330 SOS 3530 HAS SOPS 3530 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.53
AT ITER 572 NEW BEST:: SOT 7325 SOS 3525 HAS SOPS 3525 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.525
AT ITER 576 NEW BEST:: SOT 7327 SOS 3516 HAS SOPS 3516 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.516
AT ITER 577 NEW BEST:: SOT 7307 SOS 3477 HAS SOPS 3477 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.477
AT ITER 579 NEW BEST:: SOT 7316 SOS 3471 HAS SOPS 3471 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.471
AT ITER 583 NEW BEST:: SOT 7316 SOS 3470 HAS SOPS 3470 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.47
AT ITER 613 NEW BEST:: SOT 7309 SOS 3463 HAS SOPS 3463 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3145.463
AT ITER 632 NEW BEST:: SOT 7301 SOS 3451 HAS SOPS 3451 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.451
AT ITER 645 NEW BEST:: SOT 7299 SOS 3449 HAS SOPS 3449 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3135.449
AT ITER 650 NEW BEST:: SOT 7299 SOS 3437 HAS SOPS 3437 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3125.437
AT ITER 651 NEW BEST:: SOT 7281 SOS 3416 HAS SOPS 3416 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.416
AT ITER 670 NEW BEST:: SOT 7276 SOS 3411 HAS SOPS 3411 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.411
AT ITER 676 NEW BEST:: SOT 7279 SOS 3407 HAS SOPS 3407 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.407
AT ITER 683 NEW BEST:: SOT 7270 SOS 3389 HAS SOPS 3389 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.389
AT ITER 686 NEW BEST:: SOT 7220 SOS 3305 HAS SOPS 3305 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.305
AT ITER 703 NEW BEST:: SOT 7218 SOS 3295 HAS SOPS 3295 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2968.295
AT ITER 764 NEW BEST:: SOT 7222 SOS 3284 HAS SOPS 3284 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.284
AT ITER 822 NEW BEST:: SOT 7212 SOS 3267 HAS SOPS 3267 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2940.267
AT ITER 825 NEW BEST:: SOT 7212 SOS 3268 HAS SOPS 3268 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.268
AT ITER 836 NEW BEST:: SOT 7194 SOS 3250 HAS SOPS 3250 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2921.25
AT ITER 853 NEW BEST:: SOT 7194 SOS 3250 HAS SOPS 3250 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2920.25
AT ITER 863 NEW BEST:: SOT 7182 SOS 3238 HAS SOPS 3238 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2920.238
AT ITER 866 NEW BEST:: SOT 7179 SOS 3234 HAS SOPS 3234 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.234
AT ITER 873 NEW BEST:: SOT 7178 SOS 3225 HAS SOPS 3225 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.225
AT ITER 874 NEW BEST:: SOT 7175 SOS 3191 HAS SOPS 3191 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.191
AT ITER 878 NEW BEST:: SOT 7165 SOS 3182 HAS SOPS 3182 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.182
AT ITER 879 NEW BEST:: SOT 7159 SOS 3171 HAS SOPS 3171 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2891.171
AT ITER 889 NEW BEST:: SOT 7159 SOS 3167 HAS SOPS 3167 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2887.167
AT ITER 912 NEW BEST:: SOT 7144 SOS 3151 HAS SOPS 3151 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2872.151
AT ITER 928 NEW BEST:: SOT 7133 SOS 3140 HAS SOPS 3140 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.14
AT ITER 941 NEW BEST:: SOT 7131 SOS 3133 HAS SOPS 3133 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.133
AT ITER 952 NEW BEST:: SOT 7113 SOS 3115 HAS SOPS 3115 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.115
AT ITER 958 NEW BEST:: SOT 7107 SOS 3100 HAS SOPS 3100 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.1
AT ITER 972 NEW BEST:: SOT 7101 SOS 3098 HAS SOPS 3098 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.098
AT ITER 981 NEW BEST:: SOT 7087 SOS 3057 HAS SOPS 3057 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.057
AT ITER 1013 NEW BEST:: SOT 7084 SOS 3053 HAS SOPS 3053 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.053
AT ITER 1020 NEW BEST:: SOT 7083 SOS 3052 HAS SOPS 3052 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2779.052
AT ITER 1033 NEW BEST:: SOT 7067 SOS 3015 HAS SOPS 3015 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.015
AT ITER 1042 NEW BEST:: SOT 7062 SOS 3000 HAS SOPS 3000 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2724.0
AT ITER 1082 NEW BEST:: SOT 7062 SOS 2995 HAS SOPS 2995 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2718.995
AT ITER 1088 NEW BEST:: SOT 7057 SOS 2990 HAS SOPS 2990 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2708.99
AT ITER 1092 NEW BEST:: SOT 7055 SOS 2988 HAS SOPS 2988 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2706.988
AT ITER 1109 NEW BEST:: SOT 7054 SOS 2987 HAS SOPS 2987 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2705.987
AT ITER 1119 NEW BEST:: SOT 7052 SOS 2985 HAS SOPS 2985 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2703.985
AT ITER 1128 NEW BEST:: SOT 7038 SOS 2971 HAS SOPS 2971 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2689.971
AT ITER 1135 NEW BEST:: SOT 7033 SOS 2966 HAS SOPS 2966 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.966
AT ITER 1146 NEW BEST:: SOT 7011 SOS 2935 HAS SOPS 2935 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2653.935
AT ITER 1148 NEW BEST:: SOT 7007 SOS 2929 HAS SOPS 2929 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.929
AT ITER 1159 NEW BEST:: SOT 7007 SOS 2929 HAS SOPS 2929 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.929
AT ITER 1163 NEW BEST:: SOT 6997 SOS 2929 HAS SOPS 2929 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2644.929
AT ITER 1168 NEW BEST:: SOT 6992 SOS 2924 HAS SOPS 2924 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2639.924
AT ITER 1187 NEW BEST:: SOT 6991 SOS 2920 HAS SOPS 2920 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2635.92
AT ITER 1190 NEW BEST:: SOT 6991 SOS 2922 HAS SOPS 2922 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.922
AT ITER 1236 NEW BEST:: SOT 7012 SOS 2943 HAS SOPS 2943 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2624.943
AT ITER 1248 NEW BEST:: SOT 7010 SOS 2935 HAS SOPS 2935 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.935
AT ITER 1269 NEW BEST:: SOT 7009 SOS 2913 HAS SOPS 2913 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.913
AT ITER 1274 NEW BEST:: SOT 7007 SOS 2911 HAS SOPS 2911 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2613.911
AT ITER 1281 NEW BEST:: SOT 6980 SOS 2834 HAS SOPS 2834 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.834
AT ITER 1292 NEW BEST:: SOT 6976 SOS 2830 HAS SOPS 2830 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.83
AT ITER 1298 NEW BEST:: SOT 6976 SOS 2825 HAS SOPS 2825 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.825
AT ITER 1320 NEW BEST:: SOT 6972 SOS 2824 HAS SOPS 2824 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.824
AT ITER 1329 NEW BEST:: SOT 6972 SOS 2823 HAS SOPS 2823 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.823
AT ITER 1332 NEW BEST:: SOT 6967 SOS 2818 HAS SOPS 2818 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.818
AT ITER 1335 NEW BEST:: SOT 6967 SOS 2806 HAS SOPS 2806 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.806
AT ITER 1366 NEW BEST:: SOT 6969 SOS 2804 HAS SOPS 2804 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2525.804
AT ITER 1390 NEW BEST:: SOT 6968 SOS 2802 HAS SOPS 2802 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.802
AT ITER 1417 NEW BEST:: SOT 6967 SOS 2793 HAS SOPS 2793 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2514.793
AT ITER 1443 NEW BEST:: SOT 6966 SOS 2776 HAS SOPS 2776 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2510.776
AT ITER 1511 NEW BEST:: SOT 6966 SOS 2774 HAS SOPS 2774 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.774
AT ITER 1516 NEW BEST:: SOT 6962 SOS 2755 HAS SOPS 2755 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.755
AT ITER 1540 NEW BEST:: SOT 6962 SOS 2752 HAS SOPS 2752 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2493.752
AT ITER 1549 NEW BEST:: SOT 6961 SOS 2746 HAS SOPS 2746 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.746
AT ITER 1559 NEW BEST:: SOT 6948 SOS 2720 HAS SOPS 2720 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.72
AT ITER 1561 NEW BEST:: SOT 6940 SOS 2712 HAS SOPS 2712 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.712
AT ITER 1580 NEW BEST:: SOT 6936 SOS 2711 HAS SOPS 2711 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.711
AT ITER 1590 NEW BEST:: SOT 6925 SOS 2700 HAS SOPS 2700 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.7
AT ITER 1617 NEW BEST:: SOT 6925 SOS 2624 HAS SOPS 2624 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.624
AT ITER 1619 NEW BEST:: SOT 6920 SOS 2606 HAS SOPS 2606 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.606
AT ITER 1633 NEW BEST:: SOT 6920 SOS 2588 HAS SOPS 2588 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.588
AT ITER 1647 NEW BEST:: SOT 6920 SOS 2583 HAS SOPS 2583 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.583
AT ITER 1659 NEW BEST:: SOT 6917 SOS 2580 HAS SOPS 2580 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.58
AT ITER 1671 NEW BEST:: SOT 6917 SOS 2579 HAS SOPS 2579 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.579
AT ITER 1733 NEW BEST:: SOT 6913 SOS 2594 HAS SOPS 2594 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.594
AT ITER 1760 NEW BEST:: SOT 6913 SOS 2556 HAS SOPS 2556 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2358.556
AT ITER 1782 NEW BEST:: SOT 6909 SOS 2548 HAS SOPS 2548 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.548
AT ITER 1789 NEW BEST:: SOT 6901 SOS 2543 HAS SOPS 2543 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2345.543
AT ITER 1821 NEW BEST:: SOT 6890 SOS 2530 HAS SOPS 2530 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.53
AT ITER 1835 NEW BEST:: SOT 6889 SOS 2516 HAS SOPS 2516 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.516
AT ITER 1848 NEW BEST:: SOT 6887 SOS 2516 HAS SOPS 2516 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.516
AT ITER 1875 NEW BEST:: SOT 6885 SOS 2506 HAS SOPS 2506 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.506
AT ITER 1882 NEW BEST:: SOT 6887 SOS 2512 HAS SOPS 2512 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.512
AT ITER 1929 NEW BEST:: SOT 6883 SOS 2507 HAS SOPS 2507 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.507
AT ITER 1940 NEW BEST:: SOT 6881 SOS 2498 HAS SOPS 2498 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.498
AT ITER 2041 NEW BEST:: SOT 6880 SOS 2488 HAS SOPS 2488 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.488
AT ITER 2044 NEW BEST:: SOT 6874 SOS 2484 HAS SOPS 2484 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.484
AT ITER 2060 NEW BEST:: SOT 6874 SOS 2481 HAS SOPS 2481 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.481
AT ITER 2154 NEW BEST:: SOT 6864 SOS 2476 HAS SOPS 2476 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.476
AT ITER 2160 NEW BEST:: SOT 6865 SOS 2472 HAS SOPS 2472 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.472
AT ITER 2168 NEW BEST:: SOT 6863 SOS 2469 HAS SOPS 2469 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2254.469
AT ITER 2202 NEW BEST:: SOT 6861 SOS 2466 HAS SOPS 2466 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.466
AT ITER 2257 NEW BEST:: SOT 6858 SOS 2463 HAS SOPS 2463 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.463
AT ITER 2283 NEW BEST:: SOT 6857 SOS 2462 HAS SOPS 2462 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.462
AT ITER 2413 NEW BEST:: SOT 6847 SOS 2451 HAS SOPS 2451 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.451
AT ITER 2436 NEW BEST:: SOT 6828 SOS 2429 HAS SOPS 2429 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.429
AT ITER 2452 NEW BEST:: SOT 6825 SOS 2426 HAS SOPS 2426 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.426
AT ITER 2492 NEW BEST:: SOT 6823 SOS 2415 HAS SOPS 2415 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2206.415
AT ITER 2543 NEW BEST:: SOT 6817 SOS 2410 HAS SOPS 2410 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.41
AT ITER 2547 NEW BEST:: SOT 6812 SOS 2405 HAS SOPS 2405 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2194.405
AT ITER 2556 NEW BEST:: SOT 6806 SOS 2396 HAS SOPS 2396 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2185.396
AT ITER 2558 NEW BEST:: SOT 6804 SOS 2393 HAS SOPS 2393 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.393
AT ITER 2580 NEW BEST:: SOT 6803 SOS 2384 HAS SOPS 2384 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2173.384
AT ITER 2642 NEW BEST:: SOT 6802 SOS 2383 HAS SOPS 2383 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.383
AT ITER 2702 NEW BEST:: SOT 6820 SOS 2402 HAS SOPS 2402 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.402
AT ITER 2723 NEW BEST:: SOT 6819 SOS 2401 HAS SOPS 2401 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.401
AT ITER 2765 NEW BEST:: SOT 6819 SOS 2399 HAS SOPS 2399 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.399
AT ITER 2794 NEW BEST:: SOT 6819 SOS 2397 HAS SOPS 2397 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2165.397
AT ITER 2916 NEW BEST:: SOT 6787 SOS 2372 HAS SOPS 2372 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.372
AT ITER 2929 NEW BEST:: SOT 6787 SOS 2371 HAS SOPS 2371 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.371
AT ITER 2962 NEW BEST:: SOT 6787 SOS 2369 HAS SOPS 2369 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.369
AT ITER 3011 NEW BEST:: SOT 6789 SOS 2367 HAS SOPS 2367 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.367
AT ITER 3022 NEW BEST:: SOT 6783 SOS 2367 HAS SOPS 2367 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.367
AT ITER 3159 NEW BEST:: SOT 6784 SOS 2362 HAS SOPS 2362 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.362
AT ITER 3166 NEW BEST:: SOT 6786 SOS 2358 HAS SOPS 2358 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.358
AT ITER 3168 NEW BEST:: SOT 6781 SOS 2351 HAS SOPS 2351 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.351
AT ITER 3200 NEW BEST:: SOT 6778 SOS 2342 HAS SOPS 2342 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.342
AT ITER 3243 NEW BEST:: SOT 6778 SOS 2338 HAS SOPS 2338 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.338
AT ITER 3266 NEW BEST:: SOT 6778 SOS 2336 HAS SOPS 2336 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.336
AT ITER 3273 NEW BEST:: SOT 6776 SOS 2334 HAS SOPS 2334 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.334
AT ITER 3302 NEW BEST:: SOT 6775 SOS 2341 HAS SOPS 2341 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.341
AT ITER 3312 NEW BEST:: SOT 6773 SOS 2339 HAS SOPS 2339 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.339
AT ITER 3333 NEW BEST:: SOT 6767 SOS 2319 HAS SOPS 2319 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.319
AT ITER 3482 NEW BEST:: SOT 6765 SOS 2315 HAS SOPS 2315 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.315
AT ITER 3542 NEW BEST:: SOT 6763 SOS 2308 HAS SOPS 2308 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.308
AT ITER 3602 NEW BEST:: SOT 6764 SOS 2301 HAS SOPS 2301 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.301
AT ITER 3606 NEW BEST:: SOT 6762 SOS 2298 HAS SOPS 2298 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.298
AT ITER 3635 NEW BEST:: SOT 6758 SOS 2289 HAS SOPS 2289 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.289
AT ITER 3701 NEW BEST:: SOT 6757 SOS 2287 HAS SOPS 2287 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.287
AT ITER 3781 NEW BEST:: SOT 6756 SOS 2286 HAS SOPS 2286 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.286
AT ITER 3899 NEW BEST:: SOT 6755 SOS 2284 HAS SOPS 2284 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.284
AT ITER 3944 NEW BEST:: SOT 6755 SOS 2284 HAS SOPS 2284 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.284
AT ITER 3983 NEW BEST:: SOT 6759 SOS 2276 HAS SOPS 2276 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.276
AT ITER 4045 NEW BEST:: SOT 6759 SOS 2276 HAS SOPS 2276 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.276
AT ITER 4066 NEW BEST:: SOT 6752 SOS 2269 HAS SOPS 2269 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.269
AT ITER 4141 NEW BEST:: SOT 6742 SOS 2254 HAS SOPS 2254 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2031.254
AT ITER 4182 NEW BEST:: SOT 6735 SOS 2249 HAS SOPS 2249 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.249
AT ITER 4252 NEW BEST:: SOT 6735 SOS 2249 HAS SOPS 2249 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.249
AT ITER 4320 NEW BEST:: SOT 6744 SOS 2247 HAS SOPS 2247 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.247
AT ITER 4487 NEW BEST:: SOT 6740 SOS 2240 HAS SOPS 2240 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.24
AT ITER 4489 NEW BEST:: SOT 6737 SOS 2233 HAS SOPS 2233 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.233
AT ITER 4496 NEW BEST:: SOT 6732 SOS 2233 HAS SOPS 2233 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.233
AT ITER 4560 NEW BEST:: SOT 6728 SOS 2223 HAS SOPS 2223 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.223
AT ITER 4595 NEW BEST:: SOT 6728 SOS 2223 HAS SOPS 2223 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.223
AT ITER 4843 NEW BEST:: SOT 6728 SOS 2222 HAS SOPS 2222 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.222
AT ITER 4899 NEW BEST:: SOT 6724 SOS 2212 HAS SOPS 2212 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.212
AT ITER 4968 NEW BEST:: SOT 6724 SOS 2206 HAS SOPS 2206 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.206
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-00 ( (EF( (EG( ( ((potential((tk(P67)>=1) & (tk(P78)>=1)))) & ((potential((tk(P63)>=1) & (tk(P65)>=1)))) ))))) | (! ( (EF( ( ((potential((tk(P21)>=1) & (tk(P36)>=1)))) | ((potential((tk(P121)>=1)))) ))) | (! (AF( ((potential((tk(P33)>=1) & (tk(P35)>=1))))))) )) )
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-01 (! (AG( (! ( ( ((potential((tk(P93)>=1) & (tk(P95)>=1)))) & ((potential((tk(P8)>=1) & (tk(P10)>=1)))) ) & ((potential((tk(P96)>=1) & (tk(P111)>=1)))) )))))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-02 (! ( (! ( (AG( ((potential((tk(P69)>=1) & (tk(P76)>=1)))))) | ( ( ((potential((tk(P91)>=1) & (tk(P125)>=1)))) | ((potential((tk(P9)>=1) & (tk(P26)>=1)))) ) & ((potential((tk(P62)>=1) & (tk(P72)>=1)))) ) )) & (EF( (AX( ((potential((tk(P4)>=1) & (tk(P27)>=1)))))))) ))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-03 ( ( (AF( ( ((potential((tk(P104)>=1) & (tk(P127)>=1)))) | ( ((potential((tk(P18)>=1) & (tk(P20)>=1)))) | ((potential((tk(P73)>=1)))) ) ))) & (AF( ( (! ((potential((tk(P42)>=1) & (tk(P53)>=1))))) | (! ((potential((tk(P94)>=1) & (tk(P101)>=1))))) ))) ) & ( (! ( ((potential((tk(P71)>=1) & (tk(P86)>=1)))) & (AG( ((potential((tk(P46)>=1)))))) )) | ((potential((tk(P96)>=1)))) ) )
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-04 ( (EX( ( ((potential((tk(P46)>=1)))) | (EF( ((potential((tk(P38)>=1) & (tk(P40)>=1)))))) ))) & ( (! ((potential((tk(P46)>=1) & (tk(P61)>=1))))) & (EF( ( (! ((potential((tk(P94)>=1) & (tk(P101)>=1))))) & ( ((potential((tk(P17)>=1) & (tk(P28)>=1)))) & ((potential((tk(P102)>=1)))) ) ))) ) )
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-05 (EF( ( (EF( ((potential((tk(P109)>=1) & (tk(P126)>=1)))))) & (AG( ((potential((tk(P62)>=1) & (tk(P72)>=1)))))) )))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-06 (! (EU( (! ( ((potential((tk(P38)>=1) & (tk(P40)>=1)))) | ((potential((tk(P81)>=1) & (tk(P98)>=1)))) )) , ((potential((tk(P113)>=1) & (tk(P115)>=1)))) )))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-07 (! (! (EF( (AG( ((potential((tk(P108)>=1) & (tk(P110)>=1))))))))))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-08 (EG( (EG( (EF( ((potential((tk(P12)>=1) & (tk(P22)>=1))))))))))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-09 (AF( (EU( (! ((potential((tk(P104)>=1) & (tk(P127)>=1))))) , ( ((potential((tk(P42)>=1) & (tk(P53)>=1)))) & ((potential((tk(P48)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-10 (EF( (! ( (! ( ((potential((tk(P37)>=1) & (tk(P47)>=1)))) & ((potential((tk(P46)>=1) & (tk(P61)>=1)))) )) | (! ((potential((tk(P116)>=1))))) ))))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-11 ( ( (! ( (! (! ((potential((tk(P80)>=1) & (tk(P99)>=1)))))) & (! ((potential((tk(P34)>=1) & (tk(P51)>=1))))) )) & ( (EU( ((potential((tk(P84)>=1) & (tk(P101)>=1)))) , ((potential((tk(P7)>=1) & (tk(P22)>=1)))) )) & ( (EX( ((potential((tk(P41)>=1) & (tk(P75)>=1)))))) & ( ( ((potential((tk(P6)>=1) & (tk(P23)>=1)))) & ((potential((tk(P17)>=1) & (tk(P28)>=1)))) ) & ((potential((tk(P118)>=1) & (tk(P120)>=1)))) ) ) ) ) | (EU( ((potential((tk(P80)>=1) & (tk(P99)>=1)))) , (EF( ((potential((tk(P9)>=1) & (tk(P26)>=1)))))) )) )
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-12 (EF( ( ( (EX( ((potential((tk(P71)>=1)))))) & (EF( ((potential((tk(P121)>=1)))))) ) | (! (EF( ((potential((tk(P121)>=1))))))) )))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-13 ( (AF( ((potential((tk(P106)>=1) & (tk(P123)>=1)))))) | (EX( (AF( ((potential((tk(P127)>=1)))))))) )
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-14 (AG( (EX( ( ( ((potential((tk(P88)>=1) & (tk(P90)>=1)))) | ((potential((tk(P62)>=1) & (tk(P72)>=1)))) ) | (! ((potential((tk(P75)>=1))))) )))))
PROPERTY: ShieldPPPt-PT-005A-CTLFireability-15 (! (AF( ( ( ( ((potential((tk(P44)>=1) & (tk(P51)>=1)))) & ((potential((tk(P5)>=1) & (tk(P24)>=1)))) ) & (! ((potential((tk(P43)>=1) & (tk(P45)>=1))))) ) | (EF( ((potential((tk(P13)>=1) & (tk(P15)>=1)))))) ))))

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="ShieldPPPt-PT-005A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-005A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469800636"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-005A.tgz
mv ShieldPPPt-PT-005A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;