Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711800408.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.6K Feb 26 02:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 02:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 02:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 02:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 35K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679063980474

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-004A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 004A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
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 10 NEW BEST:: SOT 8839 SOS 6312 HAS SOPS 6312 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5036.312
AT ITER 25 NEW BEST:: SOT 8785 SOS 6258 HAS SOPS 6258 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4982.258
AT ITER 27 NEW BEST:: SOT 8746 SOS 6069 HAS SOPS 6069 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4941.069
AT ITER 30 NEW BEST:: SOT 8724 SOS 6045 HAS SOPS 6045 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4917.045
AT ITER 41 NEW BEST:: SOT 8826 SOS 5883 HAS SOPS 5883 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.883
AT ITER 44 NEW BEST:: SOT 8813 SOS 5870 HAS SOPS 5870 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4889.87
AT ITER 46 NEW BEST:: SOT 8789 SOS 5846 HAS SOPS 5846 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.846
AT ITER 51 NEW BEST:: SOT 8800 SOS 5851 HAS SOPS 5851 HAS SOUS 4855 HAS SOUPS 4855 WITH SCORE 4860.851
AT ITER 53 NEW BEST:: SOT 8794 SOS 5845 HAS SOPS 5845 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4854.845
AT ITER 68 NEW BEST:: SOT 8839 SOS 5750 HAS SOPS 5750 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4814.75
AT ITER 79 NEW BEST:: SOT 8830 SOS 5751 HAS SOPS 5751 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4805.751
AT ITER 86 NEW BEST:: SOT 8771 SOS 5686 HAS SOPS 5686 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4739.686
AT ITER 92 NEW BEST:: SOT 8770 SOS 5684 HAS SOPS 5684 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.684
AT ITER 97 NEW BEST:: SOT 8740 SOS 5654 HAS SOPS 5654 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4706.654
AT ITER 106 NEW BEST:: SOT 8727 SOS 5589 HAS SOPS 5589 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.589
AT ITER 112 NEW BEST:: SOT 8697 SOS 5559 HAS SOPS 5559 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.559
AT ITER 128 NEW BEST:: SOT 8695 SOS 5558 HAS SOPS 5558 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.558
AT ITER 129 NEW BEST:: SOT 8680 SOS 5548 HAS SOPS 5548 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.548
AT ITER 132 NEW BEST:: SOT 8680 SOS 5477 HAS SOPS 5477 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4656.477
AT ITER 133 NEW BEST:: SOT 8679 SOS 5474 HAS SOPS 5474 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4653.474
AT ITER 135 NEW BEST:: SOT 8679 SOS 5428 HAS SOPS 5428 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4647.428
AT ITER 136 NEW BEST:: SOT 8678 SOS 5404 HAS SOPS 5404 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.404
AT ITER 138 NEW BEST:: SOT 8674 SOS 5400 HAS SOPS 5400 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.4
AT ITER 140 NEW BEST:: SOT 8674 SOS 5405 HAS SOPS 5405 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4620.405
AT ITER 144 NEW BEST:: SOT 8638 SOS 5288 HAS SOPS 5288 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.288
AT ITER 159 NEW BEST:: SOT 8622 SOS 5272 HAS SOPS 5272 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4499.272
AT ITER 160 NEW BEST:: SOT 8630 SOS 5275 HAS SOPS 5275 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.275
AT ITER 162 NEW BEST:: SOT 8624 SOS 5268 HAS SOPS 5268 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.268
AT ITER 168 NEW BEST:: SOT 8624 SOS 5155 HAS SOPS 5155 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.155
AT ITER 173 NEW BEST:: SOT 8611 SOS 5142 HAS SOPS 5142 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4438.142
AT ITER 179 NEW BEST:: SOT 8611 SOS 5129 HAS SOPS 5129 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.129
AT ITER 182 NEW BEST:: SOT 8611 SOS 5122 HAS SOPS 5122 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4433.122
AT ITER 186 NEW BEST:: SOT 8614 SOS 5105 HAS SOPS 5105 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4431.105
AT ITER 193 NEW BEST:: SOT 8589 SOS 5080 HAS SOPS 5080 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4406.08
AT ITER 200 NEW BEST:: SOT 8592 SOS 5079 HAS SOPS 5079 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.079
AT ITER 201 NEW BEST:: SOT 8571 SOS 5037 HAS SOPS 5037 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4385.037
AT ITER 202 NEW BEST:: SOT 8569 SOS 4872 HAS SOPS 4872 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.872
AT ITER 209 NEW BEST:: SOT 8494 SOS 4762 HAS SOPS 4762 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4164.762
AT ITER 215 NEW BEST:: SOT 8475 SOS 4752 HAS SOPS 4752 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4154.752
AT ITER 225 NEW BEST:: SOT 8470 SOS 4747 HAS SOPS 4747 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.747
AT ITER 226 NEW BEST:: SOT 8470 SOS 4746 HAS SOPS 4746 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4147.746
AT ITER 234 NEW BEST:: SOT 8459 SOS 4712 HAS SOPS 4712 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.712
AT ITER 235 NEW BEST:: SOT 8459 SOS 4693 HAS SOPS 4693 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.693
AT ITER 237 NEW BEST:: SOT 8433 SOS 4667 HAS SOPS 4667 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.667
AT ITER 242 NEW BEST:: SOT 8427 SOS 4658 HAS SOPS 4658 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.658
AT ITER 252 NEW BEST:: SOT 8373 SOS 4594 HAS SOPS 4594 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.594
AT ITER 257 NEW BEST:: SOT 8465 SOS 4598 HAS SOPS 4598 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 3999.598
AT ITER 260 NEW BEST:: SOT 8491 SOS 4595 HAS SOPS 4595 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.595
AT ITER 270 NEW BEST:: SOT 8481 SOS 4580 HAS SOPS 4580 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3990.58
AT ITER 274 NEW BEST:: SOT 8471 SOS 4533 HAS SOPS 4533 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.533
AT ITER 287 NEW BEST:: SOT 8454 SOS 4516 HAS SOPS 4516 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.516
AT ITER 322 NEW BEST:: SOT 8432 SOS 4498 HAS SOPS 4498 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3906.498
AT ITER 336 NEW BEST:: SOT 8425 SOS 4451 HAS SOPS 4451 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.451
AT ITER 348 NEW BEST:: SOT 8425 SOS 4445 HAS SOPS 4445 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.445
AT ITER 353 NEW BEST:: SOT 8344 SOS 4342 HAS SOPS 4342 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3774.342
AT ITER 356 NEW BEST:: SOT 8344 SOS 4330 HAS SOPS 4330 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.33
AT ITER 364 NEW BEST:: SOT 8321 SOS 4298 HAS SOPS 4298 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.298
AT ITER 373 NEW BEST:: SOT 8295 SOS 4280 HAS SOPS 4280 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.28
AT ITER 378 NEW BEST:: SOT 8308 SOS 4293 HAS SOPS 4293 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3699.293
AT ITER 383 NEW BEST:: SOT 8290 SOS 4275 HAS SOPS 4275 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3690.275
AT ITER 389 NEW BEST:: SOT 8286 SOS 4271 HAS SOPS 4271 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.271
AT ITER 399 NEW BEST:: SOT 8282 SOS 4267 HAS SOPS 4267 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.267
AT ITER 402 NEW BEST:: SOT 8284 SOS 4257 HAS SOPS 4257 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3655.257
AT ITER 411 NEW BEST:: SOT 8284 SOS 4235 HAS SOPS 4235 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3655.235
AT ITER 413 NEW BEST:: SOT 8242 SOS 4172 HAS SOPS 4172 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3592.172
AT ITER 428 NEW BEST:: SOT 8249 SOS 4169 HAS SOPS 4169 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3592.169
AT ITER 429 NEW BEST:: SOT 8258 SOS 4147 HAS SOPS 4147 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.147
AT ITER 432 NEW BEST:: SOT 8271 SOS 4151 HAS SOPS 4151 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.151
AT ITER 471 NEW BEST:: SOT 8271 SOS 4149 HAS SOPS 4149 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.149
AT ITER 478 NEW BEST:: SOT 8271 SOS 4141 HAS SOPS 4141 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3568.141
AT ITER 479 NEW BEST:: SOT 8266 SOS 4122 HAS SOPS 4122 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3556.122
AT ITER 482 NEW BEST:: SOT 8259 SOS 4108 HAS SOPS 4108 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.108
AT ITER 490 NEW BEST:: SOT 8229 SOS 3999 HAS SOPS 3999 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3436.999
AT ITER 496 NEW BEST:: SOT 8236 SOS 3991 HAS SOPS 3991 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3423.991
AT ITER 498 NEW BEST:: SOT 8207 SOS 3981 HAS SOPS 3981 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3408.981
AT ITER 501 NEW BEST:: SOT 8187 SOS 3889 HAS SOPS 3889 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3347.889
AT ITER 508 NEW BEST:: SOT 8199 SOS 3893 HAS SOPS 3893 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.893
AT ITER 509 NEW BEST:: SOT 8199 SOS 3850 HAS SOPS 3850 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.85
AT ITER 517 NEW BEST:: SOT 8197 SOS 3844 HAS SOPS 3844 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.844
AT ITER 519 NEW BEST:: SOT 8179 SOS 3817 HAS SOPS 3817 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.817
AT ITER 522 NEW BEST:: SOT 8177 SOS 3815 HAS SOPS 3815 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.815
AT ITER 523 NEW BEST:: SOT 8171 SOS 3745 HAS SOPS 3745 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.745
AT ITER 524 NEW BEST:: SOT 8163 SOS 3724 HAS SOPS 3724 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.724
AT ITER 534 NEW BEST:: SOT 8164 SOS 3727 HAS SOPS 3727 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3232.727
AT ITER 537 NEW BEST:: SOT 8149 SOS 3690 HAS SOPS 3690 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.69
AT ITER 560 NEW BEST:: SOT 8149 SOS 3687 HAS SOPS 3687 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.687
AT ITER 563 NEW BEST:: SOT 8145 SOS 3683 HAS SOPS 3683 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.683
AT ITER 579 NEW BEST:: SOT 8143 SOS 3673 HAS SOPS 3673 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.673
AT ITER 599 NEW BEST:: SOT 8145 SOS 3673 HAS SOPS 3673 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.673
AT ITER 609 NEW BEST:: SOT 8149 SOS 3669 HAS SOPS 3669 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.669
AT ITER 624 NEW BEST:: SOT 8149 SOS 3668 HAS SOPS 3668 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.668
AT ITER 669 NEW BEST:: SOT 8115 SOS 3634 HAS SOPS 3634 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.634
AT ITER 682 NEW BEST:: SOT 8101 SOS 3606 HAS SOPS 3606 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3123.606
AT ITER 689 NEW BEST:: SOT 8099 SOS 3600 HAS SOPS 3600 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.6
AT ITER 709 NEW BEST:: SOT 8099 SOS 3598 HAS SOPS 3598 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.598
AT ITER 724 NEW BEST:: SOT 8099 SOS 3597 HAS SOPS 3597 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.597
AT ITER 725 NEW BEST:: SOT 8088 SOS 3588 HAS SOPS 3588 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3106.588
AT ITER 749 NEW BEST:: SOT 8086 SOS 3580 HAS SOPS 3580 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.58
AT ITER 751 NEW BEST:: SOT 8055 SOS 3537 HAS SOPS 3537 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.537
AT ITER 767 NEW BEST:: SOT 8055 SOS 3527 HAS SOPS 3527 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.527
AT ITER 783 NEW BEST:: SOT 8051 SOS 3511 HAS SOPS 3511 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.511
AT ITER 787 NEW BEST:: SOT 8047 SOS 3504 HAS SOPS 3504 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.504
AT ITER 793 NEW BEST:: SOT 8048 SOS 3500 HAS SOPS 3500 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.5
AT ITER 825 NEW BEST:: SOT 8048 SOS 3495 HAS SOPS 3495 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.495
AT ITER 854 NEW BEST:: SOT 8026 SOS 3435 HAS SOPS 3435 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.435
AT ITER 875 NEW BEST:: SOT 8031 SOS 3375 HAS SOPS 3375 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.375
AT ITER 908 NEW BEST:: SOT 8020 SOS 3357 HAS SOPS 3357 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.357
AT ITER 924 NEW BEST:: SOT 8001 SOS 3348 HAS SOPS 3348 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.348
AT ITER 943 NEW BEST:: SOT 7979 SOS 3326 HAS SOPS 3326 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2897.326
AT ITER 947 NEW BEST:: SOT 7978 SOS 3318 HAS SOPS 3318 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.318
AT ITER 958 NEW BEST:: SOT 7972 SOS 3309 HAS SOPS 3309 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2887.309
AT ITER 962 NEW BEST:: SOT 7968 SOS 3305 HAS SOPS 3305 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2883.305
AT ITER 969 NEW BEST:: SOT 7993 SOS 3322 HAS SOPS 3322 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2867.322
AT ITER 971 NEW BEST:: SOT 7992 SOS 3315 HAS SOPS 3315 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.315
AT ITER 974 NEW BEST:: SOT 7989 SOS 3313 HAS SOPS 3313 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.313
AT ITER 975 NEW BEST:: SOT 7961 SOS 3314 HAS SOPS 3314 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.314
AT ITER 985 NEW BEST:: SOT 7958 SOS 3311 HAS SOPS 3311 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2843.311
AT ITER 987 NEW BEST:: SOT 7927 SOS 3287 HAS SOPS 3287 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.287
AT ITER 991 NEW BEST:: SOT 7927 SOS 3229 HAS SOPS 3229 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.229
AT ITER 1001 NEW BEST:: SOT 7907 SOS 3197 HAS SOPS 3197 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.197
AT ITER 1023 NEW BEST:: SOT 7906 SOS 3196 HAS SOPS 3196 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2793.196
AT ITER 1034 NEW BEST:: SOT 7895 SOS 3185 HAS SOPS 3185 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.185
AT ITER 1037 NEW BEST:: SOT 7907 SOS 3162 HAS SOPS 3162 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.162
AT ITER 1054 NEW BEST:: SOT 7931 SOS 3105 HAS SOPS 3105 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.105
AT ITER 1078 NEW BEST:: SOT 7932 SOS 3104 HAS SOPS 3104 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.104
AT ITER 1080 NEW BEST:: SOT 7930 SOS 3102 HAS SOPS 3102 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.102
AT ITER 1099 NEW BEST:: SOT 7928 SOS 3096 HAS SOPS 3096 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2763.096
AT ITER 1112 NEW BEST:: SOT 7926 SOS 3096 HAS SOPS 3096 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.096
AT ITER 1147 NEW BEST:: SOT 7926 SOS 3090 HAS SOPS 3090 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.09
AT ITER 1166 NEW BEST:: SOT 7926 SOS 3086 HAS SOPS 3086 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.086
AT ITER 1208 NEW BEST:: SOT 7926 SOS 3077 HAS SOPS 3077 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.077
AT ITER 1232 NEW BEST:: SOT 7917 SOS 3045 HAS SOPS 3045 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2725.045
AT ITER 1242 NEW BEST:: SOT 7926 SOS 3042 HAS SOPS 3042 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2722.042
AT ITER 1244 NEW BEST:: SOT 7923 SOS 3039 HAS SOPS 3039 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.039
AT ITER 1260 NEW BEST:: SOT 7916 SOS 3020 HAS SOPS 3020 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2700.02
AT ITER 1289 NEW BEST:: SOT 7912 SOS 3004 HAS SOPS 3004 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.004
AT ITER 1292 NEW BEST:: SOT 7911 SOS 3002 HAS SOPS 3002 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2670.002
AT ITER 1327 NEW BEST:: SOT 7911 SOS 2958 HAS SOPS 2958 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.958
AT ITER 1347 NEW BEST:: SOT 7911 SOS 2955 HAS SOPS 2955 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2646.955
AT ITER 1365 NEW BEST:: SOT 7911 SOS 2942 HAS SOPS 2942 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.942
AT ITER 1389 NEW BEST:: SOT 7901 SOS 2942 HAS SOPS 2942 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2628.942
AT ITER 1399 NEW BEST:: SOT 7902 SOS 2940 HAS SOPS 2940 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2628.94
AT ITER 1422 NEW BEST:: SOT 7900 SOS 2934 HAS SOPS 2934 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.934
AT ITER 1428 NEW BEST:: SOT 7894 SOS 2927 HAS SOPS 2927 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.927
AT ITER 1448 NEW BEST:: SOT 7894 SOS 2927 HAS SOPS 2927 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2613.927
AT ITER 1460 NEW BEST:: SOT 7894 SOS 2922 HAS SOPS 2922 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2611.922
AT ITER 1470 NEW BEST:: SOT 7898 SOS 2927 HAS SOPS 2927 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.927
AT ITER 1474 NEW BEST:: SOT 7898 SOS 2923 HAS SOPS 2923 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.923
AT ITER 1490 NEW BEST:: SOT 7891 SOS 2912 HAS SOPS 2912 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.912
AT ITER 1499 NEW BEST:: SOT 7886 SOS 2897 HAS SOPS 2897 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.897
AT ITER 1503 NEW BEST:: SOT 7876 SOS 2882 HAS SOPS 2882 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2563.882
AT ITER 1504 NEW BEST:: SOT 7873 SOS 2854 HAS SOPS 2854 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2562.854
AT ITER 1507 NEW BEST:: SOT 7855 SOS 2818 HAS SOPS 2818 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.818
AT ITER 1539 NEW BEST:: SOT 7847 SOS 2801 HAS SOPS 2801 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.801
AT ITER 1563 NEW BEST:: SOT 7837 SOS 2787 HAS SOPS 2787 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.787
AT ITER 1565 NEW BEST:: SOT 7837 SOS 2770 HAS SOPS 2770 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2516.77
AT ITER 1597 NEW BEST:: SOT 7838 SOS 2776 HAS SOPS 2776 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.776
AT ITER 1603 NEW BEST:: SOT 7842 SOS 2771 HAS SOPS 2771 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2501.771
AT ITER 1615 NEW BEST:: SOT 7859 SOS 2773 HAS SOPS 2773 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.773
AT ITER 1629 NEW BEST:: SOT 7856 SOS 2763 HAS SOPS 2763 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.763
AT ITER 1646 NEW BEST:: SOT 7856 SOS 2763 HAS SOPS 2763 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2490.763
AT ITER 1660 NEW BEST:: SOT 7850 SOS 2751 HAS SOPS 2751 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.751
AT ITER 1668 NEW BEST:: SOT 7844 SOS 2736 HAS SOPS 2736 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.736
AT ITER 1687 NEW BEST:: SOT 7843 SOS 2735 HAS SOPS 2735 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.735
AT ITER 1691 NEW BEST:: SOT 7816 SOS 2665 HAS SOPS 2665 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.665
AT ITER 1698 NEW BEST:: SOT 7803 SOS 2652 HAS SOPS 2652 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.652
AT ITER 1704 NEW BEST:: SOT 7803 SOS 2650 HAS SOPS 2650 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.65
AT ITER 1722 NEW BEST:: SOT 7805 SOS 2649 HAS SOPS 2649 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.649
AT ITER 1742 NEW BEST:: SOT 7805 SOS 2641 HAS SOPS 2641 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.641
AT ITER 1756 NEW BEST:: SOT 7805 SOS 2641 HAS SOPS 2641 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.641
AT ITER 1789 NEW BEST:: SOT 7806 SOS 2579 HAS SOPS 2579 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.579
AT ITER 1796 NEW BEST:: SOT 7804 SOS 2580 HAS SOPS 2580 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2337.58
AT ITER 1804 NEW BEST:: SOT 7804 SOS 2578 HAS SOPS 2578 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.578
AT ITER 1879 NEW BEST:: SOT 7805 SOS 2575 HAS SOPS 2575 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.575
AT ITER 1895 NEW BEST:: SOT 7797 SOS 2567 HAS SOPS 2567 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.567
AT ITER 1908 NEW BEST:: SOT 7799 SOS 2528 HAS SOPS 2528 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.528
AT ITER 1921 NEW BEST:: SOT 7794 SOS 2529 HAS SOPS 2529 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.529
AT ITER 1995 NEW BEST:: SOT 7795 SOS 2515 HAS SOPS 2515 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.515
AT ITER 1996 NEW BEST:: SOT 7789 SOS 2509 HAS SOPS 2509 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.509
AT ITER 2023 NEW BEST:: SOT 7789 SOS 2509 HAS SOPS 2509 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.509
AT ITER 2029 NEW BEST:: SOT 7772 SOS 2492 HAS SOPS 2492 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.492
AT ITER 2031 NEW BEST:: SOT 7762 SOS 2482 HAS SOPS 2482 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.482
AT ITER 2042 NEW BEST:: SOT 7752 SOS 2462 HAS SOPS 2462 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.462
AT ITER 2064 NEW BEST:: SOT 7743 SOS 2455 HAS SOPS 2455 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.455
AT ITER 2072 NEW BEST:: SOT 7747 SOS 2459 HAS SOPS 2459 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2208.459
AT ITER 2090 NEW BEST:: SOT 7729 SOS 2419 HAS SOPS 2419 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.419
AT ITER 2103 NEW BEST:: SOT 7731 SOS 2420 HAS SOPS 2420 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.42
AT ITER 2109 NEW BEST:: SOT 7731 SOS 2410 HAS SOPS 2410 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.41
AT ITER 2112 NEW BEST:: SOT 7713 SOS 2381 HAS SOPS 2381 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.381
AT ITER 2136 NEW BEST:: SOT 7702 SOS 2371 HAS SOPS 2371 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.371
AT ITER 2138 NEW BEST:: SOT 7704 SOS 2367 HAS SOPS 2367 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.367
AT ITER 2148 NEW BEST:: SOT 7702 SOS 2364 HAS SOPS 2364 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.364
AT ITER 2154 NEW BEST:: SOT 7702 SOS 2361 HAS SOPS 2361 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.361
AT ITER 2159 NEW BEST:: SOT 7702 SOS 2349 HAS SOPS 2349 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2130.349
AT ITER 2167 NEW BEST:: SOT 7702 SOS 2349 HAS SOPS 2349 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.349
AT ITER 2192 NEW BEST:: SOT 7702 SOS 2348 HAS SOPS 2348 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.348
AT ITER 2209 NEW BEST:: SOT 7703 SOS 2346 HAS SOPS 2346 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.346
AT ITER 2228 NEW BEST:: SOT 7705 SOS 2338 HAS SOPS 2338 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.338
AT ITER 2246 NEW BEST:: SOT 7697 SOS 2329 HAS SOPS 2329 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.329
AT ITER 2258 NEW BEST:: SOT 7697 SOS 2326 HAS SOPS 2326 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.326
AT ITER 2263 NEW BEST:: SOT 7693 SOS 2361 HAS SOPS 2361 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.361
AT ITER 2309 NEW BEST:: SOT 7691 SOS 2352 HAS SOPS 2352 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.352
AT ITER 2314 NEW BEST:: SOT 7688 SOS 2336 HAS SOPS 2336 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.336
AT ITER 2350 NEW BEST:: SOT 7682 SOS 2324 HAS SOPS 2324 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.324
AT ITER 2357 NEW BEST:: SOT 7681 SOS 2321 HAS SOPS 2321 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.321
AT ITER 2437 NEW BEST:: SOT 7674 SOS 2314 HAS SOPS 2314 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.314
AT ITER 2440 NEW BEST:: SOT 7671 SOS 2311 HAS SOPS 2311 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.311
AT ITER 2474 NEW BEST:: SOT 7676 SOS 2316 HAS SOPS 2316 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2059.316
AT ITER 2479 NEW BEST:: SOT 7669 SOS 2314 HAS SOPS 2314 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.314
AT ITER 2480 NEW BEST:: SOT 7665 SOS 2310 HAS SOPS 2310 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.31
AT ITER 2500 NEW BEST:: SOT 7660 SOS 2299 HAS SOPS 2299 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.299
AT ITER 2567 NEW BEST:: SOT 7664 SOS 2291 HAS SOPS 2291 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.291
AT ITER 2568 NEW BEST:: SOT 7640 SOS 2268 HAS SOPS 2268 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2006.268
AT ITER 2573 NEW BEST:: SOT 7636 SOS 2248 HAS SOPS 2248 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1998.248
AT ITER 2578 NEW BEST:: SOT 7634 SOS 2246 HAS SOPS 2246 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.246
AT ITER 2618 NEW BEST:: SOT 7634 SOS 2242 HAS SOPS 2242 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.242
AT ITER 2636 NEW BEST:: SOT 7623 SOS 2235 HAS SOPS 2235 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.235
AT ITER 2637 NEW BEST:: SOT 7615 SOS 2212 HAS SOPS 2212 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.212
AT ITER 2677 NEW BEST:: SOT 7612 SOS 2224 HAS SOPS 2224 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.224
AT ITER 2691 NEW BEST:: SOT 7607 SOS 2209 HAS SOPS 2209 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.209
AT ITER 2729 NEW BEST:: SOT 7604 SOS 2205 HAS SOPS 2205 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.205
AT ITER 2767 NEW BEST:: SOT 7605 SOS 2200 HAS SOPS 2200 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.2
AT ITER 2806 NEW BEST:: SOT 7605 SOS 2198 HAS SOPS 2198 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.198
AT ITER 2837 NEW BEST:: SOT 7601 SOS 2194 HAS SOPS 2194 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.194
AT ITER 2843 NEW BEST:: SOT 7595 SOS 2183 HAS SOPS 2183 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1923.183
AT ITER 2846 NEW BEST:: SOT 7591 SOS 2181 HAS SOPS 2181 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.181
AT ITER 2863 NEW BEST:: SOT 7589 SOS 2178 HAS SOPS 2178 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.178
AT ITER 2937 NEW BEST:: SOT 7589 SOS 2175 HAS SOPS 2175 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.175
AT ITER 2950 NEW BEST:: SOT 7555 SOS 2150 HAS SOPS 2150 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1892.15
AT ITER 3035 NEW BEST:: SOT 7531 SOS 2133 HAS SOPS 2133 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.133
AT ITER 3050 NEW BEST:: SOT 7529 SOS 2129 HAS SOPS 2129 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.129
AT ITER 3060 NEW BEST:: SOT 7525 SOS 2126 HAS SOPS 2126 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.126
AT ITER 3114 NEW BEST:: SOT 7523 SOS 2123 HAS SOPS 2123 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.123
AT ITER 3140 NEW BEST:: SOT 7524 SOS 2104 HAS SOPS 2104 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.104
AT ITER 3165 NEW BEST:: SOT 7521 SOS 2098 HAS SOPS 2098 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.098
AT ITER 3186 NEW BEST:: SOT 7520 SOS 2095 HAS SOPS 2095 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.095
AT ITER 3302 NEW BEST:: SOT 7533 SOS 2100 HAS SOPS 2100 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.1
AT ITER 3320 NEW BEST:: SOT 7528 SOS 2085 HAS SOPS 2085 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.085
AT ITER 3347 NEW BEST:: SOT 7526 SOS 2083 HAS SOPS 2083 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1826.083
AT ITER 3348 NEW BEST:: SOT 7526 SOS 2082 HAS SOPS 2082 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1823.082
AT ITER 3354 NEW BEST:: SOT 7526 SOS 2075 HAS SOPS 2075 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1815.075
AT ITER 3359 NEW BEST:: SOT 7528 SOS 2075 HAS SOPS 2075 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.075
AT ITER 3375 NEW BEST:: SOT 7528 SOS 2070 HAS SOPS 2070 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.07
AT ITER 3389 NEW BEST:: SOT 7519 SOS 2064 HAS SOPS 2064 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1807.064
AT ITER 3402 NEW BEST:: SOT 7519 SOS 2062 HAS SOPS 2062 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1807.062
AT ITER 3432 NEW BEST:: SOT 7516 SOS 2055 HAS SOPS 2055 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.055
AT ITER 3485 NEW BEST:: SOT 7516 SOS 2055 HAS SOPS 2055 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.055
AT ITER 3535 NEW BEST:: SOT 7511 SOS 2054 HAS SOPS 2054 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.054
AT ITER 3635 NEW BEST:: SOT 7511 SOS 2053 HAS SOPS 2053 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.053
AT ITER 3648 NEW BEST:: SOT 7497 SOS 2042 HAS SOPS 2042 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.042
AT ITER 3659 NEW BEST:: SOT 7497 SOS 2042 HAS SOPS 2042 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.042
AT ITER 3801 NEW BEST:: SOT 7497 SOS 2040 HAS SOPS 2040 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.04
AT ITER 3812 NEW BEST:: SOT 7497 SOS 2039 HAS SOPS 2039 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1784.039
AT ITER 3868 NEW BEST:: SOT 7496 SOS 2037 HAS SOPS 2037 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.037
AT ITER 3909 NEW BEST:: SOT 7496 SOS 2038 HAS SOPS 2038 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1780.038
AT ITER 3948 NEW BEST:: SOT 7496 SOS 2036 HAS SOPS 2036 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.036
AT ITER 3963 NEW BEST:: SOT 7493 SOS 2031 HAS SOPS 2031 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.031
AT ITER 3982 NEW BEST:: SOT 7491 SOS 2029 HAS SOPS 2029 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.029
AT ITER 4046 NEW BEST:: SOT 7487 SOS 2024 HAS SOPS 2024 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.024
AT ITER 4071 NEW BEST:: SOT 7488 SOS 2022 HAS SOPS 2022 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.022
AT ITER 4195 NEW BEST:: SOT 7489 SOS 2019 HAS SOPS 2019 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1762.019
AT ITER 4209 NEW BEST:: SOT 7476 SOS 2006 HAS SOPS 2006 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1761.006
AT ITER 4213 NEW BEST:: SOT 7469 SOS 1989 HAS SOPS 1989 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1748.989
AT ITER 4260 NEW BEST:: SOT 7447 SOS 1967 HAS SOPS 1967 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1726.967
AT ITER 4280 NEW BEST:: SOT 7450 SOS 1968 HAS SOPS 1968 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.968
AT ITER 4281 NEW BEST:: SOT 7450 SOS 1944 HAS SOPS 1944 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.944
AT ITER 4334 NEW BEST:: SOT 7449 SOS 1941 HAS SOPS 1941 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.941
AT ITER 4430 NEW BEST:: SOT 7445 SOS 1936 HAS SOPS 1936 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1712.936
AT ITER 4541 NEW BEST:: SOT 7446 SOS 1933 HAS SOPS 1933 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1708.933
AT ITER 4703 NEW BEST:: SOT 7447 SOS 1929 HAS SOPS 1929 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1705.929
AT ITER 4811 NEW BEST:: SOT 7445 SOS 1927 HAS SOPS 1927 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1703.927
AT ITER 4907 NEW BEST:: SOT 7445 SOS 1924 HAS SOPS 1924 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.924
AT ITER 4929 NEW BEST:: SOT 7437 SOS 1920 HAS SOPS 1920 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1700.92
AT ITER 5036 NEW BEST:: SOT 7419 SOS 1876 HAS SOPS 1876 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1656.876
AT ITER 5112 NEW BEST:: SOT 7419 SOS 1872 HAS SOPS 1872 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1656.872
AT ITER 5146 NEW BEST:: SOT 7418 SOS 1871 HAS SOPS 1871 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1655.871
AT ITER 5160 NEW BEST:: SOT 7410 SOS 1858 HAS SOPS 1858 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.858
AT ITER 5174 NEW BEST:: SOT 7407 SOS 1850 HAS SOPS 1850 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1630.85
AT ITER 5308 NEW BEST:: SOT 7408 SOS 1849 HAS SOPS 1849 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.849
AT ITER 5394 NEW BEST:: SOT 7407 SOS 1847 HAS SOPS 1847 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1625.847
AT ITER 5405 NEW BEST:: SOT 7407 SOS 1847 HAS SOPS 1847 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.847
AT ITER 5633 NEW BEST:: SOT 7407 SOS 1842 HAS SOPS 1842 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1619.842
AT ITER 5656 NEW BEST:: SOT 7408 SOS 1839 HAS SOPS 1839 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.839
AT ITER 5766 NEW BEST:: SOT 7403 SOS 1834 HAS SOPS 1834 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1610.834
AT ITER 5778 NEW BEST:: SOT 7403 SOS 1834 HAS SOPS 1834 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1609.834
AT ITER 5825 NEW BEST:: SOT 7403 SOS 1826 HAS SOPS 1826 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1607.826
AT ITER 6079 NEW BEST:: SOT 7401 SOS 1824 HAS SOPS 1824 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1605.824
AT ITER 6137 NEW BEST:: SOT 7402 SOS 1821 HAS SOPS 1821 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.821
AT ITER 6149 NEW BEST:: SOT 7402 SOS 1817 HAS SOPS 1817 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1601.817
AT ITER 6212 NEW BEST:: SOT 7401 SOS 1814 HAS SOPS 1814 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.814
AT ITER 6295 NEW BEST:: SOT 7397 SOS 1810 HAS SOPS 1810 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1599.81
AT ITER 6311 NEW BEST:: SOT 7395 SOS 1808 HAS SOPS 1808 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.808
AT ITER 6450 NEW BEST:: SOT 7380 SOS 1800 HAS SOPS 1800 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1588.8
AT ITER 6883 NEW BEST:: SOT 7380 SOS 1799 HAS SOPS 1799 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1586.799
AT ITER 7083 NEW BEST:: SOT 7378 SOS 1797 HAS SOPS 1797 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1584.797
AT ITER 7085 NEW BEST:: SOT 7376 SOS 1792 HAS SOPS 1792 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.792
AT ITER 7095 NEW BEST:: SOT 7376 SOS 1791 HAS SOPS 1791 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.791
AT ITER 7147 NEW BEST:: SOT 7374 SOS 1778 HAS SOPS 1778 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1571.778
AT ITER 7233 NEW BEST:: SOT 7374 SOS 1779 HAS SOPS 1779 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1570.779
AT ITER 7550 NEW BEST:: SOT 7371 SOS 1766 HAS SOPS 1766 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1562.766
AT ITER 7699 NEW BEST:: SOT 7367 SOS 1763 HAS SOPS 1763 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1561.763
AT ITER 7809 NEW BEST:: SOT 7369 SOS 1762 HAS SOPS 1762 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.762
AT ITER 8055 NEW BEST:: SOT 7377 SOS 1762 HAS SOPS 1762 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1558.762
AT ITER 8282 NEW BEST:: SOT 7372 SOS 1757 HAS SOPS 1757 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1553.757
AT ITER 8322 NEW BEST:: SOT 7372 SOS 1756 HAS SOPS 1756 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1553.756
AT ITER 8400 NEW BEST:: SOT 7372 SOS 1754 HAS SOPS 1754 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1551.754
AT ITER 8507 NEW BEST:: SOT 7373 SOS 1753 HAS SOPS 1753 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1551.753
AT ITER 8795 NEW BEST:: SOT 7372 SOS 1750 HAS SOPS 1750 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.75
AT ITER 8875 NEW BEST:: SOT 7370 SOS 1744 HAS SOPS 1744 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1543.744
AT ITER 9083 NEW BEST:: SOT 7370 SOS 1742 HAS SOPS 1742 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1543.742
AT ITER 9149 NEW BEST:: SOT 7372 SOS 1739 HAS SOPS 1739 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1538.739
AT ITER 9189 NEW BEST:: SOT 7370 SOS 1734 HAS SOPS 1734 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1534.734
AT ITER 9295 NEW BEST:: SOT 7368 SOS 1734 HAS SOPS 1734 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1533.734
AT ITER 9642 NEW BEST:: SOT 7370 SOS 1732 HAS SOPS 1732 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1533.732
AT ITER 9888 NEW BEST:: SOT 7368 SOS 1730 HAS SOPS 1730 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1531.73
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6746132 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155440 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-004A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711800408"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;