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-159033469500460.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 ShieldPPPs-PT-005A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500460
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.2K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 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 44K 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 ShieldPPPs-PT-005A-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-005A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590442921089

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 005A
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: 158 places, 133 transitions, 506 arcs.
AT ITER 0 NEW BEST:: SOT 13659 SOS 9698 HAS SOPS 9698 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7669.698
AT ITER 14 NEW BEST:: SOT 13714 SOS 9587 HAS SOPS 9587 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7601.587
AT ITER 15 NEW BEST:: SOT 13664 SOS 9537 HAS SOPS 9537 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7551.537
AT ITER 16 NEW BEST:: SOT 13668 SOS 9532 HAS SOPS 9532 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7535.532
AT ITER 17 NEW BEST:: SOT 13667 SOS 9421 HAS SOPS 9421 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7516.421
AT ITER 18 NEW BEST:: SOT 13622 SOS 9376 HAS SOPS 9376 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7471.376
AT ITER 20 NEW BEST:: SOT 13618 SOS 9367 HAS SOPS 9367 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7470.367
AT ITER 25 NEW BEST:: SOT 13613 SOS 9352 HAS SOPS 9352 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7448.352
AT ITER 28 NEW BEST:: SOT 13477 SOS 9026 HAS SOPS 9026 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7170.026
AT ITER 47 NEW BEST:: SOT 13469 SOS 9018 HAS SOPS 9018 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7162.018
AT ITER 54 NEW BEST:: SOT 13464 SOS 8993 HAS SOPS 8993 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.993
AT ITER 73 NEW BEST:: SOT 13461 SOS 8990 HAS SOPS 8990 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7157.99
AT ITER 76 NEW BEST:: SOT 13450 SOS 8979 HAS SOPS 8979 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.979
AT ITER 79 NEW BEST:: SOT 13408 SOS 8934 HAS SOPS 8934 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.934
AT ITER 80 NEW BEST:: SOT 13388 SOS 8914 HAS SOPS 8914 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.914
AT ITER 83 NEW BEST:: SOT 13382 SOS 8884 HAS SOPS 8884 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.884
AT ITER 84 NEW BEST:: SOT 13341 SOS 8829 HAS SOPS 8829 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7021.829
AT ITER 92 NEW BEST:: SOT 13317 SOS 8803 HAS SOPS 8803 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6995.803
AT ITER 93 NEW BEST:: SOT 13317 SOS 8774 HAS SOPS 8774 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.774
AT ITER 109 NEW BEST:: SOT 13296 SOS 8753 HAS SOPS 8753 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6945.753
AT ITER 112 NEW BEST:: SOT 13296 SOS 8739 HAS SOPS 8739 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.739
AT ITER 115 NEW BEST:: SOT 13261 SOS 8632 HAS SOPS 8632 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6852.632
AT ITER 118 NEW BEST:: SOT 13188 SOS 8570 HAS SOPS 8570 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6786.57
AT ITER 141 NEW BEST:: SOT 13168 SOS 8293 HAS SOPS 8293 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6693.293
AT ITER 142 NEW BEST:: SOT 13145 SOS 8273 HAS SOPS 8273 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6672.273
AT ITER 150 NEW BEST:: SOT 13101 SOS 8229 HAS SOPS 8229 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6585.229
AT ITER 151 NEW BEST:: SOT 13103 SOS 8231 HAS SOPS 8231 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6571.231
AT ITER 154 NEW BEST:: SOT 13119 SOS 8214 HAS SOPS 8214 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.214
AT ITER 159 NEW BEST:: SOT 13121 SOS 8216 HAS SOPS 8216 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6566.216
AT ITER 166 NEW BEST:: SOT 13121 SOS 8203 HAS SOPS 8203 HAS SOUS 6551 HAS SOUPS 6551 WITH SCORE 6559.203
AT ITER 172 NEW BEST:: SOT 13135 SOS 8097 HAS SOPS 8097 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6479.097
AT ITER 178 NEW BEST:: SOT 13108 SOS 8071 HAS SOPS 8071 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6453.071
AT ITER 184 NEW BEST:: SOT 13087 SOS 7966 HAS SOPS 7966 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.966
AT ITER 192 NEW BEST:: SOT 13085 SOS 7964 HAS SOPS 7964 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6443.964
AT ITER 193 NEW BEST:: SOT 13049 SOS 7927 HAS SOPS 7927 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6406.927
AT ITER 196 NEW BEST:: SOT 13048 SOS 7911 HAS SOPS 7911 HAS SOUS 6389 HAS SOUPS 6389 WITH SCORE 6396.911
AT ITER 203 NEW BEST:: SOT 13009 SOS 7822 HAS SOPS 7822 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6335.822
AT ITER 208 NEW BEST:: SOT 13009 SOS 7819 HAS SOPS 7819 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6334.819
AT ITER 210 NEW BEST:: SOT 13008 SOS 7816 HAS SOPS 7816 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6331.816
AT ITER 217 NEW BEST:: SOT 12960 SOS 7768 HAS SOPS 7768 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6283.768
AT ITER 223 NEW BEST:: SOT 12885 SOS 7405 HAS SOPS 7405 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6096.405
AT ITER 225 NEW BEST:: SOT 12857 SOS 7318 HAS SOPS 7318 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6061.318
AT ITER 229 NEW BEST:: SOT 12856 SOS 7314 HAS SOPS 7314 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.314
AT ITER 232 NEW BEST:: SOT 12854 SOS 7312 HAS SOPS 7312 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.312
AT ITER 254 NEW BEST:: SOT 12798 SOS 7212 HAS SOPS 7212 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5901.212
AT ITER 258 NEW BEST:: SOT 12786 SOS 7200 HAS SOPS 7200 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5889.2
AT ITER 262 NEW BEST:: SOT 12766 SOS 7046 HAS SOPS 7046 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5888.046
AT ITER 282 NEW BEST:: SOT 12759 SOS 7046 HAS SOPS 7046 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5887.046
AT ITER 286 NEW BEST:: SOT 12721 SOS 6985 HAS SOPS 6985 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.985
AT ITER 297 NEW BEST:: SOT 12721 SOS 6985 HAS SOPS 6985 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5821.985
AT ITER 301 NEW BEST:: SOT 12749 SOS 6687 HAS SOPS 6687 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5774.687
AT ITER 338 NEW BEST:: SOT 12749 SOS 6611 HAS SOPS 6611 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.611
AT ITER 341 NEW BEST:: SOT 12718 SOS 6588 HAS SOPS 6588 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5717.588
AT ITER 355 NEW BEST:: SOT 12738 SOS 6579 HAS SOPS 6579 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.579
AT ITER 372 NEW BEST:: SOT 12739 SOS 6508 HAS SOPS 6508 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.508
AT ITER 383 NEW BEST:: SOT 12739 SOS 6490 HAS SOPS 6490 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.49
AT ITER 402 NEW BEST:: SOT 12705 SOS 6446 HAS SOPS 6446 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.446
AT ITER 407 NEW BEST:: SOT 12679 SOS 6412 HAS SOPS 6412 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5589.412
AT ITER 413 NEW BEST:: SOT 12685 SOS 6418 HAS SOPS 6418 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5583.418
AT ITER 414 NEW BEST:: SOT 12663 SOS 6407 HAS SOPS 6407 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5583.407
AT ITER 431 NEW BEST:: SOT 12663 SOS 6393 HAS SOPS 6393 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5583.393
AT ITER 439 NEW BEST:: SOT 12659 SOS 6389 HAS SOPS 6389 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5579.389
AT ITER 441 NEW BEST:: SOT 12695 SOS 6377 HAS SOPS 6377 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.377
AT ITER 443 NEW BEST:: SOT 12650 SOS 6289 HAS SOPS 6289 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.289
AT ITER 464 NEW BEST:: SOT 12643 SOS 6268 HAS SOPS 6268 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.268
AT ITER 467 NEW BEST:: SOT 12642 SOS 6254 HAS SOPS 6254 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.254
AT ITER 476 NEW BEST:: SOT 12634 SOS 6246 HAS SOPS 6246 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.246
AT ITER 483 NEW BEST:: SOT 12634 SOS 6247 HAS SOPS 6247 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5467.247
AT ITER 484 NEW BEST:: SOT 12632 SOS 6233 HAS SOPS 6233 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5464.233
AT ITER 488 NEW BEST:: SOT 12599 SOS 6198 HAS SOPS 6198 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.198
AT ITER 510 NEW BEST:: SOT 12599 SOS 6209 HAS SOPS 6209 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5419.209
AT ITER 515 NEW BEST:: SOT 12593 SOS 6203 HAS SOPS 6203 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5413.203
AT ITER 525 NEW BEST:: SOT 12593 SOS 6166 HAS SOPS 6166 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5376.166
AT ITER 527 NEW BEST:: SOT 12603 SOS 6172 HAS SOPS 6172 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5367.172
AT ITER 529 NEW BEST:: SOT 12597 SOS 6164 HAS SOPS 6164 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5359.164
AT ITER 531 NEW BEST:: SOT 12587 SOS 6150 HAS SOPS 6150 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.15
AT ITER 541 NEW BEST:: SOT 12592 SOS 6122 HAS SOPS 6122 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5318.122
AT ITER 546 NEW BEST:: SOT 12592 SOS 6118 HAS SOPS 6118 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.118
AT ITER 549 NEW BEST:: SOT 12580 SOS 6020 HAS SOPS 6020 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.02
AT ITER 570 NEW BEST:: SOT 12581 SOS 6022 HAS SOPS 6022 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.022
AT ITER 576 NEW BEST:: SOT 12572 SOS 6013 HAS SOPS 6013 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.013
AT ITER 579 NEW BEST:: SOT 12564 SOS 6005 HAS SOPS 6005 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5288.005
AT ITER 587 NEW BEST:: SOT 12550 SOS 5991 HAS SOPS 5991 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.991
AT ITER 595 NEW BEST:: SOT 12553 SOS 5975 HAS SOPS 5975 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.975
AT ITER 599 NEW BEST:: SOT 12583 SOS 5878 HAS SOPS 5878 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.878
AT ITER 601 NEW BEST:: SOT 12583 SOS 5876 HAS SOPS 5876 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.876
AT ITER 602 NEW BEST:: SOT 12554 SOS 5847 HAS SOPS 5847 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5223.847
AT ITER 606 NEW BEST:: SOT 12554 SOS 5822 HAS SOPS 5822 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5198.822
AT ITER 607 NEW BEST:: SOT 12540 SOS 5808 HAS SOPS 5808 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5184.808
AT ITER 611 NEW BEST:: SOT 12533 SOS 5791 HAS SOPS 5791 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5170.791
AT ITER 612 NEW BEST:: SOT 12539 SOS 5790 HAS SOPS 5790 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5169.79
AT ITER 623 NEW BEST:: SOT 12517 SOS 5768 HAS SOPS 5768 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5147.768
AT ITER 642 NEW BEST:: SOT 12516 SOS 5734 HAS SOPS 5734 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5143.734
AT ITER 656 NEW BEST:: SOT 12502 SOS 5718 HAS SOPS 5718 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5127.718
AT ITER 691 NEW BEST:: SOT 12450 SOS 5657 HAS SOPS 5657 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.657
AT ITER 693 NEW BEST:: SOT 12408 SOS 5615 HAS SOPS 5615 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5024.615
AT ITER 729 NEW BEST:: SOT 12407 SOS 5596 HAS SOPS 5596 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5005.596
AT ITER 732 NEW BEST:: SOT 12392 SOS 5525 HAS SOPS 5525 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4974.525
AT ITER 744 NEW BEST:: SOT 12423 SOS 5515 HAS SOPS 5515 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4964.515
AT ITER 752 NEW BEST:: SOT 12399 SOS 5491 HAS SOPS 5491 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.491
AT ITER 753 NEW BEST:: SOT 12365 SOS 5405 HAS SOPS 5405 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4827.405
AT ITER 768 NEW BEST:: SOT 12355 SOS 5390 HAS SOPS 5390 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.39
AT ITER 779 NEW BEST:: SOT 12338 SOS 5382 HAS SOPS 5382 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4804.382
AT ITER 786 NEW BEST:: SOT 12310 SOS 5365 HAS SOPS 5365 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.365
AT ITER 791 NEW BEST:: SOT 12305 SOS 5333 HAS SOPS 5333 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.333
AT ITER 795 NEW BEST:: SOT 12287 SOS 5315 HAS SOPS 5315 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4745.315
AT ITER 812 NEW BEST:: SOT 12280 SOS 5267 HAS SOPS 5267 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.267
AT ITER 827 NEW BEST:: SOT 12271 SOS 5205 HAS SOPS 5205 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.205
AT ITER 853 NEW BEST:: SOT 12267 SOS 5184 HAS SOPS 5184 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.184
AT ITER 861 NEW BEST:: SOT 12277 SOS 5139 HAS SOPS 5139 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.139
AT ITER 863 NEW BEST:: SOT 12245 SOS 5112 HAS SOPS 5112 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.112
AT ITER 876 NEW BEST:: SOT 12245 SOS 5110 HAS SOPS 5110 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.11
AT ITER 899 NEW BEST:: SOT 12246 SOS 5095 HAS SOPS 5095 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4620.095
AT ITER 902 NEW BEST:: SOT 12237 SOS 5086 HAS SOPS 5086 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.086
AT ITER 926 NEW BEST:: SOT 12230 SOS 5079 HAS SOPS 5079 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.079
AT ITER 952 NEW BEST:: SOT 12228 SOS 5075 HAS SOPS 5075 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4598.075
AT ITER 956 NEW BEST:: SOT 12232 SOS 5068 HAS SOPS 5068 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.068
AT ITER 961 NEW BEST:: SOT 12217 SOS 5029 HAS SOPS 5029 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4560.029
AT ITER 997 NEW BEST:: SOT 12219 SOS 5014 HAS SOPS 5014 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.014
AT ITER 1000 NEW BEST:: SOT 12219 SOS 4995 HAS SOPS 4995 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4524.995
AT ITER 1010 NEW BEST:: SOT 12220 SOS 4991 HAS SOPS 4991 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4518.991
AT ITER 1024 NEW BEST:: SOT 12219 SOS 4990 HAS SOPS 4990 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4518.99
AT ITER 1028 NEW BEST:: SOT 12219 SOS 4985 HAS SOPS 4985 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4513.985
AT ITER 1032 NEW BEST:: SOT 12219 SOS 4984 HAS SOPS 4984 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4504.984
AT ITER 1065 NEW BEST:: SOT 12219 SOS 4942 HAS SOPS 4942 HAS SOUS 4493 HAS SOUPS 4493 WITH SCORE 4497.942
AT ITER 1076 NEW BEST:: SOT 12223 SOS 4927 HAS SOPS 4927 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4484.927
AT ITER 1086 NEW BEST:: SOT 12222 SOS 4926 HAS SOPS 4926 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4483.926
AT ITER 1091 NEW BEST:: SOT 12223 SOS 4927 HAS SOPS 4927 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4482.927
AT ITER 1094 NEW BEST:: SOT 12223 SOS 4852 HAS SOPS 4852 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4461.852
AT ITER 1095 NEW BEST:: SOT 12202 SOS 4835 HAS SOPS 4835 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4444.835
AT ITER 1103 NEW BEST:: SOT 12202 SOS 4834 HAS SOPS 4834 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4443.834
AT ITER 1128 NEW BEST:: SOT 12188 SOS 4792 HAS SOPS 4792 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.792
AT ITER 1133 NEW BEST:: SOT 12189 SOS 4779 HAS SOPS 4779 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4400.779
AT ITER 1137 NEW BEST:: SOT 12179 SOS 4769 HAS SOPS 4769 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4390.769
AT ITER 1139 NEW BEST:: SOT 12177 SOS 4768 HAS SOPS 4768 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4385.768
AT ITER 1149 NEW BEST:: SOT 12178 SOS 4748 HAS SOPS 4748 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4379.748
AT ITER 1151 NEW BEST:: SOT 12152 SOS 4728 HAS SOPS 4728 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4357.728
AT ITER 1154 NEW BEST:: SOT 12150 SOS 4724 HAS SOPS 4724 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4354.724
AT ITER 1166 NEW BEST:: SOT 12129 SOS 4703 HAS SOPS 4703 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4333.703
AT ITER 1173 NEW BEST:: SOT 12131 SOS 4701 HAS SOPS 4701 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4331.701
AT ITER 1180 NEW BEST:: SOT 12121 SOS 4691 HAS SOPS 4691 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4321.691
AT ITER 1198 NEW BEST:: SOT 12130 SOS 4692 HAS SOPS 4692 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4317.692
AT ITER 1201 NEW BEST:: SOT 12028 SOS 4688 HAS SOPS 4688 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4259.688
AT ITER 1228 NEW BEST:: SOT 11996 SOS 4601 HAS SOPS 4601 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4196.601
AT ITER 1230 NEW BEST:: SOT 11992 SOS 4597 HAS SOPS 4597 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4192.597
AT ITER 1267 NEW BEST:: SOT 12003 SOS 4572 HAS SOPS 4572 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4167.572
AT ITER 1281 NEW BEST:: SOT 11994 SOS 4560 HAS SOPS 4560 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4155.56
AT ITER 1283 NEW BEST:: SOT 11976 SOS 4542 HAS SOPS 4542 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4137.542
AT ITER 1292 NEW BEST:: SOT 11968 SOS 4518 HAS SOPS 4518 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.518
AT ITER 1301 NEW BEST:: SOT 11981 SOS 4547 HAS SOPS 4547 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4113.547
AT ITER 1303 NEW BEST:: SOT 11974 SOS 4530 HAS SOPS 4530 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4093.53
AT ITER 1313 NEW BEST:: SOT 11978 SOS 4545 HAS SOPS 4545 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4090.545
AT ITER 1314 NEW BEST:: SOT 11947 SOS 4510 HAS SOPS 4510 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.51
AT ITER 1316 NEW BEST:: SOT 11945 SOS 4500 HAS SOPS 4500 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.5
AT ITER 1319 NEW BEST:: SOT 11946 SOS 4447 HAS SOPS 4447 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.447
AT ITER 1326 NEW BEST:: SOT 11953 SOS 4465 HAS SOPS 4465 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3991.465
AT ITER 1338 NEW BEST:: SOT 11930 SOS 4261 HAS SOPS 4261 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3841.261
AT ITER 1350 NEW BEST:: SOT 11930 SOS 4256 HAS SOPS 4256 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.256
AT ITER 1361 NEW BEST:: SOT 11922 SOS 4247 HAS SOPS 4247 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3829.247
AT ITER 1398 NEW BEST:: SOT 11904 SOS 4242 HAS SOPS 4242 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.242
AT ITER 1417 NEW BEST:: SOT 11897 SOS 4228 HAS SOPS 4228 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3805.228
AT ITER 1424 NEW BEST:: SOT 11889 SOS 4220 HAS SOPS 4220 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.22
AT ITER 1432 NEW BEST:: SOT 11893 SOS 4224 HAS SOPS 4224 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3796.224
AT ITER 1434 NEW BEST:: SOT 11889 SOS 4214 HAS SOPS 4214 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.214
AT ITER 1475 NEW BEST:: SOT 11869 SOS 4182 HAS SOPS 4182 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.182
AT ITER 1534 NEW BEST:: SOT 11856 SOS 4173 HAS SOPS 4173 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.173
AT ITER 1567 NEW BEST:: SOT 11859 SOS 4165 HAS SOPS 4165 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.165
AT ITER 1583 NEW BEST:: SOT 11847 SOS 4150 HAS SOPS 4150 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3705.15
AT ITER 1599 NEW BEST:: SOT 11829 SOS 4115 HAS SOPS 4115 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.115
AT ITER 1622 NEW BEST:: SOT 11829 SOS 4109 HAS SOPS 4109 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.109
AT ITER 1658 NEW BEST:: SOT 11828 SOS 4108 HAS SOPS 4108 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3661.108
AT ITER 1668 NEW BEST:: SOT 11834 SOS 4110 HAS SOPS 4110 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.11
AT ITER 1672 NEW BEST:: SOT 11834 SOS 4097 HAS SOPS 4097 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.097
AT ITER 1673 NEW BEST:: SOT 11843 SOS 4090 HAS SOPS 4090 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.09
AT ITER 1682 NEW BEST:: SOT 11843 SOS 4090 HAS SOPS 4090 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.09
AT ITER 1695 NEW BEST:: SOT 11839 SOS 4086 HAS SOPS 4086 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3637.086
AT ITER 1704 NEW BEST:: SOT 11838 SOS 4085 HAS SOPS 4085 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3634.085
AT ITER 1722 NEW BEST:: SOT 11838 SOS 4075 HAS SOPS 4075 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.075
AT ITER 1725 NEW BEST:: SOT 11838 SOS 4074 HAS SOPS 4074 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.074
AT ITER 1734 NEW BEST:: SOT 11809 SOS 4047 HAS SOPS 4047 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3601.047
AT ITER 1790 NEW BEST:: SOT 11808 SOS 4049 HAS SOPS 4049 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3599.049
AT ITER 1794 NEW BEST:: SOT 11805 SOS 4046 HAS SOPS 4046 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3599.046
AT ITER 1810 NEW BEST:: SOT 11807 SOS 4046 HAS SOPS 4046 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3595.046
AT ITER 1813 NEW BEST:: SOT 11798 SOS 4032 HAS SOPS 4032 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.032
AT ITER 1817 NEW BEST:: SOT 11801 SOS 4039 HAS SOPS 4039 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3580.039
AT ITER 1829 NEW BEST:: SOT 11787 SOS 4013 HAS SOPS 4013 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3564.013
AT ITER 1850 NEW BEST:: SOT 11785 SOS 4011 HAS SOPS 4011 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.011
AT ITER 1853 NEW BEST:: SOT 11782 SOS 4002 HAS SOPS 4002 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3556.002
AT ITER 1896 NEW BEST:: SOT 11782 SOS 4019 HAS SOPS 4019 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3553.019
AT ITER 1920 NEW BEST:: SOT 11788 SOS 4015 HAS SOPS 4015 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.015
AT ITER 1922 NEW BEST:: SOT 11788 SOS 4012 HAS SOPS 4012 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.012
AT ITER 1926 NEW BEST:: SOT 11815 SOS 3949 HAS SOPS 3949 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3547.949
AT ITER 1942 NEW BEST:: SOT 11790 SOS 3909 HAS SOPS 3909 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3507.909
AT ITER 1948 NEW BEST:: SOT 11769 SOS 3882 HAS SOPS 3882 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3496.882
AT ITER 1954 NEW BEST:: SOT 11767 SOS 3874 HAS SOPS 3874 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3489.874
AT ITER 1970 NEW BEST:: SOT 11762 SOS 3829 HAS SOPS 3829 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.829
AT ITER 1980 NEW BEST:: SOT 11759 SOS 3825 HAS SOPS 3825 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3427.825
AT ITER 1987 NEW BEST:: SOT 11759 SOS 3808 HAS SOPS 3808 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3420.808
AT ITER 1997 NEW BEST:: SOT 11759 SOS 3809 HAS SOPS 3809 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3415.809
AT ITER 2014 NEW BEST:: SOT 11756 SOS 3758 HAS SOPS 3758 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.758
AT ITER 2016 NEW BEST:: SOT 11754 SOS 3751 HAS SOPS 3751 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3363.751
AT ITER 2020 NEW BEST:: SOT 11754 SOS 3749 HAS SOPS 3749 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.749
AT ITER 2047 NEW BEST:: SOT 11752 SOS 3747 HAS SOPS 3747 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.747
AT ITER 2049 NEW BEST:: SOT 11738 SOS 3753 HAS SOPS 3753 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3355.753
AT ITER 2118 NEW BEST:: SOT 11749 SOS 3767 HAS SOPS 3767 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.767
AT ITER 2142 NEW BEST:: SOT 11749 SOS 3764 HAS SOPS 3764 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3343.764
AT ITER 2181 NEW BEST:: SOT 11739 SOS 3754 HAS SOPS 3754 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.754
AT ITER 2190 NEW BEST:: SOT 11738 SOS 3753 HAS SOPS 3753 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.753
AT ITER 2195 NEW BEST:: SOT 11748 SOS 3760 HAS SOPS 3760 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.76
AT ITER 2198 NEW BEST:: SOT 11739 SOS 3754 HAS SOPS 3754 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3326.754
AT ITER 2220 NEW BEST:: SOT 11725 SOS 3705 HAS SOPS 3705 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.705
AT ITER 2301 NEW BEST:: SOT 11741 SOS 3704 HAS SOPS 3704 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.704
AT ITER 2335 NEW BEST:: SOT 11735 SOS 3700 HAS SOPS 3700 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.7
AT ITER 2337 NEW BEST:: SOT 11729 SOS 3689 HAS SOPS 3689 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.689
AT ITER 2345 NEW BEST:: SOT 11729 SOS 3668 HAS SOPS 3668 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.668
AT ITER 2354 NEW BEST:: SOT 11729 SOS 3658 HAS SOPS 3658 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.658
AT ITER 2359 NEW BEST:: SOT 11723 SOS 3652 HAS SOPS 3652 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3251.652
AT ITER 2396 NEW BEST:: SOT 11714 SOS 3638 HAS SOPS 3638 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3237.638
AT ITER 2414 NEW BEST:: SOT 11717 SOS 3635 HAS SOPS 3635 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.635
AT ITER 2440 NEW BEST:: SOT 11717 SOS 3623 HAS SOPS 3623 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3227.623
AT ITER 2475 NEW BEST:: SOT 11713 SOS 3615 HAS SOPS 3615 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.615
AT ITER 2491 NEW BEST:: SOT 11713 SOS 3615 HAS SOPS 3615 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.615
AT ITER 2572 NEW BEST:: SOT 11713 SOS 3619 HAS SOPS 3619 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.619
AT ITER 2589 NEW BEST:: SOT 11709 SOS 3612 HAS SOPS 3612 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.612
AT ITER 2622 NEW BEST:: SOT 11708 SOS 3609 HAS SOPS 3609 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3202.609
AT ITER 2666 NEW BEST:: SOT 11708 SOS 3602 HAS SOPS 3602 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.602
AT ITER 2688 NEW BEST:: SOT 11704 SOS 3568 HAS SOPS 3568 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.568
AT ITER 2697 NEW BEST:: SOT 11698 SOS 3554 HAS SOPS 3554 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3165.554
AT ITER 2714 NEW BEST:: SOT 11692 SOS 3548 HAS SOPS 3548 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.548
AT ITER 2740 NEW BEST:: SOT 11682 SOS 3524 HAS SOPS 3524 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3135.524
AT ITER 2744 NEW BEST:: SOT 11680 SOS 3514 HAS SOPS 3514 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3122.514
AT ITER 2754 NEW BEST:: SOT 11679 SOS 3512 HAS SOPS 3512 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3120.512
AT ITER 2784 NEW BEST:: SOT 11676 SOS 3509 HAS SOPS 3509 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.509
AT ITER 2883 NEW BEST:: SOT 11674 SOS 3507 HAS SOPS 3507 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.507
AT ITER 2888 NEW BEST:: SOT 11673 SOS 3506 HAS SOPS 3506 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.506
AT ITER 2902 NEW BEST:: SOT 11664 SOS 3517 HAS SOPS 3517 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.517
AT ITER 2930 NEW BEST:: SOT 11667 SOS 3483 HAS SOPS 3483 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.483
AT ITER 2960 NEW BEST:: SOT 11666 SOS 3482 HAS SOPS 3482 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.482
AT ITER 2966 NEW BEST:: SOT 11664 SOS 3479 HAS SOPS 3479 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.479
AT ITER 2985 NEW BEST:: SOT 11685 SOS 3487 HAS SOPS 3487 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.487
AT ITER 3013 NEW BEST:: SOT 11681 SOS 3470 HAS SOPS 3470 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.47
AT ITER 3053 NEW BEST:: SOT 11660 SOS 3449 HAS SOPS 3449 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.449
AT ITER 3067 NEW BEST:: SOT 11654 SOS 3448 HAS SOPS 3448 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.448
AT ITER 3099 NEW BEST:: SOT 11656 SOS 3449 HAS SOPS 3449 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.449
AT ITER 3117 NEW BEST:: SOT 11606 SOS 3398 HAS SOPS 3398 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.398
AT ITER 3129 NEW BEST:: SOT 11606 SOS 3402 HAS SOPS 3402 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.402
AT ITER 3174 NEW BEST:: SOT 11605 SOS 3401 HAS SOPS 3401 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.401
AT ITER 3215 NEW BEST:: SOT 11601 SOS 3403 HAS SOPS 3403 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2968.403
AT ITER 3243 NEW BEST:: SOT 11599 SOS 3397 HAS SOPS 3397 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2962.397
AT ITER 3249 NEW BEST:: SOT 11595 SOS 3395 HAS SOPS 3395 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.395
AT ITER 3265 NEW BEST:: SOT 11584 SOS 3358 HAS SOPS 3358 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2920.358
AT ITER 3279 NEW BEST:: SOT 11586 SOS 3361 HAS SOPS 3361 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2918.361
AT ITER 3301 NEW BEST:: SOT 11589 SOS 3335 HAS SOPS 3335 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.335
AT ITER 3396 NEW BEST:: SOT 11585 SOS 3331 HAS SOPS 3331 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.331
AT ITER 3414 NEW BEST:: SOT 11584 SOS 3327 HAS SOPS 3327 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.327
AT ITER 3475 NEW BEST:: SOT 11584 SOS 3326 HAS SOPS 3326 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2898.326
AT ITER 3515 NEW BEST:: SOT 11582 SOS 3322 HAS SOPS 3322 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2895.322
AT ITER 3520 NEW BEST:: SOT 11583 SOS 3317 HAS SOPS 3317 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.317
AT ITER 3526 NEW BEST:: SOT 11583 SOS 3309 HAS SOPS 3309 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2884.309
AT ITER 3618 NEW BEST:: SOT 11574 SOS 3254 HAS SOPS 3254 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2847.254
AT ITER 3620 NEW BEST:: SOT 11571 SOS 3253 HAS SOPS 3253 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.253
AT ITER 3621 NEW BEST:: SOT 11565 SOS 3250 HAS SOPS 3250 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2843.25
AT ITER 3642 NEW BEST:: SOT 11557 SOS 3242 HAS SOPS 3242 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2835.242
AT ITER 3689 NEW BEST:: SOT 11552 SOS 3220 HAS SOPS 3220 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.22
AT ITER 3708 NEW BEST:: SOT 11552 SOS 3218 HAS SOPS 3218 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.218
AT ITER 3721 NEW BEST:: SOT 11558 SOS 3221 HAS SOPS 3221 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.221
AT ITER 3858 NEW BEST:: SOT 11558 SOS 3201 HAS SOPS 3201 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.201
AT ITER 3884 NEW BEST:: SOT 11580 SOS 3217 HAS SOPS 3217 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.217
AT ITER 3895 NEW BEST:: SOT 11570 SOS 3202 HAS SOPS 3202 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2779.202
AT ITER 3955 NEW BEST:: SOT 11569 SOS 3201 HAS SOPS 3201 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.201
AT ITER 3989 NEW BEST:: SOT 11570 SOS 3200 HAS SOPS 3200 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.2
AT ITER 4049 NEW BEST:: SOT 11571 SOS 3201 HAS SOPS 3201 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.201
AT ITER 4089 NEW BEST:: SOT 11569 SOS 3199 HAS SOPS 3199 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.199
AT ITER 4135 NEW BEST:: SOT 11570 SOS 3193 HAS SOPS 3193 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.193
AT ITER 4137 NEW BEST:: SOT 11568 SOS 3182 HAS SOPS 3182 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.182
AT ITER 4160 NEW BEST:: SOT 11567 SOS 3181 HAS SOPS 3181 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2757.181
AT ITER 4165 NEW BEST:: SOT 11567 SOS 3178 HAS SOPS 3178 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.178
AT ITER 4212 NEW BEST:: SOT 11564 SOS 3165 HAS SOPS 3165 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.165
AT ITER 4241 NEW BEST:: SOT 11566 SOS 3164 HAS SOPS 3164 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.164
AT ITER 4294 NEW BEST:: SOT 11558 SOS 3162 HAS SOPS 3162 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2747.162
AT ITER 4307 NEW BEST:: SOT 11558 SOS 3156 HAS SOPS 3156 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.156
AT ITER 4316 NEW BEST:: SOT 11569 SOS 3123 HAS SOPS 3123 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.123
AT ITER 4370 NEW BEST:: SOT 11577 SOS 3097 HAS SOPS 3097 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.097
AT ITER 4392 NEW BEST:: SOT 11576 SOS 3092 HAS SOPS 3092 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2724.092
AT ITER 4396 NEW BEST:: SOT 11576 SOS 3071 HAS SOPS 3071 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2724.071
AT ITER 4402 NEW BEST:: SOT 11575 SOS 3067 HAS SOPS 3067 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2720.067
AT ITER 4426 NEW BEST:: SOT 11573 SOS 3061 HAS SOPS 3061 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2720.061
AT ITER 4542 NEW BEST:: SOT 11571 SOS 3045 HAS SOPS 3045 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2718.045
AT ITER 4559 NEW BEST:: SOT 11569 SOS 3042 HAS SOPS 3042 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.042
AT ITER 4594 NEW BEST:: SOT 11569 SOS 3040 HAS SOPS 3040 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.04
AT ITER 4596 NEW BEST:: SOT 11569 SOS 3040 HAS SOPS 3040 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2713.04
AT ITER 4611 NEW BEST:: SOT 11570 SOS 3039 HAS SOPS 3039 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2713.039
AT ITER 4633 NEW BEST:: SOT 11564 SOS 3032 HAS SOPS 3032 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2707.032
AT ITER 4715 NEW BEST:: SOT 11561 SOS 3020 HAS SOPS 3020 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.02
AT ITER 4755 NEW BEST:: SOT 11557 SOS 3008 HAS SOPS 3008 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2690.008
AT ITER 4774 NEW BEST:: SOT 11554 SOS 3005 HAS SOPS 3005 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.005
AT ITER 4805 NEW BEST:: SOT 11547 SOS 2993 HAS SOPS 2993 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2663.993
AT ITER 4855 NEW BEST:: SOT 11547 SOS 2987 HAS SOPS 2987 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2663.987
AT ITER 4977 NEW BEST:: SOT 11544 SOS 2980 HAS SOPS 2980 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2661.98
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-00 (AF( ( (AF( ( ((potential((tk(P116)>=1)))) | ((potential((tk(P12)>=1) & (tk(P22)>=1)))) ))) & ((potential((tk(P132)>=1) & (tk(P134)>=1)))) )))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-01 (EF( ( (AX( ((potential((tk(P33)>=1)))))) & (EG( ( ((potential((tk(P101)>=1) & (tk(P103)>=1)))) | ((potential((tk(P38)>=1) & (tk(P55)>=1)))) ))) )))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-02 (EF( ((potential((tk(P75)>=1) & (tk(P77)>=1))))))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-03 ( ( (! (AG( (! ((potential((tk(P7)>=1) & (tk(P24)>=1)))))))) | (! ( ( (! ((potential((tk(P68)>=1) & (tk(P87)>=1))))) & (! ((potential((tk(P43)>=1) & (tk(P55)>=1))))) ) | ( ( ((potential((tk(P131)>=1) & (tk(P147)>=1)))) & ((potential((tk(P2)>=1) & (tk(P27)>=1)))) ) | ((potential((tk(P112)>=1) & (tk(P123)>=1)))) ) )) ) & (AG( ( ( (! ((potential((tk(P75)>=1) & (tk(P77)>=1))))) | ( ((potential((tk(P138)>=1) & (tk(P157)>=1)))) | ((potential((tk(P136)>=1) & (tk(P146)>=1)))) ) ) & (EF( ((potential((tk(P140)>=1)))))) ))) )
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-04 (EU( (AF( ((potential((tk(P105)>=1) & (tk(P117)>=1)))))) , (EU( ((potential((tk(P75)>=1) & (tk(P77)>=1)))) , ((potential((tk(P125)>=1)))) )) ))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-05 (AG( ( (AF( ( ((potential((tk(P109)>=1) & (tk(P151)>=1)))) & ((potential((tk(P13)>=1) & (tk(P15)>=1)))) ))) & ( (! ( ((potential((tk(P110)>=1) & (tk(P125)>=1)))) | ((potential((tk(P7)>=1) & (tk(P24)>=1)))) )) & ( (! ((potential((tk(P14)>=1) & (tk(P34)>=1))))) | ((potential((tk(P116)>=1)))) ) ) )))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-06 (! (AU( (! ( ((potential((tk(P21)>=1) & (tk(P42)>=1)))) | ((potential((tk(P71)>=1) & (tk(P92)>=1)))) )) , ( ((potential((tk(P6)>=1) & (tk(P25)>=1)))) | ( ((potential((tk(P67)>=1) & (tk(P88)>=1)))) | ((potential((tk(P147)>=1)))) ) ) )))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-07 (! ( (AG( ( ((potential((tk(P7)>=1) & (tk(P23)>=1)))) & ((potential((tk(P98)>=1) & (tk(P119)>=1)))) ))) | (AF( (AF( ((potential((tk(P59)>=1)))))))) ))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-08 (! (EG( (! (EG( ((potential((tk(P59)>=1))))))))))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-09 ( (EU( ((potential((tk(P19)>=1) & (tk(P28)>=1)))) , (! (! ((potential((tk(P49)>=1) & (tk(P51)>=1)))))) )) | (AX( (EF( ( ((potential((tk(P47)>=1) & (tk(P89)>=1)))) & ((potential((tk(P1)>=1)))) ))))) )
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-10 (EU( ((potential((tk(P116)>=1)))) , (EF( ((potential((tk(P4)>=1) & (tk(P31)>=1)))))) ))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-11 (EF( ( ( (AX( ((potential((tk(P114)>=1) & (tk(P135)>=1)))))) & (EF( ((potential((tk(P59)>=1)))))) ) & (! ( ( ((potential((tk(P22)>=1)))) | ((potential((tk(P47)>=1) & (tk(P89)>=1)))) ) | (! ((potential((tk(P43)>=1) & (tk(P55)>=1))))) )) )))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-12 (! (AF( (EG( ( ((potential((tk(P81)>=1) & (tk(P92)>=1)))) | ((potential((tk(P145)>=1)))) ))))))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-13 (EF( ( (! ( ((potential((tk(P91)>=1)))) | (! ((potential((tk(P13)>=1) & (tk(P15)>=1))))) )) | (AF( ( ((potential((tk(P133)>=1) & (tk(P154)>=1)))) & ((potential((tk(P68)>=1) & (tk(P87)>=1)))) ))) )))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-14 (! (AF( ((potential((tk(P45)>=1) & (tk(P64)>=1)))))))
PROPERTY: ShieldPPPs-PT-005A-CTLFireability-15 (! (EF( (EF( ( ((potential((tk(P114)>=1) & (tk(P135)>=1)))) & ((potential((tk(P69)>=1) & (tk(P85)>=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="ShieldPPPs-PT-005A"
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 ShieldPPPs-PT-005A, 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-159033469500460"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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