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-159033469200259.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 ShieldIIPt-PT-003B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200259
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.1K May 14 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 4.1K May 13 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:00 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 50K 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 ShieldIIPt-PT-003B-CTLCardinality-00
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-01
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-02
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-03
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-04
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-05
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-06
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-07
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-08
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-09
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-10
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-11
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-12
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-13
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-14
FORMULA_NAME ShieldIIPt-PT-003B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590439212075

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 003B
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 213 places, 198 transitions, 492 arcs.
AT ITER 0 NEW BEST:: SOT 23789 SOS 7836 HAS SOPS 7836 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.836
AT ITER 3 NEW BEST:: SOT 23768 SOS 7827 HAS SOPS 7827 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7053.827
AT ITER 7 NEW BEST:: SOT 23775 SOS 7809 HAS SOPS 7809 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7035.809
AT ITER 8 NEW BEST:: SOT 23771 SOS 7801 HAS SOPS 7801 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7031.801
AT ITER 15 NEW BEST:: SOT 23732 SOS 7783 HAS SOPS 7783 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7013.783
AT ITER 16 NEW BEST:: SOT 23731 SOS 7782 HAS SOPS 7782 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.782
AT ITER 20 NEW BEST:: SOT 23731 SOS 7750 HAS SOPS 7750 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6996.75
AT ITER 48 NEW BEST:: SOT 23755 SOS 7774 HAS SOPS 7774 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6994.774
AT ITER 56 NEW BEST:: SOT 23752 SOS 7770 HAS SOPS 7770 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6991.77
AT ITER 74 NEW BEST:: SOT 23752 SOS 7734 HAS SOPS 7734 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6991.734
AT ITER 83 NEW BEST:: SOT 23704 SOS 7590 HAS SOPS 7590 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.59
AT ITER 90 NEW BEST:: SOT 23704 SOS 7589 HAS SOPS 7589 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6894.589
AT ITER 91 NEW BEST:: SOT 23701 SOS 7577 HAS SOPS 7577 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6885.577
AT ITER 92 NEW BEST:: SOT 23682 SOS 7567 HAS SOPS 7567 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.567
AT ITER 99 NEW BEST:: SOT 23674 SOS 7559 HAS SOPS 7559 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6867.559
AT ITER 104 NEW BEST:: SOT 23673 SOS 7557 HAS SOPS 7557 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6866.557
AT ITER 105 NEW BEST:: SOT 23666 SOS 7549 HAS SOPS 7549 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6858.549
AT ITER 115 NEW BEST:: SOT 23664 SOS 7531 HAS SOPS 7531 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.531
AT ITER 132 NEW BEST:: SOT 23656 SOS 7481 HAS SOPS 7481 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6819.481
AT ITER 137 NEW BEST:: SOT 23650 SOS 7476 HAS SOPS 7476 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6813.476
AT ITER 138 NEW BEST:: SOT 23641 SOS 7417 HAS SOPS 7417 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6791.417
AT ITER 157 NEW BEST:: SOT 23724 SOS 7467 HAS SOPS 7467 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.467
AT ITER 173 NEW BEST:: SOT 23724 SOS 7459 HAS SOPS 7459 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6782.459
AT ITER 182 NEW BEST:: SOT 23717 SOS 7455 HAS SOPS 7455 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.455
AT ITER 201 NEW BEST:: SOT 23697 SOS 7374 HAS SOPS 7374 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6736.374
AT ITER 207 NEW BEST:: SOT 23702 SOS 7326 HAS SOPS 7326 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6684.326
AT ITER 209 NEW BEST:: SOT 23680 SOS 7326 HAS SOPS 7326 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.326
AT ITER 215 NEW BEST:: SOT 23680 SOS 7323 HAS SOPS 7323 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.323
AT ITER 217 NEW BEST:: SOT 23680 SOS 7301 HAS SOPS 7301 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6637.301
AT ITER 233 NEW BEST:: SOT 23662 SOS 7283 HAS SOPS 7283 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6619.283
AT ITER 235 NEW BEST:: SOT 23639 SOS 7260 HAS SOPS 7260 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6619.26
AT ITER 243 NEW BEST:: SOT 23638 SOS 7258 HAS SOPS 7258 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.258
AT ITER 272 NEW BEST:: SOT 23631 SOS 7224 HAS SOPS 7224 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.224
AT ITER 301 NEW BEST:: SOT 23634 SOS 7198 HAS SOPS 7198 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.198
AT ITER 306 NEW BEST:: SOT 23634 SOS 7179 HAS SOPS 7179 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6527.179
AT ITER 312 NEW BEST:: SOT 23646 SOS 7170 HAS SOPS 7170 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.17
AT ITER 316 NEW BEST:: SOT 23634 SOS 7139 HAS SOPS 7139 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.139
AT ITER 324 NEW BEST:: SOT 23634 SOS 7133 HAS SOPS 7133 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6493.133
AT ITER 329 NEW BEST:: SOT 23617 SOS 7123 HAS SOPS 7123 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6483.123
AT ITER 333 NEW BEST:: SOT 23614 SOS 7117 HAS SOPS 7117 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6477.117
AT ITER 358 NEW BEST:: SOT 23604 SOS 7107 HAS SOPS 7107 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.107
AT ITER 402 NEW BEST:: SOT 23604 SOS 7103 HAS SOPS 7103 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.103
AT ITER 409 NEW BEST:: SOT 23578 SOS 7041 HAS SOPS 7041 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6435.041
AT ITER 410 NEW BEST:: SOT 23578 SOS 7009 HAS SOPS 7009 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.009
AT ITER 417 NEW BEST:: SOT 23578 SOS 6999 HAS SOPS 6999 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6408.999
AT ITER 431 NEW BEST:: SOT 23563 SOS 6953 HAS SOPS 6953 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6366.953
AT ITER 432 NEW BEST:: SOT 23600 SOS 6981 HAS SOPS 6981 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.981
AT ITER 440 NEW BEST:: SOT 23607 SOS 6976 HAS SOPS 6976 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6301.976
AT ITER 446 NEW BEST:: SOT 23607 SOS 6975 HAS SOPS 6975 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6300.975
AT ITER 458 NEW BEST:: SOT 23606 SOS 6959 HAS SOPS 6959 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6291.959
AT ITER 481 NEW BEST:: SOT 23578 SOS 6952 HAS SOPS 6952 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6278.952
AT ITER 504 NEW BEST:: SOT 23574 SOS 6948 HAS SOPS 6948 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6274.948
AT ITER 525 NEW BEST:: SOT 23554 SOS 6932 HAS SOPS 6932 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6258.932
AT ITER 552 NEW BEST:: SOT 23554 SOS 6939 HAS SOPS 6939 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6233.939
AT ITER 565 NEW BEST:: SOT 23526 SOS 6901 HAS SOPS 6901 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6195.901
AT ITER 568 NEW BEST:: SOT 23569 SOS 6808 HAS SOPS 6808 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6168.808
AT ITER 576 NEW BEST:: SOT 23567 SOS 6804 HAS SOPS 6804 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6165.804
AT ITER 577 NEW BEST:: SOT 23567 SOS 6804 HAS SOPS 6804 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6161.804
AT ITER 596 NEW BEST:: SOT 23586 SOS 6799 HAS SOPS 6799 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6156.799
AT ITER 606 NEW BEST:: SOT 23545 SOS 6781 HAS SOPS 6781 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6138.781
AT ITER 622 NEW BEST:: SOT 23545 SOS 6801 HAS SOPS 6801 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6135.801
AT ITER 626 NEW BEST:: SOT 23545 SOS 6801 HAS SOPS 6801 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6117.801
AT ITER 647 NEW BEST:: SOT 23541 SOS 6777 HAS SOPS 6777 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6081.777
AT ITER 651 NEW BEST:: SOT 23531 SOS 6757 HAS SOPS 6757 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6061.757
AT ITER 667 NEW BEST:: SOT 23521 SOS 6752 HAS SOPS 6752 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6056.752
AT ITER 672 NEW BEST:: SOT 23515 SOS 6747 HAS SOPS 6747 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6050.747
AT ITER 673 NEW BEST:: SOT 23510 SOS 6737 HAS SOPS 6737 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6045.737
AT ITER 674 NEW BEST:: SOT 23534 SOS 6733 HAS SOPS 6733 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6041.733
AT ITER 703 NEW BEST:: SOT 23538 SOS 6762 HAS SOPS 6762 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6040.762
AT ITER 712 NEW BEST:: SOT 23501 SOS 6688 HAS SOPS 6688 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.688
AT ITER 726 NEW BEST:: SOT 23493 SOS 6644 HAS SOPS 6644 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5959.644
AT ITER 731 NEW BEST:: SOT 23493 SOS 6643 HAS SOPS 6643 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.643
AT ITER 742 NEW BEST:: SOT 23472 SOS 6601 HAS SOPS 6601 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5916.601
AT ITER 755 NEW BEST:: SOT 23472 SOS 6586 HAS SOPS 6586 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5901.586
AT ITER 760 NEW BEST:: SOT 23480 SOS 6588 HAS SOPS 6588 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5894.588
AT ITER 817 NEW BEST:: SOT 23480 SOS 6584 HAS SOPS 6584 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5890.584
AT ITER 845 NEW BEST:: SOT 23481 SOS 6577 HAS SOPS 6577 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5874.577
AT ITER 861 NEW BEST:: SOT 23475 SOS 6536 HAS SOPS 6536 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5862.536
AT ITER 886 NEW BEST:: SOT 23463 SOS 6524 HAS SOPS 6524 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5853.524
AT ITER 888 NEW BEST:: SOT 23488 SOS 6484 HAS SOPS 6484 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5850.484
AT ITER 893 NEW BEST:: SOT 23482 SOS 6440 HAS SOPS 6440 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5834.44
AT ITER 899 NEW BEST:: SOT 23478 SOS 6434 HAS SOPS 6434 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5828.434
AT ITER 902 NEW BEST:: SOT 23478 SOS 6417 HAS SOPS 6417 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.417
AT ITER 906 NEW BEST:: SOT 23458 SOS 6435 HAS SOPS 6435 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.435
AT ITER 932 NEW BEST:: SOT 23458 SOS 6414 HAS SOPS 6414 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5817.414
AT ITER 939 NEW BEST:: SOT 23436 SOS 6367 HAS SOPS 6367 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.367
AT ITER 954 NEW BEST:: SOT 23436 SOS 6366 HAS SOPS 6366 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5794.366
AT ITER 958 NEW BEST:: SOT 23431 SOS 6363 HAS SOPS 6363 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.363
AT ITER 1000 NEW BEST:: SOT 23429 SOS 6361 HAS SOPS 6361 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.361
AT ITER 1014 NEW BEST:: SOT 23419 SOS 6348 HAS SOPS 6348 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.348
AT ITER 1052 NEW BEST:: SOT 23398 SOS 6327 HAS SOPS 6327 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5755.327
AT ITER 1068 NEW BEST:: SOT 23397 SOS 6324 HAS SOPS 6324 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.324
AT ITER 1073 NEW BEST:: SOT 23392 SOS 6280 HAS SOPS 6280 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.28
AT ITER 1080 NEW BEST:: SOT 23388 SOS 6272 HAS SOPS 6272 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5735.272
AT ITER 1112 NEW BEST:: SOT 23378 SOS 6262 HAS SOPS 6262 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5725.262
AT ITER 1131 NEW BEST:: SOT 23389 SOS 6284 HAS SOPS 6284 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.284
AT ITER 1141 NEW BEST:: SOT 23379 SOS 6242 HAS SOPS 6242 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.242
AT ITER 1145 NEW BEST:: SOT 23376 SOS 6233 HAS SOPS 6233 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.233
AT ITER 1153 NEW BEST:: SOT 23357 SOS 6211 HAS SOPS 6211 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.211
AT ITER 1155 NEW BEST:: SOT 23303 SOS 6139 HAS SOPS 6139 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.139
AT ITER 1168 NEW BEST:: SOT 23296 SOS 6108 HAS SOPS 6108 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5510.108
AT ITER 1191 NEW BEST:: SOT 23294 SOS 6104 HAS SOPS 6104 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5510.104
AT ITER 1218 NEW BEST:: SOT 23283 SOS 6082 HAS SOPS 6082 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5498.082
AT ITER 1229 NEW BEST:: SOT 23259 SOS 6034 HAS SOPS 6034 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.034
AT ITER 1230 NEW BEST:: SOT 23265 SOS 6024 HAS SOPS 6024 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5469.024
AT ITER 1234 NEW BEST:: SOT 23287 SOS 6069 HAS SOPS 6069 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5465.069
AT ITER 1267 NEW BEST:: SOT 23287 SOS 6113 HAS SOPS 6113 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.113
AT ITER 1296 NEW BEST:: SOT 23287 SOS 6108 HAS SOPS 6108 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.108
AT ITER 1300 NEW BEST:: SOT 23279 SOS 6111 HAS SOPS 6111 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.111
AT ITER 1313 NEW BEST:: SOT 23298 SOS 6092 HAS SOPS 6092 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5432.092
AT ITER 1314 NEW BEST:: SOT 23298 SOS 6091 HAS SOPS 6091 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.091
AT ITER 1356 NEW BEST:: SOT 23264 SOS 6033 HAS SOPS 6033 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5373.033
AT ITER 1357 NEW BEST:: SOT 23268 SOS 6024 HAS SOPS 6024 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5364.024
AT ITER 1362 NEW BEST:: SOT 23269 SOS 6026 HAS SOPS 6026 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.026
AT ITER 1382 NEW BEST:: SOT 23263 SOS 6024 HAS SOPS 6024 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5357.024
AT ITER 1392 NEW BEST:: SOT 23254 SOS 6006 HAS SOPS 6006 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5339.006
AT ITER 1408 NEW BEST:: SOT 23251 SOS 6000 HAS SOPS 6000 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.0
AT ITER 1467 NEW BEST:: SOT 23251 SOS 5999 HAS SOPS 5999 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.999
AT ITER 1473 NEW BEST:: SOT 23243 SOS 5983 HAS SOPS 5983 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.983
AT ITER 1487 NEW BEST:: SOT 23243 SOS 5976 HAS SOPS 5976 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5325.976
AT ITER 1500 NEW BEST:: SOT 23243 SOS 5976 HAS SOPS 5976 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5288.976
AT ITER 1516 NEW BEST:: SOT 23249 SOS 5940 HAS SOPS 5940 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5287.94
AT ITER 1519 NEW BEST:: SOT 23249 SOS 5938 HAS SOPS 5938 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.938
AT ITER 1547 NEW BEST:: SOT 23241 SOS 5930 HAS SOPS 5930 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5277.93
AT ITER 1550 NEW BEST:: SOT 23241 SOS 5924 HAS SOPS 5924 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5271.924
AT ITER 1553 NEW BEST:: SOT 23241 SOS 5912 HAS SOPS 5912 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5259.912
AT ITER 1567 NEW BEST:: SOT 23239 SOS 5908 HAS SOPS 5908 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.908
AT ITER 1576 NEW BEST:: SOT 23234 SOS 5885 HAS SOPS 5885 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5232.885
AT ITER 1591 NEW BEST:: SOT 23226 SOS 5853 HAS SOPS 5853 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5216.853
AT ITER 1625 NEW BEST:: SOT 23220 SOS 5822 HAS SOPS 5822 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5204.822
AT ITER 1643 NEW BEST:: SOT 23225 SOS 5832 HAS SOPS 5832 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5199.832
AT ITER 1645 NEW BEST:: SOT 23225 SOS 5821 HAS SOPS 5821 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5188.821
AT ITER 1649 NEW BEST:: SOT 23230 SOS 5794 HAS SOPS 5794 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5183.794
AT ITER 1650 NEW BEST:: SOT 23224 SOS 5792 HAS SOPS 5792 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5181.792
AT ITER 1673 NEW BEST:: SOT 23210 SOS 5764 HAS SOPS 5764 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5167.764
AT ITER 1677 NEW BEST:: SOT 23210 SOS 5763 HAS SOPS 5763 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5166.763
AT ITER 1689 NEW BEST:: SOT 23218 SOS 5730 HAS SOPS 5730 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5166.73
AT ITER 1695 NEW BEST:: SOT 23213 SOS 5718 HAS SOPS 5718 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.718
AT ITER 1708 NEW BEST:: SOT 23213 SOS 5703 HAS SOPS 5703 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.703
AT ITER 1731 NEW BEST:: SOT 23217 SOS 5717 HAS SOPS 5717 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5159.717
AT ITER 1788 NEW BEST:: SOT 23217 SOS 5713 HAS SOPS 5713 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5155.713
AT ITER 1789 NEW BEST:: SOT 23217 SOS 5711 HAS SOPS 5711 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.711
AT ITER 1799 NEW BEST:: SOT 23208 SOS 5704 HAS SOPS 5704 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5147.704
AT ITER 1807 NEW BEST:: SOT 23192 SOS 5688 HAS SOPS 5688 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5131.688
AT ITER 1814 NEW BEST:: SOT 23189 SOS 5683 HAS SOPS 5683 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5129.683
AT ITER 1842 NEW BEST:: SOT 23182 SOS 5669 HAS SOPS 5669 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5115.669
AT ITER 1849 NEW BEST:: SOT 23143 SOS 5660 HAS SOPS 5660 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5087.66
AT ITER 1891 NEW BEST:: SOT 23143 SOS 5656 HAS SOPS 5656 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5083.656
AT ITER 1917 NEW BEST:: SOT 23129 SOS 5656 HAS SOPS 5656 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5069.656
AT ITER 1928 NEW BEST:: SOT 23126 SOS 5653 HAS SOPS 5653 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.653
AT ITER 1929 NEW BEST:: SOT 23122 SOS 5642 HAS SOPS 5642 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5055.642
AT ITER 1930 NEW BEST:: SOT 23113 SOS 5597 HAS SOPS 5597 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5044.597
AT ITER 1935 NEW BEST:: SOT 23112 SOS 5596 HAS SOPS 5596 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5043.596
AT ITER 1945 NEW BEST:: SOT 23113 SOS 5595 HAS SOPS 5595 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5042.595
AT ITER 1964 NEW BEST:: SOT 23103 SOS 5585 HAS SOPS 5585 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5042.585
AT ITER 1989 NEW BEST:: SOT 23097 SOS 5591 HAS SOPS 5591 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.591
AT ITER 2063 NEW BEST:: SOT 23091 SOS 5587 HAS SOPS 5587 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5032.587
AT ITER 2072 NEW BEST:: SOT 23063 SOS 5561 HAS SOPS 5561 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.561
AT ITER 2175 NEW BEST:: SOT 23056 SOS 5549 HAS SOPS 5549 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4990.549
AT ITER 2190 NEW BEST:: SOT 23055 SOS 5543 HAS SOPS 5543 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4990.543
AT ITER 2191 NEW BEST:: SOT 23049 SOS 5537 HAS SOPS 5537 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.537
AT ITER 2224 NEW BEST:: SOT 23049 SOS 5535 HAS SOPS 5535 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.535
AT ITER 2258 NEW BEST:: SOT 23048 SOS 5533 HAS SOPS 5533 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.533
AT ITER 2309 NEW BEST:: SOT 23128 SOS 5620 HAS SOPS 5620 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4978.62
AT ITER 2369 NEW BEST:: SOT 23149 SOS 5602 HAS SOPS 5602 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4974.602
AT ITER 2382 NEW BEST:: SOT 23149 SOS 5599 HAS SOPS 5599 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4971.599
AT ITER 2386 NEW BEST:: SOT 23141 SOS 5599 HAS SOPS 5599 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4967.599
AT ITER 2403 NEW BEST:: SOT 23137 SOS 5577 HAS SOPS 5577 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.577
AT ITER 2422 NEW BEST:: SOT 23144 SOS 5562 HAS SOPS 5562 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4952.562
AT ITER 2440 NEW BEST:: SOT 23123 SOS 5523 HAS SOPS 5523 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.523
AT ITER 2453 NEW BEST:: SOT 23135 SOS 5550 HAS SOPS 5550 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4921.55
AT ITER 2516 NEW BEST:: SOT 23143 SOS 5558 HAS SOPS 5558 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4896.558
AT ITER 2526 NEW BEST:: SOT 23131 SOS 5549 HAS SOPS 5549 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4896.549
AT ITER 2614 NEW BEST:: SOT 23125 SOS 5540 HAS SOPS 5540 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4887.54
AT ITER 2617 NEW BEST:: SOT 23125 SOS 5538 HAS SOPS 5538 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4885.538
AT ITER 2661 NEW BEST:: SOT 23119 SOS 5538 HAS SOPS 5538 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.538
AT ITER 2674 NEW BEST:: SOT 23119 SOS 5520 HAS SOPS 5520 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.52
AT ITER 2780 NEW BEST:: SOT 23120 SOS 5501 HAS SOPS 5501 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4855.501
AT ITER 2790 NEW BEST:: SOT 23117 SOS 5499 HAS SOPS 5499 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4853.499
AT ITER 2797 NEW BEST:: SOT 23116 SOS 5498 HAS SOPS 5498 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4851.498
AT ITER 2815 NEW BEST:: SOT 23112 SOS 5486 HAS SOPS 5486 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4839.486
AT ITER 2822 NEW BEST:: SOT 23096 SOS 5442 HAS SOPS 5442 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4816.442
AT ITER 2952 NEW BEST:: SOT 23096 SOS 5439 HAS SOPS 5439 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4813.439
AT ITER 2954 NEW BEST:: SOT 23096 SOS 5447 HAS SOPS 5447 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4810.447
AT ITER 3035 NEW BEST:: SOT 23083 SOS 5452 HAS SOPS 5452 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4808.452
AT ITER 3078 NEW BEST:: SOT 23082 SOS 5418 HAS SOPS 5418 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4806.418
AT ITER 3089 NEW BEST:: SOT 23081 SOS 5377 HAS SOPS 5377 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4804.377
AT ITER 3101 NEW BEST:: SOT 23078 SOS 5367 HAS SOPS 5367 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4797.367
AT ITER 3118 NEW BEST:: SOT 23078 SOS 5363 HAS SOPS 5363 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4797.363
AT ITER 3122 NEW BEST:: SOT 23077 SOS 5361 HAS SOPS 5361 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4795.361
AT ITER 3211 NEW BEST:: SOT 23074 SOS 5363 HAS SOPS 5363 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.363
AT ITER 3239 NEW BEST:: SOT 23062 SOS 5328 HAS SOPS 5328 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4777.328
AT ITER 3240 NEW BEST:: SOT 23038 SOS 5209 HAS SOPS 5209 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.209
AT ITER 3250 NEW BEST:: SOT 23038 SOS 5203 HAS SOPS 5203 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4755.203
AT ITER 3276 NEW BEST:: SOT 23034 SOS 5189 HAS SOPS 5189 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.189
AT ITER 3321 NEW BEST:: SOT 23030 SOS 5179 HAS SOPS 5179 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.179
AT ITER 3335 NEW BEST:: SOT 23039 SOS 5173 HAS SOPS 5173 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4731.173
AT ITER 3347 NEW BEST:: SOT 23048 SOS 5159 HAS SOPS 5159 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.159
AT ITER 3365 NEW BEST:: SOT 23047 SOS 5157 HAS SOPS 5157 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4699.157
AT ITER 3390 NEW BEST:: SOT 23028 SOS 5176 HAS SOPS 5176 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.176
AT ITER 3398 NEW BEST:: SOT 23027 SOS 5174 HAS SOPS 5174 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4679.174
AT ITER 3414 NEW BEST:: SOT 23019 SOS 5170 HAS SOPS 5170 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.17
AT ITER 3448 NEW BEST:: SOT 23018 SOS 5170 HAS SOPS 5170 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4672.17
AT ITER 3518 NEW BEST:: SOT 23018 SOS 5152 HAS SOPS 5152 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.152
AT ITER 3519 NEW BEST:: SOT 23002 SOS 5160 HAS SOPS 5160 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.16
AT ITER 3537 NEW BEST:: SOT 23002 SOS 5156 HAS SOPS 5156 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.156
AT ITER 3541 NEW BEST:: SOT 22994 SOS 5154 HAS SOPS 5154 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.154
AT ITER 3550 NEW BEST:: SOT 23015 SOS 5154 HAS SOPS 5154 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.154
AT ITER 3636 NEW BEST:: SOT 23022 SOS 5164 HAS SOPS 5164 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.164
AT ITER 3645 NEW BEST:: SOT 23023 SOS 5159 HAS SOPS 5159 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.159
AT ITER 3648 NEW BEST:: SOT 23014 SOS 5163 HAS SOPS 5163 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.163
AT ITER 3736 NEW BEST:: SOT 23014 SOS 5161 HAS SOPS 5161 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.161
AT ITER 3771 NEW BEST:: SOT 23014 SOS 5175 HAS SOPS 5175 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4625.175
AT ITER 3780 NEW BEST:: SOT 23003 SOS 5155 HAS SOPS 5155 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4614.155
AT ITER 3808 NEW BEST:: SOT 23002 SOS 5146 HAS SOPS 5146 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4605.146
AT ITER 3853 NEW BEST:: SOT 23002 SOS 5131 HAS SOPS 5131 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.131
AT ITER 3893 NEW BEST:: SOT 22999 SOS 5107 HAS SOPS 5107 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4572.107
AT ITER 3900 NEW BEST:: SOT 22985 SOS 5093 HAS SOPS 5093 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4571.093
AT ITER 3905 NEW BEST:: SOT 23002 SOS 5092 HAS SOPS 5092 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.092
AT ITER 3915 NEW BEST:: SOT 23001 SOS 5091 HAS SOPS 5091 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4569.091
AT ITER 3961 NEW BEST:: SOT 23003 SOS 5087 HAS SOPS 5087 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4565.087
AT ITER 3989 NEW BEST:: SOT 23003 SOS 5083 HAS SOPS 5083 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4565.083
AT ITER 4040 NEW BEST:: SOT 23009 SOS 5082 HAS SOPS 5082 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.082
AT ITER 4044 NEW BEST:: SOT 23009 SOS 5079 HAS SOPS 5079 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.079
AT ITER 4081 NEW BEST:: SOT 22997 SOS 5037 HAS SOPS 5037 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.037
AT ITER 4095 NEW BEST:: SOT 22994 SOS 5028 HAS SOPS 5028 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.028
AT ITER 4109 NEW BEST:: SOT 22967 SOS 5019 HAS SOPS 5019 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.019
AT ITER 4127 NEW BEST:: SOT 22961 SOS 5023 HAS SOPS 5023 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.023
AT ITER 4143 NEW BEST:: SOT 22961 SOS 5022 HAS SOPS 5022 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4530.022
AT ITER 4169 NEW BEST:: SOT 22961 SOS 5020 HAS SOPS 5020 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.02
AT ITER 4192 NEW BEST:: SOT 22961 SOS 5016 HAS SOPS 5016 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.016
AT ITER 4196 NEW BEST:: SOT 22959 SOS 5027 HAS SOPS 5027 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4495.027
AT ITER 4204 NEW BEST:: SOT 22944 SOS 4997 HAS SOPS 4997 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4479.997
AT ITER 4217 NEW BEST:: SOT 22958 SOS 4995 HAS SOPS 4995 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4477.995
AT ITER 4247 NEW BEST:: SOT 22958 SOS 4995 HAS SOPS 4995 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4473.995
AT ITER 4287 NEW BEST:: SOT 22958 SOS 4993 HAS SOPS 4993 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4471.993
AT ITER 4344 NEW BEST:: SOT 22962 SOS 4992 HAS SOPS 4992 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.992
AT ITER 4369 NEW BEST:: SOT 22962 SOS 4990 HAS SOPS 4990 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4468.99
AT ITER 4393 NEW BEST:: SOT 22840 SOS 4939 HAS SOPS 4939 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.939
AT ITER 4405 NEW BEST:: SOT 22840 SOS 4935 HAS SOPS 4935 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.935
AT ITER 4513 NEW BEST:: SOT 22842 SOS 4907 HAS SOPS 4907 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4365.907
AT ITER 4526 NEW BEST:: SOT 22838 SOS 4903 HAS SOPS 4903 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4361.903
AT ITER 4545 NEW BEST:: SOT 22836 SOS 4871 HAS SOPS 4871 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4356.871
AT ITER 4548 NEW BEST:: SOT 22833 SOS 4857 HAS SOPS 4857 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4342.857
AT ITER 4574 NEW BEST:: SOT 22816 SOS 4843 HAS SOPS 4843 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.843
AT ITER 4661 NEW BEST:: SOT 22816 SOS 4839 HAS SOPS 4839 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4334.839
AT ITER 4664 NEW BEST:: SOT 22798 SOS 4821 HAS SOPS 4821 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4316.821
AT ITER 4677 NEW BEST:: SOT 22805 SOS 4820 HAS SOPS 4820 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4315.82
AT ITER 4678 NEW BEST:: SOT 22805 SOS 4813 HAS SOPS 4813 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4311.813
AT ITER 4743 NEW BEST:: SOT 22768 SOS 4696 HAS SOPS 4696 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4284.696
AT ITER 4750 NEW BEST:: SOT 22755 SOS 4698 HAS SOPS 4698 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4281.698
AT ITER 4814 NEW BEST:: SOT 22755 SOS 4696 HAS SOPS 4696 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4281.696
AT ITER 4828 NEW BEST:: SOT 22747 SOS 4686 HAS SOPS 4686 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.686
AT ITER 4851 NEW BEST:: SOT 22742 SOS 4697 HAS SOPS 4697 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4278.697
AT ITER 4873 NEW BEST:: SOT 22742 SOS 4695 HAS SOPS 4695 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4276.695
AT ITER 4887 NEW BEST:: SOT 22726 SOS 4671 HAS SOPS 4671 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.671
AT ITER 4911 NEW BEST:: SOT 22726 SOS 4656 HAS SOPS 4656 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.656
AT ITER 4920 NEW BEST:: SOT 22726 SOS 4650 HAS SOPS 4650 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4257.65
AT ITER 4921 NEW BEST:: SOT 22715 SOS 4634 HAS SOPS 4634 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4241.634
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-00 (! (! ( ( ( potential( (tk(P64)) <= (tk(P189)) ) & potential( (tk(P170)) <= (tk(P94)) ) ) & ( potential( ( 2 ) <= (tk(P10)) ) | potential( ( 1 ) <= (tk(P18)) ) ) ) | (AF(potential( ( 1 ) <= (tk(P205)) ))) )))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-01 (EG( (! potential( ( 1 ) <= (tk(P9)) ))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-02 (EU( potential( (tk(P129)) <= (tk(P142)) ),(AG( potential( (tk(P58)) <= (tk(P58)) ))) ))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-03 (AX( (EF((! potential( (tk(P199)) <= (tk(P101)) ))))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-04 (! (AG( ( (! potential( (tk(P62)) <= (tk(P11)) )) | ( potential( (tk(P139)) <= (tk(P82)) ) & potential( (tk(P138)) <= (tk(P88)) ) ) ))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-05 (AF((EG( potential( ( 3 ) <= (tk(P133)) )))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-06 (EF(potential( ( 2 ) <= (tk(P104)) )))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-07 (! (AG( potential( (tk(P124)) <= (tk(P98)) ))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-08 (AF(( (! potential( (tk(P207)) <= (tk(P201)) )) & (! ( potential( ( 1 ) <= (tk(P165)) ) | potential( (tk(P212)) <= (tk(P59)) ) )) )))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-09 (! ( (EF(( potential( ( 3 ) <= (tk(P168)) ) | potential( ( 2 ) <= (tk(P149)) ) ))) & ( (! potential( (tk(P13)) <= (tk(P77)) )) | potential( (tk(P104)) <= (tk(P209)) ) ) ))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-10 ( (EG( ( ( potential( ( 1 ) <= (tk(P210)) ) | potential( (tk(P61)) <= (tk(P54)) ) ) | ( potential( ( 3 ) <= (tk(P192)) ) & potential( (tk(P139)) <= (tk(P164)) ) ) ))) & (EF(( ( potential( (tk(P68)) <= (tk(P34)) ) | potential( ( 1 ) <= (tk(P187)) ) ) | ( potential( (tk(P168)) <= (tk(P95)) ) | potential( (tk(P85)) <= (tk(P187)) ) ) ))) )
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-11 (! (EG( (EF(potential( (tk(P204)) <= (tk(P129)) ))))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-12 ( ( (! potential( ( 1 ) <= (tk(P97)) )) & ( (EF(potential( ( 2 ) <= (tk(P69)) ))) & (AF(potential( (tk(P168)) <= (tk(P111)) ))) ) ) | (AG( (EF(potential( ( 2 ) <= (tk(P173)) ))))) )
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-13 (AF((AX( ( potential( (tk(P69)) <= (tk(P62)) ) & potential( ( 2 ) <= (tk(P205)) ) )))))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-14 (! (AU( (! potential( ( 3 ) <= (tk(P45)) )),potential( ( 1 ) <= (tk(P90)) ) )))
PROPERTY: ShieldIIPt-PT-003B-CTLCardinality-15 (EU( (EG( potential( (tk(P11)) <= (tk(P159)) ))),(AX( potential( ( 1 ) <= (tk(P183)) ))) ))

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="ShieldIIPt-PT-003B"
export BK_EXAMINATION="CTLCardinality"
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 ShieldIIPt-PT-003B, examination is CTLCardinality"
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-159033469200259"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-003B.tgz
mv ShieldIIPt-PT-003B execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;