Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538200043.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538200043
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.1K May 14 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 56K 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 SmartHome-PT-06-CTLCardinality-00
FORMULA_NAME SmartHome-PT-06-CTLCardinality-01
FORMULA_NAME SmartHome-PT-06-CTLCardinality-02
FORMULA_NAME SmartHome-PT-06-CTLCardinality-03
FORMULA_NAME SmartHome-PT-06-CTLCardinality-04
FORMULA_NAME SmartHome-PT-06-CTLCardinality-05
FORMULA_NAME SmartHome-PT-06-CTLCardinality-06
FORMULA_NAME SmartHome-PT-06-CTLCardinality-07
FORMULA_NAME SmartHome-PT-06-CTLCardinality-08
FORMULA_NAME SmartHome-PT-06-CTLCardinality-09
FORMULA_NAME SmartHome-PT-06-CTLCardinality-10
FORMULA_NAME SmartHome-PT-06-CTLCardinality-11
FORMULA_NAME SmartHome-PT-06-CTLCardinality-12
FORMULA_NAME SmartHome-PT-06-CTLCardinality-13
FORMULA_NAME SmartHome-PT-06-CTLCardinality-14
FORMULA_NAME SmartHome-PT-06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590469747989

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 06
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: 219 places, 254 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 33184 SOS 8188 HAS SOPS 8188 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.188
AT ITER 3 NEW BEST:: SOT 33184 SOS 8182 HAS SOPS 8182 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7897.182
AT ITER 6 NEW BEST:: SOT 33067 SOS 8143 HAS SOPS 8143 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7795.143
AT ITER 12 NEW BEST:: SOT 33050 SOS 8124 HAS SOPS 8124 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7773.124
AT ITER 16 NEW BEST:: SOT 32954 SOS 8293 HAS SOPS 8293 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7696.293
AT ITER 26 NEW BEST:: SOT 32920 SOS 8225 HAS SOPS 8225 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7628.225
AT ITER 27 NEW BEST:: SOT 32887 SOS 8192 HAS SOPS 8192 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.192
AT ITER 41 NEW BEST:: SOT 32882 SOS 8186 HAS SOPS 8186 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.186
AT ITER 46 NEW BEST:: SOT 32882 SOS 8164 HAS SOPS 8164 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.164
AT ITER 49 NEW BEST:: SOT 32886 SOS 8156 HAS SOPS 8156 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7580.156
AT ITER 83 NEW BEST:: SOT 32866 SOS 8116 HAS SOPS 8116 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7521.116
AT ITER 98 NEW BEST:: SOT 32866 SOS 8081 HAS SOPS 8081 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.081
AT ITER 99 NEW BEST:: SOT 32844 SOS 8037 HAS SOPS 8037 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7464.037
AT ITER 102 NEW BEST:: SOT 32844 SOS 8036 HAS SOPS 8036 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7463.036
AT ITER 111 NEW BEST:: SOT 32844 SOS 8030 HAS SOPS 8030 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7457.03
AT ITER 113 NEW BEST:: SOT 32815 SOS 7992 HAS SOPS 7992 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7427.992
AT ITER 132 NEW BEST:: SOT 32824 SOS 7982 HAS SOPS 7982 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7417.982
AT ITER 155 NEW BEST:: SOT 32811 SOS 7956 HAS SOPS 7956 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7404.956
AT ITER 157 NEW BEST:: SOT 32803 SOS 7940 HAS SOPS 7940 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7388.94
AT ITER 166 NEW BEST:: SOT 32788 SOS 7910 HAS SOPS 7910 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7373.91
AT ITER 169 NEW BEST:: SOT 32784 SOS 7902 HAS SOPS 7902 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7340.902
AT ITER 176 NEW BEST:: SOT 32781 SOS 7893 HAS SOPS 7893 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7331.893
AT ITER 195 NEW BEST:: SOT 32634 SOS 8554 HAS SOPS 8554 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.554
AT ITER 206 NEW BEST:: SOT 32595 SOS 8606 HAS SOPS 8606 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.606
AT ITER 213 NEW BEST:: SOT 32309 SOS 8577 HAS SOPS 8577 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6972.577
AT ITER 215 NEW BEST:: SOT 32306 SOS 8571 HAS SOPS 8571 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.571
AT ITER 233 NEW BEST:: SOT 32303 SOS 8565 HAS SOPS 8565 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6960.565
AT ITER 245 NEW BEST:: SOT 32293 SOS 8552 HAS SOPS 8552 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.552
AT ITER 262 NEW BEST:: SOT 32286 SOS 8538 HAS SOPS 8538 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6929.538
AT ITER 282 NEW BEST:: SOT 32286 SOS 8517 HAS SOPS 8517 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.517
AT ITER 294 NEW BEST:: SOT 32283 SOS 8514 HAS SOPS 8514 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6905.514
AT ITER 319 NEW BEST:: SOT 32275 SOS 8498 HAS SOPS 8498 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.498
AT ITER 325 NEW BEST:: SOT 32256 SOS 8493 HAS SOPS 8493 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6894.493
AT ITER 331 NEW BEST:: SOT 32256 SOS 8493 HAS SOPS 8493 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6890.493
AT ITER 344 NEW BEST:: SOT 32253 SOS 8484 HAS SOPS 8484 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6884.484
AT ITER 362 NEW BEST:: SOT 32266 SOS 8510 HAS SOPS 8510 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.51
AT ITER 366 NEW BEST:: SOT 32262 SOS 8488 HAS SOPS 8488 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6847.488
AT ITER 374 NEW BEST:: SOT 32254 SOS 8480 HAS SOPS 8480 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6839.48
AT ITER 380 NEW BEST:: SOT 32232 SOS 8465 HAS SOPS 8465 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6824.465
AT ITER 389 NEW BEST:: SOT 32146 SOS 8594 HAS SOPS 8594 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6782.594
AT ITER 416 NEW BEST:: SOT 32139 SOS 8580 HAS SOPS 8580 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.58
AT ITER 426 NEW BEST:: SOT 32103 SOS 8508 HAS SOPS 8508 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.508
AT ITER 435 NEW BEST:: SOT 31859 SOS 8776 HAS SOPS 8776 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6506.776
AT ITER 455 NEW BEST:: SOT 31855 SOS 8768 HAS SOPS 8768 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6488.768
AT ITER 482 NEW BEST:: SOT 31854 SOS 8766 HAS SOPS 8766 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6486.766
AT ITER 493 NEW BEST:: SOT 31853 SOS 8764 HAS SOPS 8764 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6484.764
AT ITER 501 NEW BEST:: SOT 31853 SOS 8764 HAS SOPS 8764 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6475.764
AT ITER 513 NEW BEST:: SOT 31880 SOS 8801 HAS SOPS 8801 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6472.801
AT ITER 523 NEW BEST:: SOT 31882 SOS 8800 HAS SOPS 8800 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6471.8
AT ITER 524 NEW BEST:: SOT 31886 SOS 8794 HAS SOPS 8794 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6468.794
AT ITER 527 NEW BEST:: SOT 31884 SOS 8790 HAS SOPS 8790 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6464.79
AT ITER 550 NEW BEST:: SOT 31824 SOS 8670 HAS SOPS 8670 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6464.67
AT ITER 570 NEW BEST:: SOT 31821 SOS 8664 HAS SOPS 8664 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6458.664
AT ITER 581 NEW BEST:: SOT 31821 SOS 8662 HAS SOPS 8662 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6456.662
AT ITER 592 NEW BEST:: SOT 31821 SOS 8662 HAS SOPS 8662 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6440.662
AT ITER 597 NEW BEST:: SOT 31790 SOS 8857 HAS SOPS 8857 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6429.857
AT ITER 622 NEW BEST:: SOT 31783 SOS 8743 HAS SOPS 8743 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6391.743
AT ITER 633 NEW BEST:: SOT 31782 SOS 8742 HAS SOPS 8742 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6389.742
AT ITER 640 NEW BEST:: SOT 31782 SOS 8742 HAS SOPS 8742 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6379.742
AT ITER 652 NEW BEST:: SOT 31716 SOS 8642 HAS SOPS 8642 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6342.642
AT ITER 654 NEW BEST:: SOT 31705 SOS 8635 HAS SOPS 8635 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6335.635
AT ITER 668 NEW BEST:: SOT 31697 SOS 8619 HAS SOPS 8619 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6327.619
AT ITER 671 NEW BEST:: SOT 31695 SOS 8615 HAS SOPS 8615 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6325.615
AT ITER 673 NEW BEST:: SOT 31661 SOS 8560 HAS SOPS 8560 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6300.56
AT ITER 687 NEW BEST:: SOT 31661 SOS 8560 HAS SOPS 8560 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6299.56
AT ITER 690 NEW BEST:: SOT 31655 SOS 8548 HAS SOPS 8548 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6293.548
AT ITER 711 NEW BEST:: SOT 31625 SOS 8577 HAS SOPS 8577 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6230.577
AT ITER 721 NEW BEST:: SOT 31605 SOS 8537 HAS SOPS 8537 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6210.537
AT ITER 726 NEW BEST:: SOT 31595 SOS 8517 HAS SOPS 8517 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6191.517
AT ITER 751 NEW BEST:: SOT 31587 SOS 8501 HAS SOPS 8501 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6183.501
AT ITER 759 NEW BEST:: SOT 31587 SOS 8501 HAS SOPS 8501 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6179.501
AT ITER 783 NEW BEST:: SOT 31462 SOS 8766 HAS SOPS 8766 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6137.766
AT ITER 792 NEW BEST:: SOT 31447 SOS 8720 HAS SOPS 8720 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6120.72
AT ITER 795 NEW BEST:: SOT 31441 SOS 8697 HAS SOPS 8697 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6112.697
AT ITER 805 NEW BEST:: SOT 31407 SOS 8629 HAS SOPS 8629 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6044.629
AT ITER 814 NEW BEST:: SOT 31404 SOS 8623 HAS SOPS 8623 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6038.623
AT ITER 826 NEW BEST:: SOT 31407 SOS 8619 HAS SOPS 8619 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6031.619
AT ITER 844 NEW BEST:: SOT 31396 SOS 8602 HAS SOPS 8602 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6014.602
AT ITER 862 NEW BEST:: SOT 31387 SOS 8584 HAS SOPS 8584 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6002.584
AT ITER 867 NEW BEST:: SOT 31330 SOS 8470 HAS SOPS 8470 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5939.47
AT ITER 886 NEW BEST:: SOT 31310 SOS 8390 HAS SOPS 8390 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5894.39
AT ITER 891 NEW BEST:: SOT 31297 SOS 8377 HAS SOPS 8377 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5881.377
AT ITER 927 NEW BEST:: SOT 31293 SOS 8377 HAS SOPS 8377 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5879.377
AT ITER 980 NEW BEST:: SOT 31270 SOS 8295 HAS SOPS 8295 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5810.295
AT ITER 1021 NEW BEST:: SOT 31275 SOS 8300 HAS SOPS 8300 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5805.3
AT ITER 1024 NEW BEST:: SOT 31268 SOS 8293 HAS SOPS 8293 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5798.293
AT ITER 1037 NEW BEST:: SOT 31285 SOS 8291 HAS SOPS 8291 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5791.291
AT ITER 1038 NEW BEST:: SOT 31285 SOS 8277 HAS SOPS 8277 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5778.277
AT ITER 1048 NEW BEST:: SOT 31271 SOS 8263 HAS SOPS 8263 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5765.263
AT ITER 1064 NEW BEST:: SOT 31277 SOS 8269 HAS SOPS 8269 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5764.269
AT ITER 1065 NEW BEST:: SOT 31277 SOS 8269 HAS SOPS 8269 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5758.269
AT ITER 1075 NEW BEST:: SOT 31285 SOS 8285 HAS SOPS 8285 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5752.285
AT ITER 1091 NEW BEST:: SOT 31274 SOS 8186 HAS SOPS 8186 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5708.186
AT ITER 1099 NEW BEST:: SOT 31277 SOS 8173 HAS SOPS 8173 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5695.173
AT ITER 1106 NEW BEST:: SOT 31273 SOS 8165 HAS SOPS 8165 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5695.165
AT ITER 1113 NEW BEST:: SOT 31256 SOS 8131 HAS SOPS 8131 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5661.131
AT ITER 1120 NEW BEST:: SOT 31238 SOS 8104 HAS SOPS 8104 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5642.104
AT ITER 1145 NEW BEST:: SOT 31238 SOS 8104 HAS SOPS 8104 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5634.104
AT ITER 1153 NEW BEST:: SOT 31232 SOS 8092 HAS SOPS 8092 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5628.092
AT ITER 1166 NEW BEST:: SOT 31198 SOS 8058 HAS SOPS 8058 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5628.058
AT ITER 1190 NEW BEST:: SOT 31198 SOS 8058 HAS SOPS 8058 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5624.058
AT ITER 1196 NEW BEST:: SOT 31144 SOS 7977 HAS SOPS 7977 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5582.977
AT ITER 1226 NEW BEST:: SOT 31139 SOS 7968 HAS SOPS 7968 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5576.968
AT ITER 1249 NEW BEST:: SOT 31134 SOS 7958 HAS SOPS 7958 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5566.958
AT ITER 1261 NEW BEST:: SOT 31124 SOS 7938 HAS SOPS 7938 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5563.938
AT ITER 1275 NEW BEST:: SOT 31123 SOS 7937 HAS SOPS 7937 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5562.937
AT ITER 1280 NEW BEST:: SOT 31076 SOS 7890 HAS SOPS 7890 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5548.89
AT ITER 1290 NEW BEST:: SOT 31076 SOS 7884 HAS SOPS 7884 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5548.884
AT ITER 1311 NEW BEST:: SOT 31047 SOS 7967 HAS SOPS 7967 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5546.967
AT ITER 1325 NEW BEST:: SOT 31084 SOS 7675 HAS SOPS 7675 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5505.675
AT ITER 1333 NEW BEST:: SOT 31082 SOS 7669 HAS SOPS 7669 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5505.669
AT ITER 1335 NEW BEST:: SOT 31076 SOS 7668 HAS SOPS 7668 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5504.668
AT ITER 1350 NEW BEST:: SOT 31069 SOS 7654 HAS SOPS 7654 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5490.654
AT ITER 1371 NEW BEST:: SOT 31074 SOS 7650 HAS SOPS 7650 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5468.65
AT ITER 1399 NEW BEST:: SOT 31061 SOS 7831 HAS SOPS 7831 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5464.831
AT ITER 1438 NEW BEST:: SOT 31055 SOS 7819 HAS SOPS 7819 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5438.819
AT ITER 1441 NEW BEST:: SOT 31055 SOS 7819 HAS SOPS 7819 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5433.819
AT ITER 1446 NEW BEST:: SOT 31063 SOS 7827 HAS SOPS 7827 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.827
AT ITER 1465 NEW BEST:: SOT 31065 SOS 7831 HAS SOPS 7831 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5417.831
AT ITER 1563 NEW BEST:: SOT 31058 SOS 7829 HAS SOPS 7829 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5412.829
AT ITER 1566 NEW BEST:: SOT 31042 SOS 7813 HAS SOPS 7813 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5409.813
AT ITER 1568 NEW BEST:: SOT 31032 SOS 7793 HAS SOPS 7793 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5399.793
AT ITER 1580 NEW BEST:: SOT 31023 SOS 7775 HAS SOPS 7775 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5381.775
AT ITER 1583 NEW BEST:: SOT 31017 SOS 7769 HAS SOPS 7769 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5375.769
AT ITER 1585 NEW BEST:: SOT 30980 SOS 7867 HAS SOPS 7867 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5326.867
AT ITER 1615 NEW BEST:: SOT 30948 SOS 7841 HAS SOPS 7841 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5316.841
AT ITER 1653 NEW BEST:: SOT 30905 SOS 7787 HAS SOPS 7787 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5306.787
AT ITER 1659 NEW BEST:: SOT 30900 SOS 7782 HAS SOPS 7782 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5301.782
AT ITER 1667 NEW BEST:: SOT 30890 SOS 7777 HAS SOPS 7777 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5296.777
AT ITER 1671 NEW BEST:: SOT 30881 SOS 7759 HAS SOPS 7759 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5287.759
AT ITER 1673 NEW BEST:: SOT 30880 SOS 7759 HAS SOPS 7759 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5286.759
AT ITER 1675 NEW BEST:: SOT 30889 SOS 7751 HAS SOPS 7751 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5278.751
AT ITER 1677 NEW BEST:: SOT 30879 SOS 7731 HAS SOPS 7731 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5258.731
AT ITER 1681 NEW BEST:: SOT 30853 SOS 7700 HAS SOPS 7700 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5224.7
AT ITER 1699 NEW BEST:: SOT 30851 SOS 7696 HAS SOPS 7696 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5218.696
AT ITER 1727 NEW BEST:: SOT 30851 SOS 7627 HAS SOPS 7627 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5218.627
AT ITER 1737 NEW BEST:: SOT 30840 SOS 7605 HAS SOPS 7605 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5183.605
AT ITER 1758 NEW BEST:: SOT 30840 SOS 7604 HAS SOPS 7604 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5183.604
AT ITER 1761 NEW BEST:: SOT 30860 SOS 7638 HAS SOPS 7638 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5180.638
AT ITER 1772 NEW BEST:: SOT 30859 SOS 7632 HAS SOPS 7632 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5175.632
AT ITER 1774 NEW BEST:: SOT 30825 SOS 7638 HAS SOPS 7638 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5162.638
AT ITER 1776 NEW BEST:: SOT 30825 SOS 7630 HAS SOPS 7630 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5158.63
AT ITER 1790 NEW BEST:: SOT 30813 SOS 7637 HAS SOPS 7637 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5134.637
AT ITER 1791 NEW BEST:: SOT 30815 SOS 7599 HAS SOPS 7599 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5131.599
AT ITER 1803 NEW BEST:: SOT 30790 SOS 7579 HAS SOPS 7579 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5111.579
AT ITER 1814 NEW BEST:: SOT 30780 SOS 7559 HAS SOPS 7559 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5091.559
AT ITER 1835 NEW BEST:: SOT 30780 SOS 7553 HAS SOPS 7553 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5085.553
AT ITER 1870 NEW BEST:: SOT 30778 SOS 7549 HAS SOPS 7549 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5081.549
AT ITER 1894 NEW BEST:: SOT 30778 SOS 7547 HAS SOPS 7547 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5079.547
AT ITER 1904 NEW BEST:: SOT 30766 SOS 7539 HAS SOPS 7539 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5075.539
AT ITER 1916 NEW BEST:: SOT 30760 SOS 7596 HAS SOPS 7596 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5072.596
AT ITER 1918 NEW BEST:: SOT 30752 SOS 7580 HAS SOPS 7580 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5056.58
AT ITER 1919 NEW BEST:: SOT 30737 SOS 7576 HAS SOPS 7576 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5052.576
AT ITER 1936 NEW BEST:: SOT 30732 SOS 7566 HAS SOPS 7566 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5038.566
AT ITER 2042 NEW BEST:: SOT 30731 SOS 7564 HAS SOPS 7564 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5036.564
AT ITER 2050 NEW BEST:: SOT 30695 SOS 7540 HAS SOPS 7540 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5033.54
AT ITER 2055 NEW BEST:: SOT 30699 SOS 7548 HAS SOPS 7548 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5028.548
AT ITER 2109 NEW BEST:: SOT 30681 SOS 7638 HAS SOPS 7638 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5019.638
AT ITER 2114 NEW BEST:: SOT 30676 SOS 7630 HAS SOPS 7630 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5017.63
AT ITER 2125 NEW BEST:: SOT 30667 SOS 7612 HAS SOPS 7612 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4999.612
AT ITER 2133 NEW BEST:: SOT 30626 SOS 7530 HAS SOPS 7530 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4958.53
AT ITER 2140 NEW BEST:: SOT 30626 SOS 7530 HAS SOPS 7530 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4956.53
AT ITER 2178 NEW BEST:: SOT 30624 SOS 7528 HAS SOPS 7528 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4954.528
AT ITER 2184 NEW BEST:: SOT 30622 SOS 7524 HAS SOPS 7524 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4952.524
AT ITER 2199 NEW BEST:: SOT 30623 SOS 7526 HAS SOPS 7526 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4950.526
AT ITER 2250 NEW BEST:: SOT 30629 SOS 7532 HAS SOPS 7532 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4948.532
AT ITER 2299 NEW BEST:: SOT 30633 SOS 7547 HAS SOPS 7547 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4947.547
AT ITER 2300 NEW BEST:: SOT 30631 SOS 7543 HAS SOPS 7543 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4946.543
AT ITER 2320 NEW BEST:: SOT 30628 SOS 7537 HAS SOPS 7537 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4940.537
AT ITER 2338 NEW BEST:: SOT 30626 SOS 7533 HAS SOPS 7533 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4936.533
AT ITER 2348 NEW BEST:: SOT 30611 SOS 7503 HAS SOPS 7503 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4928.503
AT ITER 2373 NEW BEST:: SOT 30577 SOS 7469 HAS SOPS 7469 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4928.469
AT ITER 2414 NEW BEST:: SOT 30570 SOS 7455 HAS SOPS 7455 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4928.455
AT ITER 2419 NEW BEST:: SOT 30559 SOS 7433 HAS SOPS 7433 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4921.433
AT ITER 2447 NEW BEST:: SOT 30548 SOS 7507 HAS SOPS 7507 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4917.507
AT ITER 2466 NEW BEST:: SOT 30555 SOS 7418 HAS SOPS 7418 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4916.418
AT ITER 2483 NEW BEST:: SOT 30504 SOS 7764 HAS SOPS 7764 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4902.764
AT ITER 2491 NEW BEST:: SOT 30492 SOS 7740 HAS SOPS 7740 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4890.74
AT ITER 2511 NEW BEST:: SOT 30488 SOS 7732 HAS SOPS 7732 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4882.732
AT ITER 2524 NEW BEST:: SOT 30487 SOS 7730 HAS SOPS 7730 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4880.73
AT ITER 2589 NEW BEST:: SOT 30508 SOS 7726 HAS SOPS 7726 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4876.726
AT ITER 2620 NEW BEST:: SOT 30540 SOS 7790 HAS SOPS 7790 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4866.79
AT ITER 2626 NEW BEST:: SOT 30530 SOS 7780 HAS SOPS 7780 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4858.78
AT ITER 2637 NEW BEST:: SOT 30525 SOS 7775 HAS SOPS 7775 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4853.775
AT ITER 2646 NEW BEST:: SOT 30514 SOS 7914 HAS SOPS 7914 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4852.914
AT ITER 2710 NEW BEST:: SOT 30488 SOS 7886 HAS SOPS 7886 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4848.886
AT ITER 2741 NEW BEST:: SOT 30498 SOS 7904 HAS SOPS 7904 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4846.904
AT ITER 2753 NEW BEST:: SOT 30491 SOS 7890 HAS SOPS 7890 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4846.89
AT ITER 2755 NEW BEST:: SOT 30486 SOS 7881 HAS SOPS 7881 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4845.881
AT ITER 2864 NEW BEST:: SOT 30478 SOS 7865 HAS SOPS 7865 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4845.865
AT ITER 2873 NEW BEST:: SOT 30475 SOS 7859 HAS SOPS 7859 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4840.859
AT ITER 2887 NEW BEST:: SOT 30471 SOS 7851 HAS SOPS 7851 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4832.851
AT ITER 2911 NEW BEST:: SOT 30476 SOS 7843 HAS SOPS 7843 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4825.843
AT ITER 2928 NEW BEST:: SOT 30465 SOS 7843 HAS SOPS 7843 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4814.843
AT ITER 2933 NEW BEST:: SOT 30472 SOS 7816 HAS SOPS 7816 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4812.816
AT ITER 2941 NEW BEST:: SOT 30469 SOS 7810 HAS SOPS 7810 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4811.81
AT ITER 2970 NEW BEST:: SOT 30468 SOS 7817 HAS SOPS 7817 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4810.817
AT ITER 2976 NEW BEST:: SOT 30463 SOS 7807 HAS SOPS 7807 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4798.807
AT ITER 2990 NEW BEST:: SOT 30456 SOS 7795 HAS SOPS 7795 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4786.795
AT ITER 3056 NEW BEST:: SOT 30353 SOS 7692 HAS SOPS 7692 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4764.692
AT ITER 3058 NEW BEST:: SOT 30322 SOS 7630 HAS SOPS 7630 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4702.63
AT ITER 3085 NEW BEST:: SOT 30289 SOS 7563 HAS SOPS 7563 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4644.563
AT ITER 3102 NEW BEST:: SOT 30286 SOS 7559 HAS SOPS 7559 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4642.559
AT ITER 3214 NEW BEST:: SOT 30287 SOS 7561 HAS SOPS 7561 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4640.561
AT ITER 3238 NEW BEST:: SOT 30285 SOS 7559 HAS SOPS 7559 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4638.559
AT ITER 3318 NEW BEST:: SOT 30284 SOS 7557 HAS SOPS 7557 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4637.557
AT ITER 3338 NEW BEST:: SOT 30258 SOS 7534 HAS SOPS 7534 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4627.534
AT ITER 3379 NEW BEST:: SOT 30240 SOS 7582 HAS SOPS 7582 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4615.582
AT ITER 3383 NEW BEST:: SOT 30234 SOS 7571 HAS SOPS 7571 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4610.571
AT ITER 3398 NEW BEST:: SOT 30218 SOS 7555 HAS SOPS 7555 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4602.555
AT ITER 3404 NEW BEST:: SOT 30208 SOS 7545 HAS SOPS 7545 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4592.545
AT ITER 3425 NEW BEST:: SOT 30203 SOS 7539 HAS SOPS 7539 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4586.539
AT ITER 3433 NEW BEST:: SOT 30202 SOS 7542 HAS SOPS 7542 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4584.542
AT ITER 3458 NEW BEST:: SOT 30202 SOS 7526 HAS SOPS 7526 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4584.526
AT ITER 3511 NEW BEST:: SOT 30201 SOS 7524 HAS SOPS 7524 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4582.524
AT ITER 3549 NEW BEST:: SOT 30190 SOS 7518 HAS SOPS 7518 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4582.518
AT ITER 3556 NEW BEST:: SOT 30186 SOS 7510 HAS SOPS 7510 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4574.51
AT ITER 3615 NEW BEST:: SOT 30181 SOS 7500 HAS SOPS 7500 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4570.5
AT ITER 3631 NEW BEST:: SOT 30189 SOS 7508 HAS SOPS 7508 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4562.508
AT ITER 3639 NEW BEST:: SOT 30189 SOS 7506 HAS SOPS 7506 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4562.506
AT ITER 3640 NEW BEST:: SOT 30191 SOS 7494 HAS SOPS 7494 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4550.494
AT ITER 3654 NEW BEST:: SOT 30191 SOS 7458 HAS SOPS 7458 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4550.458
AT ITER 3672 NEW BEST:: SOT 30190 SOS 7456 HAS SOPS 7456 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4548.456
AT ITER 3710 NEW BEST:: SOT 30179 SOS 7434 HAS SOPS 7434 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4548.434
AT ITER 3754 NEW BEST:: SOT 30179 SOS 7434 HAS SOPS 7434 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4537.434
AT ITER 3787 NEW BEST:: SOT 30168 SOS 7427 HAS SOPS 7427 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4530.427
AT ITER 3809 NEW BEST:: SOT 30168 SOS 7427 HAS SOPS 7427 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4519.427
AT ITER 3828 NEW BEST:: SOT 30166 SOS 7423 HAS SOPS 7423 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4515.423
AT ITER 3863 NEW BEST:: SOT 30162 SOS 7415 HAS SOPS 7415 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4493.415
AT ITER 3886 NEW BEST:: SOT 30133 SOS 7595 HAS SOPS 7595 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4466.595
AT ITER 3892 NEW BEST:: SOT 30131 SOS 7591 HAS SOPS 7591 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4462.591
AT ITER 3925 NEW BEST:: SOT 30129 SOS 7587 HAS SOPS 7587 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4455.587
AT ITER 3949 NEW BEST:: SOT 30127 SOS 7585 HAS SOPS 7585 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4451.585
AT ITER 3961 NEW BEST:: SOT 30113 SOS 7547 HAS SOPS 7547 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4427.547
AT ITER 4007 NEW BEST:: SOT 30112 SOS 7545 HAS SOPS 7545 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4425.545
AT ITER 4048 NEW BEST:: SOT 30123 SOS 7567 HAS SOPS 7567 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4424.567
AT ITER 4111 NEW BEST:: SOT 30121 SOS 7563 HAS SOPS 7563 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4420.563
AT ITER 4118 NEW BEST:: SOT 30115 SOS 7557 HAS SOPS 7557 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4414.557
AT ITER 4137 NEW BEST:: SOT 30116 SOS 7545 HAS SOPS 7545 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4414.545
AT ITER 4151 NEW BEST:: SOT 30110 SOS 7542 HAS SOPS 7542 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4411.542
AT ITER 4159 NEW BEST:: SOT 30110 SOS 7541 HAS SOPS 7541 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4410.541
AT ITER 4191 NEW BEST:: SOT 30110 SOS 7536 HAS SOPS 7536 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4410.536
AT ITER 4233 NEW BEST:: SOT 30109 SOS 7534 HAS SOPS 7534 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4408.534
AT ITER 4242 NEW BEST:: SOT 30098 SOS 7528 HAS SOPS 7528 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4395.528
AT ITER 4257 NEW BEST:: SOT 30096 SOS 7509 HAS SOPS 7509 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4391.509
AT ITER 4264 NEW BEST:: SOT 30096 SOS 7505 HAS SOPS 7505 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4391.505
AT ITER 4311 NEW BEST:: SOT 30098 SOS 7502 HAS SOPS 7502 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4388.502
AT ITER 4352 NEW BEST:: SOT 30097 SOS 7500 HAS SOPS 7500 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4386.5
AT ITER 4361 NEW BEST:: SOT 30073 SOS 7452 HAS SOPS 7452 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4374.452
AT ITER 4403 NEW BEST:: SOT 30072 SOS 7450 HAS SOPS 7450 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4372.45
AT ITER 4479 NEW BEST:: SOT 30105 SOS 7483 HAS SOPS 7483 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4349.483
AT ITER 4499 NEW BEST:: SOT 30120 SOS 7513 HAS SOPS 7513 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4340.513
AT ITER 4554 NEW BEST:: SOT 30120 SOS 7513 HAS SOPS 7513 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4327.513
AT ITER 4581 NEW BEST:: SOT 30117 SOS 7507 HAS SOPS 7507 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4327.507
AT ITER 4584 NEW BEST:: SOT 30113 SOS 7499 HAS SOPS 7499 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4319.499
AT ITER 4599 NEW BEST:: SOT 30100 SOS 7473 HAS SOPS 7473 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4306.473
AT ITER 4719 NEW BEST:: SOT 30098 SOS 7469 HAS SOPS 7469 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4306.469
AT ITER 4725 NEW BEST:: SOT 30092 SOS 7451 HAS SOPS 7451 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4300.451
AT ITER 4785 NEW BEST:: SOT 30074 SOS 7415 HAS SOPS 7415 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4277.415
AT ITER 4815 NEW BEST:: SOT 30072 SOS 7419 HAS SOPS 7419 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4276.419
AT ITER 4846 NEW BEST:: SOT 30056 SOS 7387 HAS SOPS 7387 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4256.387
AT ITER 4877 NEW BEST:: SOT 30046 SOS 7507 HAS SOPS 7507 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4246.507
AT ITER 4905 NEW BEST:: SOT 30063 SOS 7542 HAS SOPS 7542 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4245.542
AT ITER 4935 NEW BEST:: SOT 30060 SOS 7539 HAS SOPS 7539 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4242.539
AT ITER 4969 NEW BEST:: SOT 30060 SOS 7539 HAS SOPS 7539 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4239.539
AT ITER 4973 NEW BEST:: SOT 30026 SOS 7488 HAS SOPS 7488 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4223.488
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-06-CTLCardinality-00 ( (EF((AG( potential( ( 1 ) <= (tk(P187)) ))))) | (AF((AF(potential( ( 2 ) <= (tk(P193)) ))))) )
PROPERTY: SmartHome-PT-06-CTLCardinality-01 (AG( ( (EF(potential( ( 3 ) <= (tk(P91)) ))) | potential( (tk(P47)) <= (tk(P52)) ) )))
PROPERTY: SmartHome-PT-06-CTLCardinality-02 (AG( (AU( potential( (tk(P175)) <= (tk(P111)) ),potential( (tk(P191)) <= (tk(P152)) ) ))))
PROPERTY: SmartHome-PT-06-CTLCardinality-03 (EF(( potential( (tk(P186)) <= (tk(P137)) ) & (! ( potential( (tk(P146)) <= (tk(P63)) ) | potential( (tk(P12)) <= (tk(P41)) ) )) )))
PROPERTY: SmartHome-PT-06-CTLCardinality-04 ( (EU( (! potential( ( 2 ) <= (tk(P15)) )),( potential( ( 2 ) <= (tk(P3)) ) | potential( ( 1 ) <= (tk(P150)) ) ) )) & ( (! (AX( potential( ( 2 ) <= (tk(P42)) )))) & (AG( ( potential( (tk(P132)) <= (tk(P96)) ) | potential( (tk(P30)) <= (tk(P21)) ) ))) ) )
PROPERTY: SmartHome-PT-06-CTLCardinality-05 ( (EF(( (! potential( (tk(P121)) <= (tk(P90)) )) & ( potential( (tk(P125)) <= (tk(P180)) ) & potential( ( 1 ) <= (tk(P119)) ) ) ))) | ( (EU( potential( (tk(P103)) <= (tk(P69)) ),potential( (tk(P206)) <= (tk(P16)) ) )) & (EU( potential( ( 2 ) <= (tk(P79)) ),potential( ( 3 ) <= (tk(P114)) ) )) ) )
PROPERTY: SmartHome-PT-06-CTLCardinality-06 ( (! potential( ( 2 ) <= (tk(P178)) )) & (AG( ( potential( (tk(P171)) <= (tk(P186)) ) & potential( (tk(P204)) <= (tk(P143)) ) ))) )
PROPERTY: SmartHome-PT-06-CTLCardinality-07 (EG( ( (EF(potential( ( 1 ) <= (tk(P142)) ))) & potential( (tk(P24)) <= (tk(P179)) ) )))
PROPERTY: SmartHome-PT-06-CTLCardinality-08 ( (AG( potential( ( 3 ) <= (tk(P92)) ))) | (AG( potential( (tk(P204)) <= (tk(P212)) ))) )
PROPERTY: SmartHome-PT-06-CTLCardinality-09 ( (AG( ( (! potential( ( 3 ) <= (tk(P14)) )) | (! potential( ( 1 ) <= (tk(P16)) )) ))) & (! (AG( (! potential( ( 3 ) <= (tk(P112)) ))))) )
PROPERTY: SmartHome-PT-06-CTLCardinality-10 (! (AG( (! potential( ( 2 ) <= (tk(P173)) )))))
PROPERTY: SmartHome-PT-06-CTLCardinality-11 ( (EF((AG( potential( (tk(P214)) <= (tk(P155)) ))))) & (EG( potential( (tk(P89)) <= (tk(P52)) ))) )
PROPERTY: SmartHome-PT-06-CTLCardinality-12 (AF((! (AG( potential( (tk(P56)) <= (tk(P155)) ))))))
PROPERTY: SmartHome-PT-06-CTLCardinality-13 (AG( (EF(( potential( (tk(P197)) <= (tk(P29)) ) | potential( ( 3 ) <= (tk(P166)) ) )))))
PROPERTY: SmartHome-PT-06-CTLCardinality-14 (AG( (EG( ( potential( (tk(P166)) <= (tk(P209)) ) | potential( (tk(P32)) <= (tk(P64)) ) )))))
PROPERTY: SmartHome-PT-06-CTLCardinality-15 (AX( (AG( (! potential( ( 1 ) <= (tk(P172)) ))))))

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="SmartHome-PT-06"
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 SmartHome-PT-06, 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 r224-oct2-159033538200043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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