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-159033470300980.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470300980
=====================================================================

--------------------
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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-004B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590454033146

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

GOT IT HERE. BS
Petri model created: 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 21 NEW BEST:: SOT 22739 SOS 7244 HAS SOPS 7244 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6497.244
AT ITER 22 NEW BEST:: SOT 22710 SOS 7231 HAS SOPS 7231 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6484.231
AT ITER 26 NEW BEST:: SOT 22695 SOS 7216 HAS SOPS 7216 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.216
AT ITER 43 NEW BEST:: SOT 22695 SOS 7207 HAS SOPS 7207 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.207
AT ITER 52 NEW BEST:: SOT 22689 SOS 7195 HAS SOPS 7195 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.195
AT ITER 71 NEW BEST:: SOT 22689 SOS 7174 HAS SOPS 7174 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.174
AT ITER 90 NEW BEST:: SOT 22675 SOS 7132 HAS SOPS 7132 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6426.132
AT ITER 98 NEW BEST:: SOT 22675 SOS 7130 HAS SOPS 7130 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6424.13
AT ITER 103 NEW BEST:: SOT 22706 SOS 7068 HAS SOPS 7068 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.068
AT ITER 124 NEW BEST:: SOT 22705 SOS 7066 HAS SOPS 7066 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6421.066
AT ITER 125 NEW BEST:: SOT 22703 SOS 7062 HAS SOPS 7062 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.062
AT ITER 128 NEW BEST:: SOT 22698 SOS 7052 HAS SOPS 7052 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6369.052
AT ITER 145 NEW BEST:: SOT 22711 SOS 7041 HAS SOPS 7041 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6355.041
AT ITER 188 NEW BEST:: SOT 22703 SOS 6972 HAS SOPS 6972 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6316.972
AT ITER 193 NEW BEST:: SOT 22655 SOS 6914 HAS SOPS 6914 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6258.914
AT ITER 204 NEW BEST:: SOT 22692 SOS 6905 HAS SOPS 6905 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.905
AT ITER 206 NEW BEST:: SOT 22674 SOS 6869 HAS SOPS 6869 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6213.869
AT ITER 212 NEW BEST:: SOT 22688 SOS 6879 HAS SOPS 6879 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6209.879
AT ITER 213 NEW BEST:: SOT 22698 SOS 6869 HAS SOPS 6869 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.869
AT ITER 214 NEW BEST:: SOT 22647 SOS 6700 HAS SOPS 6700 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6087.7
AT ITER 216 NEW BEST:: SOT 22646 SOS 6642 HAS SOPS 6642 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.642
AT ITER 229 NEW BEST:: SOT 22658 SOS 6697 HAS SOPS 6697 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6054.697
AT ITER 235 NEW BEST:: SOT 22658 SOS 6682 HAS SOPS 6682 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6008.682
AT ITER 247 NEW BEST:: SOT 22658 SOS 6646 HAS SOPS 6646 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5990.646
AT ITER 267 NEW BEST:: SOT 22643 SOS 6585 HAS SOPS 6585 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5929.585
AT ITER 303 NEW BEST:: SOT 22642 SOS 6583 HAS SOPS 6583 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5927.583
AT ITER 310 NEW BEST:: SOT 22627 SOS 6553 HAS SOPS 6553 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5897.553
AT ITER 312 NEW BEST:: SOT 22623 SOS 6542 HAS SOPS 6542 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5886.542
AT ITER 319 NEW BEST:: SOT 22632 SOS 6551 HAS SOPS 6551 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5879.551
AT ITER 330 NEW BEST:: SOT 22640 SOS 6567 HAS SOPS 6567 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.567
AT ITER 333 NEW BEST:: SOT 22668 SOS 6593 HAS SOPS 6593 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5842.593
AT ITER 337 NEW BEST:: SOT 22668 SOS 6593 HAS SOPS 6593 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5839.593
AT ITER 350 NEW BEST:: SOT 22667 SOS 6575 HAS SOPS 6575 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5837.575
AT ITER 363 NEW BEST:: SOT 22631 SOS 6445 HAS SOPS 6445 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5802.445
AT ITER 366 NEW BEST:: SOT 22631 SOS 6439 HAS SOPS 6439 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.439
AT ITER 368 NEW BEST:: SOT 22604 SOS 6373 HAS SOPS 6373 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.373
AT ITER 386 NEW BEST:: SOT 22604 SOS 6372 HAS SOPS 6372 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5787.372
AT ITER 397 NEW BEST:: SOT 22597 SOS 6358 HAS SOPS 6358 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5773.358
AT ITER 414 NEW BEST:: SOT 22585 SOS 6309 HAS SOPS 6309 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5723.309
AT ITER 415 NEW BEST:: SOT 22585 SOS 6304 HAS SOPS 6304 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5715.304
AT ITER 417 NEW BEST:: SOT 22573 SOS 6297 HAS SOPS 6297 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5704.297
AT ITER 426 NEW BEST:: SOT 22573 SOS 6294 HAS SOPS 6294 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.294
AT ITER 433 NEW BEST:: SOT 22573 SOS 6243 HAS SOPS 6243 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5650.243
AT ITER 467 NEW BEST:: SOT 22575 SOS 6270 HAS SOPS 6270 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5649.27
AT ITER 485 NEW BEST:: SOT 22575 SOS 6246 HAS SOPS 6246 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5649.246
AT ITER 487 NEW BEST:: SOT 22575 SOS 6245 HAS SOPS 6245 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.245
AT ITER 489 NEW BEST:: SOT 22600 SOS 6264 HAS SOPS 6264 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.264
AT ITER 495 NEW BEST:: SOT 22600 SOS 6252 HAS SOPS 6252 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5587.252
AT ITER 511 NEW BEST:: SOT 22604 SOS 6253 HAS SOPS 6253 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.253
AT ITER 541 NEW BEST:: SOT 22603 SOS 6255 HAS SOPS 6255 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5580.255
AT ITER 557 NEW BEST:: SOT 22597 SOS 6211 HAS SOPS 6211 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.211
AT ITER 569 NEW BEST:: SOT 22590 SOS 6197 HAS SOPS 6197 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5522.197
AT ITER 586 NEW BEST:: SOT 22590 SOS 6181 HAS SOPS 6181 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.181
AT ITER 587 NEW BEST:: SOT 22590 SOS 6178 HAS SOPS 6178 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.178
AT ITER 595 NEW BEST:: SOT 22588 SOS 6244 HAS SOPS 6244 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.244
AT ITER 597 NEW BEST:: SOT 22571 SOS 6176 HAS SOPS 6176 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.176
AT ITER 611 NEW BEST:: SOT 22597 SOS 6228 HAS SOPS 6228 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.228
AT ITER 618 NEW BEST:: SOT 22586 SOS 6266 HAS SOPS 6266 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5448.266
AT ITER 622 NEW BEST:: SOT 22580 SOS 6265 HAS SOPS 6265 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.265
AT ITER 629 NEW BEST:: SOT 22578 SOS 6259 HAS SOPS 6259 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.259
AT ITER 636 NEW BEST:: SOT 22572 SOS 6244 HAS SOPS 6244 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.244
AT ITER 647 NEW BEST:: SOT 22572 SOS 6240 HAS SOPS 6240 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5385.24
AT ITER 683 NEW BEST:: SOT 22545 SOS 6161 HAS SOPS 6161 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.161
AT ITER 685 NEW BEST:: SOT 22545 SOS 6133 HAS SOPS 6133 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.133
AT ITER 707 NEW BEST:: SOT 22533 SOS 6105 HAS SOPS 6105 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.105
AT ITER 715 NEW BEST:: SOT 22536 SOS 6093 HAS SOPS 6093 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.093
AT ITER 737 NEW BEST:: SOT 22536 SOS 6089 HAS SOPS 6089 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.089
AT ITER 738 NEW BEST:: SOT 22531 SOS 6087 HAS SOPS 6087 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5332.087
AT ITER 741 NEW BEST:: SOT 22529 SOS 6080 HAS SOPS 6080 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5328.08
AT ITER 750 NEW BEST:: SOT 22522 SOS 6066 HAS SOPS 6066 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5314.066
AT ITER 763 NEW BEST:: SOT 22505 SOS 6032 HAS SOPS 6032 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.032
AT ITER 773 NEW BEST:: SOT 22513 SOS 6020 HAS SOPS 6020 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5248.02
AT ITER 786 NEW BEST:: SOT 22502 SOS 6005 HAS SOPS 6005 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5244.005
AT ITER 789 NEW BEST:: SOT 22502 SOS 6010 HAS SOPS 6010 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5240.01
AT ITER 790 NEW BEST:: SOT 22484 SOS 5932 HAS SOPS 5932 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5217.932
AT ITER 811 NEW BEST:: SOT 22484 SOS 5930 HAS SOPS 5930 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5216.93
AT ITER 816 NEW BEST:: SOT 22482 SOS 5853 HAS SOPS 5853 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.853
AT ITER 818 NEW BEST:: SOT 22482 SOS 5809 HAS SOPS 5809 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.809
AT ITER 822 NEW BEST:: SOT 22480 SOS 5792 HAS SOPS 5792 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5133.792
AT ITER 823 NEW BEST:: SOT 22486 SOS 5804 HAS SOPS 5804 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.804
AT ITER 827 NEW BEST:: SOT 22491 SOS 5810 HAS SOPS 5810 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5121.81
AT ITER 839 NEW BEST:: SOT 22490 SOS 5808 HAS SOPS 5808 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5121.808
AT ITER 844 NEW BEST:: SOT 22482 SOS 5800 HAS SOPS 5800 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.8
AT ITER 851 NEW BEST:: SOT 22468 SOS 5747 HAS SOPS 5747 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5082.747
AT ITER 859 NEW BEST:: SOT 22452 SOS 5715 HAS SOPS 5715 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.715
AT ITER 863 NEW BEST:: SOT 22428 SOS 5681 HAS SOPS 5681 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5032.681
AT ITER 864 NEW BEST:: SOT 22428 SOS 5678 HAS SOPS 5678 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5029.678
AT ITER 883 NEW BEST:: SOT 22409 SOS 5659 HAS SOPS 5659 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5010.659
AT ITER 911 NEW BEST:: SOT 22391 SOS 5578 HAS SOPS 5578 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4961.578
AT ITER 922 NEW BEST:: SOT 22386 SOS 5576 HAS SOPS 5576 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.576
AT ITER 928 NEW BEST:: SOT 22386 SOS 5562 HAS SOPS 5562 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4948.562
AT ITER 933 NEW BEST:: SOT 22379 SOS 5526 HAS SOPS 5526 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.526
AT ITER 955 NEW BEST:: SOT 22373 SOS 5501 HAS SOPS 5501 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4927.501
AT ITER 961 NEW BEST:: SOT 22365 SOS 5477 HAS SOPS 5477 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4911.477
AT ITER 964 NEW BEST:: SOT 22362 SOS 5490 HAS SOPS 5490 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4908.49
AT ITER 1005 NEW BEST:: SOT 22349 SOS 5464 HAS SOPS 5464 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.464
AT ITER 1032 NEW BEST:: SOT 22349 SOS 5427 HAS SOPS 5427 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4873.427
AT ITER 1043 NEW BEST:: SOT 22364 SOS 5416 HAS SOPS 5416 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.416
AT ITER 1058 NEW BEST:: SOT 22338 SOS 5390 HAS SOPS 5390 HAS SOUS 4823 HAS SOUPS 4823 WITH SCORE 4828.39
AT ITER 1068 NEW BEST:: SOT 22333 SOS 5388 HAS SOPS 5388 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4826.388
AT ITER 1072 NEW BEST:: SOT 22333 SOS 5382 HAS SOPS 5382 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4823.382
AT ITER 1085 NEW BEST:: SOT 22333 SOS 5379 HAS SOPS 5379 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.379
AT ITER 1107 NEW BEST:: SOT 22325 SOS 5382 HAS SOPS 5382 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.382
AT ITER 1124 NEW BEST:: SOT 22325 SOS 5378 HAS SOPS 5378 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4796.378
AT ITER 1131 NEW BEST:: SOT 22325 SOS 5378 HAS SOPS 5378 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4793.378
AT ITER 1133 NEW BEST:: SOT 22321 SOS 5370 HAS SOPS 5370 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.37
AT ITER 1164 NEW BEST:: SOT 22309 SOS 5334 HAS SOPS 5334 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.334
AT ITER 1181 NEW BEST:: SOT 22292 SOS 5317 HAS SOPS 5317 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.317
AT ITER 1190 NEW BEST:: SOT 22286 SOS 5305 HAS SOPS 5305 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.305
AT ITER 1224 NEW BEST:: SOT 22283 SOS 5299 HAS SOPS 5299 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4732.299
AT ITER 1245 NEW BEST:: SOT 22283 SOS 5298 HAS SOPS 5298 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4732.298
AT ITER 1254 NEW BEST:: SOT 22285 SOS 5316 HAS SOPS 5316 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.316
AT ITER 1258 NEW BEST:: SOT 22285 SOS 5315 HAS SOPS 5315 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4729.315
AT ITER 1275 NEW BEST:: SOT 22272 SOS 5256 HAS SOPS 5256 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.256
AT ITER 1281 NEW BEST:: SOT 22264 SOS 5240 HAS SOPS 5240 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.24
AT ITER 1287 NEW BEST:: SOT 22264 SOS 5239 HAS SOPS 5239 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.239
AT ITER 1296 NEW BEST:: SOT 22260 SOS 5231 HAS SOPS 5231 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.231
AT ITER 1328 NEW BEST:: SOT 22249 SOS 5209 HAS SOPS 5209 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.209
AT ITER 1404 NEW BEST:: SOT 22248 SOS 5198 HAS SOPS 5198 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4640.198
AT ITER 1406 NEW BEST:: SOT 22242 SOS 5180 HAS SOPS 5180 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.18
AT ITER 1424 NEW BEST:: SOT 22241 SOS 5179 HAS SOPS 5179 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.179
AT ITER 1428 NEW BEST:: SOT 22235 SOS 5173 HAS SOPS 5173 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4615.173
AT ITER 1506 NEW BEST:: SOT 22235 SOS 5169 HAS SOPS 5169 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.169
AT ITER 1523 NEW BEST:: SOT 22235 SOS 5156 HAS SOPS 5156 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.156
AT ITER 1526 NEW BEST:: SOT 22228 SOS 5142 HAS SOPS 5142 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4597.142
AT ITER 1545 NEW BEST:: SOT 22228 SOS 5141 HAS SOPS 5141 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.141
AT ITER 1603 NEW BEST:: SOT 22228 SOS 5137 HAS SOPS 5137 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4592.137
AT ITER 1608 NEW BEST:: SOT 22226 SOS 5125 HAS SOPS 5125 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.125
AT ITER 1619 NEW BEST:: SOT 22226 SOS 5124 HAS SOPS 5124 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.124
AT ITER 1649 NEW BEST:: SOT 22226 SOS 5122 HAS SOPS 5122 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.122
AT ITER 1655 NEW BEST:: SOT 22220 SOS 5110 HAS SOPS 5110 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4577.11
AT ITER 1676 NEW BEST:: SOT 22219 SOS 5109 HAS SOPS 5109 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4575.109
AT ITER 1705 NEW BEST:: SOT 22209 SOS 5053 HAS SOPS 5053 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.053
AT ITER 1736 NEW BEST:: SOT 22201 SOS 5029 HAS SOPS 5029 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.029
AT ITER 1749 NEW BEST:: SOT 22201 SOS 5028 HAS SOPS 5028 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.028
AT ITER 1773 NEW BEST:: SOT 22199 SOS 5050 HAS SOPS 5050 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.05
AT ITER 1778 NEW BEST:: SOT 22188 SOS 5039 HAS SOPS 5039 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4518.039
AT ITER 1796 NEW BEST:: SOT 22192 SOS 5058 HAS SOPS 5058 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.058
AT ITER 1803 NEW BEST:: SOT 22192 SOS 5056 HAS SOPS 5056 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4513.056
AT ITER 1829 NEW BEST:: SOT 22192 SOS 5016 HAS SOPS 5016 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.016
AT ITER 1873 NEW BEST:: SOT 22192 SOS 5015 HAS SOPS 5015 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.015
AT ITER 1886 NEW BEST:: SOT 22196 SOS 4999 HAS SOPS 4999 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4505.999
AT ITER 1900 NEW BEST:: SOT 22189 SOS 4985 HAS SOPS 4985 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4505.985
AT ITER 1907 NEW BEST:: SOT 22189 SOS 4952 HAS SOPS 4952 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4505.952
AT ITER 1926 NEW BEST:: SOT 22189 SOS 4945 HAS SOPS 4945 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4505.945
AT ITER 1966 NEW BEST:: SOT 22189 SOS 4934 HAS SOPS 4934 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4494.934
AT ITER 2026 NEW BEST:: SOT 22177 SOS 4971 HAS SOPS 4971 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4488.971
AT ITER 2029 NEW BEST:: SOT 22177 SOS 4971 HAS SOPS 4971 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4474.971
AT ITER 2039 NEW BEST:: SOT 22158 SOS 4967 HAS SOPS 4967 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.967
AT ITER 2085 NEW BEST:: SOT 22185 SOS 5007 HAS SOPS 5007 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4459.007
AT ITER 2105 NEW BEST:: SOT 22185 SOS 4999 HAS SOPS 4999 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.999
AT ITER 2108 NEW BEST:: SOT 22178 SOS 5021 HAS SOPS 5021 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.021
AT ITER 2113 NEW BEST:: SOT 22180 SOS 4994 HAS SOPS 4994 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4417.994
AT ITER 2140 NEW BEST:: SOT 22192 SOS 4968 HAS SOPS 4968 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4395.968
AT ITER 2150 NEW BEST:: SOT 22214 SOS 4977 HAS SOPS 4977 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4386.977
AT ITER 2168 NEW BEST:: SOT 22211 SOS 4971 HAS SOPS 4971 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4380.971
AT ITER 2178 NEW BEST:: SOT 22202 SOS 4961 HAS SOPS 4961 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4369.961
AT ITER 2183 NEW BEST:: SOT 22202 SOS 4951 HAS SOPS 4951 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4369.951
AT ITER 2195 NEW BEST:: SOT 22200 SOS 4951 HAS SOPS 4951 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4367.951
AT ITER 2260 NEW BEST:: SOT 22192 SOS 4932 HAS SOPS 4932 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.932
AT ITER 2264 NEW BEST:: SOT 22132 SOS 4778 HAS SOPS 4778 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4284.778
AT ITER 2300 NEW BEST:: SOT 22132 SOS 4772 HAS SOPS 4772 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4278.772
AT ITER 2312 NEW BEST:: SOT 22132 SOS 4750 HAS SOPS 4750 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4257.75
AT ITER 2313 NEW BEST:: SOT 22129 SOS 4746 HAS SOPS 4746 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4247.746
AT ITER 2381 NEW BEST:: SOT 22132 SOS 4752 HAS SOPS 4752 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4246.752
AT ITER 2421 NEW BEST:: SOT 22130 SOS 4748 HAS SOPS 4748 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.748
AT ITER 2444 NEW BEST:: SOT 22118 SOS 4738 HAS SOPS 4738 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4232.738
AT ITER 2453 NEW BEST:: SOT 22118 SOS 4726 HAS SOPS 4726 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4220.726
AT ITER 2529 NEW BEST:: SOT 22115 SOS 4720 HAS SOPS 4720 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.72
AT ITER 2530 NEW BEST:: SOT 22115 SOS 4699 HAS SOPS 4699 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4196.699
AT ITER 2567 NEW BEST:: SOT 22113 SOS 4692 HAS SOPS 4692 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.692
AT ITER 2575 NEW BEST:: SOT 22110 SOS 4682 HAS SOPS 4682 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4183.682
AT ITER 2621 NEW BEST:: SOT 22108 SOS 4674 HAS SOPS 4674 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4183.674
AT ITER 2662 NEW BEST:: SOT 22111 SOS 4680 HAS SOPS 4680 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.68
AT ITER 2675 NEW BEST:: SOT 22111 SOS 4679 HAS SOPS 4679 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.679
AT ITER 2698 NEW BEST:: SOT 22110 SOS 4681 HAS SOPS 4681 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4175.681
AT ITER 2703 NEW BEST:: SOT 22116 SOS 4700 HAS SOPS 4700 HAS SOUS 4168 HAS SOUPS 4168 WITH SCORE 4172.7
AT ITER 2818 NEW BEST:: SOT 22100 SOS 4668 HAS SOPS 4668 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4156.668
AT ITER 2836 NEW BEST:: SOT 22081 SOS 4630 HAS SOPS 4630 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4118.63
AT ITER 2841 NEW BEST:: SOT 22081 SOS 4624 HAS SOPS 4624 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.624
AT ITER 2870 NEW BEST:: SOT 22081 SOS 4619 HAS SOPS 4619 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4107.619
AT ITER 2872 NEW BEST:: SOT 22078 SOS 4615 HAS SOPS 4615 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.615
AT ITER 2888 NEW BEST:: SOT 22069 SOS 4606 HAS SOPS 4606 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4093.606
AT ITER 2927 NEW BEST:: SOT 22066 SOS 4580 HAS SOPS 4580 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.58
AT ITER 2950 NEW BEST:: SOT 22074 SOS 4583 HAS SOPS 4583 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.583
AT ITER 2955 NEW BEST:: SOT 22073 SOS 4581 HAS SOPS 4581 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.581
AT ITER 2958 NEW BEST:: SOT 22072 SOS 4579 HAS SOPS 4579 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4082.579
AT ITER 2960 NEW BEST:: SOT 22076 SOS 4577 HAS SOPS 4577 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.577
AT ITER 2970 NEW BEST:: SOT 22066 SOS 4557 HAS SOPS 4557 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.557
AT ITER 3022 NEW BEST:: SOT 22063 SOS 4540 HAS SOPS 4540 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.54
AT ITER 3064 NEW BEST:: SOT 22051 SOS 4416 HAS SOPS 4416 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4016.416
AT ITER 3100 NEW BEST:: SOT 22050 SOS 4414 HAS SOPS 4414 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4014.414
AT ITER 3128 NEW BEST:: SOT 22046 SOS 4413 HAS SOPS 4413 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.413
AT ITER 3159 NEW BEST:: SOT 22047 SOS 4411 HAS SOPS 4411 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.411
AT ITER 3160 NEW BEST:: SOT 22038 SOS 4396 HAS SOPS 4396 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3992.396
AT ITER 3189 NEW BEST:: SOT 22032 SOS 4396 HAS SOPS 4396 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3988.396
AT ITER 3203 NEW BEST:: SOT 22020 SOS 4384 HAS SOPS 4384 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.384
AT ITER 3223 NEW BEST:: SOT 22020 SOS 4379 HAS SOPS 4379 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.379
AT ITER 3307 NEW BEST:: SOT 22018 SOS 4379 HAS SOPS 4379 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3967.379
AT ITER 3378 NEW BEST:: SOT 22018 SOS 4379 HAS SOPS 4379 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3965.379
AT ITER 3401 NEW BEST:: SOT 22010 SOS 4362 HAS SOPS 4362 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.362
AT ITER 3452 NEW BEST:: SOT 22005 SOS 4352 HAS SOPS 4352 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.352
AT ITER 3453 NEW BEST:: SOT 22009 SOS 4359 HAS SOPS 4359 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.359
AT ITER 3476 NEW BEST:: SOT 22012 SOS 4362 HAS SOPS 4362 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.362
AT ITER 3485 NEW BEST:: SOT 22006 SOS 4356 HAS SOPS 4356 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.356
AT ITER 3520 NEW BEST:: SOT 22006 SOS 4356 HAS SOPS 4356 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3934.356
AT ITER 3525 NEW BEST:: SOT 21985 SOS 4289 HAS SOPS 4289 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3887.289
AT ITER 3545 NEW BEST:: SOT 21982 SOS 4283 HAS SOPS 4283 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.283
AT ITER 3548 NEW BEST:: SOT 21982 SOS 4276 HAS SOPS 4276 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.276
AT ITER 3573 NEW BEST:: SOT 21982 SOS 4274 HAS SOPS 4274 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.274
AT ITER 3599 NEW BEST:: SOT 21982 SOS 4272 HAS SOPS 4272 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.272
AT ITER 3600 NEW BEST:: SOT 21978 SOS 4255 HAS SOPS 4255 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.255
AT ITER 3626 NEW BEST:: SOT 21978 SOS 4254 HAS SOPS 4254 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.254
AT ITER 3647 NEW BEST:: SOT 21975 SOS 4248 HAS SOPS 4248 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3864.248
AT ITER 3716 NEW BEST:: SOT 21975 SOS 4246 HAS SOPS 4246 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.246
AT ITER 3717 NEW BEST:: SOT 21948 SOS 4212 HAS SOPS 4212 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.212
AT ITER 3755 NEW BEST:: SOT 21947 SOS 4212 HAS SOPS 4212 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.212
AT ITER 3779 NEW BEST:: SOT 21947 SOS 4209 HAS SOPS 4209 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.209
AT ITER 3871 NEW BEST:: SOT 21947 SOS 4184 HAS SOPS 4184 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.184
AT ITER 3901 NEW BEST:: SOT 21947 SOS 4187 HAS SOPS 4187 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3843.187
AT ITER 3923 NEW BEST:: SOT 21945 SOS 4183 HAS SOPS 4183 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3840.183
AT ITER 3939 NEW BEST:: SOT 21940 SOS 4167 HAS SOPS 4167 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3829.167
AT ITER 3973 NEW BEST:: SOT 21939 SOS 4165 HAS SOPS 4165 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.165
AT ITER 3980 NEW BEST:: SOT 21938 SOS 4163 HAS SOPS 4163 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.163
AT ITER 4049 NEW BEST:: SOT 21930 SOS 4179 HAS SOPS 4179 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3818.179
AT ITER 4072 NEW BEST:: SOT 21928 SOS 4171 HAS SOPS 4171 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.171
AT ITER 4172 NEW BEST:: SOT 21932 SOS 4153 HAS SOPS 4153 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.153
AT ITER 4207 NEW BEST:: SOT 21928 SOS 4145 HAS SOPS 4145 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.145
AT ITER 4263 NEW BEST:: SOT 21913 SOS 4115 HAS SOPS 4115 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3785.115
AT ITER 4320 NEW BEST:: SOT 21913 SOS 4099 HAS SOPS 4099 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.099
AT ITER 4326 NEW BEST:: SOT 21912 SOS 4094 HAS SOPS 4094 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.094
AT ITER 4357 NEW BEST:: SOT 21906 SOS 4031 HAS SOPS 4031 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.031
AT ITER 4414 NEW BEST:: SOT 21900 SOS 4025 HAS SOPS 4025 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3695.025
AT ITER 4426 NEW BEST:: SOT 21887 SOS 3999 HAS SOPS 3999 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3660.999
AT ITER 4446 NEW BEST:: SOT 21888 SOS 3997 HAS SOPS 3997 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3659.997
AT ITER 4448 NEW BEST:: SOT 21885 SOS 3991 HAS SOPS 3991 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3653.991
AT ITER 4487 NEW BEST:: SOT 21885 SOS 3988 HAS SOPS 3988 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3650.988
AT ITER 4531 NEW BEST:: SOT 21885 SOS 3986 HAS SOPS 3986 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3650.986
AT ITER 4574 NEW BEST:: SOT 21877 SOS 3937 HAS SOPS 3937 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3642.937
AT ITER 4590 NEW BEST:: SOT 21875 SOS 3917 HAS SOPS 3917 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3633.917
AT ITER 4596 NEW BEST:: SOT 21868 SOS 3903 HAS SOPS 3903 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3617.903
AT ITER 4695 NEW BEST:: SOT 21867 SOS 3903 HAS SOPS 3903 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3616.903
AT ITER 4777 NEW BEST:: SOT 21865 SOS 3899 HAS SOPS 3899 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3612.899
AT ITER 4859 NEW BEST:: SOT 21865 SOS 3895 HAS SOPS 3895 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3612.895
AT ITER 4887 NEW BEST:: SOT 21867 SOS 3887 HAS SOPS 3887 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3604.887
AT ITER 4894 NEW BEST:: SOT 21857 SOS 3867 HAS SOPS 3867 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3584.867
AT ITER 4939 NEW BEST:: SOT 21868 SOS 3836 HAS SOPS 3836 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3557.836
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-004B-CTLFireability-00 (AU( (! ((potential((tk(P116)>=1))))) , ((potential((tk(P32)>=1)))) ))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-01 (! (AU( (EF( ((potential((tk(P127)>=1)))))) , ((potential((tk(P129)>=1) & (tk(P148)>=1)))) )))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-02 ( ( ( ( ((potential((tk(P23)>=1)))) & (EX( ((potential((tk(P71)>=1)))))) ) | ((potential((tk(P71)>=1)))) ) | (EX( (EF( ((potential((tk(P17)>=1)))))))) ) & (! (AG( (! ( ((potential((tk(P124)>=1)))) & ((potential((tk(P102)>=1)))) ))))) )
PROPERTY: ShieldRVt-PT-004B-CTLFireability-03 (AF( ((potential((tk(P117)>=1))))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-04 (! ( (! (AF( ( ((potential((tk(P191)>=1)))) & ((potential((tk(P160)>=1)))) )))) | ((potential((tk(P83)>=1)))) ))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-05 (! ( ( ( ( ( ((potential((tk(P67)>=1)))) | ((potential((tk(P166)>=1)))) ) & ( ((potential((tk(P116)>=1)))) | ((potential((tk(P166)>=1)))) ) ) | ( (! ((potential((tk(P29)>=1))))) & ( ((potential((tk(P162)>=1)))) | ((potential((tk(P195)>=1)))) ) ) ) & ( ((potential((tk(P114)>=1) & (tk(P202)>=1) & (tk(P168)>=1)))) & ( (! ((potential((tk(P182)>=1))))) & ((potential((tk(P44)>=1)))) ) ) ) | (EU( (! ((potential((tk(P98)>=1))))) , ((potential((tk(P153)>=1) & (tk(P141)>=1) & (tk(P185)>=1)))) )) ))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-06 (EX( (AG( (! ( ((potential((tk(P112)>=1)))) & ((potential((tk(P165)>=1)))) ))))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-07 (EF( (AU( ((potential((tk(P13)>=1)))) , ((potential((tk(P177)>=1)))) ))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-08 (! (EF( (AF( ( ((potential((tk(P55)>=1) & (tk(P43)>=1) & (tk(P87)>=1)))) & ((potential((tk(P76)>=1) & (tk(P70)>=1) & (tk(P92)>=1)))) ))))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-09 ( (! (! ( (AF( ((potential((tk(P166)>=1)))))) | ( ((potential((tk(P176)>=1)))) | (! ((potential((tk(P166)>=1))))) ) ))) & ( (AX( (! ((potential((tk(P23)>=1))))))) & (EG( ( (! ((potential((tk(P189)>=1))))) | ( ((potential((tk(P28)>=1)))) | ((potential((tk(P109)>=1)))) ) ))) ) )
PROPERTY: ShieldRVt-PT-004B-CTLFireability-10 (EF( (EX( ( ((potential((tk(P42)>=1)))) & ( ((potential((tk(P186)>=1)))) & ((potential((tk(P5)>=1) & (tk(P38)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-11 ( ( (AU( ( ((potential((tk(P199)>=1)))) | ((potential((tk(P155)>=1)))) ) , ( ((potential((tk(P106)>=1)))) & ((potential((tk(P90)>=1)))) ) )) | ((potential((tk(P62)>=1)))) ) | (AF( ((potential((tk(P120)>=1)))))) )
PROPERTY: ShieldRVt-PT-004B-CTLFireability-12 (EG( (! ((potential((tk(P54)>=1)))))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-13 ( (EX( (AU( ((potential((tk(P84)>=1)))) , ((potential((tk(P183)>=1)))) )))) | ( (EU( (! ((potential((tk(P150)>=1))))) , ( ((potential((tk(P90)>=1)))) | ((potential((tk(P6)>=1)))) ) )) & (EF( ( ( ((potential((tk(P46)>=1)))) & ((potential((tk(P75)>=1)))) ) & ((potential((tk(P139)>=1)))) ))) ) )
PROPERTY: ShieldRVt-PT-004B-CTLFireability-14 (EG( (AG( (EF( ((potential((tk(P143)>=1))))))))))
PROPERTY: ShieldRVt-PT-004B-CTLFireability-15 (EF( ((potential((tk(P113)>=1))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-004B"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVt-PT-004B, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470300980"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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