About the Execution of smart for SmartHome-PT-08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15752.330 | 3600000.00 | 3599340.00 | 0.00 | [undef] | Time out reached |
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-159033538300060.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-08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300060
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.1K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 64K 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-08-CTLFireability-00
FORMULA_NAME SmartHome-PT-08-CTLFireability-01
FORMULA_NAME SmartHome-PT-08-CTLFireability-02
FORMULA_NAME SmartHome-PT-08-CTLFireability-03
FORMULA_NAME SmartHome-PT-08-CTLFireability-04
FORMULA_NAME SmartHome-PT-08-CTLFireability-05
FORMULA_NAME SmartHome-PT-08-CTLFireability-06
FORMULA_NAME SmartHome-PT-08-CTLFireability-07
FORMULA_NAME SmartHome-PT-08-CTLFireability-08
FORMULA_NAME SmartHome-PT-08-CTLFireability-09
FORMULA_NAME SmartHome-PT-08-CTLFireability-10
FORMULA_NAME SmartHome-PT-08-CTLFireability-11
FORMULA_NAME SmartHome-PT-08-CTLFireability-12
FORMULA_NAME SmartHome-PT-08-CTLFireability-13
FORMULA_NAME SmartHome-PT-08-CTLFireability-14
FORMULA_NAME SmartHome-PT-08-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590469745060
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 08
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: 252 places, 291 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 43937 SOS 10855 HAS SOPS 10855 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10509.855
AT ITER 5 NEW BEST:: SOT 43771 SOS 11572 HAS SOPS 11572 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10433.572
AT ITER 15 NEW BEST:: SOT 43731 SOS 11492 HAS SOPS 11492 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10433.492
AT ITER 18 NEW BEST:: SOT 43713 SOS 11474 HAS SOPS 11474 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10415.474
AT ITER 19 NEW BEST:: SOT 43713 SOS 11465 HAS SOPS 11465 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10406.465
AT ITER 27 NEW BEST:: SOT 43713 SOS 11463 HAS SOPS 11463 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10404.463
AT ITER 62 NEW BEST:: SOT 43704 SOS 11457 HAS SOPS 11457 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.457
AT ITER 66 NEW BEST:: SOT 43704 SOS 11450 HAS SOPS 11450 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10377.45
AT ITER 72 NEW BEST:: SOT 43685 SOS 11446 HAS SOPS 11446 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10373.446
AT ITER 75 NEW BEST:: SOT 43685 SOS 11435 HAS SOPS 11435 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10362.435
AT ITER 76 NEW BEST:: SOT 43685 SOS 11431 HAS SOPS 11431 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10358.431
AT ITER 77 NEW BEST:: SOT 43685 SOS 11416 HAS SOPS 11416 HAS SOUS 10332 HAS SOUPS 10332 WITH SCORE 10343.416
AT ITER 82 NEW BEST:: SOT 43685 SOS 11412 HAS SOPS 11412 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10339.412
AT ITER 95 NEW BEST:: SOT 43522 SOS 11859 HAS SOPS 11859 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10245.859
AT ITER 105 NEW BEST:: SOT 43452 SOS 11851 HAS SOPS 11851 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10191.851
AT ITER 111 NEW BEST:: SOT 43434 SOS 11833 HAS SOPS 11833 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10173.833
AT ITER 119 NEW BEST:: SOT 43434 SOS 11832 HAS SOPS 11832 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10172.832
AT ITER 128 NEW BEST:: SOT 43422 SOS 11826 HAS SOPS 11826 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10160.826
AT ITER 129 NEW BEST:: SOT 43337 SOS 11798 HAS SOPS 11798 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10087.798
AT ITER 131 NEW BEST:: SOT 43324 SOS 11776 HAS SOPS 11776 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10065.776
AT ITER 137 NEW BEST:: SOT 43316 SOS 11758 HAS SOPS 11758 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10047.758
AT ITER 138 NEW BEST:: SOT 43309 SOS 11751 HAS SOPS 11751 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10040.751
AT ITER 142 NEW BEST:: SOT 43309 SOS 11733 HAS SOPS 11733 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10022.733
AT ITER 147 NEW BEST:: SOT 43300 SOS 11724 HAS SOPS 11724 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.724
AT ITER 155 NEW BEST:: SOT 43317 SOS 11721 HAS SOPS 11721 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10007.721
AT ITER 156 NEW BEST:: SOT 43317 SOS 11717 HAS SOPS 11717 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10007.717
AT ITER 157 NEW BEST:: SOT 43307 SOS 11710 HAS SOPS 11710 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9997.71
AT ITER 162 NEW BEST:: SOT 43317 SOS 11630 HAS SOPS 11630 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9917.63
AT ITER 170 NEW BEST:: SOT 43317 SOS 11629 HAS SOPS 11629 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 9916.629
AT ITER 173 NEW BEST:: SOT 43317 SOS 11629 HAS SOPS 11629 HAS SOUS 9900 HAS SOUPS 9900 WITH SCORE 9911.629
AT ITER 188 NEW BEST:: SOT 43316 SOS 11628 HAS SOPS 11628 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9910.628
AT ITER 212 NEW BEST:: SOT 43278 SOS 11552 HAS SOPS 11552 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9881.552
AT ITER 213 NEW BEST:: SOT 43239 SOS 11474 HAS SOPS 11474 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9861.474
AT ITER 217 NEW BEST:: SOT 43217 SOS 11430 HAS SOPS 11430 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9839.43
AT ITER 228 NEW BEST:: SOT 42871 SOS 12602 HAS SOPS 12602 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9772.602
AT ITER 230 NEW BEST:: SOT 42835 SOS 12601 HAS SOPS 12601 HAS SOUS 9759 HAS SOUPS 9759 WITH SCORE 9771.601
AT ITER 246 NEW BEST:: SOT 42807 SOS 12545 HAS SOPS 12545 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9743.545
AT ITER 251 NEW BEST:: SOT 42735 SOS 12401 HAS SOPS 12401 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9635.401
AT ITER 256 NEW BEST:: SOT 42711 SOS 12353 HAS SOPS 12353 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9566.353
AT ITER 270 NEW BEST:: SOT 42711 SOS 12346 HAS SOPS 12346 HAS SOUS 9547 HAS SOUPS 9547 WITH SCORE 9559.346
AT ITER 274 NEW BEST:: SOT 42711 SOS 12333 HAS SOPS 12333 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9546.333
AT ITER 287 NEW BEST:: SOT 42707 SOS 12325 HAS SOPS 12325 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9538.325
AT ITER 303 NEW BEST:: SOT 42738 SOS 12370 HAS SOPS 12370 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9530.37
AT ITER 317 NEW BEST:: SOT 42510 SOS 12396 HAS SOPS 12396 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9339.396
AT ITER 322 NEW BEST:: SOT 42445 SOS 12266 HAS SOPS 12266 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9244.266
AT ITER 334 NEW BEST:: SOT 42451 SOS 12272 HAS SOPS 12272 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9238.272
AT ITER 345 NEW BEST:: SOT 42426 SOS 12222 HAS SOPS 12222 HAS SOUS 9201 HAS SOUPS 9201 WITH SCORE 9213.222
AT ITER 349 NEW BEST:: SOT 42387 SOS 12144 HAS SOPS 12144 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9141.144
AT ITER 350 NEW BEST:: SOT 42379 SOS 12128 HAS SOPS 12128 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9125.128
AT ITER 359 NEW BEST:: SOT 42358 SOS 12086 HAS SOPS 12086 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9083.086
AT ITER 366 NEW BEST:: SOT 42340 SOS 12032 HAS SOPS 12032 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9047.032
AT ITER 385 NEW BEST:: SOT 42347 SOS 11978 HAS SOPS 11978 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8992.978
AT ITER 391 NEW BEST:: SOT 42330 SOS 11944 HAS SOPS 11944 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8958.944
AT ITER 394 NEW BEST:: SOT 42316 SOS 11930 HAS SOPS 11930 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8948.93
AT ITER 414 NEW BEST:: SOT 42295 SOS 11888 HAS SOPS 11888 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8927.888
AT ITER 449 NEW BEST:: SOT 42287 SOS 11872 HAS SOPS 11872 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8918.872
AT ITER 472 NEW BEST:: SOT 42272 SOS 11857 HAS SOPS 11857 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8903.857
AT ITER 485 NEW BEST:: SOT 42262 SOS 11847 HAS SOPS 11847 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8886.847
AT ITER 502 NEW BEST:: SOT 41982 SOS 13815 HAS SOPS 13815 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8847.815
AT ITER 506 NEW BEST:: SOT 41971 SOS 13793 HAS SOPS 13793 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8847.793
AT ITER 510 NEW BEST:: SOT 41971 SOS 13513 HAS SOPS 13513 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8847.513
AT ITER 522 NEW BEST:: SOT 41908 SOS 13787 HAS SOPS 13787 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8824.787
AT ITER 527 NEW BEST:: SOT 41892 SOS 13771 HAS SOPS 13771 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8792.771
AT ITER 536 NEW BEST:: SOT 41884 SOS 13786 HAS SOPS 13786 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8782.786
AT ITER 538 NEW BEST:: SOT 41871 SOS 13760 HAS SOPS 13760 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8769.76
AT ITER 557 NEW BEST:: SOT 41871 SOS 13759 HAS SOPS 13759 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8768.759
AT ITER 583 NEW BEST:: SOT 41857 SOS 13734 HAS SOPS 13734 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8757.734
AT ITER 585 NEW BEST:: SOT 41858 SOS 13735 HAS SOPS 13735 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8756.735
AT ITER 587 NEW BEST:: SOT 41828 SOS 13675 HAS SOPS 13675 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8726.675
AT ITER 590 NEW BEST:: SOT 41688 SOS 13395 HAS SOPS 13395 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8636.395
AT ITER 602 NEW BEST:: SOT 41675 SOS 13369 HAS SOPS 13369 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8627.369
AT ITER 611 NEW BEST:: SOT 41675 SOS 13366 HAS SOPS 13366 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8627.366
AT ITER 612 NEW BEST:: SOT 41680 SOS 13325 HAS SOPS 13325 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8609.325
AT ITER 634 NEW BEST:: SOT 41680 SOS 13306 HAS SOPS 13306 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8590.306
AT ITER 641 NEW BEST:: SOT 41727 SOS 13338 HAS SOPS 13338 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8587.338
AT ITER 646 NEW BEST:: SOT 41695 SOS 13306 HAS SOPS 13306 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8586.306
AT ITER 666 NEW BEST:: SOT 41644 SOS 13204 HAS SOPS 13204 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8560.204
AT ITER 668 NEW BEST:: SOT 41667 SOS 13227 HAS SOPS 13227 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8557.227
AT ITER 673 NEW BEST:: SOT 41654 SOS 13201 HAS SOPS 13201 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8530.201
AT ITER 698 NEW BEST:: SOT 41637 SOS 13164 HAS SOPS 13164 HAS SOUS 8480 HAS SOUPS 8480 WITH SCORE 8493.164
AT ITER 702 NEW BEST:: SOT 41637 SOS 13166 HAS SOPS 13166 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8478.166
AT ITER 707 NEW BEST:: SOT 41561 SOS 13014 HAS SOPS 13014 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8472.014
AT ITER 709 NEW BEST:: SOT 41536 SOS 12991 HAS SOPS 12991 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8469.991
AT ITER 718 NEW BEST:: SOT 41514 SOS 12947 HAS SOPS 12947 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8448.947
AT ITER 720 NEW BEST:: SOT 41512 SOS 12943 HAS SOPS 12943 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8443.943
AT ITER 721 NEW BEST:: SOT 41512 SOS 12937 HAS SOPS 12937 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8433.937
AT ITER 732 NEW BEST:: SOT 41512 SOS 12981 HAS SOPS 12981 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8389.981
AT ITER 733 NEW BEST:: SOT 41468 SOS 12923 HAS SOPS 12923 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8375.923
AT ITER 746 NEW BEST:: SOT 41448 SOS 12896 HAS SOPS 12896 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8347.896
AT ITER 757 NEW BEST:: SOT 41430 SOS 12860 HAS SOPS 12860 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8329.86
AT ITER 803 NEW BEST:: SOT 41430 SOS 12856 HAS SOPS 12856 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8325.856
AT ITER 809 NEW BEST:: SOT 41430 SOS 12856 HAS SOPS 12856 HAS SOUS 8309 HAS SOUPS 8309 WITH SCORE 8321.856
AT ITER 841 NEW BEST:: SOT 41401 SOS 12842 HAS SOPS 12842 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8307.842
AT ITER 852 NEW BEST:: SOT 41395 SOS 12836 HAS SOPS 12836 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8295.836
AT ITER 865 NEW BEST:: SOT 41339 SOS 12724 HAS SOPS 12724 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.724
AT ITER 868 NEW BEST:: SOT 41310 SOS 12696 HAS SOPS 12696 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8187.696
AT ITER 876 NEW BEST:: SOT 41309 SOS 12694 HAS SOPS 12694 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8186.694
AT ITER 886 NEW BEST:: SOT 41309 SOS 12691 HAS SOPS 12691 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8183.691
AT ITER 893 NEW BEST:: SOT 41299 SOS 12681 HAS SOPS 12681 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8183.681
AT ITER 898 NEW BEST:: SOT 41307 SOS 12689 HAS SOPS 12689 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8167.689
AT ITER 911 NEW BEST:: SOT 41297 SOS 12686 HAS SOPS 12686 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8166.686
AT ITER 927 NEW BEST:: SOT 41293 SOS 12678 HAS SOPS 12678 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8158.678
AT ITER 957 NEW BEST:: SOT 41292 SOS 12676 HAS SOPS 12676 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8156.676
AT ITER 960 NEW BEST:: SOT 41291 SOS 12675 HAS SOPS 12675 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8156.675
AT ITER 962 NEW BEST:: SOT 41286 SOS 12671 HAS SOPS 12671 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8152.671
AT ITER 983 NEW BEST:: SOT 41286 SOS 12665 HAS SOPS 12665 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8146.665
AT ITER 985 NEW BEST:: SOT 41284 SOS 12663 HAS SOPS 12663 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8144.663
AT ITER 995 NEW BEST:: SOT 41255 SOS 12898 HAS SOPS 12898 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8124.898
AT ITER 999 NEW BEST:: SOT 41269 SOS 12912 HAS SOPS 12912 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8110.912
AT ITER 1000 NEW BEST:: SOT 41266 SOS 12906 HAS SOPS 12906 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8107.906
AT ITER 1008 NEW BEST:: SOT 41239 SOS 12852 HAS SOPS 12852 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8081.852
AT ITER 1013 NEW BEST:: SOT 41213 SOS 12981 HAS SOPS 12981 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8068.981
AT ITER 1019 NEW BEST:: SOT 41205 SOS 12941 HAS SOPS 12941 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8052.941
AT ITER 1036 NEW BEST:: SOT 41159 SOS 12849 HAS SOPS 12849 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8008.849
AT ITER 1043 NEW BEST:: SOT 41157 SOS 12847 HAS SOPS 12847 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8006.847
AT ITER 1065 NEW BEST:: SOT 41124 SOS 12802 HAS SOPS 12802 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7978.802
AT ITER 1069 NEW BEST:: SOT 41081 SOS 13710 HAS SOPS 13710 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7960.71
AT ITER 1077 NEW BEST:: SOT 41064 SOS 13673 HAS SOPS 13673 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7914.673
AT ITER 1080 NEW BEST:: SOT 41063 SOS 13671 HAS SOPS 13671 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7912.671
AT ITER 1085 NEW BEST:: SOT 41061 SOS 13648 HAS SOPS 13648 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7892.648
AT ITER 1101 NEW BEST:: SOT 41064 SOS 13654 HAS SOPS 13654 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7886.654
AT ITER 1108 NEW BEST:: SOT 41076 SOS 13648 HAS SOPS 13648 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7880.648
AT ITER 1115 NEW BEST:: SOT 41116 SOS 12804 HAS SOPS 12804 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7874.804
AT ITER 1130 NEW BEST:: SOT 41099 SOS 12770 HAS SOPS 12770 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7857.77
AT ITER 1166 NEW BEST:: SOT 41099 SOS 12759 HAS SOPS 12759 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7857.759
AT ITER 1195 NEW BEST:: SOT 41125 SOS 12755 HAS SOPS 12755 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7847.755
AT ITER 1208 NEW BEST:: SOT 40971 SOS 12636 HAS SOPS 12636 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7816.636
AT ITER 1210 NEW BEST:: SOT 40949 SOS 12592 HAS SOPS 12592 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7753.592
AT ITER 1252 NEW BEST:: SOT 40942 SOS 12578 HAS SOPS 12578 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7746.578
AT ITER 1253 NEW BEST:: SOT 40923 SOS 12559 HAS SOPS 12559 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7727.559
AT ITER 1303 NEW BEST:: SOT 40891 SOS 12495 HAS SOPS 12495 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7717.495
AT ITER 1320 NEW BEST:: SOT 40891 SOS 12483 HAS SOPS 12483 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7717.483
AT ITER 1329 NEW BEST:: SOT 40891 SOS 12483 HAS SOPS 12483 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7715.483
AT ITER 1345 NEW BEST:: SOT 40921 SOS 12543 HAS SOPS 12543 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7713.543
AT ITER 1354 NEW BEST:: SOT 40988 SOS 12609 HAS SOPS 12609 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7678.609
AT ITER 1356 NEW BEST:: SOT 40979 SOS 12591 HAS SOPS 12591 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7660.591
AT ITER 1376 NEW BEST:: SOT 40972 SOS 12577 HAS SOPS 12577 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7646.577
AT ITER 1385 NEW BEST:: SOT 40972 SOS 12537 HAS SOPS 12537 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7646.537
AT ITER 1394 NEW BEST:: SOT 40960 SOS 12525 HAS SOPS 12525 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7634.525
AT ITER 1403 NEW BEST:: SOT 40906 SOS 12470 HAS SOPS 12470 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7606.47
AT ITER 1425 NEW BEST:: SOT 40888 SOS 12447 HAS SOPS 12447 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7605.447
AT ITER 1448 NEW BEST:: SOT 40884 SOS 12439 HAS SOPS 12439 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7601.439
AT ITER 1456 NEW BEST:: SOT 40868 SOS 12422 HAS SOPS 12422 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7584.422
AT ITER 1458 NEW BEST:: SOT 40862 SOS 12416 HAS SOPS 12416 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7578.416
AT ITER 1466 NEW BEST:: SOT 40857 SOS 12406 HAS SOPS 12406 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7568.406
AT ITER 1474 NEW BEST:: SOT 40857 SOS 12419 HAS SOPS 12419 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7555.419
AT ITER 1506 NEW BEST:: SOT 40852 SOS 12415 HAS SOPS 12415 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7551.415
AT ITER 1528 NEW BEST:: SOT 40849 SOS 12409 HAS SOPS 12409 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7551.409
AT ITER 1536 NEW BEST:: SOT 40792 SOS 12374 HAS SOPS 12374 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7516.374
AT ITER 1543 NEW BEST:: SOT 40701 SOS 12192 HAS SOPS 12192 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7516.192
AT ITER 1549 NEW BEST:: SOT 40674 SOS 12789 HAS SOPS 12789 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7495.789
AT ITER 1552 NEW BEST:: SOT 40659 SOS 12759 HAS SOPS 12759 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7465.759
AT ITER 1554 NEW BEST:: SOT 40704 SOS 12584 HAS SOPS 12584 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7457.584
AT ITER 1583 NEW BEST:: SOT 40704 SOS 12581 HAS SOPS 12581 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7457.581
AT ITER 1608 NEW BEST:: SOT 40698 SOS 12562 HAS SOPS 12562 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7402.562
AT ITER 1611 NEW BEST:: SOT 40631 SOS 12428 HAS SOPS 12428 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7307.428
AT ITER 1614 NEW BEST:: SOT 40617 SOS 12400 HAS SOPS 12400 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7289.4
AT ITER 1615 NEW BEST:: SOT 40604 SOS 12374 HAS SOPS 12374 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7263.374
AT ITER 1623 NEW BEST:: SOT 40601 SOS 12371 HAS SOPS 12371 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7260.371
AT ITER 1637 NEW BEST:: SOT 40614 SOS 12374 HAS SOPS 12374 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7257.374
AT ITER 1657 NEW BEST:: SOT 40602 SOS 12350 HAS SOPS 12350 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7245.35
AT ITER 1678 NEW BEST:: SOT 40602 SOS 12170 HAS SOPS 12170 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7244.17
AT ITER 1684 NEW BEST:: SOT 40577 SOS 12156 HAS SOPS 12156 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7230.156
AT ITER 1691 NEW BEST:: SOT 40565 SOS 12132 HAS SOPS 12132 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7209.132
AT ITER 1692 NEW BEST:: SOT 40553 SOS 12114 HAS SOPS 12114 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7203.114
AT ITER 1702 NEW BEST:: SOT 40525 SOS 12058 HAS SOPS 12058 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7162.058
AT ITER 1711 NEW BEST:: SOT 40520 SOS 12053 HAS SOPS 12053 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7157.053
AT ITER 1712 NEW BEST:: SOT 40472 SOS 11957 HAS SOPS 11957 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7070.957
AT ITER 1713 NEW BEST:: SOT 40461 SOS 11938 HAS SOPS 11938 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7059.938
AT ITER 1719 NEW BEST:: SOT 40534 SOS 12035 HAS SOPS 12035 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7029.035
AT ITER 1733 NEW BEST:: SOT 40526 SOS 12019 HAS SOPS 12019 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7013.019
AT ITER 1741 NEW BEST:: SOT 40514 SOS 12007 HAS SOPS 12007 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 7001.007
AT ITER 1755 NEW BEST:: SOT 40508 SOS 12001 HAS SOPS 12001 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6989.001
AT ITER 1801 NEW BEST:: SOT 40435 SOS 11930 HAS SOPS 11930 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6973.93
AT ITER 1804 NEW BEST:: SOT 40435 SOS 11926 HAS SOPS 11926 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6968.926
AT ITER 1861 NEW BEST:: SOT 40405 SOS 11917 HAS SOPS 11917 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6959.917
AT ITER 1862 NEW BEST:: SOT 40403 SOS 11910 HAS SOPS 11910 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6955.91
AT ITER 1879 NEW BEST:: SOT 40402 SOS 11902 HAS SOPS 11902 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6947.902
AT ITER 1897 NEW BEST:: SOT 40404 SOS 11904 HAS SOPS 11904 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6929.904
AT ITER 1900 NEW BEST:: SOT 40410 SOS 11916 HAS SOPS 11916 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.916
AT ITER 1917 NEW BEST:: SOT 40400 SOS 11893 HAS SOPS 11893 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6898.893
AT ITER 1925 NEW BEST:: SOT 40398 SOS 11889 HAS SOPS 11889 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6894.889
AT ITER 1935 NEW BEST:: SOT 40387 SOS 11881 HAS SOPS 11881 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6872.881
AT ITER 1964 NEW BEST:: SOT 40387 SOS 11881 HAS SOPS 11881 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6855.881
AT ITER 1967 NEW BEST:: SOT 40373 SOS 11853 HAS SOPS 11853 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6855.853
AT ITER 1986 NEW BEST:: SOT 40362 SOS 11831 HAS SOPS 11831 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6844.831
AT ITER 2059 NEW BEST:: SOT 40362 SOS 11829 HAS SOPS 11829 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6842.829
AT ITER 2081 NEW BEST:: SOT 40339 SOS 11806 HAS SOPS 11806 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6819.806
AT ITER 2095 NEW BEST:: SOT 40339 SOS 11804 HAS SOPS 11804 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6817.804
AT ITER 2112 NEW BEST:: SOT 40342 SOS 11787 HAS SOPS 11787 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6813.787
AT ITER 2113 NEW BEST:: SOT 40330 SOS 11790 HAS SOPS 11790 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6805.79
AT ITER 2131 NEW BEST:: SOT 40324 SOS 11778 HAS SOPS 11778 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6796.778
AT ITER 2158 NEW BEST:: SOT 40318 SOS 11772 HAS SOPS 11772 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6790.772
AT ITER 2195 NEW BEST:: SOT 40320 SOS 11766 HAS SOPS 11766 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6783.766
AT ITER 2203 NEW BEST:: SOT 40316 SOS 11756 HAS SOPS 11756 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6777.756
AT ITER 2206 NEW BEST:: SOT 40309 SOS 11742 HAS SOPS 11742 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6777.742
AT ITER 2223 NEW BEST:: SOT 40293 SOS 11710 HAS SOPS 11710 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6745.71
AT ITER 2244 NEW BEST:: SOT 40282 SOS 11688 HAS SOPS 11688 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6741.688
AT ITER 2256 NEW BEST:: SOT 40282 SOS 11688 HAS SOPS 11688 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6715.688
AT ITER 2276 NEW BEST:: SOT 40279 SOS 11685 HAS SOPS 11685 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6712.685
AT ITER 2277 NEW BEST:: SOT 40278 SOS 11683 HAS SOPS 11683 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6710.683
AT ITER 2283 NEW BEST:: SOT 40277 SOS 11644 HAS SOPS 11644 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6703.644
AT ITER 2345 NEW BEST:: SOT 40239 SOS 11587 HAS SOPS 11587 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6703.587
AT ITER 2371 NEW BEST:: SOT 40272 SOS 11645 HAS SOPS 11645 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6695.645
AT ITER 2372 NEW BEST:: SOT 40264 SOS 11629 HAS SOPS 11629 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6680.629
AT ITER 2414 NEW BEST:: SOT 40224 SOS 11555 HAS SOPS 11555 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6617.555
AT ITER 2415 NEW BEST:: SOT 40215 SOS 11546 HAS SOPS 11546 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6606.546
AT ITER 2436 NEW BEST:: SOT 40215 SOS 11540 HAS SOPS 11540 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6587.54
AT ITER 2474 NEW BEST:: SOT 40207 SOS 11524 HAS SOPS 11524 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6579.524
AT ITER 2480 NEW BEST:: SOT 40202 SOS 11514 HAS SOPS 11514 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6569.514
AT ITER 2486 NEW BEST:: SOT 40194 SOS 11498 HAS SOPS 11498 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6561.498
AT ITER 2492 NEW BEST:: SOT 40202 SOS 11486 HAS SOPS 11486 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6549.486
AT ITER 2539 NEW BEST:: SOT 40199 SOS 11214 HAS SOPS 11214 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6546.214
AT ITER 2541 NEW BEST:: SOT 40199 SOS 11214 HAS SOPS 11214 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6544.214
AT ITER 2577 NEW BEST:: SOT 40199 SOS 11208 HAS SOPS 11208 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6544.208
AT ITER 2581 NEW BEST:: SOT 40199 SOS 11208 HAS SOPS 11208 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6543.208
AT ITER 2583 NEW BEST:: SOT 40151 SOS 11149 HAS SOPS 11149 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6503.149
AT ITER 2610 NEW BEST:: SOT 40157 SOS 11153 HAS SOPS 11153 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6501.153
AT ITER 2627 NEW BEST:: SOT 40155 SOS 11149 HAS SOPS 11149 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6497.149
AT ITER 2637 NEW BEST:: SOT 40147 SOS 11158 HAS SOPS 11158 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6495.158
AT ITER 2664 NEW BEST:: SOT 40147 SOS 11190 HAS SOPS 11190 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6476.19
AT ITER 2669 NEW BEST:: SOT 40155 SOS 11192 HAS SOPS 11192 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6473.192
AT ITER 2676 NEW BEST:: SOT 40220 SOS 10286 HAS SOPS 10286 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6463.286
AT ITER 2682 NEW BEST:: SOT 40224 SOS 10250 HAS SOPS 10250 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6459.25
AT ITER 2721 NEW BEST:: SOT 40222 SOS 10236 HAS SOPS 10236 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6455.236
AT ITER 2724 NEW BEST:: SOT 40224 SOS 10182 HAS SOPS 10182 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6430.182
AT ITER 2780 NEW BEST:: SOT 40204 SOS 10162 HAS SOPS 10162 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6410.162
AT ITER 2800 NEW BEST:: SOT 40173 SOS 10114 HAS SOPS 10114 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6403.114
AT ITER 2801 NEW BEST:: SOT 40169 SOS 10106 HAS SOPS 10106 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6400.106
AT ITER 2811 NEW BEST:: SOT 40165 SOS 10079 HAS SOPS 10079 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6393.079
AT ITER 2826 NEW BEST:: SOT 40164 SOS 10078 HAS SOPS 10078 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6392.078
AT ITER 2833 NEW BEST:: SOT 40164 SOS 10077 HAS SOPS 10077 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6391.077
AT ITER 2845 NEW BEST:: SOT 40159 SOS 10067 HAS SOPS 10067 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6386.067
AT ITER 2871 NEW BEST:: SOT 40158 SOS 10064 HAS SOPS 10064 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6383.064
AT ITER 2880 NEW BEST:: SOT 40158 SOS 10069 HAS SOPS 10069 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6378.069
AT ITER 2918 NEW BEST:: SOT 40152 SOS 10068 HAS SOPS 10068 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6377.068
AT ITER 2936 NEW BEST:: SOT 40146 SOS 10062 HAS SOPS 10062 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6371.062
AT ITER 3006 NEW BEST:: SOT 40146 SOS 10033 HAS SOPS 10033 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6354.033
AT ITER 3028 NEW BEST:: SOT 40143 SOS 10025 HAS SOPS 10025 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6349.025
AT ITER 3030 NEW BEST:: SOT 40142 SOS 10024 HAS SOPS 10024 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6348.024
AT ITER 3062 NEW BEST:: SOT 40134 SOS 10022 HAS SOPS 10022 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6341.022
AT ITER 3074 NEW BEST:: SOT 40125 SOS 10004 HAS SOPS 10004 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6323.004
AT ITER 3112 NEW BEST:: SOT 40122 SOS 10000 HAS SOPS 10000 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6319.0
AT ITER 3116 NEW BEST:: SOT 40110 SOS 9989 HAS SOPS 9989 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6307.989
AT ITER 3123 NEW BEST:: SOT 40086 SOS 9941 HAS SOPS 9941 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6283.941
AT ITER 3135 NEW BEST:: SOT 40086 SOS 9941 HAS SOPS 9941 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6282.941
AT ITER 3163 NEW BEST:: SOT 40082 SOS 9937 HAS SOPS 9937 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6278.937
AT ITER 3193 NEW BEST:: SOT 39986 SOS 10353 HAS SOPS 10353 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6227.353
AT ITER 3217 NEW BEST:: SOT 39988 SOS 10347 HAS SOPS 10347 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6221.347
AT ITER 3220 NEW BEST:: SOT 39986 SOS 10344 HAS SOPS 10344 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6218.344
AT ITER 3230 NEW BEST:: SOT 39986 SOS 10333 HAS SOPS 10333 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6218.333
AT ITER 3232 NEW BEST:: SOT 39982 SOS 10325 HAS SOPS 10325 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6214.325
AT ITER 3250 NEW BEST:: SOT 39966 SOS 10301 HAS SOPS 10301 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6183.301
AT ITER 3285 NEW BEST:: SOT 39966 SOS 10299 HAS SOPS 10299 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6181.299
AT ITER 3286 NEW BEST:: SOT 39967 SOS 10295 HAS SOPS 10295 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6172.295
AT ITER 3312 NEW BEST:: SOT 39942 SOS 10270 HAS SOPS 10270 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6152.27
AT ITER 3353 NEW BEST:: SOT 39934 SOS 10261 HAS SOPS 10261 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6151.261
AT ITER 3388 NEW BEST:: SOT 39935 SOS 10263 HAS SOPS 10263 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6150.263
AT ITER 3402 NEW BEST:: SOT 39937 SOS 10257 HAS SOPS 10257 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6144.257
AT ITER 3411 NEW BEST:: SOT 39935 SOS 10253 HAS SOPS 10253 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6142.253
AT ITER 3421 NEW BEST:: SOT 39930 SOS 10248 HAS SOPS 10248 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6137.248
AT ITER 3462 NEW BEST:: SOT 39923 SOS 10143 HAS SOPS 10143 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6130.143
AT ITER 3464 NEW BEST:: SOT 39923 SOS 10143 HAS SOPS 10143 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6118.143
AT ITER 3473 NEW BEST:: SOT 39896 SOS 10098 HAS SOPS 10098 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6073.098
AT ITER 3491 NEW BEST:: SOT 39925 SOS 10129 HAS SOPS 10129 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6069.129
AT ITER 3510 NEW BEST:: SOT 39925 SOS 10129 HAS SOPS 10129 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6068.129
AT ITER 3533 NEW BEST:: SOT 39915 SOS 10109 HAS SOPS 10109 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6044.109
AT ITER 3536 NEW BEST:: SOT 39899 SOS 10293 HAS SOPS 10293 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6028.293
AT ITER 3568 NEW BEST:: SOT 39887 SOS 10269 HAS SOPS 10269 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6016.269
AT ITER 3569 NEW BEST:: SOT 39870 SOS 10289 HAS SOPS 10289 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5985.289
AT ITER 3570 NEW BEST:: SOT 39862 SOS 10284 HAS SOPS 10284 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5980.284
AT ITER 3623 NEW BEST:: SOT 39862 SOS 10261 HAS SOPS 10261 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5957.261
AT ITER 3698 NEW BEST:: SOT 39858 SOS 10253 HAS SOPS 10253 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5951.253
AT ITER 3802 NEW BEST:: SOT 39858 SOS 10247 HAS SOPS 10247 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5951.247
AT ITER 3808 NEW BEST:: SOT 39858 SOS 10247 HAS SOPS 10247 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.247
AT ITER 3851 NEW BEST:: SOT 39817 SOS 10165 HAS SOPS 10165 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5931.165
AT ITER 3858 NEW BEST:: SOT 39818 SOS 10167 HAS SOPS 10167 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5925.167
AT ITER 3894 NEW BEST:: SOT 39816 SOS 10163 HAS SOPS 10163 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5921.163
AT ITER 3924 NEW BEST:: SOT 39796 SOS 10123 HAS SOPS 10123 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5915.123
AT ITER 3954 NEW BEST:: SOT 39779 SOS 10120 HAS SOPS 10120 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5912.12
AT ITER 3957 NEW BEST:: SOT 39771 SOS 10104 HAS SOPS 10104 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5896.104
AT ITER 4020 NEW BEST:: SOT 39776 SOS 10114 HAS SOPS 10114 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5865.114
AT ITER 4039 NEW BEST:: SOT 39769 SOS 10100 HAS SOPS 10100 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5851.1
AT ITER 4094 NEW BEST:: SOT 39759 SOS 10090 HAS SOPS 10090 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5851.09
AT ITER 4107 NEW BEST:: SOT 39754 SOS 10085 HAS SOPS 10085 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5849.085
AT ITER 4201 NEW BEST:: SOT 39745 SOS 10076 HAS SOPS 10076 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5849.076
AT ITER 4292 NEW BEST:: SOT 39736 SOS 10031 HAS SOPS 10031 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5831.031
AT ITER 4300 NEW BEST:: SOT 39768 SOS 10095 HAS SOPS 10095 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5826.095
AT ITER 4316 NEW BEST:: SOT 39771 SOS 10101 HAS SOPS 10101 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5825.101
AT ITER 4341 NEW BEST:: SOT 39769 SOS 10097 HAS SOPS 10097 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5823.097
AT ITER 4348 NEW BEST:: SOT 39779 SOS 10078 HAS SOPS 10078 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5809.078
AT ITER 4384 NEW BEST:: SOT 39747 SOS 9998 HAS SOPS 9998 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5774.998
AT ITER 4401 NEW BEST:: SOT 39743 SOS 10177 HAS SOPS 10177 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5771.177
AT ITER 4406 NEW BEST:: SOT 39740 SOS 10173 HAS SOPS 10173 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5767.173
AT ITER 4468 NEW BEST:: SOT 39737 SOS 10167 HAS SOPS 10167 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5767.167
AT ITER 4470 NEW BEST:: SOT 39615 SOS 9992 HAS SOPS 9992 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5704.992
AT ITER 4517 NEW BEST:: SOT 39611 SOS 9984 HAS SOPS 9984 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5704.984
AT ITER 4560 NEW BEST:: SOT 39609 SOS 9980 HAS SOPS 9980 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5700.98
AT ITER 4579 NEW BEST:: SOT 39605 SOS 9976 HAS SOPS 9976 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5700.976
AT ITER 4608 NEW BEST:: SOT 39592 SOS 9963 HAS SOPS 9963 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5690.963
AT ITER 4615 NEW BEST:: SOT 39587 SOS 9953 HAS SOPS 9953 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5679.953
AT ITER 4627 NEW BEST:: SOT 39587 SOS 9953 HAS SOPS 9953 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5676.953
AT ITER 4631 NEW BEST:: SOT 39586 SOS 9951 HAS SOPS 9951 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5670.951
AT ITER 4636 NEW BEST:: SOT 39531 SOS 10043 HAS SOPS 10043 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5632.043
AT ITER 4645 NEW BEST:: SOT 39523 SOS 10023 HAS SOPS 10023 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5613.023
AT ITER 4662 NEW BEST:: SOT 39512 SOS 9989 HAS SOPS 9989 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5589.989
AT ITER 4679 NEW BEST:: SOT 39487 SOS 9964 HAS SOPS 9964 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5585.964
AT ITER 4688 NEW BEST:: SOT 39485 SOS 9960 HAS SOPS 9960 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5581.96
AT ITER 4702 NEW BEST:: SOT 39485 SOS 9959 HAS SOPS 9959 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.959
AT ITER 4755 NEW BEST:: SOT 39485 SOS 9957 HAS SOPS 9957 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5579.957
AT ITER 4774 NEW BEST:: SOT 39473 SOS 9933 HAS SOPS 9933 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5578.933
AT ITER 4787 NEW BEST:: SOT 39439 SOS 10019 HAS SOPS 10019 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5555.019
AT ITER 4850 NEW BEST:: SOT 39442 SOS 9983 HAS SOPS 9983 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5554.983
AT ITER 4926 NEW BEST:: SOT 39435 SOS 9971 HAS SOPS 9971 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5550.971
AT ITER 4999 NEW BEST:: SOT 39433 SOS 9971 HAS SOPS 9971 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5548.971
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-08-CTLFireability-00 ( ( (EF( (EG( ((potential((tk(P27)>=1)))))))) | (EX( (AF( ((potential((tk(P114)>=1)))))))) ) | (AF( ( (EG( ((potential((tk(P205)>=1)))))) & (AF( ((potential((tk(P26)>=1)))))) ))) )
PROPERTY: SmartHome-PT-08-CTLFireability-01 (! (AG( (AX( (! ((potential((tk(P32)>=1))))))))))
PROPERTY: SmartHome-PT-08-CTLFireability-02 (EU( (! (AX( ((potential((tk(P28)>=1))))))) , (! (! ( ((potential((tk(P186)>=1) & (tk(P251)>=1)))) | ((potential((tk(P139)>=1) & (tk(P248)>=1)))) ))) ))
PROPERTY: SmartHome-PT-08-CTLFireability-03 (AG( ( (EF( ((potential((tk(P96)>=1)))))) & (! ( ( ((potential((tk(P20)>=1)))) & ((potential((tk(P131)>=1)))) ) & (! ((potential((tk(P100)>=1))))) )) )))
PROPERTY: SmartHome-PT-08-CTLFireability-04 (EU( (! ((potential((tk(P59)>=1))))) , (AX( ( ((potential((tk(P46)>=1)))) & ((potential((tk(P252)>=1) & (tk(P249)>=1)))) ))) ))
PROPERTY: SmartHome-PT-08-CTLFireability-05 (AG( (AF( (EF( ((potential((tk(P139)>=1) & (tk(P248)>=1))))))))))
PROPERTY: SmartHome-PT-08-CTLFireability-06 (! (EF( ( (EX( ((potential((tk(P136)>=1)))))) & ( (! ((potential((tk(P177)>=1))))) | ( ((potential((tk(P59)>=1)))) | ((potential((tk(P47)>=1)))) ) ) ))))
PROPERTY: SmartHome-PT-08-CTLFireability-07 (EF( ( (AF( (! ((potential((tk(P166)>=1))))))) & ( (EG( ((potential((tk(P32)>=1)))))) & ( ( ((potential((tk(P108)>=1) & (tk(P240)>=1)))) | ((potential((tk(P31)>=1)))) ) & ( ((potential((tk(P195)>=1)))) & ((potential((tk(P46)>=1)))) ) ) ) )))
PROPERTY: SmartHome-PT-08-CTLFireability-08 ( ( (EF( (! ( ((potential((tk(P186)>=1) & (tk(P251)>=1)))) | ((potential((tk(P41)>=1)))) )))) & (EF( ((potential((tk(P27)>=1)))))) ) | ( (AX( (AG( ((potential((tk(P100)>=1)))))))) | ( (EF( ( ((potential((tk(P138)>=1)))) & ((potential((tk(P135)>=1)))) ))) & ( (! (! ((potential((tk(P230)>=1)))))) | ( ( ((potential((tk(P70)>=1)))) | ((potential((tk(P72)>=1)))) ) | ( ((potential((tk(P6)>=1)))) & ((potential((tk(P180)>=1)))) ) ) ) ) ) )
PROPERTY: SmartHome-PT-08-CTLFireability-09 (EF( ( (EU( ((potential((tk(P169)>=1)))) , ((potential((tk(P186)>=1) & (tk(P247)>=1)))) )) & ( (! (! ((potential((tk(P151)>=1)))))) | (EG( ((potential((tk(P117)>=1)))))) ) )))
PROPERTY: SmartHome-PT-08-CTLFireability-10 ( (EU( ( ( ((potential((tk(P179)>=1)))) & ((potential((tk(P218)>=1) & (tk(P223)>=1)))) ) | (! ((potential((tk(P190)>=1))))) ) , (! (! ((potential((tk(P77)>=1) & (tk(P243)>=1)))))) )) & (EX( (EF( ( ((potential((tk(P173)>=1)))) | ((potential((tk(P90)>=1)))) ))))) )
PROPERTY: SmartHome-PT-08-CTLFireability-11 (AX( ( ( ( ( ((potential((tk(P186)>=1) & (tk(P251)>=1)))) | ((potential((tk(P80)>=1)))) ) & (! ((potential((tk(P174)>=1))))) ) | (EF( ((potential((tk(P214)>=1)))))) ) | (AF( ( ((potential((tk(P79)>=1)))) | ((potential((tk(P89)>=1)))) ))) )))
PROPERTY: SmartHome-PT-08-CTLFireability-12 (EF( ( ( (! ( ((potential((tk(P4)>=1)))) | ((potential((tk(P77)>=1) & (tk(P234)>=1)))) )) | ( ( ((potential((tk(P139)>=1)))) & ((potential((tk(P54)>=1)))) ) & ((potential((tk(P108)>=1)))) ) ) & (AF( ((potential((tk(P83)>=1)))))) )))
PROPERTY: SmartHome-PT-08-CTLFireability-13 (EF( ( ((potential((tk(P230)>=1)))) & (AU( ((potential((tk(P68)>=1)))) , ((potential((tk(P33)>=1)))) )) )))
PROPERTY: SmartHome-PT-08-CTLFireability-14 (! (AX( (EF( ( ((potential((tk(P67)>=1)))) | ((potential((tk(P182)>=1)))) ))))))
PROPERTY: SmartHome-PT-08-CTLFireability-15 (AU( (! ( (! ((potential((tk(P214)>=1))))) | ((potential((tk(P46)>=1)))) )) , (! (EF( ((potential((tk(P175)>=1))))))) ))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-08"
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 SmartHome-PT-08, 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 r224-oct2-159033538300060"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-08.tgz
mv SmartHome-PT-08 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 '
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 ;