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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.6K Mar 31 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 30 00:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 30 00:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 07:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 67K Mar 24 05:37 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 1589365186078

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

Filename model.pnml
Petri model created: 216 places, 198 transitions, 558 arcs.
AT ITER 0 NEW BEST:: SOT 23544 SOS 5240 HAS SOPS 5240 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.24
AT ITER 43 NEW BEST:: SOT 23535 SOS 5247 HAS SOPS 5247 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.247
AT ITER 68 NEW BEST:: SOT 23529 SOS 5237 HAS SOPS 5237 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4956.237
AT ITER 83 NEW BEST:: SOT 23529 SOS 5236 HAS SOPS 5236 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.236
AT ITER 101 NEW BEST:: SOT 23510 SOS 5235 HAS SOPS 5235 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4954.235
AT ITER 104 NEW BEST:: SOT 23510 SOS 5234 HAS SOPS 5234 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4953.234
AT ITER 153 NEW BEST:: SOT 23508 SOS 5232 HAS SOPS 5232 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4951.232
AT ITER 162 NEW BEST:: SOT 23508 SOS 5229 HAS SOPS 5229 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4948.229
AT ITER 179 NEW BEST:: SOT 23507 SOS 5227 HAS SOPS 5227 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4946.227
AT ITER 188 NEW BEST:: SOT 23507 SOS 5227 HAS SOPS 5227 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.227
AT ITER 206 NEW BEST:: SOT 23492 SOS 5212 HAS SOPS 5212 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4927.212
AT ITER 236 NEW BEST:: SOT 23495 SOS 5190 HAS SOPS 5190 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4918.19
AT ITER 252 NEW BEST:: SOT 23499 SOS 5175 HAS SOPS 5175 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4903.175
AT ITER 266 NEW BEST:: SOT 23495 SOS 5174 HAS SOPS 5174 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.174
AT ITER 335 NEW BEST:: SOT 23481 SOS 5163 HAS SOPS 5163 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.163
AT ITER 350 NEW BEST:: SOT 23468 SOS 5156 HAS SOPS 5156 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4881.156
AT ITER 351 NEW BEST:: SOT 23464 SOS 5148 HAS SOPS 5148 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4872.148
AT ITER 352 NEW BEST:: SOT 23462 SOS 5130 HAS SOPS 5130 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.13
AT ITER 362 NEW BEST:: SOT 23461 SOS 5129 HAS SOPS 5129 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4843.129
AT ITER 365 NEW BEST:: SOT 23456 SOS 5127 HAS SOPS 5127 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4841.127
AT ITER 398 NEW BEST:: SOT 23450 SOS 5121 HAS SOPS 5121 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4835.121
AT ITER 400 NEW BEST:: SOT 23447 SOS 5104 HAS SOPS 5104 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4821.104
AT ITER 405 NEW BEST:: SOT 23446 SOS 5103 HAS SOPS 5103 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.103
AT ITER 442 NEW BEST:: SOT 23446 SOS 5067 HAS SOPS 5067 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4802.067
AT ITER 496 NEW BEST:: SOT 23446 SOS 5043 HAS SOPS 5043 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4802.043
AT ITER 499 NEW BEST:: SOT 23444 SOS 5041 HAS SOPS 5041 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4800.041
AT ITER 528 NEW BEST:: SOT 23459 SOS 5036 HAS SOPS 5036 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4796.036
AT ITER 544 NEW BEST:: SOT 23459 SOS 5024 HAS SOPS 5024 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.024
AT ITER 545 NEW BEST:: SOT 23447 SOS 5021 HAS SOPS 5021 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4781.021
AT ITER 552 NEW BEST:: SOT 23429 SOS 4993 HAS SOPS 4993 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4752.993
AT ITER 556 NEW BEST:: SOT 23423 SOS 4983 HAS SOPS 4983 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4742.983
AT ITER 592 NEW BEST:: SOT 23414 SOS 4974 HAS SOPS 4974 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4733.974
AT ITER 606 NEW BEST:: SOT 23414 SOS 4965 HAS SOPS 4965 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4725.965
AT ITER 607 NEW BEST:: SOT 23409 SOS 4950 HAS SOPS 4950 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4710.95
AT ITER 612 NEW BEST:: SOT 23409 SOS 4949 HAS SOPS 4949 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4705.949
AT ITER 633 NEW BEST:: SOT 23392 SOS 4881 HAS SOPS 4881 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4654.881
AT ITER 638 NEW BEST:: SOT 23386 SOS 4875 HAS SOPS 4875 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4648.875
AT ITER 640 NEW BEST:: SOT 23378 SOS 4857 HAS SOPS 4857 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4630.857
AT ITER 649 NEW BEST:: SOT 23375 SOS 4851 HAS SOPS 4851 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4628.851
AT ITER 680 NEW BEST:: SOT 23362 SOS 4841 HAS SOPS 4841 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4608.841
AT ITER 683 NEW BEST:: SOT 23362 SOS 4834 HAS SOPS 4834 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4601.834
AT ITER 726 NEW BEST:: SOT 23361 SOS 4832 HAS SOPS 4832 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4599.832
AT ITER 743 NEW BEST:: SOT 23361 SOS 4846 HAS SOPS 4846 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4589.846
AT ITER 763 NEW BEST:: SOT 23363 SOS 4844 HAS SOPS 4844 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4587.844
AT ITER 781 NEW BEST:: SOT 23342 SOS 4829 HAS SOPS 4829 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4572.829
AT ITER 797 NEW BEST:: SOT 23335 SOS 4817 HAS SOPS 4817 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4569.817
AT ITER 831 NEW BEST:: SOT 23333 SOS 4827 HAS SOPS 4827 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4566.827
AT ITER 857 NEW BEST:: SOT 23341 SOS 4826 HAS SOPS 4826 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4556.826
AT ITER 860 NEW BEST:: SOT 23341 SOS 4818 HAS SOPS 4818 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4548.818
AT ITER 891 NEW BEST:: SOT 23340 SOS 4791 HAS SOPS 4791 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4538.791
AT ITER 894 NEW BEST:: SOT 23333 SOS 4777 HAS SOPS 4777 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4524.777
AT ITER 919 NEW BEST:: SOT 23332 SOS 4775 HAS SOPS 4775 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4522.775
AT ITER 949 NEW BEST:: SOT 23307 SOS 4749 HAS SOPS 4749 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4494.749
AT ITER 959 NEW BEST:: SOT 23306 SOS 4748 HAS SOPS 4748 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4493.748
AT ITER 962 NEW BEST:: SOT 23302 SOS 4746 HAS SOPS 4746 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4491.746
AT ITER 979 NEW BEST:: SOT 23293 SOS 4742 HAS SOPS 4742 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4487.742
AT ITER 981 NEW BEST:: SOT 23269 SOS 4732 HAS SOPS 4732 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4462.732
AT ITER 1039 NEW BEST:: SOT 23263 SOS 4730 HAS SOPS 4730 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4460.73
AT ITER 1053 NEW BEST:: SOT 23259 SOS 4726 HAS SOPS 4726 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4456.726
AT ITER 1081 NEW BEST:: SOT 23257 SOS 4724 HAS SOPS 4724 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4454.724
AT ITER 1183 NEW BEST:: SOT 23248 SOS 4719 HAS SOPS 4719 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4436.719
AT ITER 1187 NEW BEST:: SOT 23250 SOS 4705 HAS SOPS 4705 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4406.705
AT ITER 1247 NEW BEST:: SOT 23249 SOS 4703 HAS SOPS 4703 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4404.703
AT ITER 1272 NEW BEST:: SOT 23249 SOS 4683 HAS SOPS 4683 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4404.683
AT ITER 1273 NEW BEST:: SOT 23248 SOS 4680 HAS SOPS 4680 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.68
AT ITER 1299 NEW BEST:: SOT 23234 SOS 4668 HAS SOPS 4668 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4389.668
AT ITER 1320 NEW BEST:: SOT 23228 SOS 4659 HAS SOPS 4659 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4380.659
AT ITER 1392 NEW BEST:: SOT 23251 SOS 4645 HAS SOPS 4645 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4380.645
AT ITER 1400 NEW BEST:: SOT 23262 SOS 4613 HAS SOPS 4613 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4359.613
AT ITER 1415 NEW BEST:: SOT 23262 SOS 4607 HAS SOPS 4607 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4352.607
AT ITER 1466 NEW BEST:: SOT 23269 SOS 4601 HAS SOPS 4601 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.601
AT ITER 1478 NEW BEST:: SOT 23273 SOS 4602 HAS SOPS 4602 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.602
AT ITER 1479 NEW BEST:: SOT 23267 SOS 4580 HAS SOPS 4580 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4316.58
AT ITER 1494 NEW BEST:: SOT 23266 SOS 4566 HAS SOPS 4566 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4315.566
AT ITER 1591 NEW BEST:: SOT 23247 SOS 4522 HAS SOPS 4522 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.522
AT ITER 1635 NEW BEST:: SOT 23238 SOS 4520 HAS SOPS 4520 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4258.52
AT ITER 1644 NEW BEST:: SOT 23223 SOS 4468 HAS SOPS 4468 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4255.468
AT ITER 1664 NEW BEST:: SOT 23213 SOS 4458 HAS SOPS 4458 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4245.458
AT ITER 1702 NEW BEST:: SOT 23213 SOS 4447 HAS SOPS 4447 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4241.447
AT ITER 1711 NEW BEST:: SOT 23195 SOS 4435 HAS SOPS 4435 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4226.435
AT ITER 1715 NEW BEST:: SOT 23195 SOS 4423 HAS SOPS 4423 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4214.423
AT ITER 1739 NEW BEST:: SOT 23183 SOS 4395 HAS SOPS 4395 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4174.395
AT ITER 1743 NEW BEST:: SOT 23184 SOS 4397 HAS SOPS 4397 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4170.397
AT ITER 1753 NEW BEST:: SOT 23178 SOS 4385 HAS SOPS 4385 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.385
AT ITER 1788 NEW BEST:: SOT 23176 SOS 4377 HAS SOPS 4377 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4159.377
AT ITER 1794 NEW BEST:: SOT 23176 SOS 4376 HAS SOPS 4376 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.376
AT ITER 1812 NEW BEST:: SOT 23189 SOS 4388 HAS SOPS 4388 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.388
AT ITER 1881 NEW BEST:: SOT 23188 SOS 4387 HAS SOPS 4387 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4148.387
AT ITER 1938 NEW BEST:: SOT 23185 SOS 4384 HAS SOPS 4384 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4145.384
AT ITER 1955 NEW BEST:: SOT 23162 SOS 4356 HAS SOPS 4356 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4117.356
AT ITER 2006 NEW BEST:: SOT 23155 SOS 4349 HAS SOPS 4349 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.349
AT ITER 2015 NEW BEST:: SOT 23149 SOS 4344 HAS SOPS 4344 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.344
AT ITER 2044 NEW BEST:: SOT 23153 SOS 4347 HAS SOPS 4347 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4094.347
AT ITER 2154 NEW BEST:: SOT 23150 SOS 4338 HAS SOPS 4338 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.338
AT ITER 2187 NEW BEST:: SOT 23151 SOS 4333 HAS SOPS 4333 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.333
AT ITER 2202 NEW BEST:: SOT 23140 SOS 4324 HAS SOPS 4324 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4079.324
AT ITER 2204 NEW BEST:: SOT 23152 SOS 4302 HAS SOPS 4302 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4077.302
AT ITER 2245 NEW BEST:: SOT 23151 SOS 4299 HAS SOPS 4299 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4076.299
AT ITER 2292 NEW BEST:: SOT 23149 SOS 4297 HAS SOPS 4297 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.297
AT ITER 2298 NEW BEST:: SOT 23145 SOS 4295 HAS SOPS 4295 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4072.295
AT ITER 2336 NEW BEST:: SOT 23147 SOS 4263 HAS SOPS 4263 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.263
AT ITER 2364 NEW BEST:: SOT 23151 SOS 4272 HAS SOPS 4272 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.272
AT ITER 2375 NEW BEST:: SOT 23151 SOS 4269 HAS SOPS 4269 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.269
AT ITER 2395 NEW BEST:: SOT 23133 SOS 4279 HAS SOPS 4279 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.279
AT ITER 2402 NEW BEST:: SOT 23122 SOS 4264 HAS SOPS 4264 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.264
AT ITER 2407 NEW BEST:: SOT 23121 SOS 4260 HAS SOPS 4260 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4028.26
AT ITER 2425 NEW BEST:: SOT 23126 SOS 4252 HAS SOPS 4252 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.252
AT ITER 2449 NEW BEST:: SOT 23121 SOS 4240 HAS SOPS 4240 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4008.24
AT ITER 2467 NEW BEST:: SOT 23113 SOS 4232 HAS SOPS 4232 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.232
AT ITER 2489 NEW BEST:: SOT 23118 SOS 4227 HAS SOPS 4227 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3995.227
AT ITER 2571 NEW BEST:: SOT 23113 SOS 4225 HAS SOPS 4225 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3993.225
AT ITER 2572 NEW BEST:: SOT 23113 SOS 4225 HAS SOPS 4225 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3992.225
AT ITER 2589 NEW BEST:: SOT 23112 SOS 4200 HAS SOPS 4200 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3979.2
AT ITER 2591 NEW BEST:: SOT 23115 SOS 4197 HAS SOPS 4197 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.197
AT ITER 2598 NEW BEST:: SOT 23116 SOS 4191 HAS SOPS 4191 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.191
AT ITER 2608 NEW BEST:: SOT 23120 SOS 4181 HAS SOPS 4181 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.181
AT ITER 2646 NEW BEST:: SOT 23123 SOS 4178 HAS SOPS 4178 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.178
AT ITER 2670 NEW BEST:: SOT 23118 SOS 4143 HAS SOPS 4143 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3964.143
AT ITER 2682 NEW BEST:: SOT 23126 SOS 4136 HAS SOPS 4136 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3957.136
AT ITER 2690 NEW BEST:: SOT 23123 SOS 4135 HAS SOPS 4135 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.135
AT ITER 2691 NEW BEST:: SOT 23122 SOS 4133 HAS SOPS 4133 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.133
AT ITER 2696 NEW BEST:: SOT 23124 SOS 4135 HAS SOPS 4135 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.135
AT ITER 2705 NEW BEST:: SOT 23129 SOS 4137 HAS SOPS 4137 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3945.137
AT ITER 2712 NEW BEST:: SOT 23126 SOS 4131 HAS SOPS 4131 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.131
AT ITER 2764 NEW BEST:: SOT 23100 SOS 4090 HAS SOPS 4090 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.09
AT ITER 2876 NEW BEST:: SOT 23096 SOS 4087 HAS SOPS 4087 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3894.087
AT ITER 2884 NEW BEST:: SOT 23096 SOS 4082 HAS SOPS 4082 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3894.082
AT ITER 2950 NEW BEST:: SOT 23103 SOS 4072 HAS SOPS 4072 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.072
AT ITER 3012 NEW BEST:: SOT 23107 SOS 4069 HAS SOPS 4069 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.069
AT ITER 3036 NEW BEST:: SOT 23118 SOS 4054 HAS SOPS 4054 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.054
AT ITER 3066 NEW BEST:: SOT 23118 SOS 4053 HAS SOPS 4053 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.053
AT ITER 3076 NEW BEST:: SOT 23118 SOS 4038 HAS SOPS 4038 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.038
AT ITER 3106 NEW BEST:: SOT 23118 SOS 4047 HAS SOPS 4047 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3857.047
AT ITER 3202 NEW BEST:: SOT 23118 SOS 4035 HAS SOPS 4035 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3854.035
AT ITER 3230 NEW BEST:: SOT 23113 SOS 4034 HAS SOPS 4034 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.034
AT ITER 3240 NEW BEST:: SOT 23116 SOS 4027 HAS SOPS 4027 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.027
AT ITER 3253 NEW BEST:: SOT 23111 SOS 4010 HAS SOPS 4010 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.01
AT ITER 3284 NEW BEST:: SOT 23106 SOS 4005 HAS SOPS 4005 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3820.005
AT ITER 3350 NEW BEST:: SOT 23109 SOS 3987 HAS SOPS 3987 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3808.987
AT ITER 3372 NEW BEST:: SOT 23109 SOS 3983 HAS SOPS 3983 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3804.983
AT ITER 3391 NEW BEST:: SOT 23109 SOS 3980 HAS SOPS 3980 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3804.98
AT ITER 3397 NEW BEST:: SOT 23107 SOS 3978 HAS SOPS 3978 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3802.978
AT ITER 3448 NEW BEST:: SOT 23103 SOS 3973 HAS SOPS 3973 HAS SOUS 3794 HAS SOUPS 3794 WITH SCORE 3797.973
AT ITER 3465 NEW BEST:: SOT 23101 SOS 3971 HAS SOPS 3971 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3795.971
AT ITER 3496 NEW BEST:: SOT 23086 SOS 3962 HAS SOPS 3962 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3760.962
AT ITER 3524 NEW BEST:: SOT 23086 SOS 3962 HAS SOPS 3962 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3758.962
AT ITER 3537 NEW BEST:: SOT 23086 SOS 3968 HAS SOPS 3968 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3757.968
AT ITER 3562 NEW BEST:: SOT 23082 SOS 3967 HAS SOPS 3967 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3754.967
AT ITER 3569 NEW BEST:: SOT 23080 SOS 3966 HAS SOPS 3966 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3739.966
AT ITER 3577 NEW BEST:: SOT 23083 SOS 3955 HAS SOPS 3955 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3734.955
AT ITER 3580 NEW BEST:: SOT 23084 SOS 3960 HAS SOPS 3960 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3731.96
AT ITER 3583 NEW BEST:: SOT 23091 SOS 3956 HAS SOPS 3956 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3720.956
AT ITER 3603 NEW BEST:: SOT 23081 SOS 3940 HAS SOPS 3940 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3704.94
AT ITER 3650 NEW BEST:: SOT 23072 SOS 3933 HAS SOPS 3933 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3696.933
AT ITER 3727 NEW BEST:: SOT 23041 SOS 3907 HAS SOPS 3907 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3667.907
AT ITER 3754 NEW BEST:: SOT 23041 SOS 3901 HAS SOPS 3901 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3661.901
AT ITER 3785 NEW BEST:: SOT 23039 SOS 3909 HAS SOPS 3909 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3659.909
AT ITER 3879 NEW BEST:: SOT 23040 SOS 3907 HAS SOPS 3907 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3658.907
AT ITER 3973 NEW BEST:: SOT 23043 SOS 3909 HAS SOPS 3909 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3655.909
AT ITER 3985 NEW BEST:: SOT 23035 SOS 3901 HAS SOPS 3901 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3647.901
AT ITER 3999 NEW BEST:: SOT 23034 SOS 3899 HAS SOPS 3899 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3642.899
AT ITER 4061 NEW BEST:: SOT 23031 SOS 3893 HAS SOPS 3893 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3636.893
AT ITER 4064 NEW BEST:: SOT 23031 SOS 3889 HAS SOPS 3889 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3636.889
AT ITER 4081 NEW BEST:: SOT 23036 SOS 3885 HAS SOPS 3885 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3632.885
AT ITER 4090 NEW BEST:: SOT 23037 SOS 3887 HAS SOPS 3887 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3627.887
AT ITER 4144 NEW BEST:: SOT 23043 SOS 3881 HAS SOPS 3881 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3627.881
AT ITER 4166 NEW BEST:: SOT 23042 SOS 3880 HAS SOPS 3880 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3626.88
AT ITER 4174 NEW BEST:: SOT 23038 SOS 3881 HAS SOPS 3881 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3625.881
AT ITER 4217 NEW BEST:: SOT 23041 SOS 3885 HAS SOPS 3885 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3622.885
AT ITER 4219 NEW BEST:: SOT 23040 SOS 3881 HAS SOPS 3881 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3619.881
AT ITER 4258 NEW BEST:: SOT 23036 SOS 3861 HAS SOPS 3861 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3606.861
AT ITER 4267 NEW BEST:: SOT 23035 SOS 3860 HAS SOPS 3860 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3605.86
AT ITER 4276 NEW BEST:: SOT 23023 SOS 3855 HAS SOPS 3855 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3594.855
AT ITER 4367 NEW BEST:: SOT 23016 SOS 3858 HAS SOPS 3858 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3587.858
AT ITER 4381 NEW BEST:: SOT 23016 SOS 3857 HAS SOPS 3857 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3587.857
AT ITER 4386 NEW BEST:: SOT 23016 SOS 3856 HAS SOPS 3856 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3586.856
AT ITER 4394 NEW BEST:: SOT 23009 SOS 3847 HAS SOPS 3847 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3576.847
AT ITER 4419 NEW BEST:: SOT 23004 SOS 3867 HAS SOPS 3867 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3570.867
AT ITER 4464 NEW BEST:: SOT 23003 SOS 3865 HAS SOPS 3865 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3568.865
AT ITER 4478 NEW BEST:: SOT 23002 SOS 3857 HAS SOPS 3857 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3560.857
AT ITER 4496 NEW BEST:: SOT 22995 SOS 3868 HAS SOPS 3868 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3556.868
AT ITER 4547 NEW BEST:: SOT 22990 SOS 3858 HAS SOPS 3858 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3548.858
AT ITER 4560 NEW BEST:: SOT 22976 SOS 3793 HAS SOPS 3793 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3506.793
AT ITER 4564 NEW BEST:: SOT 22972 SOS 3791 HAS SOPS 3791 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3504.791
AT ITER 4583 NEW BEST:: SOT 22971 SOS 3782 HAS SOPS 3782 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3499.782
AT ITER 4591 NEW BEST:: SOT 22952 SOS 3770 HAS SOPS 3770 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3487.77
AT ITER 4593 NEW BEST:: SOT 22948 SOS 3770 HAS SOPS 3770 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3484.77
AT ITER 4610 NEW BEST:: SOT 22941 SOS 3762 HAS SOPS 3762 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3476.762
AT ITER 4697 NEW BEST:: SOT 22936 SOS 3761 HAS SOPS 3761 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3465.761
AT ITER 4755 NEW BEST:: SOT 22936 SOS 3747 HAS SOPS 3747 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3465.747
AT ITER 4804 NEW BEST:: SOT 22933 SOS 3742 HAS SOPS 3742 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3460.742
AT ITER 4813 NEW BEST:: SOT 22935 SOS 3740 HAS SOPS 3740 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3456.74
AT ITER 4964 NEW BEST:: SOT 22935 SOS 3741 HAS SOPS 3741 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3450.741
AT ITER 5077 NEW BEST:: SOT 22934 SOS 3740 HAS SOPS 3740 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3448.74
AT ITER 5083 NEW BEST:: SOT 22924 SOS 3747 HAS SOPS 3747 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3446.747
AT ITER 5101 NEW BEST:: SOT 22903 SOS 3724 HAS SOPS 3724 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.724
AT ITER 5108 NEW BEST:: SOT 22904 SOS 3721 HAS SOPS 3721 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.721
AT ITER 5124 NEW BEST:: SOT 22904 SOS 3721 HAS SOPS 3721 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3418.721
AT ITER 5147 NEW BEST:: SOT 22898 SOS 3715 HAS SOPS 3715 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3412.715
AT ITER 5199 NEW BEST:: SOT 22889 SOS 3690 HAS SOPS 3690 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.69
AT ITER 5284 NEW BEST:: SOT 22889 SOS 3689 HAS SOPS 3689 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.689
AT ITER 5371 NEW BEST:: SOT 22889 SOS 3686 HAS SOPS 3686 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3382.686
AT ITER 5395 NEW BEST:: SOT 22884 SOS 3682 HAS SOPS 3682 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3376.682
AT ITER 5462 NEW BEST:: SOT 22884 SOS 3676 HAS SOPS 3676 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.676
AT ITER 5508 NEW BEST:: SOT 22889 SOS 3686 HAS SOPS 3686 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.686
AT ITER 5571 NEW BEST:: SOT 22881 SOS 3684 HAS SOPS 3684 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3363.684
AT ITER 5591 NEW BEST:: SOT 22881 SOS 3682 HAS SOPS 3682 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3363.682
AT ITER 5685 NEW BEST:: SOT 22885 SOS 3663 HAS SOPS 3663 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3353.663
AT ITER 5769 NEW BEST:: SOT 22882 SOS 3659 HAS SOPS 3659 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.659
AT ITER 5826 NEW BEST:: SOT 22886 SOS 3655 HAS SOPS 3655 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.655
AT ITER 5840 NEW BEST:: SOT 22886 SOS 3653 HAS SOPS 3653 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.653
AT ITER 5862 NEW BEST:: SOT 22886 SOS 3651 HAS SOPS 3651 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.651
AT ITER 5910 NEW BEST:: SOT 22886 SOS 3645 HAS SOPS 3645 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3345.645
AT ITER 5926 NEW BEST:: SOT 22885 SOS 3644 HAS SOPS 3644 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.644
AT ITER 6039 NEW BEST:: SOT 22882 SOS 3637 HAS SOPS 3637 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.637
AT ITER 6092 NEW BEST:: SOT 22883 SOS 3637 HAS SOPS 3637 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.637
AT ITER 6163 NEW BEST:: SOT 22868 SOS 3632 HAS SOPS 3632 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.632
AT ITER 6296 NEW BEST:: SOT 22866 SOS 3630 HAS SOPS 3630 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.63
AT ITER 6418 NEW BEST:: SOT 22869 SOS 3630 HAS SOPS 3630 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.63
AT ITER 6426 NEW BEST:: SOT 22865 SOS 3624 HAS SOPS 3624 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.624
AT ITER 6444 NEW BEST:: SOT 22865 SOS 3627 HAS SOPS 3627 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3302.627
AT ITER 6446 NEW BEST:: SOT 22864 SOS 3626 HAS SOPS 3626 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3301.626
AT ITER 6540 NEW BEST:: SOT 22864 SOS 3625 HAS SOPS 3625 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3301.625
AT ITER 6627 NEW BEST:: SOT 22861 SOS 3597 HAS SOPS 3597 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.597
AT ITER 6643 NEW BEST:: SOT 22863 SOS 3591 HAS SOPS 3591 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.591
AT ITER 6694 NEW BEST:: SOT 22862 SOS 3584 HAS SOPS 3584 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3289.584
AT ITER 6813 NEW BEST:: SOT 22862 SOS 3579 HAS SOPS 3579 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3287.579
AT ITER 6854 NEW BEST:: SOT 22853 SOS 3576 HAS SOPS 3576 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.576
AT ITER 6869 NEW BEST:: SOT 22852 SOS 3575 HAS SOPS 3575 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.575
AT ITER 6973 NEW BEST:: SOT 22846 SOS 3582 HAS SOPS 3582 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.582
AT ITER 7039 NEW BEST:: SOT 22842 SOS 3576 HAS SOPS 3576 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.576
AT ITER 7082 NEW BEST:: SOT 22837 SOS 3566 HAS SOPS 3566 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3270.566
AT ITER 7214 NEW BEST:: SOT 22842 SOS 3558 HAS SOPS 3558 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.558
AT ITER 7217 NEW BEST:: SOT 22842 SOS 3551 HAS SOPS 3551 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.551
AT ITER 7257 NEW BEST:: SOT 22846 SOS 3547 HAS SOPS 3547 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.547
AT ITER 7262 NEW BEST:: SOT 22842 SOS 3542 HAS SOPS 3542 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.542
AT ITER 7264 NEW BEST:: SOT 22840 SOS 3542 HAS SOPS 3542 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.542
AT ITER 7269 NEW BEST:: SOT 22840 SOS 3538 HAS SOPS 3538 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3253.538
AT ITER 7284 NEW BEST:: SOT 22835 SOS 3538 HAS SOPS 3538 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.538
AT ITER 7293 NEW BEST:: SOT 22836 SOS 3530 HAS SOPS 3530 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3246.53
AT ITER 7356 NEW BEST:: SOT 22808 SOS 3499 HAS SOPS 3499 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3239.499
AT ITER 7376 NEW BEST:: SOT 22808 SOS 3497 HAS SOPS 3497 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3239.497
AT ITER 7436 NEW BEST:: SOT 22794 SOS 3483 HAS SOPS 3483 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.483
AT ITER 7472 NEW BEST:: SOT 22794 SOS 3483 HAS SOPS 3483 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3223.483
AT ITER 7493 NEW BEST:: SOT 22793 SOS 3482 HAS SOPS 3482 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.482
AT ITER 7528 NEW BEST:: SOT 22793 SOS 3478 HAS SOPS 3478 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.478
AT ITER 7633 NEW BEST:: SOT 22789 SOS 3472 HAS SOPS 3472 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.472
AT ITER 7659 NEW BEST:: SOT 22789 SOS 3458 HAS SOPS 3458 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.458
AT ITER 7741 NEW BEST:: SOT 22789 SOS 3452 HAS SOPS 3452 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.452
AT ITER 7898 NEW BEST:: SOT 22789 SOS 3446 HAS SOPS 3446 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3202.446
AT ITER 7923 NEW BEST:: SOT 22787 SOS 3427 HAS SOPS 3427 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.427
AT ITER 7957 NEW BEST:: SOT 22786 SOS 3426 HAS SOPS 3426 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3188.426
AT ITER 8003 NEW BEST:: SOT 22787 SOS 3424 HAS SOPS 3424 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.424
AT ITER 8041 NEW BEST:: SOT 22776 SOS 3423 HAS SOPS 3423 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.423
AT ITER 8060 NEW BEST:: SOT 22777 SOS 3421 HAS SOPS 3421 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3183.421
AT ITER 8150 NEW BEST:: SOT 22770 SOS 3404 HAS SOPS 3404 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.404
AT ITER 8155 NEW BEST:: SOT 22770 SOS 3402 HAS SOPS 3402 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3165.402
AT ITER 8156 NEW BEST:: SOT 22762 SOS 3390 HAS SOPS 3390 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.39
AT ITER 8399 NEW BEST:: SOT 22762 SOS 3387 HAS SOPS 3387 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.387
AT ITER 8406 NEW BEST:: SOT 22761 SOS 3382 HAS SOPS 3382 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.382
AT ITER 8410 NEW BEST:: SOT 22745 SOS 3362 HAS SOPS 3362 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.362
AT ITER 8419 NEW BEST:: SOT 22740 SOS 3358 HAS SOPS 3358 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.358
AT ITER 8438 NEW BEST:: SOT 22736 SOS 3355 HAS SOPS 3355 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.355
AT ITER 8524 NEW BEST:: SOT 22734 SOS 3353 HAS SOPS 3353 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.353
AT ITER 8541 NEW BEST:: SOT 22724 SOS 3357 HAS SOPS 3357 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3123.357
AT ITER 8595 NEW BEST:: SOT 22721 SOS 3341 HAS SOPS 3341 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.341
AT ITER 8837 NEW BEST:: SOT 22722 SOS 3339 HAS SOPS 3339 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3107.339
AT ITER 8870 NEW BEST:: SOT 22731 SOS 3338 HAS SOPS 3338 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.338
AT ITER 8892 NEW BEST:: SOT 22726 SOS 3323 HAS SOPS 3323 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.323
AT ITER 8966 NEW BEST:: SOT 22725 SOS 3322 HAS SOPS 3322 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.322
AT ITER 9033 NEW BEST:: SOT 22724 SOS 3321 HAS SOPS 3321 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.321
AT ITER 9039 NEW BEST:: SOT 22723 SOS 3319 HAS SOPS 3319 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.319
AT ITER 9058 NEW BEST:: SOT 22722 SOS 3317 HAS SOPS 3317 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.317
AT ITER 9116 NEW BEST:: SOT 22728 SOS 3316 HAS SOPS 3316 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3093.316
AT ITER 9141 NEW BEST:: SOT 22712 SOS 3290 HAS SOPS 3290 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.29
AT ITER 9189 NEW BEST:: SOT 22712 SOS 3284 HAS SOPS 3284 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.284
AT ITER 9263 NEW BEST:: SOT 22711 SOS 3283 HAS SOPS 3283 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.283
AT ITER 9283 NEW BEST:: SOT 22710 SOS 3282 HAS SOPS 3282 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.282
AT ITER 9303 NEW BEST:: SOT 22706 SOS 3278 HAS SOPS 3278 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.278
AT ITER 9310 NEW BEST:: SOT 22706 SOS 3277 HAS SOPS 3277 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.277
AT ITER 9345 NEW BEST:: SOT 22710 SOS 3277 HAS SOPS 3277 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.277
AT ITER 9373 NEW BEST:: SOT 22710 SOS 3274 HAS SOPS 3274 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.274
AT ITER 9431 NEW BEST:: SOT 22710 SOS 3271 HAS SOPS 3271 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.271
AT ITER 9435 NEW BEST:: SOT 22713 SOS 3287 HAS SOPS 3287 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.287
AT ITER 9483 NEW BEST:: SOT 22711 SOS 3284 HAS SOPS 3284 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.284
AT ITER 9623 NEW BEST:: SOT 22710 SOS 3283 HAS SOPS 3283 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.283
AT ITER 9693 NEW BEST:: SOT 22709 SOS 3287 HAS SOPS 3287 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.287
AT ITER 9871 NEW BEST:: SOT 22709 SOS 3286 HAS SOPS 3286 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.286
AT ITER 9879 NEW BEST:: SOT 22708 SOS 3285 HAS SOPS 3285 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.285

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="DoubleExponent-PT-004"
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 DoubleExponent-PT-004, 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 r063-tajo-158922808000776"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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