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-159033470300984.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 ShieldRVt-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-159033470300984
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.2K May 14 02:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 20:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 20:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 48K 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 1590454039102

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (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: 203 places, 203 transitions, 478 arcs.
AT ITER 0 NEW BEST:: SOT 22740 SOS 7246 HAS SOPS 7246 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.246
AT ITER 1 NEW BEST:: SOT 22740 SOS 7232 HAS SOPS 7232 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6451.232
AT ITER 56 NEW BEST:: SOT 22720 SOS 7240 HAS SOPS 7240 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6431.24
AT ITER 76 NEW BEST:: SOT 22720 SOS 7240 HAS SOPS 7240 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6428.24
AT ITER 79 NEW BEST:: SOT 22761 SOS 7218 HAS SOPS 7218 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6406.218
AT ITER 91 NEW BEST:: SOT 22757 SOS 7210 HAS SOPS 7210 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6398.21
AT ITER 105 NEW BEST:: SOT 22755 SOS 7206 HAS SOPS 7206 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6394.206
AT ITER 108 NEW BEST:: SOT 22755 SOS 7196 HAS SOPS 7196 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6384.196
AT ITER 115 NEW BEST:: SOT 22754 SOS 7194 HAS SOPS 7194 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6382.194
AT ITER 123 NEW BEST:: SOT 22754 SOS 7187 HAS SOPS 7187 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6379.187
AT ITER 134 NEW BEST:: SOT 22758 SOS 7186 HAS SOPS 7186 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6374.186
AT ITER 142 NEW BEST:: SOT 22768 SOS 7199 HAS SOPS 7199 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6344.199
AT ITER 145 NEW BEST:: SOT 22768 SOS 7162 HAS SOPS 7162 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6344.162
AT ITER 149 NEW BEST:: SOT 22695 SOS 7081 HAS SOPS 7081 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6258.081
AT ITER 154 NEW BEST:: SOT 22684 SOS 7026 HAS SOPS 7026 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6236.026
AT ITER 162 NEW BEST:: SOT 22665 SOS 7018 HAS SOPS 7018 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.018
AT ITER 170 NEW BEST:: SOT 22645 SOS 7005 HAS SOPS 7005 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.005
AT ITER 171 NEW BEST:: SOT 22645 SOS 7005 HAS SOPS 7005 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.005
AT ITER 176 NEW BEST:: SOT 22612 SOS 6795 HAS SOPS 6795 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6030.795
AT ITER 194 NEW BEST:: SOT 22574 SOS 6757 HAS SOPS 6757 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5957.757
AT ITER 195 NEW BEST:: SOT 22590 SOS 6754 HAS SOPS 6754 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.754
AT ITER 199 NEW BEST:: SOT 22590 SOS 6736 HAS SOPS 6736 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.736
AT ITER 203 NEW BEST:: SOT 22581 SOS 6723 HAS SOPS 6723 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5925.723
AT ITER 207 NEW BEST:: SOT 22597 SOS 6689 HAS SOPS 6689 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.689
AT ITER 222 NEW BEST:: SOT 22566 SOS 6640 HAS SOPS 6640 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5893.64
AT ITER 225 NEW BEST:: SOT 22531 SOS 6605 HAS SOPS 6605 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.605
AT ITER 232 NEW BEST:: SOT 22515 SOS 6516 HAS SOPS 6516 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5807.516
AT ITER 234 NEW BEST:: SOT 22517 SOS 6480 HAS SOPS 6480 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.48
AT ITER 238 NEW BEST:: SOT 22517 SOS 6475 HAS SOPS 6475 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.475
AT ITER 242 NEW BEST:: SOT 22517 SOS 6462 HAS SOPS 6462 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.462
AT ITER 249 NEW BEST:: SOT 22517 SOS 6459 HAS SOPS 6459 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.459
AT ITER 264 NEW BEST:: SOT 22514 SOS 6448 HAS SOPS 6448 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.448
AT ITER 274 NEW BEST:: SOT 22497 SOS 6384 HAS SOPS 6384 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5744.384
AT ITER 280 NEW BEST:: SOT 22481 SOS 6352 HAS SOPS 6352 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5712.352
AT ITER 296 NEW BEST:: SOT 22477 SOS 6348 HAS SOPS 6348 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5708.348
AT ITER 308 NEW BEST:: SOT 22477 SOS 6348 HAS SOPS 6348 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.348
AT ITER 310 NEW BEST:: SOT 22483 SOS 6320 HAS SOPS 6320 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.32
AT ITER 315 NEW BEST:: SOT 22495 SOS 6309 HAS SOPS 6309 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5661.309
AT ITER 323 NEW BEST:: SOT 22482 SOS 6251 HAS SOPS 6251 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.251
AT ITER 336 NEW BEST:: SOT 22490 SOS 6248 HAS SOPS 6248 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.248
AT ITER 341 NEW BEST:: SOT 22487 SOS 6242 HAS SOPS 6242 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5566.242
AT ITER 352 NEW BEST:: SOT 22460 SOS 6112 HAS SOPS 6112 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.112
AT ITER 362 NEW BEST:: SOT 22458 SOS 6118 HAS SOPS 6118 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.118
AT ITER 372 NEW BEST:: SOT 22441 SOS 6067 HAS SOPS 6067 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5479.067
AT ITER 385 NEW BEST:: SOT 22441 SOS 6055 HAS SOPS 6055 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5473.055
AT ITER 392 NEW BEST:: SOT 22441 SOS 6038 HAS SOPS 6038 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.038
AT ITER 406 NEW BEST:: SOT 22439 SOS 6036 HAS SOPS 6036 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.036
AT ITER 443 NEW BEST:: SOT 22433 SOS 6024 HAS SOPS 6024 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.024
AT ITER 449 NEW BEST:: SOT 22433 SOS 6030 HAS SOPS 6030 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5429.03
AT ITER 470 NEW BEST:: SOT 22442 SOS 6048 HAS SOPS 6048 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.048
AT ITER 474 NEW BEST:: SOT 22428 SOS 6056 HAS SOPS 6056 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.056
AT ITER 483 NEW BEST:: SOT 22422 SOS 6044 HAS SOPS 6044 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.044
AT ITER 486 NEW BEST:: SOT 22414 SOS 6020 HAS SOPS 6020 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5373.02
AT ITER 493 NEW BEST:: SOT 22422 SOS 5984 HAS SOPS 5984 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5366.984
AT ITER 504 NEW BEST:: SOT 22405 SOS 5887 HAS SOPS 5887 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.887
AT ITER 509 NEW BEST:: SOT 22405 SOS 5864 HAS SOPS 5864 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.864
AT ITER 535 NEW BEST:: SOT 22395 SOS 5844 HAS SOPS 5844 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5289.844
AT ITER 549 NEW BEST:: SOT 22395 SOS 5832 HAS SOPS 5832 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5277.832
AT ITER 553 NEW BEST:: SOT 22375 SOS 5838 HAS SOPS 5838 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5257.838
AT ITER 572 NEW BEST:: SOT 22387 SOS 5833 HAS SOPS 5833 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5240.833
AT ITER 573 NEW BEST:: SOT 22387 SOS 5834 HAS SOPS 5834 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5239.834
AT ITER 574 NEW BEST:: SOT 22405 SOS 5867 HAS SOPS 5867 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.867
AT ITER 575 NEW BEST:: SOT 22403 SOS 5844 HAS SOPS 5844 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5208.844
AT ITER 578 NEW BEST:: SOT 22373 SOS 5784 HAS SOPS 5784 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5170.784
AT ITER 604 NEW BEST:: SOT 22373 SOS 5783 HAS SOPS 5783 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5169.783
AT ITER 656 NEW BEST:: SOT 22363 SOS 5763 HAS SOPS 5763 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5142.763
AT ITER 674 NEW BEST:: SOT 22349 SOS 5790 HAS SOPS 5790 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5140.79
AT ITER 693 NEW BEST:: SOT 22343 SOS 5778 HAS SOPS 5778 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5128.778
AT ITER 702 NEW BEST:: SOT 22338 SOS 5777 HAS SOPS 5777 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5127.777
AT ITER 719 NEW BEST:: SOT 22329 SOS 5768 HAS SOPS 5768 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5127.768
AT ITER 737 NEW BEST:: SOT 22329 SOS 5804 HAS SOPS 5804 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.804
AT ITER 756 NEW BEST:: SOT 22329 SOS 5792 HAS SOPS 5792 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.792
AT ITER 762 NEW BEST:: SOT 22329 SOS 5788 HAS SOPS 5788 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.788
AT ITER 769 NEW BEST:: SOT 22328 SOS 5696 HAS SOPS 5696 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5064.696
AT ITER 784 NEW BEST:: SOT 22326 SOS 5692 HAS SOPS 5692 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5064.692
AT ITER 790 NEW BEST:: SOT 22315 SOS 5681 HAS SOPS 5681 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5050.681
AT ITER 794 NEW BEST:: SOT 22315 SOS 5677 HAS SOPS 5677 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5050.677
AT ITER 796 NEW BEST:: SOT 22331 SOS 5688 HAS SOPS 5688 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5029.688
AT ITER 797 NEW BEST:: SOT 22342 SOS 5676 HAS SOPS 5676 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.676
AT ITER 827 NEW BEST:: SOT 22342 SOS 5665 HAS SOPS 5665 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5017.665
AT ITER 838 NEW BEST:: SOT 22341 SOS 5651 HAS SOPS 5651 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5015.651
AT ITER 843 NEW BEST:: SOT 22337 SOS 5599 HAS SOPS 5599 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4967.599
AT ITER 851 NEW BEST:: SOT 22348 SOS 5613 HAS SOPS 5613 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.613
AT ITER 856 NEW BEST:: SOT 22344 SOS 5605 HAS SOPS 5605 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4951.605
AT ITER 864 NEW BEST:: SOT 22344 SOS 5587 HAS SOPS 5587 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4933.587
AT ITER 885 NEW BEST:: SOT 22344 SOS 5567 HAS SOPS 5567 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4913.567
AT ITER 886 NEW BEST:: SOT 22327 SOS 5573 HAS SOPS 5573 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4897.573
AT ITER 888 NEW BEST:: SOT 22327 SOS 5573 HAS SOPS 5573 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.573
AT ITER 895 NEW BEST:: SOT 22327 SOS 5562 HAS SOPS 5562 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.562
AT ITER 896 NEW BEST:: SOT 22327 SOS 5559 HAS SOPS 5559 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.559
AT ITER 905 NEW BEST:: SOT 22327 SOS 5556 HAS SOPS 5556 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4885.556
AT ITER 919 NEW BEST:: SOT 22325 SOS 5549 HAS SOPS 5549 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.549
AT ITER 945 NEW BEST:: SOT 22295 SOS 5539 HAS SOPS 5539 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4848.539
AT ITER 962 NEW BEST:: SOT 22295 SOS 5524 HAS SOPS 5524 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4848.524
AT ITER 965 NEW BEST:: SOT 22295 SOS 5520 HAS SOPS 5520 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4843.52
AT ITER 974 NEW BEST:: SOT 22307 SOS 5503 HAS SOPS 5503 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4841.503
AT ITER 983 NEW BEST:: SOT 22304 SOS 5500 HAS SOPS 5500 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4838.5
AT ITER 995 NEW BEST:: SOT 22304 SOS 5470 HAS SOPS 5470 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4832.47
AT ITER 1062 NEW BEST:: SOT 22286 SOS 5434 HAS SOPS 5434 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4796.434
AT ITER 1084 NEW BEST:: SOT 22261 SOS 5384 HAS SOPS 5384 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4751.384
AT ITER 1090 NEW BEST:: SOT 22257 SOS 5372 HAS SOPS 5372 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4739.372
AT ITER 1122 NEW BEST:: SOT 22248 SOS 5354 HAS SOPS 5354 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4726.354
AT ITER 1124 NEW BEST:: SOT 22248 SOS 5354 HAS SOPS 5354 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.354
AT ITER 1179 NEW BEST:: SOT 22248 SOS 5335 HAS SOPS 5335 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.335
AT ITER 1230 NEW BEST:: SOT 22248 SOS 5334 HAS SOPS 5334 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.334
AT ITER 1257 NEW BEST:: SOT 22260 SOS 5249 HAS SOPS 5249 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4689.249
AT ITER 1283 NEW BEST:: SOT 22249 SOS 5214 HAS SOPS 5214 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.214
AT ITER 1303 NEW BEST:: SOT 22229 SOS 5164 HAS SOPS 5164 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4612.164
AT ITER 1336 NEW BEST:: SOT 22234 SOS 5180 HAS SOPS 5180 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.18
AT ITER 1356 NEW BEST:: SOT 22217 SOS 5136 HAS SOPS 5136 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.136
AT ITER 1375 NEW BEST:: SOT 22206 SOS 5121 HAS SOPS 5121 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.121
AT ITER 1406 NEW BEST:: SOT 22206 SOS 5149 HAS SOPS 5149 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4572.149
AT ITER 1408 NEW BEST:: SOT 22205 SOS 5151 HAS SOPS 5151 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.151
AT ITER 1410 NEW BEST:: SOT 22207 SOS 5155 HAS SOPS 5155 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4567.155
AT ITER 1413 NEW BEST:: SOT 22195 SOS 5094 HAS SOPS 5094 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.094
AT ITER 1436 NEW BEST:: SOT 22195 SOS 5088 HAS SOPS 5088 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4535.088
AT ITER 1454 NEW BEST:: SOT 22209 SOS 5087 HAS SOPS 5087 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4534.087
AT ITER 1456 NEW BEST:: SOT 22209 SOS 5086 HAS SOPS 5086 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.086
AT ITER 1476 NEW BEST:: SOT 22209 SOS 5086 HAS SOPS 5086 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.086
AT ITER 1483 NEW BEST:: SOT 22195 SOS 5085 HAS SOPS 5085 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.085
AT ITER 1515 NEW BEST:: SOT 22195 SOS 5077 HAS SOPS 5077 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.077
AT ITER 1518 NEW BEST:: SOT 22195 SOS 5075 HAS SOPS 5075 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.075
AT ITER 1535 NEW BEST:: SOT 22194 SOS 5073 HAS SOPS 5073 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.073
AT ITER 1539 NEW BEST:: SOT 22154 SOS 5063 HAS SOPS 5063 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4509.063
AT ITER 1550 NEW BEST:: SOT 22154 SOS 5059 HAS SOPS 5059 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4502.059
AT ITER 1572 NEW BEST:: SOT 22150 SOS 5159 HAS SOPS 5159 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4469.159
AT ITER 1594 NEW BEST:: SOT 22150 SOS 5156 HAS SOPS 5156 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.156
AT ITER 1619 NEW BEST:: SOT 22124 SOS 5034 HAS SOPS 5034 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4437.034
AT ITER 1644 NEW BEST:: SOT 22121 SOS 5023 HAS SOPS 5023 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4431.023
AT ITER 1652 NEW BEST:: SOT 22121 SOS 5021 HAS SOPS 5021 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4429.021
AT ITER 1658 NEW BEST:: SOT 22121 SOS 5020 HAS SOPS 5020 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.02
AT ITER 1704 NEW BEST:: SOT 22121 SOS 5016 HAS SOPS 5016 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.016
AT ITER 1721 NEW BEST:: SOT 22115 SOS 5012 HAS SOPS 5012 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4422.012
AT ITER 1744 NEW BEST:: SOT 22115 SOS 5011 HAS SOPS 5011 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4421.011
AT ITER 1753 NEW BEST:: SOT 22115 SOS 5011 HAS SOPS 5011 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.011
AT ITER 1759 NEW BEST:: SOT 22115 SOS 5011 HAS SOPS 5011 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4411.011
AT ITER 1777 NEW BEST:: SOT 22080 SOS 4974 HAS SOPS 4974 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4405.974
AT ITER 1781 NEW BEST:: SOT 22080 SOS 4952 HAS SOPS 4952 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4383.952
AT ITER 1793 NEW BEST:: SOT 22080 SOS 4949 HAS SOPS 4949 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4379.949
AT ITER 1795 NEW BEST:: SOT 22070 SOS 4929 HAS SOPS 4929 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4359.929
AT ITER 1804 NEW BEST:: SOT 22067 SOS 4927 HAS SOPS 4927 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4357.927
AT ITER 1808 NEW BEST:: SOT 22067 SOS 4919 HAS SOPS 4919 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4349.919
AT ITER 1832 NEW BEST:: SOT 22067 SOS 4918 HAS SOPS 4918 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.918
AT ITER 1848 NEW BEST:: SOT 22046 SOS 4893 HAS SOPS 4893 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4323.893
AT ITER 1851 NEW BEST:: SOT 22036 SOS 4873 HAS SOPS 4873 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4303.873
AT ITER 1884 NEW BEST:: SOT 22036 SOS 4848 HAS SOPS 4848 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4280.848
AT ITER 1889 NEW BEST:: SOT 22034 SOS 4848 HAS SOPS 4848 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.848
AT ITER 1894 NEW BEST:: SOT 22033 SOS 4839 HAS SOPS 4839 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4272.839
AT ITER 1913 NEW BEST:: SOT 22026 SOS 4832 HAS SOPS 4832 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4265.832
AT ITER 1918 NEW BEST:: SOT 22023 SOS 4829 HAS SOPS 4829 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4262.829
AT ITER 1948 NEW BEST:: SOT 22023 SOS 4802 HAS SOPS 4802 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.802
AT ITER 1974 NEW BEST:: SOT 22021 SOS 4798 HAS SOPS 4798 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4233.798
AT ITER 1987 NEW BEST:: SOT 22019 SOS 4780 HAS SOPS 4780 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.78
AT ITER 2025 NEW BEST:: SOT 22019 SOS 4778 HAS SOPS 4778 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4201.778
AT ITER 2074 NEW BEST:: SOT 22019 SOS 4778 HAS SOPS 4778 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.778
AT ITER 2079 NEW BEST:: SOT 22019 SOS 4769 HAS SOPS 4769 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.769
AT ITER 2096 NEW BEST:: SOT 22019 SOS 4768 HAS SOPS 4768 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.768
AT ITER 2157 NEW BEST:: SOT 22008 SOS 4757 HAS SOPS 4757 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4168.757
AT ITER 2167 NEW BEST:: SOT 21994 SOS 4755 HAS SOPS 4755 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4162.755
AT ITER 2182 NEW BEST:: SOT 21996 SOS 4737 HAS SOPS 4737 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4159.737
AT ITER 2190 NEW BEST:: SOT 21994 SOS 4731 HAS SOPS 4731 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4157.731
AT ITER 2211 NEW BEST:: SOT 21996 SOS 4730 HAS SOPS 4730 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4156.73
AT ITER 2213 NEW BEST:: SOT 21996 SOS 4729 HAS SOPS 4729 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4155.729
AT ITER 2215 NEW BEST:: SOT 21994 SOS 4718 HAS SOPS 4718 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4154.718
AT ITER 2227 NEW BEST:: SOT 21985 SOS 4697 HAS SOPS 4697 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4131.697
AT ITER 2298 NEW BEST:: SOT 21981 SOS 4685 HAS SOPS 4685 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4127.685
AT ITER 2338 NEW BEST:: SOT 21971 SOS 4691 HAS SOPS 4691 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4117.691
AT ITER 2352 NEW BEST:: SOT 21970 SOS 4691 HAS SOPS 4691 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.691
AT ITER 2382 NEW BEST:: SOT 21970 SOS 4689 HAS SOPS 4689 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4114.689
AT ITER 2432 NEW BEST:: SOT 21973 SOS 4685 HAS SOPS 4685 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4113.685
AT ITER 2440 NEW BEST:: SOT 21972 SOS 4688 HAS SOPS 4688 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4111.688
AT ITER 2458 NEW BEST:: SOT 21974 SOS 4683 HAS SOPS 4683 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4106.683
AT ITER 2476 NEW BEST:: SOT 21964 SOS 4663 HAS SOPS 4663 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.663
AT ITER 2519 NEW BEST:: SOT 21964 SOS 4659 HAS SOPS 4659 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.659
AT ITER 2586 NEW BEST:: SOT 21963 SOS 4657 HAS SOPS 4657 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.657
AT ITER 2602 NEW BEST:: SOT 21963 SOS 4650 HAS SOPS 4650 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.65
AT ITER 2623 NEW BEST:: SOT 21961 SOS 4650 HAS SOPS 4650 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.65
AT ITER 2694 NEW BEST:: SOT 21961 SOS 4638 HAS SOPS 4638 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.638
AT ITER 2713 NEW BEST:: SOT 21962 SOS 4636 HAS SOPS 4636 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.636
AT ITER 2737 NEW BEST:: SOT 21955 SOS 4641 HAS SOPS 4641 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4075.641
AT ITER 2765 NEW BEST:: SOT 21955 SOS 4613 HAS SOPS 4613 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.613
AT ITER 2803 NEW BEST:: SOT 21955 SOS 4600 HAS SOPS 4600 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.6
AT ITER 2822 NEW BEST:: SOT 21953 SOS 4599 HAS SOPS 4599 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.599
AT ITER 2861 NEW BEST:: SOT 21953 SOS 4587 HAS SOPS 4587 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.587
AT ITER 2876 NEW BEST:: SOT 21954 SOS 4576 HAS SOPS 4576 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4053.576
AT ITER 2970 NEW BEST:: SOT 21949 SOS 4561 HAS SOPS 4561 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4053.561
AT ITER 2995 NEW BEST:: SOT 21954 SOS 4538 HAS SOPS 4538 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.538
AT ITER 3007 NEW BEST:: SOT 21952 SOS 4562 HAS SOPS 4562 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4034.562
AT ITER 3037 NEW BEST:: SOT 21940 SOS 4559 HAS SOPS 4559 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4027.559
AT ITER 3096 NEW BEST:: SOT 21938 SOS 4552 HAS SOPS 4552 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.552
AT ITER 3144 NEW BEST:: SOT 21931 SOS 4548 HAS SOPS 4548 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.548
AT ITER 3146 NEW BEST:: SOT 21934 SOS 4526 HAS SOPS 4526 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3991.526
AT ITER 3160 NEW BEST:: SOT 21936 SOS 4524 HAS SOPS 4524 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.524
AT ITER 3195 NEW BEST:: SOT 21934 SOS 4515 HAS SOPS 4515 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.515
AT ITER 3244 NEW BEST:: SOT 21924 SOS 4495 HAS SOPS 4495 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3964.495
AT ITER 3245 NEW BEST:: SOT 21923 SOS 4493 HAS SOPS 4493 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3963.493
AT ITER 3358 NEW BEST:: SOT 21902 SOS 4323 HAS SOPS 4323 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3926.323
AT ITER 3408 NEW BEST:: SOT 21902 SOS 4323 HAS SOPS 4323 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3918.323
AT ITER 3415 NEW BEST:: SOT 21894 SOS 4315 HAS SOPS 4315 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3910.315
AT ITER 3431 NEW BEST:: SOT 21895 SOS 4313 HAS SOPS 4313 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.313
AT ITER 3442 NEW BEST:: SOT 21895 SOS 4281 HAS SOPS 4281 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.281
AT ITER 3457 NEW BEST:: SOT 21886 SOS 4263 HAS SOPS 4263 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.263
AT ITER 3460 NEW BEST:: SOT 21886 SOS 4263 HAS SOPS 4263 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.263
AT ITER 3543 NEW BEST:: SOT 21886 SOS 4263 HAS SOPS 4263 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3892.263
AT ITER 3561 NEW BEST:: SOT 21886 SOS 4257 HAS SOPS 4257 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.257
AT ITER 3583 NEW BEST:: SOT 21886 SOS 4241 HAS SOPS 4241 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.241
AT ITER 3656 NEW BEST:: SOT 21885 SOS 4239 HAS SOPS 4239 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3884.239
AT ITER 3676 NEW BEST:: SOT 21883 SOS 4235 HAS SOPS 4235 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3880.235
AT ITER 3678 NEW BEST:: SOT 21883 SOS 4233 HAS SOPS 4233 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3880.233
AT ITER 3736 NEW BEST:: SOT 21870 SOS 4207 HAS SOPS 4207 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.207
AT ITER 3742 NEW BEST:: SOT 21870 SOS 4188 HAS SOPS 4188 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.188
AT ITER 3777 NEW BEST:: SOT 21866 SOS 4180 HAS SOPS 4180 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.18
AT ITER 3792 NEW BEST:: SOT 21863 SOS 4174 HAS SOPS 4174 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3821.174
AT ITER 3879 NEW BEST:: SOT 21862 SOS 4172 HAS SOPS 4172 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.172
AT ITER 3882 NEW BEST:: SOT 21862 SOS 4165 HAS SOPS 4165 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.165
AT ITER 3923 NEW BEST:: SOT 21858 SOS 4167 HAS SOPS 4167 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3813.167
AT ITER 3940 NEW BEST:: SOT 21858 SOS 4162 HAS SOPS 4162 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.162
AT ITER 3988 NEW BEST:: SOT 21850 SOS 4146 HAS SOPS 4146 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3801.146
AT ITER 3994 NEW BEST:: SOT 21850 SOS 4143 HAS SOPS 4143 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.143
AT ITER 3995 NEW BEST:: SOT 21850 SOS 4142 HAS SOPS 4142 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.142
AT ITER 4121 NEW BEST:: SOT 21850 SOS 4123 HAS SOPS 4123 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.123
AT ITER 4155 NEW BEST:: SOT 21850 SOS 4123 HAS SOPS 4123 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.123
AT ITER 4165 NEW BEST:: SOT 21851 SOS 4114 HAS SOPS 4114 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.114
AT ITER 4188 NEW BEST:: SOT 21851 SOS 4111 HAS SOPS 4111 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3755.111
AT ITER 4195 NEW BEST:: SOT 21847 SOS 4103 HAS SOPS 4103 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3749.103
AT ITER 4205 NEW BEST:: SOT 21845 SOS 4101 HAS SOPS 4101 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3747.101
AT ITER 4225 NEW BEST:: SOT 21845 SOS 4094 HAS SOPS 4094 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.094
AT ITER 4321 NEW BEST:: SOT 21845 SOS 4088 HAS SOPS 4088 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.088
AT ITER 4363 NEW BEST:: SOT 21856 SOS 4075 HAS SOPS 4075 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.075
AT ITER 4364 NEW BEST:: SOT 21856 SOS 4067 HAS SOPS 4067 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.067
AT ITER 4401 NEW BEST:: SOT 21853 SOS 4061 HAS SOPS 4061 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.061
AT ITER 4468 NEW BEST:: SOT 21853 SOS 4052 HAS SOPS 4052 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.052
AT ITER 4536 NEW BEST:: SOT 21854 SOS 4050 HAS SOPS 4050 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.05
AT ITER 4587 NEW BEST:: SOT 21809 SOS 4040 HAS SOPS 4040 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3696.04
AT ITER 4615 NEW BEST:: SOT 21809 SOS 4039 HAS SOPS 4039 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3695.039
AT ITER 4624 NEW BEST:: SOT 21809 SOS 4039 HAS SOPS 4039 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3693.039
AT ITER 4630 NEW BEST:: SOT 21803 SOS 4027 HAS SOPS 4027 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3689.027
AT ITER 4663 NEW BEST:: SOT 21792 SOS 4003 HAS SOPS 4003 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3665.003
AT ITER 4718 NEW BEST:: SOT 21783 SOS 3995 HAS SOPS 3995 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3655.995
AT ITER 4774 NEW BEST:: SOT 21780 SOS 3974 HAS SOPS 3974 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3652.974
AT ITER 4870 NEW BEST:: SOT 21779 SOS 3975 HAS SOPS 3975 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3651.975
AT ITER 4999 NEW BEST:: SOT 21778 SOS 3973 HAS SOPS 3973 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3650.973
AT ITER 5015 NEW BEST:: SOT 21777 SOS 3971 HAS SOPS 3971 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3648.971
AT ITER 5060 NEW BEST:: SOT 21777 SOS 3992 HAS SOPS 3992 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3641.992
AT ITER 5138 NEW BEST:: SOT 21776 SOS 3966 HAS SOPS 3966 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3640.966
AT ITER 5198 NEW BEST:: SOT 21774 SOS 3959 HAS SOPS 3959 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3633.959
AT ITER 5249 NEW BEST:: SOT 21776 SOS 3933 HAS SOPS 3933 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3626.933
AT ITER 5271 NEW BEST:: SOT 21770 SOS 3921 HAS SOPS 3921 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3621.921
AT ITER 5332 NEW BEST:: SOT 21765 SOS 3895 HAS SOPS 3895 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3611.895
AT ITER 5362 NEW BEST:: SOT 21759 SOS 3895 HAS SOPS 3895 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3605.895
AT ITER 5382 NEW BEST:: SOT 21753 SOS 3874 HAS SOPS 3874 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3590.874
AT ITER 5395 NEW BEST:: SOT 21752 SOS 3858 HAS SOPS 3858 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3588.858
AT ITER 5453 NEW BEST:: SOT 21762 SOS 3870 HAS SOPS 3870 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3578.87
AT ITER 5457 NEW BEST:: SOT 21760 SOS 3867 HAS SOPS 3867 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3574.867
AT ITER 5608 NEW BEST:: SOT 21764 SOS 3863 HAS SOPS 3863 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3573.863
AT ITER 5649 NEW BEST:: SOT 21764 SOS 3863 HAS SOPS 3863 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3572.863
AT ITER 5661 NEW BEST:: SOT 21764 SOS 3861 HAS SOPS 3861 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3570.861
AT ITER 5669 NEW BEST:: SOT 21763 SOS 3859 HAS SOPS 3859 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3570.859
AT ITER 5744 NEW BEST:: SOT 21763 SOS 3855 HAS SOPS 3855 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3566.855
AT ITER 5776 NEW BEST:: SOT 21763 SOS 3849 HAS SOPS 3849 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3560.849
AT ITER 5809 NEW BEST:: SOT 21749 SOS 3851 HAS SOPS 3851 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3546.851
AT ITER 5852 NEW BEST:: SOT 21747 SOS 3849 HAS SOPS 3849 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3546.849
AT ITER 5903 NEW BEST:: SOT 21747 SOS 3849 HAS SOPS 3849 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3541.849
AT ITER 5935 NEW BEST:: SOT 21746 SOS 3846 HAS SOPS 3846 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3540.846
AT ITER 6044 NEW BEST:: SOT 21758 SOS 3869 HAS SOPS 3869 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3539.869
AT ITER 6060 NEW BEST:: SOT 21740 SOS 3815 HAS SOPS 3815 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.815
AT ITER 6124 NEW BEST:: SOT 21750 SOS 3813 HAS SOPS 3813 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3502.813
AT ITER 6170 NEW BEST:: SOT 21750 SOS 3812 HAS SOPS 3812 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3502.812
AT ITER 6229 NEW BEST:: SOT 21746 SOS 3812 HAS SOPS 3812 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3501.812
AT ITER 6278 NEW BEST:: SOT 21743 SOS 3809 HAS SOPS 3809 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3498.809
AT ITER 6342 NEW BEST:: SOT 21741 SOS 3801 HAS SOPS 3801 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3494.801
AT ITER 6363 NEW BEST:: SOT 21743 SOS 3791 HAS SOPS 3791 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3489.791
AT ITER 6371 NEW BEST:: SOT 21743 SOS 3790 HAS SOPS 3790 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3487.79
AT ITER 6391 NEW BEST:: SOT 21746 SOS 3789 HAS SOPS 3789 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3486.789
AT ITER 6417 NEW BEST:: SOT 21743 SOS 3792 HAS SOPS 3792 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3483.792
AT ITER 6452 NEW BEST:: SOT 21748 SOS 3790 HAS SOPS 3790 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3481.79
AT ITER 6455 NEW BEST:: SOT 21748 SOS 3788 HAS SOPS 3788 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3480.788
AT ITER 6457 NEW BEST:: SOT 21743 SOS 3789 HAS SOPS 3789 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.789
AT ITER 6463 NEW BEST:: SOT 21745 SOS 3775 HAS SOPS 3775 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3464.775
AT ITER 6564 NEW BEST:: SOT 21745 SOS 3774 HAS SOPS 3774 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3464.774
AT ITER 6568 NEW BEST:: SOT 21746 SOS 3770 HAS SOPS 3770 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.77
AT ITER 6738 NEW BEST:: SOT 21746 SOS 3762 HAS SOPS 3762 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.762
AT ITER 6792 NEW BEST:: SOT 21746 SOS 3762 HAS SOPS 3762 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3461.762
AT ITER 6847 NEW BEST:: SOT 21752 SOS 3758 HAS SOPS 3758 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3461.758
AT ITER 6865 NEW BEST:: SOT 21752 SOS 3753 HAS SOPS 3753 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3460.753
AT ITER 6885 NEW BEST:: SOT 21748 SOS 3745 HAS SOPS 3745 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3450.745
AT ITER 6891 NEW BEST:: SOT 21742 SOS 3730 HAS SOPS 3730 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3441.73
AT ITER 6928 NEW BEST:: SOT 21742 SOS 3727 HAS SOPS 3727 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3441.727
AT ITER 7023 NEW BEST:: SOT 21737 SOS 3717 HAS SOPS 3717 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.717
AT ITER 7050 NEW BEST:: SOT 21733 SOS 3703 HAS SOPS 3703 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3427.703
AT ITER 7087 NEW BEST:: SOT 21733 SOS 3696 HAS SOPS 3696 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3427.696
AT ITER 7089 NEW BEST:: SOT 21732 SOS 3696 HAS SOPS 3696 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3426.696
AT ITER 7146 NEW BEST:: SOT 21732 SOS 3692 HAS SOPS 3692 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.692
AT ITER 7157 NEW BEST:: SOT 21732 SOS 3690 HAS SOPS 3690 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.69
AT ITER 7262 NEW BEST:: SOT 21728 SOS 3694 HAS SOPS 3694 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3420.694
AT ITER 7288 NEW BEST:: SOT 21728 SOS 3693 HAS SOPS 3693 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.693
AT ITER 7324 NEW BEST:: SOT 21726 SOS 3699 HAS SOPS 3699 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3415.699
AT ITER 7349 NEW BEST:: SOT 21723 SOS 3693 HAS SOPS 3693 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3415.693
AT ITER 7369 NEW BEST:: SOT 21722 SOS 3691 HAS SOPS 3691 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3414.691
AT ITER 7375 NEW BEST:: SOT 21722 SOS 3691 HAS SOPS 3691 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3410.691
AT ITER 7396 NEW BEST:: SOT 21720 SOS 3700 HAS SOPS 3700 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3406.7
AT ITER 7461 NEW BEST:: SOT 21720 SOS 3699 HAS SOPS 3699 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.699
AT ITER 7467 NEW BEST:: SOT 21719 SOS 3697 HAS SOPS 3697 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3403.697
AT ITER 7475 NEW BEST:: SOT 21721 SOS 3696 HAS SOPS 3696 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.696
AT ITER 7492 NEW BEST:: SOT 21721 SOS 3694 HAS SOPS 3694 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.694
AT ITER 7504 NEW BEST:: SOT 21719 SOS 3683 HAS SOPS 3683 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.683
AT ITER 7674 NEW BEST:: SOT 21719 SOS 3678 HAS SOPS 3678 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.678
AT ITER 7680 NEW BEST:: SOT 21718 SOS 3676 HAS SOPS 3676 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.676
AT ITER 7741 NEW BEST:: SOT 21707 SOS 3669 HAS SOPS 3669 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3390.669
AT ITER 7792 NEW BEST:: SOT 21702 SOS 3654 HAS SOPS 3654 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.654
AT ITER 7810 NEW BEST:: SOT 21700 SOS 3652 HAS SOPS 3652 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3383.652
AT ITER 7926 NEW BEST:: SOT 21702 SOS 3644 HAS SOPS 3644 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3379.644
AT ITER 7940 NEW BEST:: SOT 21702 SOS 3638 HAS SOPS 3638 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.638
AT ITER 7983 NEW BEST:: SOT 21702 SOS 3636 HAS SOPS 3636 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.636
AT ITER 8039 NEW BEST:: SOT 21698 SOS 3628 HAS SOPS 3628 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.628
AT ITER 8397 NEW BEST:: SOT 21698 SOS 3624 HAS SOPS 3624 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.624
AT ITER 8435 NEW BEST:: SOT 21697 SOS 3622 HAS SOPS 3622 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.622
AT ITER 8486 NEW BEST:: SOT 21697 SOS 3620 HAS SOPS 3620 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.62
AT ITER 8641 NEW BEST:: SOT 21697 SOS 3614 HAS SOPS 3614 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.614
AT ITER 8643 NEW BEST:: SOT 21698 SOS 3612 HAS SOPS 3612 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.612
AT ITER 8704 NEW BEST:: SOT 21707 SOS 3608 HAS SOPS 3608 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.608
AT ITER 8886 NEW BEST:: SOT 21709 SOS 3600 HAS SOPS 3600 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.6
AT ITER 9087 NEW BEST:: SOT 21703 SOS 3600 HAS SOPS 3600 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.6
AT ITER 9107 NEW BEST:: SOT 21703 SOS 3596 HAS SOPS 3596 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.596
AT ITER 9167 NEW BEST:: SOT 21703 SOS 3594 HAS SOPS 3594 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.594
AT ITER 9391 NEW BEST:: SOT 21703 SOS 3591 HAS SOPS 3591 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3346.591
AT ITER 9423 NEW BEST:: SOT 21702 SOS 3590 HAS SOPS 3590 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3345.59
AT ITER 9452 NEW BEST:: SOT 21695 SOS 3580 HAS SOPS 3580 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.58
AT ITER 9508 NEW BEST:: SOT 21689 SOS 3567 HAS SOPS 3567 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.567
AT ITER 9538 NEW BEST:: SOT 21689 SOS 3566 HAS SOPS 3566 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.566
AT ITER 9806 NEW BEST:: SOT 21686 SOS 3563 HAS SOPS 3563 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.563
AT ITER 9833 NEW BEST:: SOT 21685 SOS 3561 HAS SOPS 3561 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.561
AT ITER 9846 NEW BEST:: SOT 21684 SOS 3590 HAS SOPS 3590 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.59
AT ITER 9873 NEW BEST:: SOT 21688 SOS 3608 HAS SOPS 3608 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.608
AT ITER 9892 NEW BEST:: SOT 21684 SOS 3596 HAS SOPS 3596 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3320.596
AT ITER 9965 NEW BEST:: SOT 21684 SOS 3592 HAS SOPS 3592 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3316.592
AT ITER 9967 NEW BEST:: SOT 21683 SOS 3590 HAS SOPS 3590 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3314.59

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

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