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-159033469000108.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 ShieldIIPs-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-159033469000108
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.3K May 14 00:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 00:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 07:39 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 42K 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 ShieldIIPs-PT-005A-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-005A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590435527270

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (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: 128 places, 123 transitions, 546 arcs.
AT ITER 0 NEW BEST:: SOT 10759 SOS 8371 HAS SOPS 8371 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.371
AT ITER 9 NEW BEST:: SOT 10752 SOS 8364 HAS SOPS 8364 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7162.364
AT ITER 18 NEW BEST:: SOT 10735 SOS 8277 HAS SOPS 8277 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.277
AT ITER 20 NEW BEST:: SOT 10734 SOS 8276 HAS SOPS 8276 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.276
AT ITER 39 NEW BEST:: SOT 10722 SOS 8210 HAS SOPS 8210 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.21
AT ITER 46 NEW BEST:: SOT 10729 SOS 8118 HAS SOPS 8118 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7046.118
AT ITER 47 NEW BEST:: SOT 10713 SOS 8057 HAS SOPS 8057 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7038.057
AT ITER 48 NEW BEST:: SOT 10693 SOS 8034 HAS SOPS 8034 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7032.034
AT ITER 64 NEW BEST:: SOT 10693 SOS 8027 HAS SOPS 8027 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.027
AT ITER 69 NEW BEST:: SOT 10660 SOS 7994 HAS SOPS 7994 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6989.994
AT ITER 71 NEW BEST:: SOT 10624 SOS 7968 HAS SOPS 7968 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6963.968
AT ITER 75 NEW BEST:: SOT 10592 SOS 7935 HAS SOPS 7935 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6930.935
AT ITER 80 NEW BEST:: SOT 10586 SOS 7899 HAS SOPS 7899 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6930.899
AT ITER 82 NEW BEST:: SOT 10685 SOS 7932 HAS SOPS 7932 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6917.932
AT ITER 83 NEW BEST:: SOT 10679 SOS 7926 HAS SOPS 7926 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6911.926
AT ITER 87 NEW BEST:: SOT 10679 SOS 7890 HAS SOPS 7890 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6897.89
AT ITER 89 NEW BEST:: SOT 10664 SOS 7852 HAS SOPS 7852 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6859.852
AT ITER 90 NEW BEST:: SOT 10646 SOS 7783 HAS SOPS 7783 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.783
AT ITER 91 NEW BEST:: SOT 10554 SOS 7689 HAS SOPS 7689 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6746.689
AT ITER 92 NEW BEST:: SOT 10553 SOS 7688 HAS SOPS 7688 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6745.688
AT ITER 96 NEW BEST:: SOT 10537 SOS 7670 HAS SOPS 7670 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6727.67
AT ITER 100 NEW BEST:: SOT 10519 SOS 7611 HAS SOPS 7611 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6682.611
AT ITER 102 NEW BEST:: SOT 10496 SOS 7574 HAS SOPS 7574 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6661.574
AT ITER 104 NEW BEST:: SOT 10403 SOS 7480 HAS SOPS 7480 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6567.48
AT ITER 107 NEW BEST:: SOT 10418 SOS 7520 HAS SOPS 7520 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.52
AT ITER 111 NEW BEST:: SOT 10493 SOS 7506 HAS SOPS 7506 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6527.506
AT ITER 112 NEW BEST:: SOT 10488 SOS 7500 HAS SOPS 7500 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6521.5
AT ITER 113 NEW BEST:: SOT 10440 SOS 7441 HAS SOPS 7441 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.441
AT ITER 119 NEW BEST:: SOT 10438 SOS 7433 HAS SOPS 7433 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.433
AT ITER 130 NEW BEST:: SOT 10405 SOS 7353 HAS SOPS 7353 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6380.353
AT ITER 131 NEW BEST:: SOT 10402 SOS 7350 HAS SOPS 7350 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6375.35
AT ITER 132 NEW BEST:: SOT 10393 SOS 7338 HAS SOPS 7338 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6363.338
AT ITER 135 NEW BEST:: SOT 10385 SOS 7327 HAS SOPS 7327 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6351.327
AT ITER 137 NEW BEST:: SOT 10385 SOS 7305 HAS SOPS 7305 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6329.305
AT ITER 140 NEW BEST:: SOT 10450 SOS 7288 HAS SOPS 7288 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6319.288
AT ITER 147 NEW BEST:: SOT 10390 SOS 7223 HAS SOPS 7223 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.223
AT ITER 148 NEW BEST:: SOT 10374 SOS 7207 HAS SOPS 7207 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6238.207
AT ITER 149 NEW BEST:: SOT 10378 SOS 7203 HAS SOPS 7203 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.203
AT ITER 155 NEW BEST:: SOT 10359 SOS 7188 HAS SOPS 7188 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6217.188
AT ITER 156 NEW BEST:: SOT 10349 SOS 7184 HAS SOPS 7184 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.184
AT ITER 162 NEW BEST:: SOT 10317 SOS 7127 HAS SOPS 7127 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6156.127
AT ITER 164 NEW BEST:: SOT 10302 SOS 7110 HAS SOPS 7110 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6124.11
AT ITER 179 NEW BEST:: SOT 10302 SOS 7109 HAS SOPS 7109 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6123.109
AT ITER 184 NEW BEST:: SOT 10262 SOS 7065 HAS SOPS 7065 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6053.065
AT ITER 190 NEW BEST:: SOT 10262 SOS 7065 HAS SOPS 7065 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6051.065
AT ITER 196 NEW BEST:: SOT 10248 SOS 7044 HAS SOPS 7044 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.044
AT ITER 209 NEW BEST:: SOT 10245 SOS 7030 HAS SOPS 7030 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6026.03
AT ITER 214 NEW BEST:: SOT 10230 SOS 6987 HAS SOPS 6987 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5995.987
AT ITER 222 NEW BEST:: SOT 10210 SOS 6925 HAS SOPS 6925 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5949.925
AT ITER 223 NEW BEST:: SOT 10207 SOS 6922 HAS SOPS 6922 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5946.922
AT ITER 224 NEW BEST:: SOT 10159 SOS 6887 HAS SOPS 6887 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5930.887
AT ITER 226 NEW BEST:: SOT 10092 SOS 6801 HAS SOPS 6801 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.801
AT ITER 239 NEW BEST:: SOT 10079 SOS 6787 HAS SOPS 6787 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5830.787
AT ITER 258 NEW BEST:: SOT 10062 SOS 6770 HAS SOPS 6770 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5813.77
AT ITER 266 NEW BEST:: SOT 10032 SOS 6722 HAS SOPS 6722 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.722
AT ITER 280 NEW BEST:: SOT 9995 SOS 6679 HAS SOPS 6679 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5727.679
AT ITER 283 NEW BEST:: SOT 9987 SOS 6671 HAS SOPS 6671 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5719.671
AT ITER 296 NEW BEST:: SOT 9939 SOS 6599 HAS SOPS 6599 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5645.599
AT ITER 304 NEW BEST:: SOT 9851 SOS 6495 HAS SOPS 6495 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5541.495
AT ITER 311 NEW BEST:: SOT 9848 SOS 6496 HAS SOPS 6496 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.496
AT ITER 315 NEW BEST:: SOT 9848 SOS 6477 HAS SOPS 6477 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.477
AT ITER 323 NEW BEST:: SOT 9848 SOS 6467 HAS SOPS 6467 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.467
AT ITER 339 NEW BEST:: SOT 9828 SOS 6412 HAS SOPS 6412 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.412
AT ITER 342 NEW BEST:: SOT 9818 SOS 6403 HAS SOPS 6403 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.403
AT ITER 351 NEW BEST:: SOT 9806 SOS 6381 HAS SOPS 6381 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5424.381
AT ITER 352 NEW BEST:: SOT 9806 SOS 6374 HAS SOPS 6374 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5417.374
AT ITER 356 NEW BEST:: SOT 9812 SOS 6388 HAS SOPS 6388 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.388
AT ITER 358 NEW BEST:: SOT 9801 SOS 6320 HAS SOPS 6320 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.32
AT ITER 361 NEW BEST:: SOT 9822 SOS 6349 HAS SOPS 6349 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.349
AT ITER 362 NEW BEST:: SOT 9820 SOS 6347 HAS SOPS 6347 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.347
AT ITER 378 NEW BEST:: SOT 9802 SOS 6213 HAS SOPS 6213 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.213
AT ITER 394 NEW BEST:: SOT 9721 SOS 6131 HAS SOPS 6131 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.131
AT ITER 398 NEW BEST:: SOT 9721 SOS 6127 HAS SOPS 6127 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5191.127
AT ITER 405 NEW BEST:: SOT 9718 SOS 6123 HAS SOPS 6123 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5187.123
AT ITER 416 NEW BEST:: SOT 9721 SOS 6103 HAS SOPS 6103 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5167.103
AT ITER 421 NEW BEST:: SOT 9700 SOS 6082 HAS SOPS 6082 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5146.082
AT ITER 423 NEW BEST:: SOT 9696 SOS 6080 HAS SOPS 6080 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5144.08
AT ITER 424 NEW BEST:: SOT 9676 SOS 6051 HAS SOPS 6051 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5115.051
AT ITER 434 NEW BEST:: SOT 9675 SOS 6048 HAS SOPS 6048 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5113.048
AT ITER 447 NEW BEST:: SOT 9680 SOS 6064 HAS SOPS 6064 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5111.064
AT ITER 456 NEW BEST:: SOT 9672 SOS 6039 HAS SOPS 6039 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.039
AT ITER 474 NEW BEST:: SOT 9642 SOS 6007 HAS SOPS 6007 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5009.007
AT ITER 481 NEW BEST:: SOT 9616 SOS 5980 HAS SOPS 5980 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.98
AT ITER 490 NEW BEST:: SOT 9609 SOS 5973 HAS SOPS 5973 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4974.973
AT ITER 505 NEW BEST:: SOT 9601 SOS 5965 HAS SOPS 5965 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.965
AT ITER 507 NEW BEST:: SOT 9601 SOS 5956 HAS SOPS 5956 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4957.956
AT ITER 529 NEW BEST:: SOT 9606 SOS 5938 HAS SOPS 5938 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4929.938
AT ITER 530 NEW BEST:: SOT 9602 SOS 5930 HAS SOPS 5930 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4921.93
AT ITER 535 NEW BEST:: SOT 9572 SOS 5903 HAS SOPS 5903 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.903
AT ITER 546 NEW BEST:: SOT 9564 SOS 5895 HAS SOPS 5895 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.895
AT ITER 551 NEW BEST:: SOT 9544 SOS 5872 HAS SOPS 5872 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4863.872
AT ITER 560 NEW BEST:: SOT 9540 SOS 5860 HAS SOPS 5860 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4855.86
AT ITER 562 NEW BEST:: SOT 9510 SOS 5809 HAS SOPS 5809 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4804.809
AT ITER 563 NEW BEST:: SOT 9488 SOS 5775 HAS SOPS 5775 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.775
AT ITER 571 NEW BEST:: SOT 9487 SOS 5782 HAS SOPS 5782 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4723.782
AT ITER 589 NEW BEST:: SOT 9478 SOS 5773 HAS SOPS 5773 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.773
AT ITER 592 NEW BEST:: SOT 9478 SOS 5763 HAS SOPS 5763 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.763
AT ITER 597 NEW BEST:: SOT 9491 SOS 5785 HAS SOPS 5785 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.785
AT ITER 604 NEW BEST:: SOT 9502 SOS 5747 HAS SOPS 5747 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.747
AT ITER 605 NEW BEST:: SOT 9542 SOS 5778 HAS SOPS 5778 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.778
AT ITER 612 NEW BEST:: SOT 9517 SOS 5757 HAS SOPS 5757 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4684.757
AT ITER 618 NEW BEST:: SOT 9514 SOS 5745 HAS SOPS 5745 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4679.745
AT ITER 627 NEW BEST:: SOT 9508 SOS 5739 HAS SOPS 5739 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.739
AT ITER 628 NEW BEST:: SOT 9485 SOS 5707 HAS SOPS 5707 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.707
AT ITER 639 NEW BEST:: SOT 9480 SOS 5702 HAS SOPS 5702 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.702
AT ITER 644 NEW BEST:: SOT 9477 SOS 5699 HAS SOPS 5699 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.699
AT ITER 651 NEW BEST:: SOT 9488 SOS 5698 HAS SOPS 5698 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.698
AT ITER 654 NEW BEST:: SOT 9488 SOS 5681 HAS SOPS 5681 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4616.681
AT ITER 660 NEW BEST:: SOT 9521 SOS 5638 HAS SOPS 5638 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.638
AT ITER 675 NEW BEST:: SOT 9521 SOS 5633 HAS SOPS 5633 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.633
AT ITER 677 NEW BEST:: SOT 9520 SOS 5632 HAS SOPS 5632 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.632
AT ITER 688 NEW BEST:: SOT 9518 SOS 5629 HAS SOPS 5629 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.629
AT ITER 693 NEW BEST:: SOT 9518 SOS 5591 HAS SOPS 5591 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.591
AT ITER 695 NEW BEST:: SOT 9503 SOS 5576 HAS SOPS 5576 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.576
AT ITER 696 NEW BEST:: SOT 9505 SOS 5561 HAS SOPS 5561 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.561
AT ITER 700 NEW BEST:: SOT 9504 SOS 5559 HAS SOPS 5559 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.559
AT ITER 702 NEW BEST:: SOT 9526 SOS 5552 HAS SOPS 5552 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4431.552
AT ITER 704 NEW BEST:: SOT 9518 SOS 5537 HAS SOPS 5537 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4413.537
AT ITER 706 NEW BEST:: SOT 9517 SOS 5536 HAS SOPS 5536 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4412.536
AT ITER 710 NEW BEST:: SOT 9497 SOS 5514 HAS SOPS 5514 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.514
AT ITER 719 NEW BEST:: SOT 9495 SOS 5506 HAS SOPS 5506 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.506
AT ITER 736 NEW BEST:: SOT 9495 SOS 5497 HAS SOPS 5497 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.497
AT ITER 742 NEW BEST:: SOT 9489 SOS 5489 HAS SOPS 5489 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4359.489
AT ITER 745 NEW BEST:: SOT 9418 SOS 5506 HAS SOPS 5506 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4308.506
AT ITER 814 NEW BEST:: SOT 9374 SOS 5482 HAS SOPS 5482 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4275.482
AT ITER 819 NEW BEST:: SOT 9358 SOS 5461 HAS SOPS 5461 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.461
AT ITER 822 NEW BEST:: SOT 9352 SOS 5452 HAS SOPS 5452 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4251.452
AT ITER 832 NEW BEST:: SOT 9316 SOS 5384 HAS SOPS 5384 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4238.384
AT ITER 838 NEW BEST:: SOT 9304 SOS 5369 HAS SOPS 5369 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.369
AT ITER 849 NEW BEST:: SOT 9301 SOS 5366 HAS SOPS 5366 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4220.366
AT ITER 855 NEW BEST:: SOT 9297 SOS 5362 HAS SOPS 5362 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4216.362
AT ITER 864 NEW BEST:: SOT 9294 SOS 5372 HAS SOPS 5372 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4197.372
AT ITER 869 NEW BEST:: SOT 9322 SOS 5336 HAS SOPS 5336 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.336
AT ITER 885 NEW BEST:: SOT 9315 SOS 5304 HAS SOPS 5304 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4145.304
AT ITER 896 NEW BEST:: SOT 9306 SOS 5295 HAS SOPS 5295 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4138.295
AT ITER 908 NEW BEST:: SOT 9287 SOS 5276 HAS SOPS 5276 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4110.276
AT ITER 923 NEW BEST:: SOT 9287 SOS 5220 HAS SOPS 5220 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4110.22
AT ITER 926 NEW BEST:: SOT 9313 SOS 5223 HAS SOPS 5223 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4105.223
AT ITER 945 NEW BEST:: SOT 9266 SOS 5169 HAS SOPS 5169 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4028.169
AT ITER 955 NEW BEST:: SOT 9254 SOS 5149 HAS SOPS 5149 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4006.149
AT ITER 979 NEW BEST:: SOT 9266 SOS 5160 HAS SOPS 5160 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4005.16
AT ITER 985 NEW BEST:: SOT 9266 SOS 5136 HAS SOPS 5136 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4002.136
AT ITER 990 NEW BEST:: SOT 9274 SOS 5137 HAS SOPS 5137 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3997.137
AT ITER 996 NEW BEST:: SOT 9262 SOS 5120 HAS SOPS 5120 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3980.12
AT ITER 999 NEW BEST:: SOT 9237 SOS 5063 HAS SOPS 5063 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3938.063
AT ITER 1015 NEW BEST:: SOT 9211 SOS 5027 HAS SOPS 5027 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3908.027
AT ITER 1021 NEW BEST:: SOT 9209 SOS 5024 HAS SOPS 5024 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3902.024
AT ITER 1037 NEW BEST:: SOT 9184 SOS 4999 HAS SOPS 4999 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.999
AT ITER 1039 NEW BEST:: SOT 9187 SOS 5025 HAS SOPS 5025 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3874.025
AT ITER 1052 NEW BEST:: SOT 9185 SOS 5025 HAS SOPS 5025 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3869.025
AT ITER 1056 NEW BEST:: SOT 9191 SOS 5025 HAS SOPS 5025 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3863.025
AT ITER 1071 NEW BEST:: SOT 9174 SOS 5008 HAS SOPS 5008 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3846.008
AT ITER 1088 NEW BEST:: SOT 9173 SOS 5007 HAS SOPS 5007 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3845.007
AT ITER 1120 NEW BEST:: SOT 9137 SOS 4964 HAS SOPS 4964 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3801.964
AT ITER 1133 NEW BEST:: SOT 9107 SOS 4937 HAS SOPS 4937 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3786.937
AT ITER 1170 NEW BEST:: SOT 9074 SOS 4836 HAS SOPS 4836 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.836
AT ITER 1212 NEW BEST:: SOT 9065 SOS 4809 HAS SOPS 4809 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3721.809
AT ITER 1216 NEW BEST:: SOT 9068 SOS 4802 HAS SOPS 4802 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3705.802
AT ITER 1233 NEW BEST:: SOT 9093 SOS 4791 HAS SOPS 4791 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.791
AT ITER 1239 NEW BEST:: SOT 9091 SOS 4791 HAS SOPS 4791 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.791
AT ITER 1248 NEW BEST:: SOT 9087 SOS 4785 HAS SOPS 4785 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.785
AT ITER 1264 NEW BEST:: SOT 9070 SOS 4772 HAS SOPS 4772 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.772
AT ITER 1268 NEW BEST:: SOT 9060 SOS 4778 HAS SOPS 4778 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.778
AT ITER 1269 NEW BEST:: SOT 9059 SOS 4776 HAS SOPS 4776 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.776
AT ITER 1274 NEW BEST:: SOT 9089 SOS 4775 HAS SOPS 4775 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3621.775
AT ITER 1316 NEW BEST:: SOT 9089 SOS 4771 HAS SOPS 4771 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3620.771
AT ITER 1317 NEW BEST:: SOT 9084 SOS 4766 HAS SOPS 4766 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.766
AT ITER 1325 NEW BEST:: SOT 9067 SOS 4749 HAS SOPS 4749 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3600.749
AT ITER 1351 NEW BEST:: SOT 9075 SOS 4747 HAS SOPS 4747 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3598.747
AT ITER 1352 NEW BEST:: SOT 9075 SOS 4745 HAS SOPS 4745 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3597.745
AT ITER 1358 NEW BEST:: SOT 9070 SOS 4690 HAS SOPS 4690 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3591.69
AT ITER 1365 NEW BEST:: SOT 9056 SOS 4676 HAS SOPS 4676 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.676
AT ITER 1377 NEW BEST:: SOT 9054 SOS 4669 HAS SOPS 4669 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3577.669
AT ITER 1421 NEW BEST:: SOT 9057 SOS 4660 HAS SOPS 4660 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.66
AT ITER 1424 NEW BEST:: SOT 9056 SOS 4659 HAS SOPS 4659 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3557.659
AT ITER 1435 NEW BEST:: SOT 9058 SOS 4657 HAS SOPS 4657 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3555.657
AT ITER 1446 NEW BEST:: SOT 9054 SOS 4577 HAS SOPS 4577 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.577
AT ITER 1448 NEW BEST:: SOT 9031 SOS 4554 HAS SOPS 4554 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.554
AT ITER 1451 NEW BEST:: SOT 9027 SOS 4550 HAS SOPS 4550 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3518.55
AT ITER 1498 NEW BEST:: SOT 9021 SOS 4538 HAS SOPS 4538 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3506.538
AT ITER 1514 NEW BEST:: SOT 9021 SOS 4529 HAS SOPS 4529 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.529
AT ITER 1535 NEW BEST:: SOT 9032 SOS 4530 HAS SOPS 4530 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.53
AT ITER 1581 NEW BEST:: SOT 9029 SOS 4528 HAS SOPS 4528 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.528
AT ITER 1586 NEW BEST:: SOT 9029 SOS 4530 HAS SOPS 4530 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.53
AT ITER 1601 NEW BEST:: SOT 9026 SOS 4527 HAS SOPS 4527 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.527
AT ITER 1604 NEW BEST:: SOT 8969 SOS 4470 HAS SOPS 4470 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3371.47
AT ITER 1616 NEW BEST:: SOT 8970 SOS 4477 HAS SOPS 4477 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.477
AT ITER 1618 NEW BEST:: SOT 8970 SOS 4465 HAS SOPS 4465 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3346.465
AT ITER 1630 NEW BEST:: SOT 8958 SOS 4457 HAS SOPS 4457 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3330.457
AT ITER 1651 NEW BEST:: SOT 8953 SOS 4455 HAS SOPS 4455 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3328.455
AT ITER 1679 NEW BEST:: SOT 8956 SOS 4441 HAS SOPS 4441 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3327.441
AT ITER 1684 NEW BEST:: SOT 8942 SOS 4427 HAS SOPS 4427 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.427
AT ITER 1688 NEW BEST:: SOT 8947 SOS 4422 HAS SOPS 4422 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3303.422
AT ITER 1689 NEW BEST:: SOT 8947 SOS 4384 HAS SOPS 4384 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3272.384
AT ITER 1722 NEW BEST:: SOT 8936 SOS 4366 HAS SOPS 4366 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3252.366
AT ITER 1728 NEW BEST:: SOT 8937 SOS 4360 HAS SOPS 4360 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3246.36
AT ITER 1731 NEW BEST:: SOT 8931 SOS 4254 HAS SOPS 4254 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3218.254
AT ITER 1751 NEW BEST:: SOT 8917 SOS 4232 HAS SOPS 4232 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3181.232
AT ITER 1768 NEW BEST:: SOT 8912 SOS 4229 HAS SOPS 4229 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3173.229
AT ITER 1780 NEW BEST:: SOT 8905 SOS 4222 HAS SOPS 4222 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3166.222
AT ITER 1812 NEW BEST:: SOT 8898 SOS 4208 HAS SOPS 4208 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3161.208
AT ITER 1827 NEW BEST:: SOT 8894 SOS 4201 HAS SOPS 4201 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3157.201
AT ITER 1828 NEW BEST:: SOT 8887 SOS 4194 HAS SOPS 4194 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3150.194
AT ITER 1876 NEW BEST:: SOT 8907 SOS 4175 HAS SOPS 4175 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3117.175
AT ITER 1895 NEW BEST:: SOT 8880 SOS 4148 HAS SOPS 4148 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3090.148
AT ITER 1914 NEW BEST:: SOT 8918 SOS 3936 HAS SOPS 3936 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.936
AT ITER 1920 NEW BEST:: SOT 8851 SOS 3839 HAS SOPS 3839 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.839
AT ITER 1965 NEW BEST:: SOT 8847 SOS 3821 HAS SOPS 3821 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2921.821
AT ITER 1967 NEW BEST:: SOT 8842 SOS 3799 HAS SOPS 3799 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.799
AT ITER 2000 NEW BEST:: SOT 8840 SOS 3797 HAS SOPS 3797 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.797
AT ITER 2007 NEW BEST:: SOT 8840 SOS 3783 HAS SOPS 3783 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.783
AT ITER 2032 NEW BEST:: SOT 8832 SOS 3775 HAS SOPS 3775 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.775
AT ITER 2042 NEW BEST:: SOT 8830 SOS 3773 HAS SOPS 3773 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2897.773
AT ITER 2093 NEW BEST:: SOT 8793 SOS 3736 HAS SOPS 3736 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.736
AT ITER 2154 NEW BEST:: SOT 8789 SOS 3729 HAS SOPS 3729 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2853.729
AT ITER 2155 NEW BEST:: SOT 8786 SOS 3723 HAS SOPS 3723 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.723
AT ITER 2194 NEW BEST:: SOT 8785 SOS 3721 HAS SOPS 3721 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.721
AT ITER 2198 NEW BEST:: SOT 8785 SOS 3722 HAS SOPS 3722 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.722
AT ITER 2222 NEW BEST:: SOT 8781 SOS 3718 HAS SOPS 3718 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.718
AT ITER 2261 NEW BEST:: SOT 8781 SOS 3706 HAS SOPS 3706 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.706
AT ITER 2294 NEW BEST:: SOT 8781 SOS 3684 HAS SOPS 3684 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.684
AT ITER 2299 NEW BEST:: SOT 8760 SOS 3657 HAS SOPS 3657 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.657
AT ITER 2313 NEW BEST:: SOT 8744 SOS 3625 HAS SOPS 3625 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.625
AT ITER 2347 NEW BEST:: SOT 8739 SOS 3624 HAS SOPS 3624 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2764.624
AT ITER 2386 NEW BEST:: SOT 8722 SOS 3584 HAS SOPS 3584 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2738.584
AT ITER 2404 NEW BEST:: SOT 8718 SOS 3576 HAS SOPS 3576 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2732.576
AT ITER 2408 NEW BEST:: SOT 8717 SOS 3573 HAS SOPS 3573 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.573
AT ITER 2444 NEW BEST:: SOT 8717 SOS 3566 HAS SOPS 3566 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2715.566
AT ITER 2447 NEW BEST:: SOT 8710 SOS 3564 HAS SOPS 3564 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.564
AT ITER 2477 NEW BEST:: SOT 8708 SOS 3562 HAS SOPS 3562 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2712.562
AT ITER 2517 NEW BEST:: SOT 8702 SOS 3548 HAS SOPS 3548 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.548
AT ITER 2536 NEW BEST:: SOT 8702 SOS 3544 HAS SOPS 3544 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2700.544
AT ITER 2543 NEW BEST:: SOT 8689 SOS 3486 HAS SOPS 3486 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2654.486
AT ITER 2569 NEW BEST:: SOT 8688 SOS 3485 HAS SOPS 3485 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2653.485
AT ITER 2586 NEW BEST:: SOT 8688 SOS 3485 HAS SOPS 3485 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2649.485
AT ITER 2610 NEW BEST:: SOT 8686 SOS 3477 HAS SOPS 3477 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2643.477
AT ITER 2653 NEW BEST:: SOT 8679 SOS 3470 HAS SOPS 3470 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2636.47
AT ITER 2684 NEW BEST:: SOT 8679 SOS 3462 HAS SOPS 3462 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2627.462
AT ITER 2735 NEW BEST:: SOT 8676 SOS 3458 HAS SOPS 3458 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.458
AT ITER 2782 NEW BEST:: SOT 8675 SOS 3457 HAS SOPS 3457 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.457
AT ITER 2790 NEW BEST:: SOT 8672 SOS 3444 HAS SOPS 3444 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.444
AT ITER 2795 NEW BEST:: SOT 8671 SOS 3440 HAS SOPS 3440 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.44
AT ITER 2847 NEW BEST:: SOT 8668 SOS 3437 HAS SOPS 3437 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2598.437
AT ITER 2862 NEW BEST:: SOT 8669 SOS 3434 HAS SOPS 3434 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2597.434
AT ITER 2872 NEW BEST:: SOT 8667 SOS 3396 HAS SOPS 3396 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.396
AT ITER 2938 NEW BEST:: SOT 8663 SOS 3376 HAS SOPS 3376 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.376
AT ITER 2950 NEW BEST:: SOT 8664 SOS 3370 HAS SOPS 3370 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2587.37
AT ITER 3081 NEW BEST:: SOT 8664 SOS 3367 HAS SOPS 3367 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2584.367
AT ITER 3106 NEW BEST:: SOT 8661 SOS 3353 HAS SOPS 3353 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2570.353
AT ITER 3198 NEW BEST:: SOT 8661 SOS 3351 HAS SOPS 3351 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2561.351
AT ITER 3208 NEW BEST:: SOT 8661 SOS 3359 HAS SOPS 3359 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2559.359
AT ITER 3264 NEW BEST:: SOT 8660 SOS 3358 HAS SOPS 3358 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2558.358
AT ITER 3285 NEW BEST:: SOT 8660 SOS 3356 HAS SOPS 3356 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2558.356
AT ITER 3306 NEW BEST:: SOT 8671 SOS 3358 HAS SOPS 3358 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2556.358
AT ITER 3367 NEW BEST:: SOT 8671 SOS 3340 HAS SOPS 3340 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2541.34
AT ITER 3399 NEW BEST:: SOT 8671 SOS 3340 HAS SOPS 3340 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.34
AT ITER 3416 NEW BEST:: SOT 8669 SOS 3337 HAS SOPS 3337 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.337
AT ITER 3439 NEW BEST:: SOT 8678 SOS 3316 HAS SOPS 3316 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2531.316
AT ITER 3520 NEW BEST:: SOT 8678 SOS 3278 HAS SOPS 3278 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2525.278
AT ITER 3619 NEW BEST:: SOT 8678 SOS 3277 HAS SOPS 3277 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2524.277
AT ITER 3628 NEW BEST:: SOT 8669 SOS 3272 HAS SOPS 3272 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2520.272
AT ITER 3693 NEW BEST:: SOT 8667 SOS 3271 HAS SOPS 3271 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2517.271
AT ITER 3746 NEW BEST:: SOT 8664 SOS 3255 HAS SOPS 3255 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2513.255
AT ITER 3790 NEW BEST:: SOT 8642 SOS 3229 HAS SOPS 3229 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2499.229
AT ITER 3891 NEW BEST:: SOT 8639 SOS 3225 HAS SOPS 3225 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2495.225
AT ITER 3928 NEW BEST:: SOT 8638 SOS 3221 HAS SOPS 3221 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2493.221
AT ITER 3941 NEW BEST:: SOT 8638 SOS 3218 HAS SOPS 3218 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.218
AT ITER 4068 NEW BEST:: SOT 8642 SOS 3219 HAS SOPS 3219 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.219
AT ITER 4119 NEW BEST:: SOT 8642 SOS 3217 HAS SOPS 3217 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2476.217
AT ITER 4137 NEW BEST:: SOT 8636 SOS 3212 HAS SOPS 3212 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2475.212
AT ITER 4229 NEW BEST:: SOT 8627 SOS 3207 HAS SOPS 3207 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2470.207
AT ITER 4253 NEW BEST:: SOT 8625 SOS 3205 HAS SOPS 3205 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2469.205
AT ITER 4256 NEW BEST:: SOT 8619 SOS 3191 HAS SOPS 3191 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2459.191
AT ITER 4328 NEW BEST:: SOT 8619 SOS 3223 HAS SOPS 3223 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2457.223
AT ITER 4341 NEW BEST:: SOT 8618 SOS 3219 HAS SOPS 3219 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2454.219
AT ITER 4376 NEW BEST:: SOT 8616 SOS 3217 HAS SOPS 3217 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2452.217
AT ITER 4495 NEW BEST:: SOT 8618 SOS 3217 HAS SOPS 3217 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2451.217
AT ITER 4600 NEW BEST:: SOT 8612 SOS 3204 HAS SOPS 3204 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2435.204
AT ITER 4646 NEW BEST:: SOT 8610 SOS 3202 HAS SOPS 3202 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2433.202
AT ITER 4659 NEW BEST:: SOT 8608 SOS 3199 HAS SOPS 3199 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.199
AT ITER 4660 NEW BEST:: SOT 8607 SOS 3198 HAS SOPS 3198 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.198
AT ITER 4776 NEW BEST:: SOT 8606 SOS 3197 HAS SOPS 3197 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2429.197
AT ITER 4881 NEW BEST:: SOT 8602 SOS 3190 HAS SOPS 3190 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2422.19
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-00 (! (EG( (! ( ( ((potential((tk(P23)>=1)))) & ((potential((tk(P112)>=1) & (tk(P118)>=1) & (tk(P127)>=1)))) ) & (! ((potential((tk(P37)>=1) & (tk(P41)>=1) & (tk(P53)>=1))))) )))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-01 (AU( ( ((potential((tk(P37)>=1) & (tk(P43)>=1) & (tk(P52)>=1)))) & ( ( ((potential((tk(P104)>=1) & (tk(P125)>=1)))) & ((potential((tk(P51)>=1)))) ) | ( ((potential((tk(P14)>=1) & (tk(P22)>=1) & (tk(P26)>=1)))) & ((potential((tk(P105)>=1) & (tk(P120)>=1)))) ) ) ) , (EG( (! ((potential((tk(P33)>=1) & (tk(P35)>=1))))))) ))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-02 (AF( (EG( (! (! ((potential((tk(P62)>=1) & (tk(P66)>=1) & (tk(P78)>=1))))))))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-03 (AF( ( (AU( ((potential((tk(P97)>=1)))) , ((potential((tk(P15)>=1) & (tk(P36)>=1)))) )) & (! ((potential((tk(P39)>=1) & (tk(P49)>=1) & (tk(P51)>=1))))) )))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-04 (EG( ( (EG( (! ((potential((tk(P52)>=1))))))) | ( (EF( ((potential((tk(P87)>=1) & (tk(P91)>=1) & (tk(P102)>=1)))))) & (EX( ((potential((tk(P34)>=1) & (tk(P49)>=1)))))) ) )))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-05 (AF( (EU( ( ((potential((tk(P105)>=1) & (tk(P120)>=1)))) & ((potential((tk(P12)>=1) & (tk(P18)>=1) & (tk(P27)>=1)))) ) , ( ((potential((tk(P92)>=1)))) | ((potential((tk(P64)>=1) & (tk(P74)>=1) & (tk(P78)>=1)))) ) ))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-06 (EF( (EF( (EX( ((potential((tk(P92)>=1))))))))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-07 ( (! (! ( ( ( ((potential((tk(P112)>=1) & (tk(P118)>=1) & (tk(P127)>=1)))) & ((potential((tk(P104)>=1) & (tk(P125)>=1)))) ) | ((potential((tk(P106)>=1) & (tk(P119)>=1)))) ) | (AG( ((potential((tk(P57)>=1) & (tk(P67)>=1)))))) ))) | (EU( (AF( ((potential((tk(P84)>=1) & (tk(P98)>=1)))))) , ( (! ((potential((tk(P57)>=1) & (tk(P67)>=1))))) & ((potential((tk(P112)>=1) & (tk(P116)>=1) & (tk(P128)>=1)))) ) )) )
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-08 ( ( ((potential((tk(P56)>=1) & (tk(P69)>=1)))) | (AU( (! ((potential((tk(P12)>=1) & (tk(P16)>=1) & (tk(P27)>=1))))) , ( ((potential((tk(P57)>=1) & (tk(P67)>=1)))) | ((potential((tk(P64)>=1) & (tk(P72)>=1) & (tk(P78)>=1)))) ) )) ) & (! ((potential((tk(P89)>=1) & (tk(P99)>=1) & (tk(P101)>=1))))) )
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-09 ( ( ( (! (AX( ((potential((tk(P14)>=1) & (tk(P22)>=1) & (tk(P26)>=1))))))) | ((potential((tk(P101)>=1)))) ) | ( ((potential((tk(P32)>=1) & (tk(P43)>=1)))) & (AF( (! ((potential((tk(P97)>=1))))))) ) ) & (EF( (AU( ((potential((tk(P39)>=1) & (tk(P47)>=1) & (tk(P53)>=1)))) , ((potential((tk(P89)>=1) & (tk(P99)>=1) & (tk(P101)>=1)))) )))) )
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-10 (EG( (EU( (! ((potential((tk(P30)>=1) & (tk(P45)>=1))))) , ((potential((tk(P73)>=1)))) ))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-11 (EX( (AF( ( ( ((potential((tk(P89)>=1) & (tk(P97)>=1) & (tk(P101)>=1)))) & ((potential((tk(P40)>=1) & (tk(P61)>=1)))) ) & ((potential((tk(P6)>=1) & (tk(P19)>=1)))) )))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-12 (AG( (! (EX( ( ((potential((tk(P9)>=1) & (tk(P23)>=1)))) & ((potential((tk(P57)>=1) & (tk(P67)>=1)))) ))))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-13 (AU( (! (! (! ((potential((tk(P82)>=1) & (tk(P92)>=1))))))) , ( (AF( ((potential((tk(P15)>=1) & (tk(P36)>=1)))))) & ( ((potential((tk(P54)>=1) & (tk(P75)>=1)))) | ( ((potential((tk(P72)>=1)))) | ((potential((tk(P55)>=1) & (tk(P70)>=1)))) ) ) ) ))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-14 (AF( (EX( ( ((potential((tk(P77)>=1)))) | ( ((potential((tk(P16)>=1)))) & ((potential((tk(P82)>=1) & (tk(P93)>=1)))) ) )))))
PROPERTY: ShieldIIPs-PT-005A-CTLFireability-15 (EF( ( ((potential((tk(P37)>=1) & (tk(P41)>=1) & (tk(P53)>=1)))) & ( (! ( ((potential((tk(P39)>=1) & (tk(P49)>=1) & (tk(P51)>=1)))) & ((potential((tk(P83)>=1) & (tk(P85)>=1)))) )) & ( ((potential((tk(P107)>=1) & (tk(P117)>=1)))) & ((potential((tk(P32)>=1) & (tk(P42)>=1)))) ) ) )))

BK_STOP 1590439057325

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 370 Aborted ${SMART} ${INPUT_SM}

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

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