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-159033470000808.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 ShieldRVs-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470000808
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.2K May 14 02:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 19:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 19:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 14:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 14:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 09:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 09:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 49K May 12 20:42 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 1590450344045

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 004B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 163 places, 183 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 16626 SOS 5928 HAS SOPS 5928 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.928
AT ITER 6 NEW BEST:: SOT 16623 SOS 5910 HAS SOPS 5910 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4787.91
AT ITER 22 NEW BEST:: SOT 16623 SOS 5905 HAS SOPS 5905 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4782.905
AT ITER 26 NEW BEST:: SOT 16606 SOS 5874 HAS SOPS 5874 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4762.874
AT ITER 40 NEW BEST:: SOT 16606 SOS 5848 HAS SOPS 5848 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.848
AT ITER 45 NEW BEST:: SOT 16576 SOS 6066 HAS SOPS 6066 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4746.066
AT ITER 80 NEW BEST:: SOT 16576 SOS 6062 HAS SOPS 6062 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4742.062
AT ITER 83 NEW BEST:: SOT 16585 SOS 6050 HAS SOPS 6050 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4732.05
AT ITER 102 NEW BEST:: SOT 16566 SOS 6012 HAS SOPS 6012 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4702.012
AT ITER 116 NEW BEST:: SOT 16553 SOS 5986 HAS SOPS 5986 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.986
AT ITER 122 NEW BEST:: SOT 16522 SOS 5930 HAS SOPS 5930 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.93
AT ITER 132 NEW BEST:: SOT 16531 SOS 5943 HAS SOPS 5943 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4623.943
AT ITER 136 NEW BEST:: SOT 16500 SOS 5888 HAS SOPS 5888 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4553.888
AT ITER 147 NEW BEST:: SOT 16500 SOS 5886 HAS SOPS 5886 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.886
AT ITER 149 NEW BEST:: SOT 16498 SOS 5915 HAS SOPS 5915 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.915
AT ITER 152 NEW BEST:: SOT 16494 SOS 5915 HAS SOPS 5915 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.915
AT ITER 156 NEW BEST:: SOT 16492 SOS 5913 HAS SOPS 5913 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.913
AT ITER 158 NEW BEST:: SOT 16513 SOS 5758 HAS SOPS 5758 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.758
AT ITER 162 NEW BEST:: SOT 16518 SOS 5778 HAS SOPS 5778 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4480.778
AT ITER 164 NEW BEST:: SOT 16511 SOS 5764 HAS SOPS 5764 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.764
AT ITER 173 NEW BEST:: SOT 16473 SOS 5630 HAS SOPS 5630 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.63
AT ITER 200 NEW BEST:: SOT 16473 SOS 5494 HAS SOPS 5494 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4414.494
AT ITER 205 NEW BEST:: SOT 16462 SOS 5492 HAS SOPS 5492 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4413.492
AT ITER 217 NEW BEST:: SOT 16464 SOS 5523 HAS SOPS 5523 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4393.523
AT ITER 246 NEW BEST:: SOT 16441 SOS 5533 HAS SOPS 5533 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4374.533
AT ITER 253 NEW BEST:: SOT 16426 SOS 5450 HAS SOPS 5450 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4366.45
AT ITER 266 NEW BEST:: SOT 16406 SOS 5397 HAS SOPS 5397 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4346.397
AT ITER 290 NEW BEST:: SOT 16406 SOS 5387 HAS SOPS 5387 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.387
AT ITER 294 NEW BEST:: SOT 16416 SOS 5379 HAS SOPS 5379 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4319.379
AT ITER 318 NEW BEST:: SOT 16388 SOS 5333 HAS SOPS 5333 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4304.333
AT ITER 333 NEW BEST:: SOT 16375 SOS 5318 HAS SOPS 5318 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4289.318
AT ITER 342 NEW BEST:: SOT 16367 SOS 5315 HAS SOPS 5315 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4276.315
AT ITER 355 NEW BEST:: SOT 16386 SOS 5343 HAS SOPS 5343 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.343
AT ITER 367 NEW BEST:: SOT 16350 SOS 5323 HAS SOPS 5323 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.323
AT ITER 405 NEW BEST:: SOT 16348 SOS 5319 HAS SOPS 5319 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4238.319
AT ITER 453 NEW BEST:: SOT 16343 SOS 5319 HAS SOPS 5319 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4232.319
AT ITER 473 NEW BEST:: SOT 16311 SOS 5295 HAS SOPS 5295 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4208.295
AT ITER 477 NEW BEST:: SOT 16336 SOS 5329 HAS SOPS 5329 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4191.329
AT ITER 490 NEW BEST:: SOT 16336 SOS 5329 HAS SOPS 5329 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4190.329
AT ITER 492 NEW BEST:: SOT 16350 SOS 5319 HAS SOPS 5319 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4187.319
AT ITER 549 NEW BEST:: SOT 16348 SOS 5317 HAS SOPS 5317 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4185.317
AT ITER 563 NEW BEST:: SOT 16346 SOS 5318 HAS SOPS 5318 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4176.318
AT ITER 572 NEW BEST:: SOT 16340 SOS 5306 HAS SOPS 5306 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4176.306
AT ITER 579 NEW BEST:: SOT 16314 SOS 5283 HAS SOPS 5283 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4168.283
AT ITER 596 NEW BEST:: SOT 16317 SOS 5282 HAS SOPS 5282 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.282
AT ITER 599 NEW BEST:: SOT 16315 SOS 5269 HAS SOPS 5269 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4164.269
AT ITER 600 NEW BEST:: SOT 16315 SOS 5307 HAS SOPS 5307 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4155.307
AT ITER 601 NEW BEST:: SOT 16318 SOS 5301 HAS SOPS 5301 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4149.301
AT ITER 626 NEW BEST:: SOT 16318 SOS 5293 HAS SOPS 5293 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.293
AT ITER 638 NEW BEST:: SOT 16309 SOS 5284 HAS SOPS 5284 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4114.284
AT ITER 653 NEW BEST:: SOT 16308 SOS 5282 HAS SOPS 5282 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.282
AT ITER 725 NEW BEST:: SOT 16303 SOS 5272 HAS SOPS 5272 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4102.272
AT ITER 797 NEW BEST:: SOT 16302 SOS 5270 HAS SOPS 5270 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4100.27
AT ITER 809 NEW BEST:: SOT 16302 SOS 5260 HAS SOPS 5260 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.26
AT ITER 839 NEW BEST:: SOT 16300 SOS 5258 HAS SOPS 5258 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4094.258
AT ITER 856 NEW BEST:: SOT 16279 SOS 5216 HAS SOPS 5216 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4075.216
AT ITER 866 NEW BEST:: SOT 16282 SOS 5212 HAS SOPS 5212 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4071.212
AT ITER 872 NEW BEST:: SOT 16282 SOS 5181 HAS SOPS 5181 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4071.181
AT ITER 931 NEW BEST:: SOT 16282 SOS 5182 HAS SOPS 5182 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4069.182
AT ITER 965 NEW BEST:: SOT 16291 SOS 5176 HAS SOPS 5176 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4069.176
AT ITER 996 NEW BEST:: SOT 16291 SOS 5166 HAS SOPS 5166 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4051.166
AT ITER 1020 NEW BEST:: SOT 16284 SOS 5180 HAS SOPS 5180 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4044.18
AT ITER 1029 NEW BEST:: SOT 16282 SOS 5174 HAS SOPS 5174 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4042.174
AT ITER 1063 NEW BEST:: SOT 16286 SOS 5174 HAS SOPS 5174 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4040.174
AT ITER 1069 NEW BEST:: SOT 16284 SOS 5172 HAS SOPS 5172 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4038.172
AT ITER 1090 NEW BEST:: SOT 16266 SOS 5154 HAS SOPS 5154 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4020.154
AT ITER 1109 NEW BEST:: SOT 16251 SOS 5108 HAS SOPS 5108 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4014.108
AT ITER 1154 NEW BEST:: SOT 16253 SOS 5106 HAS SOPS 5106 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4012.106
AT ITER 1161 NEW BEST:: SOT 16249 SOS 5105 HAS SOPS 5105 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4011.105
AT ITER 1217 NEW BEST:: SOT 16247 SOS 5103 HAS SOPS 5103 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4009.103
AT ITER 1219 NEW BEST:: SOT 16235 SOS 5103 HAS SOPS 5103 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3997.103
AT ITER 1234 NEW BEST:: SOT 16232 SOS 5094 HAS SOPS 5094 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3994.094
AT ITER 1243 NEW BEST:: SOT 16229 SOS 5088 HAS SOPS 5088 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3988.088
AT ITER 1244 NEW BEST:: SOT 16224 SOS 5083 HAS SOPS 5083 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3983.083
AT ITER 1245 NEW BEST:: SOT 16224 SOS 5082 HAS SOPS 5082 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3982.082
AT ITER 1260 NEW BEST:: SOT 16225 SOS 5074 HAS SOPS 5074 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3981.074
AT ITER 1278 NEW BEST:: SOT 16213 SOS 4995 HAS SOPS 4995 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.995
AT ITER 1325 NEW BEST:: SOT 16210 SOS 4992 HAS SOPS 4992 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3957.992
AT ITER 1326 NEW BEST:: SOT 16211 SOS 4991 HAS SOPS 4991 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.991
AT ITER 1333 NEW BEST:: SOT 16207 SOS 4976 HAS SOPS 4976 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.976
AT ITER 1357 NEW BEST:: SOT 16207 SOS 4972 HAS SOPS 4972 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.972
AT ITER 1390 NEW BEST:: SOT 16203 SOS 4964 HAS SOPS 4964 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.964
AT ITER 1403 NEW BEST:: SOT 16191 SOS 4976 HAS SOPS 4976 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.976
AT ITER 1413 NEW BEST:: SOT 16181 SOS 4946 HAS SOPS 4946 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.946
AT ITER 1434 NEW BEST:: SOT 16186 SOS 4957 HAS SOPS 4957 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.957
AT ITER 1440 NEW BEST:: SOT 16178 SOS 4949 HAS SOPS 4949 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.949
AT ITER 1455 NEW BEST:: SOT 16174 SOS 4945 HAS SOPS 4945 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.945
AT ITER 1473 NEW BEST:: SOT 16173 SOS 4941 HAS SOPS 4941 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3836.941
AT ITER 1474 NEW BEST:: SOT 16176 SOS 4934 HAS SOPS 4934 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.934
AT ITER 1489 NEW BEST:: SOT 16175 SOS 4931 HAS SOPS 4931 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.931
AT ITER 1511 NEW BEST:: SOT 16172 SOS 4922 HAS SOPS 4922 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.922
AT ITER 1559 NEW BEST:: SOT 16165 SOS 4904 HAS SOPS 4904 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.904
AT ITER 1561 NEW BEST:: SOT 16165 SOS 4898 HAS SOPS 4898 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.898
AT ITER 1594 NEW BEST:: SOT 16166 SOS 4907 HAS SOPS 4907 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3792.907
AT ITER 1598 NEW BEST:: SOT 16139 SOS 4873 HAS SOPS 4873 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3758.873
AT ITER 1610 NEW BEST:: SOT 16142 SOS 4867 HAS SOPS 4867 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3755.867
AT ITER 1630 NEW BEST:: SOT 16127 SOS 4928 HAS SOPS 4928 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.928
AT ITER 1654 NEW BEST:: SOT 16127 SOS 4926 HAS SOPS 4926 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3748.926
AT ITER 1686 NEW BEST:: SOT 16127 SOS 4918 HAS SOPS 4918 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3748.918
AT ITER 1735 NEW BEST:: SOT 16123 SOS 4918 HAS SOPS 4918 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3744.918
AT ITER 1808 NEW BEST:: SOT 16126 SOS 4921 HAS SOPS 4921 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.921
AT ITER 1818 NEW BEST:: SOT 16125 SOS 4912 HAS SOPS 4912 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3741.912
AT ITER 1824 NEW BEST:: SOT 16124 SOS 4910 HAS SOPS 4910 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3739.91
AT ITER 1861 NEW BEST:: SOT 16121 SOS 4910 HAS SOPS 4910 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3736.91
AT ITER 1970 NEW BEST:: SOT 16102 SOS 4907 HAS SOPS 4907 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3717.907
AT ITER 1992 NEW BEST:: SOT 16101 SOS 4857 HAS SOPS 4857 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.857
AT ITER 1993 NEW BEST:: SOT 16083 SOS 4906 HAS SOPS 4906 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.906
AT ITER 2081 NEW BEST:: SOT 16062 SOS 4877 HAS SOPS 4877 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3661.877
AT ITER 2133 NEW BEST:: SOT 16059 SOS 4870 HAS SOPS 4870 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3654.87
AT ITER 2134 NEW BEST:: SOT 16057 SOS 4866 HAS SOPS 4866 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.866
AT ITER 2143 NEW BEST:: SOT 16073 SOS 4864 HAS SOPS 4864 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.864
AT ITER 2161 NEW BEST:: SOT 16070 SOS 4852 HAS SOPS 4852 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.852
AT ITER 2315 NEW BEST:: SOT 16065 SOS 4852 HAS SOPS 4852 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.852
AT ITER 2338 NEW BEST:: SOT 16063 SOS 4855 HAS SOPS 4855 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.855
AT ITER 2389 NEW BEST:: SOT 16048 SOS 4845 HAS SOPS 4845 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3625.845
AT ITER 2469 NEW BEST:: SOT 16048 SOS 4803 HAS SOPS 4803 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3625.803
AT ITER 2480 NEW BEST:: SOT 16048 SOS 4802 HAS SOPS 4802 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.802
AT ITER 2481 NEW BEST:: SOT 16043 SOS 4797 HAS SOPS 4797 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.797
AT ITER 2495 NEW BEST:: SOT 16046 SOS 4807 HAS SOPS 4807 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.807
AT ITER 2503 NEW BEST:: SOT 16045 SOS 4804 HAS SOPS 4804 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3616.804
AT ITER 2522 NEW BEST:: SOT 16043 SOS 4813 HAS SOPS 4813 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3612.813
AT ITER 2545 NEW BEST:: SOT 16040 SOS 4810 HAS SOPS 4810 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3609.81
AT ITER 2610 NEW BEST:: SOT 16040 SOS 4776 HAS SOPS 4776 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.776
AT ITER 2626 NEW BEST:: SOT 16040 SOS 4695 HAS SOPS 4695 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.695
AT ITER 2632 NEW BEST:: SOT 16037 SOS 4689 HAS SOPS 4689 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.689
AT ITER 2642 NEW BEST:: SOT 16037 SOS 4689 HAS SOPS 4689 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.689
AT ITER 2657 NEW BEST:: SOT 15994 SOS 4689 HAS SOPS 4689 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3515.689
AT ITER 2675 NEW BEST:: SOT 15993 SOS 4692 HAS SOPS 4692 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3514.692
AT ITER 2680 NEW BEST:: SOT 15995 SOS 4696 HAS SOPS 4696 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.696
AT ITER 2740 NEW BEST:: SOT 15995 SOS 4693 HAS SOPS 4693 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.693
AT ITER 2800 NEW BEST:: SOT 15994 SOS 4692 HAS SOPS 4692 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3511.692
AT ITER 2802 NEW BEST:: SOT 15999 SOS 4702 HAS SOPS 4702 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.702
AT ITER 2894 NEW BEST:: SOT 15993 SOS 4800 HAS SOPS 4800 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.8
AT ITER 2904 NEW BEST:: SOT 15993 SOS 4795 HAS SOPS 4795 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.795
AT ITER 2913 NEW BEST:: SOT 15991 SOS 4791 HAS SOPS 4791 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3495.791
AT ITER 2920 NEW BEST:: SOT 15991 SOS 4768 HAS SOPS 4768 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3495.768
AT ITER 2939 NEW BEST:: SOT 15953 SOS 4773 HAS SOPS 4773 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3449.773
AT ITER 2946 NEW BEST:: SOT 15948 SOS 4764 HAS SOPS 4764 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3447.764
AT ITER 2958 NEW BEST:: SOT 15948 SOS 4749 HAS SOPS 4749 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3441.749
AT ITER 2985 NEW BEST:: SOT 15929 SOS 4737 HAS SOPS 4737 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3427.737
AT ITER 3014 NEW BEST:: SOT 15929 SOS 4737 HAS SOPS 4737 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3418.737
AT ITER 3105 NEW BEST:: SOT 15946 SOS 4696 HAS SOPS 4696 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3410.696
AT ITER 3120 NEW BEST:: SOT 15949 SOS 4697 HAS SOPS 4697 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3405.697
AT ITER 3148 NEW BEST:: SOT 15953 SOS 4711 HAS SOPS 4711 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3403.711
AT ITER 3164 NEW BEST:: SOT 15953 SOS 4711 HAS SOPS 4711 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.711
AT ITER 3225 NEW BEST:: SOT 15950 SOS 4691 HAS SOPS 4691 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3384.691
AT ITER 3231 NEW BEST:: SOT 15950 SOS 4689 HAS SOPS 4689 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.689
AT ITER 3262 NEW BEST:: SOT 15948 SOS 4684 HAS SOPS 4684 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.684
AT ITER 3266 NEW BEST:: SOT 15942 SOS 4672 HAS SOPS 4672 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.672
AT ITER 3287 NEW BEST:: SOT 15942 SOS 4683 HAS SOPS 4683 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3340.683
AT ITER 3317 NEW BEST:: SOT 15940 SOS 4676 HAS SOPS 4676 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3340.676
AT ITER 3341 NEW BEST:: SOT 15931 SOS 4662 HAS SOPS 4662 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3330.662
AT ITER 3391 NEW BEST:: SOT 15880 SOS 4611 HAS SOPS 4611 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3277.611
AT ITER 3406 NEW BEST:: SOT 15870 SOS 4596 HAS SOPS 4596 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3262.596
AT ITER 3458 NEW BEST:: SOT 15870 SOS 4592 HAS SOPS 4592 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3262.592
AT ITER 3461 NEW BEST:: SOT 15871 SOS 4601 HAS SOPS 4601 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3258.601
AT ITER 3522 NEW BEST:: SOT 15873 SOS 4603 HAS SOPS 4603 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3252.603
AT ITER 3524 NEW BEST:: SOT 15864 SOS 4554 HAS SOPS 4554 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3243.554
AT ITER 3531 NEW BEST:: SOT 15852 SOS 4541 HAS SOPS 4541 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3231.541
AT ITER 3536 NEW BEST:: SOT 15835 SOS 4521 HAS SOPS 4521 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3211.521
AT ITER 3578 NEW BEST:: SOT 15826 SOS 4506 HAS SOPS 4506 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3198.506
AT ITER 3595 NEW BEST:: SOT 15793 SOS 4504 HAS SOPS 4504 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3196.504
AT ITER 3610 NEW BEST:: SOT 15790 SOS 4501 HAS SOPS 4501 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3193.501
AT ITER 3626 NEW BEST:: SOT 15790 SOS 4500 HAS SOPS 4500 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3192.5
AT ITER 3640 NEW BEST:: SOT 15790 SOS 4488 HAS SOPS 4488 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3192.488
AT ITER 3674 NEW BEST:: SOT 15792 SOS 4476 HAS SOPS 4476 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3192.476
AT ITER 3696 NEW BEST:: SOT 15793 SOS 4478 HAS SOPS 4478 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3187.478
AT ITER 3734 NEW BEST:: SOT 15793 SOS 4477 HAS SOPS 4477 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3186.477
AT ITER 3757 NEW BEST:: SOT 15794 SOS 4478 HAS SOPS 4478 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3185.478
AT ITER 3768 NEW BEST:: SOT 15786 SOS 4470 HAS SOPS 4470 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3177.47
AT ITER 3809 NEW BEST:: SOT 15783 SOS 4469 HAS SOPS 4469 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3166.469
AT ITER 3866 NEW BEST:: SOT 15782 SOS 4467 HAS SOPS 4467 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3164.467
AT ITER 3873 NEW BEST:: SOT 15778 SOS 4455 HAS SOPS 4455 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3158.455
AT ITER 3924 NEW BEST:: SOT 15774 SOS 4451 HAS SOPS 4451 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3154.451
AT ITER 3988 NEW BEST:: SOT 15764 SOS 4441 HAS SOPS 4441 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3144.441
AT ITER 4000 NEW BEST:: SOT 15764 SOS 4465 HAS SOPS 4465 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3142.465
AT ITER 4091 NEW BEST:: SOT 15762 SOS 4463 HAS SOPS 4463 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3140.463
AT ITER 4110 NEW BEST:: SOT 15760 SOS 4461 HAS SOPS 4461 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3136.461
AT ITER 4263 NEW BEST:: SOT 15760 SOS 4463 HAS SOPS 4463 HAS SOUS 3127 HAS SOUPS 3127 WITH SCORE 3131.463
AT ITER 4276 NEW BEST:: SOT 15759 SOS 4453 HAS SOPS 4453 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3129.453
AT ITER 4327 NEW BEST:: SOT 15757 SOS 4451 HAS SOPS 4451 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3127.451
AT ITER 4343 NEW BEST:: SOT 15757 SOS 4451 HAS SOPS 4451 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3125.451
AT ITER 4407 NEW BEST:: SOT 15746 SOS 4396 HAS SOPS 4396 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3103.396
AT ITER 4416 NEW BEST:: SOT 15746 SOS 4395 HAS SOPS 4395 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3102.395
AT ITER 4491 NEW BEST:: SOT 15735 SOS 4394 HAS SOPS 4394 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3092.394
AT ITER 4518 NEW BEST:: SOT 15731 SOS 4385 HAS SOPS 4385 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3087.385
AT ITER 4542 NEW BEST:: SOT 15725 SOS 4379 HAS SOPS 4379 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3081.379
AT ITER 4595 NEW BEST:: SOT 15724 SOS 4373 HAS SOPS 4373 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3080.373
AT ITER 4637 NEW BEST:: SOT 15718 SOS 4361 HAS SOPS 4361 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3062.361
AT ITER 4656 NEW BEST:: SOT 15718 SOS 4362 HAS SOPS 4362 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3057.362
AT ITER 4713 NEW BEST:: SOT 15714 SOS 4392 HAS SOPS 4392 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3054.392
AT ITER 4733 NEW BEST:: SOT 15714 SOS 4390 HAS SOPS 4390 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3053.39
AT ITER 4745 NEW BEST:: SOT 15710 SOS 4374 HAS SOPS 4374 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3049.374
AT ITER 4772 NEW BEST:: SOT 15708 SOS 4371 HAS SOPS 4371 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3046.371
AT ITER 4793 NEW BEST:: SOT 15699 SOS 4341 HAS SOPS 4341 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3035.341
AT ITER 4815 NEW BEST:: SOT 15688 SOS 4327 HAS SOPS 4327 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3021.327
AT ITER 4828 NEW BEST:: SOT 15680 SOS 4319 HAS SOPS 4319 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3013.319
AT ITER 4952 NEW BEST:: SOT 15677 SOS 4303 HAS SOPS 4303 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3009.303
AT ITER 5088 NEW BEST:: SOT 15672 SOS 4293 HAS SOPS 4293 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2999.293
AT ITER 5111 NEW BEST:: SOT 15671 SOS 4291 HAS SOPS 4291 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 2997.291
AT ITER 5216 NEW BEST:: SOT 15667 SOS 4292 HAS SOPS 4292 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2993.292
AT ITER 5260 NEW BEST:: SOT 15665 SOS 4286 HAS SOPS 4286 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2989.286
AT ITER 5299 NEW BEST:: SOT 15665 SOS 4292 HAS SOPS 4292 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2987.292
AT ITER 5326 NEW BEST:: SOT 15663 SOS 4286 HAS SOPS 4286 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2981.286
AT ITER 5395 NEW BEST:: SOT 15662 SOS 4285 HAS SOPS 4285 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2980.285
AT ITER 5428 NEW BEST:: SOT 15666 SOS 4295 HAS SOPS 4295 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.295
AT ITER 5534 NEW BEST:: SOT 15666 SOS 4295 HAS SOPS 4295 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.295
AT ITER 5696 NEW BEST:: SOT 15661 SOS 4282 HAS SOPS 4282 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2959.282
AT ITER 5710 NEW BEST:: SOT 15660 SOS 4282 HAS SOPS 4282 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2956.282
AT ITER 5716 NEW BEST:: SOT 15659 SOS 4278 HAS SOPS 4278 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2955.278
AT ITER 5718 NEW BEST:: SOT 15656 SOS 4276 HAS SOPS 4276 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2952.276
AT ITER 5756 NEW BEST:: SOT 15657 SOS 4273 HAS SOPS 4273 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2952.273
AT ITER 5908 NEW BEST:: SOT 15655 SOS 4275 HAS SOPS 4275 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2950.275
AT ITER 6016 NEW BEST:: SOT 15655 SOS 4274 HAS SOPS 4274 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2949.274
AT ITER 6054 NEW BEST:: SOT 15655 SOS 4265 HAS SOPS 4265 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2949.265
AT ITER 6177 NEW BEST:: SOT 15653 SOS 4262 HAS SOPS 4262 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.262
AT ITER 6215 NEW BEST:: SOT 15653 SOS 4261 HAS SOPS 4261 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2946.261
AT ITER 6253 NEW BEST:: SOT 15643 SOS 4281 HAS SOPS 4281 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2935.281
AT ITER 6256 NEW BEST:: SOT 15643 SOS 4277 HAS SOPS 4277 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2933.277
AT ITER 6296 NEW BEST:: SOT 15642 SOS 4275 HAS SOPS 4275 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2931.275
AT ITER 6560 NEW BEST:: SOT 15630 SOS 4263 HAS SOPS 4263 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2919.263
AT ITER 6651 NEW BEST:: SOT 15624 SOS 4257 HAS SOPS 4257 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2913.257
AT ITER 6660 NEW BEST:: SOT 15625 SOS 4255 HAS SOPS 4255 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2911.255
AT ITER 6766 NEW BEST:: SOT 15624 SOS 4254 HAS SOPS 4254 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2910.254
AT ITER 6780 NEW BEST:: SOT 15618 SOS 4248 HAS SOPS 4248 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2904.248
AT ITER 6788 NEW BEST:: SOT 15617 SOS 4247 HAS SOPS 4247 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.247
AT ITER 6864 NEW BEST:: SOT 15617 SOS 4244 HAS SOPS 4244 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.244
AT ITER 6906 NEW BEST:: SOT 15607 SOS 4224 HAS SOPS 4224 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2883.224
AT ITER 7159 NEW BEST:: SOT 15607 SOS 4223 HAS SOPS 4223 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2882.223
AT ITER 7222 NEW BEST:: SOT 15607 SOS 4218 HAS SOPS 4218 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2881.218
AT ITER 7286 NEW BEST:: SOT 15606 SOS 4208 HAS SOPS 4208 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2878.208
AT ITER 7290 NEW BEST:: SOT 15604 SOS 4192 HAS SOPS 4192 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2876.192
AT ITER 7340 NEW BEST:: SOT 15602 SOS 4178 HAS SOPS 4178 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2874.178
AT ITER 7350 NEW BEST:: SOT 15603 SOS 4184 HAS SOPS 4184 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2873.184
AT ITER 7686 NEW BEST:: SOT 15597 SOS 4184 HAS SOPS 4184 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2867.184
AT ITER 7839 NEW BEST:: SOT 15597 SOS 4183 HAS SOPS 4183 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2866.183
AT ITER 7902 NEW BEST:: SOT 15596 SOS 4180 HAS SOPS 4180 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2863.18
AT ITER 7981 NEW BEST:: SOT 15590 SOS 4176 HAS SOPS 4176 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2856.176
AT ITER 8166 NEW BEST:: SOT 15589 SOS 4173 HAS SOPS 4173 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2853.173
AT ITER 8250 NEW BEST:: SOT 15589 SOS 4172 HAS SOPS 4172 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2852.172
AT ITER 8472 NEW BEST:: SOT 15587 SOS 4168 HAS SOPS 4168 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2850.168
AT ITER 8484 NEW BEST:: SOT 15587 SOS 4168 HAS SOPS 4168 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2846.168
AT ITER 8537 NEW BEST:: SOT 15588 SOS 4166 HAS SOPS 4166 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2844.166
AT ITER 8547 NEW BEST:: SOT 15590 SOS 4169 HAS SOPS 4169 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2842.169
AT ITER 8550 NEW BEST:: SOT 15584 SOS 4163 HAS SOPS 4163 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2836.163
AT ITER 9021 NEW BEST:: SOT 15580 SOS 4147 HAS SOPS 4147 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2831.147
AT ITER 9520 NEW BEST:: SOT 15578 SOS 4145 HAS SOPS 4145 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2829.145
AT ITER 9862 NEW BEST:: SOT 15577 SOS 4162 HAS SOPS 4162 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2828.162
AT ITER 9904 NEW BEST:: SOT 15577 SOS 4160 HAS SOPS 4160 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2827.16
AT ITER 9940 NEW BEST:: SOT 15575 SOS 4158 HAS SOPS 4158 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2825.158

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="ShieldRVs-PT-004B"
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"

# 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 ShieldRVs-PT-004B, 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 r207-tajo-159033470000808"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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