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.r018-oct2-158897680000460.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 BusinessProcesses-PT-02, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000460
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.6K Mar 26 02:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 02:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 59K Mar 24 05:37 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 BusinessProcesses-PT-02-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-02-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589017194044

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 02
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: 262 places, 219 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 34844 SOS 11834 HAS SOPS 11834 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11630.834
AT ITER 12 NEW BEST:: SOT 34812 SOS 11791 HAS SOPS 11791 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11587.791
AT ITER 18 NEW BEST:: SOT 34904 SOS 11896 HAS SOPS 11896 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11537.896
AT ITER 19 NEW BEST:: SOT 34893 SOS 11885 HAS SOPS 11885 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11526.885
AT ITER 29 NEW BEST:: SOT 34890 SOS 11883 HAS SOPS 11883 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11524.883
AT ITER 33 NEW BEST:: SOT 34825 SOS 11716 HAS SOPS 11716 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11472.716
AT ITER 37 NEW BEST:: SOT 34825 SOS 11697 HAS SOPS 11697 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11453.697
AT ITER 41 NEW BEST:: SOT 34765 SOS 11577 HAS SOPS 11577 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11333.577
AT ITER 52 NEW BEST:: SOT 34764 SOS 11576 HAS SOPS 11576 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11332.576
AT ITER 57 NEW BEST:: SOT 33732 SOS 11982 HAS SOPS 11982 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10405.982
AT ITER 59 NEW BEST:: SOT 33683 SOS 11884 HAS SOPS 11884 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10392.884
AT ITER 65 NEW BEST:: SOT 33676 SOS 11882 HAS SOPS 11882 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10391.882
AT ITER 68 NEW BEST:: SOT 33676 SOS 11843 HAS SOPS 11843 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.843
AT ITER 91 NEW BEST:: SOT 33640 SOS 11776 HAS SOPS 11776 HAS SOUS 10301 HAS SOUPS 10301 WITH SCORE 10312.776
AT ITER 92 NEW BEST:: SOT 33601 SOS 11669 HAS SOPS 11669 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10231.669
AT ITER 94 NEW BEST:: SOT 33639 SOS 11666 HAS SOPS 11666 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10228.666
AT ITER 112 NEW BEST:: SOT 33524 SOS 11503 HAS SOPS 11503 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10115.503
AT ITER 123 NEW BEST:: SOT 33514 SOS 11474 HAS SOPS 11474 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.474
AT ITER 133 NEW BEST:: SOT 33521 SOS 11419 HAS SOPS 11419 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10061.419
AT ITER 140 NEW BEST:: SOT 33504 SOS 11401 HAS SOPS 11401 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10059.401
AT ITER 146 NEW BEST:: SOT 33503 SOS 11399 HAS SOPS 11399 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.399
AT ITER 149 NEW BEST:: SOT 33467 SOS 11290 HAS SOPS 11290 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9946.29
AT ITER 152 NEW BEST:: SOT 33470 SOS 11288 HAS SOPS 11288 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9941.288
AT ITER 153 NEW BEST:: SOT 33470 SOS 11220 HAS SOPS 11220 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9873.22
AT ITER 163 NEW BEST:: SOT 33469 SOS 11218 HAS SOPS 11218 HAS SOUS 9860 HAS SOUPS 9860 WITH SCORE 9871.218
AT ITER 167 NEW BEST:: SOT 33469 SOS 11203 HAS SOPS 11203 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9867.203
AT ITER 171 NEW BEST:: SOT 33404 SOS 11111 HAS SOPS 11111 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9840.111
AT ITER 172 NEW BEST:: SOT 33404 SOS 11066 HAS SOPS 11066 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9795.066
AT ITER 173 NEW BEST:: SOT 33368 SOS 10994 HAS SOPS 10994 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9669.994
AT ITER 177 NEW BEST:: SOT 33368 SOS 10970 HAS SOPS 10970 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9645.97
AT ITER 187 NEW BEST:: SOT 33556 SOS 11038 HAS SOPS 11038 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9641.038
AT ITER 204 NEW BEST:: SOT 33544 SOS 11046 HAS SOPS 11046 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9597.046
AT ITER 226 NEW BEST:: SOT 33490 SOS 10933 HAS SOPS 10933 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9542.933
AT ITER 232 NEW BEST:: SOT 33429 SOS 10801 HAS SOPS 10801 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9410.801
AT ITER 241 NEW BEST:: SOT 33326 SOS 10698 HAS SOPS 10698 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9307.698
AT ITER 252 NEW BEST:: SOT 33275 SOS 10636 HAS SOPS 10636 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9182.636
AT ITER 272 NEW BEST:: SOT 33275 SOS 10634 HAS SOPS 10634 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9180.634
AT ITER 288 NEW BEST:: SOT 33274 SOS 10633 HAS SOPS 10633 HAS SOUS 9169 HAS SOUPS 9169 WITH SCORE 9179.633
AT ITER 325 NEW BEST:: SOT 33237 SOS 10557 HAS SOPS 10557 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9103.557
AT ITER 327 NEW BEST:: SOT 33211 SOS 10531 HAS SOPS 10531 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9103.531
AT ITER 339 NEW BEST:: SOT 33209 SOS 10529 HAS SOPS 10529 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.529
AT ITER 351 NEW BEST:: SOT 33206 SOS 10526 HAS SOPS 10526 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9098.526
AT ITER 353 NEW BEST:: SOT 33208 SOS 10524 HAS SOPS 10524 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9096.524
AT ITER 361 NEW BEST:: SOT 33208 SOS 10523 HAS SOPS 10523 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9095.523
AT ITER 369 NEW BEST:: SOT 33083 SOS 10436 HAS SOPS 10436 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8973.436
AT ITER 380 NEW BEST:: SOT 33083 SOS 10423 HAS SOPS 10423 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8960.423
AT ITER 392 NEW BEST:: SOT 33076 SOS 10416 HAS SOPS 10416 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8953.416
AT ITER 401 NEW BEST:: SOT 33055 SOS 10374 HAS SOPS 10374 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8932.374
AT ITER 402 NEW BEST:: SOT 33028 SOS 10312 HAS SOPS 10312 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8897.312
AT ITER 417 NEW BEST:: SOT 33022 SOS 10300 HAS SOPS 10300 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8885.3
AT ITER 425 NEW BEST:: SOT 33009 SOS 10294 HAS SOPS 10294 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8879.294
AT ITER 432 NEW BEST:: SOT 33005 SOS 10286 HAS SOPS 10286 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8867.286
AT ITER 463 NEW BEST:: SOT 33006 SOS 10271 HAS SOPS 10271 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8834.271
AT ITER 466 NEW BEST:: SOT 32994 SOS 10259 HAS SOPS 10259 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8822.259
AT ITER 486 NEW BEST:: SOT 32943 SOS 10216 HAS SOPS 10216 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8820.216
AT ITER 489 NEW BEST:: SOT 32935 SOS 10208 HAS SOPS 10208 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8816.208
AT ITER 491 NEW BEST:: SOT 32884 SOS 10147 HAS SOPS 10147 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.147
AT ITER 501 NEW BEST:: SOT 32882 SOS 10145 HAS SOPS 10145 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8763.145
AT ITER 503 NEW BEST:: SOT 32878 SOS 10145 HAS SOPS 10145 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8759.145
AT ITER 508 NEW BEST:: SOT 32828 SOS 10072 HAS SOPS 10072 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8686.072
AT ITER 509 NEW BEST:: SOT 32846 SOS 10049 HAS SOPS 10049 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8675.049
AT ITER 528 NEW BEST:: SOT 32842 SOS 10043 HAS SOPS 10043 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8669.043
AT ITER 535 NEW BEST:: SOT 32841 SOS 10041 HAS SOPS 10041 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8667.041
AT ITER 536 NEW BEST:: SOT 32816 SOS 9980 HAS SOPS 9980 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8579.98
AT ITER 546 NEW BEST:: SOT 32818 SOS 9971 HAS SOPS 9971 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8570.971
AT ITER 547 NEW BEST:: SOT 32795 SOS 9930 HAS SOPS 9930 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8520.93
AT ITER 555 NEW BEST:: SOT 32793 SOS 9928 HAS SOPS 9928 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8518.928
AT ITER 558 NEW BEST:: SOT 32787 SOS 9916 HAS SOPS 9916 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8505.916
AT ITER 569 NEW BEST:: SOT 32772 SOS 9922 HAS SOPS 9922 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8475.922
AT ITER 571 NEW BEST:: SOT 32675 SOS 9825 HAS SOPS 9825 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8378.825
AT ITER 603 NEW BEST:: SOT 32656 SOS 9824 HAS SOPS 9824 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8377.824
AT ITER 621 NEW BEST:: SOT 32697 SOS 9818 HAS SOPS 9818 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8371.818
AT ITER 623 NEW BEST:: SOT 32684 SOS 9805 HAS SOPS 9805 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8358.805
AT ITER 632 NEW BEST:: SOT 32676 SOS 9796 HAS SOPS 9796 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8356.796
AT ITER 634 NEW BEST:: SOT 32675 SOS 9771 HAS SOPS 9771 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.771
AT ITER 646 NEW BEST:: SOT 32675 SOS 9779 HAS SOPS 9779 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8336.779
AT ITER 683 NEW BEST:: SOT 32675 SOS 9778 HAS SOPS 9778 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.778
AT ITER 712 NEW BEST:: SOT 32650 SOS 9728 HAS SOPS 9728 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.728
AT ITER 714 NEW BEST:: SOT 32676 SOS 9683 HAS SOPS 9683 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8243.683
AT ITER 716 NEW BEST:: SOT 32707 SOS 9653 HAS SOPS 9653 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.653
AT ITER 744 NEW BEST:: SOT 32701 SOS 9647 HAS SOPS 9647 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8176.647
AT ITER 745 NEW BEST:: SOT 32645 SOS 9487 HAS SOPS 9487 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8128.487
AT ITER 746 NEW BEST:: SOT 32610 SOS 9333 HAS SOPS 9333 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8009.333
AT ITER 769 NEW BEST:: SOT 32541 SOS 9271 HAS SOPS 9271 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7987.271
AT ITER 777 NEW BEST:: SOT 32535 SOS 9265 HAS SOPS 9265 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7981.265
AT ITER 787 NEW BEST:: SOT 32516 SOS 9227 HAS SOPS 9227 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7943.227
AT ITER 797 NEW BEST:: SOT 32470 SOS 9181 HAS SOPS 9181 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7943.181
AT ITER 804 NEW BEST:: SOT 32429 SOS 9123 HAS SOPS 9123 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7894.123
AT ITER 805 NEW BEST:: SOT 32428 SOS 9124 HAS SOPS 9124 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7893.124
AT ITER 816 NEW BEST:: SOT 32425 SOS 9115 HAS SOPS 9115 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7887.115
AT ITER 820 NEW BEST:: SOT 32423 SOS 9111 HAS SOPS 9111 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7883.111
AT ITER 827 NEW BEST:: SOT 32423 SOS 9097 HAS SOPS 9097 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7869.097
AT ITER 845 NEW BEST:: SOT 32434 SOS 9085 HAS SOPS 9085 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7857.085
AT ITER 852 NEW BEST:: SOT 32434 SOS 9084 HAS SOPS 9084 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7856.084
AT ITER 853 NEW BEST:: SOT 32433 SOS 9082 HAS SOPS 9082 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7854.082
AT ITER 856 NEW BEST:: SOT 32420 SOS 9056 HAS SOPS 9056 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.056
AT ITER 867 NEW BEST:: SOT 32411 SOS 9047 HAS SOPS 9047 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7819.047
AT ITER 896 NEW BEST:: SOT 32416 SOS 9032 HAS SOPS 9032 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7797.032
AT ITER 912 NEW BEST:: SOT 32416 SOS 9018 HAS SOPS 9018 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7797.018
AT ITER 929 NEW BEST:: SOT 32421 SOS 9023 HAS SOPS 9023 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7781.023
AT ITER 941 NEW BEST:: SOT 32387 SOS 8982 HAS SOPS 8982 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7766.982
AT ITER 953 NEW BEST:: SOT 32360 SOS 8928 HAS SOPS 8928 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7712.928
AT ITER 959 NEW BEST:: SOT 32354 SOS 8871 HAS SOPS 8871 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7655.871
AT ITER 980 NEW BEST:: SOT 32349 SOS 8861 HAS SOPS 8861 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.861
AT ITER 986 NEW BEST:: SOT 32348 SOS 8860 HAS SOPS 8860 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.86
AT ITER 993 NEW BEST:: SOT 32381 SOS 8859 HAS SOPS 8859 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7648.859
AT ITER 995 NEW BEST:: SOT 32391 SOS 8831 HAS SOPS 8831 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7620.831
AT ITER 1007 NEW BEST:: SOT 32359 SOS 8830 HAS SOPS 8830 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7619.83
AT ITER 1015 NEW BEST:: SOT 32389 SOS 8860 HAS SOPS 8860 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.86
AT ITER 1027 NEW BEST:: SOT 32387 SOS 8856 HAS SOPS 8856 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7602.856
AT ITER 1031 NEW BEST:: SOT 32388 SOS 8827 HAS SOPS 8827 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.827
AT ITER 1032 NEW BEST:: SOT 32372 SOS 8764 HAS SOPS 8764 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.764
AT ITER 1055 NEW BEST:: SOT 32364 SOS 8756 HAS SOPS 8756 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.756
AT ITER 1056 NEW BEST:: SOT 32364 SOS 8755 HAS SOPS 8755 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7475.755
AT ITER 1074 NEW BEST:: SOT 32360 SOS 8747 HAS SOPS 8747 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.747
AT ITER 1075 NEW BEST:: SOT 32351 SOS 8730 HAS SOPS 8730 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.73
AT ITER 1095 NEW BEST:: SOT 32325 SOS 8678 HAS SOPS 8678 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7444.678
AT ITER 1104 NEW BEST:: SOT 32315 SOS 8663 HAS SOPS 8663 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.663
AT ITER 1117 NEW BEST:: SOT 32313 SOS 8659 HAS SOPS 8659 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7425.659
AT ITER 1125 NEW BEST:: SOT 32298 SOS 8659 HAS SOPS 8659 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7410.659
AT ITER 1143 NEW BEST:: SOT 32297 SOS 8658 HAS SOPS 8658 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7409.658
AT ITER 1159 NEW BEST:: SOT 32296 SOS 8656 HAS SOPS 8656 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7407.656
AT ITER 1164 NEW BEST:: SOT 32294 SOS 8652 HAS SOPS 8652 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7403.652
AT ITER 1188 NEW BEST:: SOT 32275 SOS 8557 HAS SOPS 8557 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.557
AT ITER 1197 NEW BEST:: SOT 32249 SOS 8546 HAS SOPS 8546 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7317.546
AT ITER 1219 NEW BEST:: SOT 32137 SOS 8443 HAS SOPS 8443 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7267.443
AT ITER 1222 NEW BEST:: SOT 32110 SOS 8392 HAS SOPS 8392 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7263.392
AT ITER 1227 NEW BEST:: SOT 32046 SOS 8328 HAS SOPS 8328 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7199.328
AT ITER 1241 NEW BEST:: SOT 32046 SOS 8315 HAS SOPS 8315 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7186.315
AT ITER 1242 NEW BEST:: SOT 32043 SOS 8298 HAS SOPS 8298 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.298
AT ITER 1258 NEW BEST:: SOT 32039 SOS 8290 HAS SOPS 8290 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.29
AT ITER 1267 NEW BEST:: SOT 32013 SOS 8263 HAS SOPS 8263 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7134.263
AT ITER 1297 NEW BEST:: SOT 32020 SOS 8243 HAS SOPS 8243 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7131.243
AT ITER 1299 NEW BEST:: SOT 32018 SOS 8235 HAS SOPS 8235 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7127.235
AT ITER 1313 NEW BEST:: SOT 32018 SOS 8235 HAS SOPS 8235 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.235
AT ITER 1314 NEW BEST:: SOT 32023 SOS 8232 HAS SOPS 8232 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7081.232
AT ITER 1331 NEW BEST:: SOT 32008 SOS 8217 HAS SOPS 8217 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.217
AT ITER 1372 NEW BEST:: SOT 31998 SOS 8156 HAS SOPS 8156 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7005.156
AT ITER 1397 NEW BEST:: SOT 31993 SOS 8155 HAS SOPS 8155 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7004.155
AT ITER 1403 NEW BEST:: SOT 31985 SOS 8128 HAS SOPS 8128 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6977.128
AT ITER 1407 NEW BEST:: SOT 31979 SOS 8124 HAS SOPS 8124 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.124
AT ITER 1434 NEW BEST:: SOT 31928 SOS 8080 HAS SOPS 8080 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6929.08
AT ITER 1459 NEW BEST:: SOT 31946 SOS 8093 HAS SOPS 8093 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6919.093
AT ITER 1499 NEW BEST:: SOT 31959 SOS 8088 HAS SOPS 8088 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.088
AT ITER 1530 NEW BEST:: SOT 31950 SOS 8079 HAS SOPS 8079 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.079
AT ITER 1554 NEW BEST:: SOT 31950 SOS 8079 HAS SOPS 8079 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6907.079
AT ITER 1557 NEW BEST:: SOT 31937 SOS 8066 HAS SOPS 8066 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6894.066
AT ITER 1561 NEW BEST:: SOT 31933 SOS 8029 HAS SOPS 8029 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.029
AT ITER 1572 NEW BEST:: SOT 31928 SOS 8026 HAS SOPS 8026 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6854.026
AT ITER 1595 NEW BEST:: SOT 31902 SOS 7999 HAS SOPS 7999 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6827.999
AT ITER 1616 NEW BEST:: SOT 31971 SOS 7957 HAS SOPS 7957 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.957
AT ITER 1653 NEW BEST:: SOT 31956 SOS 7957 HAS SOPS 7957 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6799.957
AT ITER 1656 NEW BEST:: SOT 31922 SOS 7916 HAS SOPS 7916 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6758.916
AT ITER 1678 NEW BEST:: SOT 31922 SOS 7913 HAS SOPS 7913 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6755.913
AT ITER 1680 NEW BEST:: SOT 31880 SOS 8355 HAS SOPS 8355 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6750.355
AT ITER 1682 NEW BEST:: SOT 31902 SOS 8367 HAS SOPS 8367 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.367
AT ITER 1687 NEW BEST:: SOT 31900 SOS 8355 HAS SOPS 8355 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6724.355
AT ITER 1716 NEW BEST:: SOT 31900 SOS 8348 HAS SOPS 8348 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6717.348
AT ITER 1729 NEW BEST:: SOT 31853 SOS 8339 HAS SOPS 8339 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6708.339
AT ITER 1742 NEW BEST:: SOT 31849 SOS 8331 HAS SOPS 8331 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6707.331
AT ITER 1749 NEW BEST:: SOT 31829 SOS 8319 HAS SOPS 8319 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6695.319
AT ITER 1777 NEW BEST:: SOT 31827 SOS 8243 HAS SOPS 8243 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6619.243
AT ITER 1779 NEW BEST:: SOT 31819 SOS 8239 HAS SOPS 8239 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6615.239
AT ITER 1834 NEW BEST:: SOT 31813 SOS 8217 HAS SOPS 8217 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.217
AT ITER 1869 NEW BEST:: SOT 31813 SOS 8210 HAS SOPS 8210 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.21
AT ITER 1874 NEW BEST:: SOT 31805 SOS 8194 HAS SOPS 8194 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6585.194
AT ITER 1885 NEW BEST:: SOT 31783 SOS 8172 HAS SOPS 8172 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6585.172
AT ITER 1918 NEW BEST:: SOT 31769 SOS 8144 HAS SOPS 8144 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6543.144
AT ITER 1921 NEW BEST:: SOT 31766 SOS 8141 HAS SOPS 8141 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6540.141
AT ITER 1926 NEW BEST:: SOT 31761 SOS 8136 HAS SOPS 8136 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6540.136
AT ITER 1934 NEW BEST:: SOT 31735 SOS 8084 HAS SOPS 8084 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6485.084
AT ITER 1942 NEW BEST:: SOT 31731 SOS 8082 HAS SOPS 8082 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6483.082
AT ITER 1943 NEW BEST:: SOT 31725 SOS 8070 HAS SOPS 8070 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6477.07
AT ITER 1952 NEW BEST:: SOT 31729 SOS 8045 HAS SOPS 8045 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6452.045
AT ITER 1998 NEW BEST:: SOT 31736 SOS 8037 HAS SOPS 8037 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6444.037
AT ITER 2006 NEW BEST:: SOT 31713 SOS 8044 HAS SOPS 8044 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6425.044
AT ITER 2011 NEW BEST:: SOT 31709 SOS 8036 HAS SOPS 8036 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6421.036
AT ITER 2022 NEW BEST:: SOT 31709 SOS 7995 HAS SOPS 7995 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6420.995
AT ITER 2054 NEW BEST:: SOT 31711 SOS 7999 HAS SOPS 7999 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6399.999
AT ITER 2111 NEW BEST:: SOT 31701 SOS 7987 HAS SOPS 7987 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6387.987
AT ITER 2117 NEW BEST:: SOT 31695 SOS 7975 HAS SOPS 7975 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6375.975
AT ITER 2173 NEW BEST:: SOT 31672 SOS 7921 HAS SOPS 7921 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.921
AT ITER 2174 NEW BEST:: SOT 31698 SOS 7938 HAS SOPS 7938 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6350.938
AT ITER 2220 NEW BEST:: SOT 31698 SOS 7910 HAS SOPS 7910 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6332.91
AT ITER 2279 NEW BEST:: SOT 31698 SOS 7902 HAS SOPS 7902 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6324.902
AT ITER 2302 NEW BEST:: SOT 31683 SOS 7880 HAS SOPS 7880 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6309.88
AT ITER 2394 NEW BEST:: SOT 31677 SOS 7869 HAS SOPS 7869 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6302.869
AT ITER 2408 NEW BEST:: SOT 31677 SOS 7864 HAS SOPS 7864 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6297.864
AT ITER 2448 NEW BEST:: SOT 31670 SOS 7850 HAS SOPS 7850 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.85
AT ITER 2450 NEW BEST:: SOT 31644 SOS 7827 HAS SOPS 7827 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.827
AT ITER 2462 NEW BEST:: SOT 31640 SOS 7819 HAS SOPS 7819 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6282.819
AT ITER 2500 NEW BEST:: SOT 31615 SOS 7806 HAS SOPS 7806 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.806
AT ITER 2509 NEW BEST:: SOT 31613 SOS 7805 HAS SOPS 7805 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6268.805
AT ITER 2514 NEW BEST:: SOT 31613 SOS 7798 HAS SOPS 7798 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.798
AT ITER 2554 NEW BEST:: SOT 31638 SOS 7757 HAS SOPS 7757 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6220.757
AT ITER 2563 NEW BEST:: SOT 31639 SOS 7737 HAS SOPS 7737 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.737
AT ITER 2567 NEW BEST:: SOT 31639 SOS 7736 HAS SOPS 7736 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.736
AT ITER 2611 NEW BEST:: SOT 31639 SOS 7717 HAS SOPS 7717 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6194.717
AT ITER 2617 NEW BEST:: SOT 31639 SOS 7711 HAS SOPS 7711 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6188.711
AT ITER 2657 NEW BEST:: SOT 31608 SOS 7680 HAS SOPS 7680 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6155.68
AT ITER 2662 NEW BEST:: SOT 31604 SOS 7672 HAS SOPS 7672 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.672
AT ITER 2668 NEW BEST:: SOT 31589 SOS 7669 HAS SOPS 7669 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.669
AT ITER 2673 NEW BEST:: SOT 31589 SOS 7664 HAS SOPS 7664 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.664
AT ITER 2692 NEW BEST:: SOT 31585 SOS 7658 HAS SOPS 7658 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6125.658
AT ITER 2705 NEW BEST:: SOT 31585 SOS 7655 HAS SOPS 7655 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6122.655
AT ITER 2734 NEW BEST:: SOT 31572 SOS 7642 HAS SOPS 7642 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6122.642
AT ITER 2745 NEW BEST:: SOT 31559 SOS 7617 HAS SOPS 7617 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.617
AT ITER 2756 NEW BEST:: SOT 31559 SOS 7610 HAS SOPS 7610 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6090.61
AT ITER 2783 NEW BEST:: SOT 31553 SOS 7599 HAS SOPS 7599 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6079.599
AT ITER 2788 NEW BEST:: SOT 31552 SOS 7598 HAS SOPS 7598 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6078.598
AT ITER 2811 NEW BEST:: SOT 31567 SOS 7613 HAS SOPS 7613 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6068.613
AT ITER 2818 NEW BEST:: SOT 31555 SOS 7600 HAS SOPS 7600 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.6
AT ITER 2826 NEW BEST:: SOT 31549 SOS 7592 HAS SOPS 7592 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.592
AT ITER 2862 NEW BEST:: SOT 31549 SOS 7586 HAS SOPS 7586 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6041.586
AT ITER 2895 NEW BEST:: SOT 31548 SOS 7584 HAS SOPS 7584 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6040.584
AT ITER 2911 NEW BEST:: SOT 31552 SOS 7582 HAS SOPS 7582 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6038.582
AT ITER 3002 NEW BEST:: SOT 31551 SOS 7580 HAS SOPS 7580 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6036.58
AT ITER 3019 NEW BEST:: SOT 31539 SOS 7570 HAS SOPS 7570 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6036.57
AT ITER 3064 NEW BEST:: SOT 31536 SOS 7564 HAS SOPS 7564 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.564
AT ITER 3075 NEW BEST:: SOT 31536 SOS 7563 HAS SOPS 7563 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6029.563
AT ITER 3078 NEW BEST:: SOT 31528 SOS 7534 HAS SOPS 7534 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6016.534
AT ITER 3102 NEW BEST:: SOT 31527 SOS 7532 HAS SOPS 7532 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6014.532
AT ITER 3112 NEW BEST:: SOT 31536 SOS 7530 HAS SOPS 7530 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.53
AT ITER 3183 NEW BEST:: SOT 31536 SOS 7518 HAS SOPS 7518 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5985.518
AT ITER 3189 NEW BEST:: SOT 31534 SOS 7515 HAS SOPS 7515 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5983.515
AT ITER 3258 NEW BEST:: SOT 31532 SOS 7503 HAS SOPS 7503 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5971.503
AT ITER 3263 NEW BEST:: SOT 31531 SOS 7501 HAS SOPS 7501 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.501
AT ITER 3284 NEW BEST:: SOT 31530 SOS 7497 HAS SOPS 7497 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.497
AT ITER 3305 NEW BEST:: SOT 31530 SOS 7495 HAS SOPS 7495 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5963.495
AT ITER 3328 NEW BEST:: SOT 31516 SOS 7467 HAS SOPS 7467 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5935.467
AT ITER 3356 NEW BEST:: SOT 31489 SOS 7413 HAS SOPS 7413 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.413
AT ITER 3373 NEW BEST:: SOT 31485 SOS 7412 HAS SOPS 7412 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.412
AT ITER 3442 NEW BEST:: SOT 31474 SOS 7401 HAS SOPS 7401 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.401
AT ITER 3457 NEW BEST:: SOT 31472 SOS 7374 HAS SOPS 7374 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5895.374
AT ITER 3458 NEW BEST:: SOT 31470 SOS 7372 HAS SOPS 7372 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5893.372
AT ITER 3462 NEW BEST:: SOT 31469 SOS 7371 HAS SOPS 7371 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5892.371
AT ITER 3518 NEW BEST:: SOT 31469 SOS 7370 HAS SOPS 7370 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5891.37
AT ITER 3544 NEW BEST:: SOT 31467 SOS 7369 HAS SOPS 7369 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5890.369
AT ITER 3617 NEW BEST:: SOT 31463 SOS 7361 HAS SOPS 7361 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5882.361
AT ITER 3644 NEW BEST:: SOT 31427 SOS 7334 HAS SOPS 7334 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5855.334
AT ITER 3659 NEW BEST:: SOT 31424 SOS 7325 HAS SOPS 7325 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5846.325
AT ITER 3704 NEW BEST:: SOT 31414 SOS 7311 HAS SOPS 7311 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5838.311
AT ITER 3737 NEW BEST:: SOT 31412 SOS 7305 HAS SOPS 7305 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5832.305
AT ITER 3783 NEW BEST:: SOT 31404 SOS 7289 HAS SOPS 7289 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5830.289
AT ITER 3837 NEW BEST:: SOT 31400 SOS 7281 HAS SOPS 7281 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5822.281
AT ITER 3870 NEW BEST:: SOT 31385 SOS 7273 HAS SOPS 7273 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5814.273
AT ITER 3878 NEW BEST:: SOT 31385 SOS 7266 HAS SOPS 7266 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5804.266
AT ITER 3906 NEW BEST:: SOT 31377 SOS 7250 HAS SOPS 7250 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5788.25
AT ITER 3917 NEW BEST:: SOT 31374 SOS 7247 HAS SOPS 7247 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5785.247
AT ITER 3930 NEW BEST:: SOT 31364 SOS 7237 HAS SOPS 7237 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5785.237
AT ITER 4076 NEW BEST:: SOT 31362 SOS 7233 HAS SOPS 7233 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.233
AT ITER 4080 NEW BEST:: SOT 31376 SOS 7231 HAS SOPS 7231 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5774.231
AT ITER 4117 NEW BEST:: SOT 31390 SOS 7223 HAS SOPS 7223 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5766.223
AT ITER 4135 NEW BEST:: SOT 31391 SOS 7225 HAS SOPS 7225 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5759.225
AT ITER 4147 NEW BEST:: SOT 31395 SOS 7223 HAS SOPS 7223 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5757.223
AT ITER 4175 NEW BEST:: SOT 31395 SOS 7222 HAS SOPS 7222 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5756.222
AT ITER 4187 NEW BEST:: SOT 31402 SOS 7229 HAS SOPS 7229 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5748.229
AT ITER 4284 NEW BEST:: SOT 31401 SOS 7218 HAS SOPS 7218 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5737.218
AT ITER 4301 NEW BEST:: SOT 31400 SOS 7216 HAS SOPS 7216 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5735.216
AT ITER 4361 NEW BEST:: SOT 31394 SOS 7208 HAS SOPS 7208 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5727.208
AT ITER 4558 NEW BEST:: SOT 31391 SOS 7198 HAS SOPS 7198 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5721.198
AT ITER 4581 NEW BEST:: SOT 31388 SOS 7193 HAS SOPS 7193 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5713.193
AT ITER 4618 NEW BEST:: SOT 31379 SOS 7175 HAS SOPS 7175 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5704.175
AT ITER 4630 NEW BEST:: SOT 31388 SOS 7182 HAS SOPS 7182 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5692.182
AT ITER 4631 NEW BEST:: SOT 31371 SOS 7148 HAS SOPS 7148 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5690.148
AT ITER 4645 NEW BEST:: SOT 31378 SOS 7155 HAS SOPS 7155 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5689.155
AT ITER 4818 NEW BEST:: SOT 31348 SOS 7132 HAS SOPS 7132 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5666.132
AT ITER 4845 NEW BEST:: SOT 31346 SOS 7120 HAS SOPS 7120 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5654.12
AT ITER 4883 NEW BEST:: SOT 31349 SOS 7126 HAS SOPS 7126 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5637.126
AT ITER 4927 NEW BEST:: SOT 31346 SOS 7123 HAS SOPS 7123 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5631.123
AT ITER 4995 NEW BEST:: SOT 31346 SOS 7121 HAS SOPS 7121 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5631.121
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-02-CTLFireability-00 (! (EF( ((potential((tk(P71)>=1)))))))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-01 (EU( (! ((potential((tk(P42)>=1))))) , ((potential((tk(P179)>=1) & (tk(P64)>=1) & (tk(P256)>=1)))) ))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-02 (EF( ( ((potential((tk(P13)>=1)))) | (EF( ( ((potential((tk(P87)>=1)))) & ((potential((tk(P76)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-03 (EU( ( (EG( ((potential((tk(P237)>=1)))))) | ( (! ((potential((tk(P194)>=1) & (tk(P56)>=1) & (tk(P256)>=1))))) | (! ((potential((tk(P130)>=1) & (tk(P19)>=1) & (tk(P213)>=1))))) ) ) , (AU( ((potential((tk(P198)>=1)))) , ((potential((tk(P205)>=1)))) )) ))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-04 (EF( ((potential((tk(P117)>=1))))))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-05 ( ( (EG( (AG( ((potential((tk(P237)>=1)))))))) | ((potential((tk(P117)>=1)))) ) | (EU( ( ( ((potential((tk(P212)>=1)))) | ((potential((tk(P87)>=1)))) ) & (! ((potential((tk(P35)>=1))))) ) , (EF( ((potential((tk(P16)>=1)))))) )) )
PROPERTY: BusinessProcesses-PT-02-CTLFireability-06 (EX( (EF( ( ( ((potential((tk(P200)>=1)))) | ((potential((tk(P239)>=1)))) ) & ( ((potential((tk(P156)>=1)))) & ((potential((tk(P160)>=1) & (tk(P34)>=1) & (tk(P225)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-07 (! (EU( (! ( ((potential((tk(P18)>=1)))) & ((potential((tk(P223)>=1)))) )) , ((potential((tk(P238)>=1)))) )))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-08 (EF( (AU( ((potential((tk(P165)>=1) & (tk(P39)>=1) & (tk(P201)>=1)))) , ((potential((tk(P69)>=1)))) ))))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-09 (EF( ( (AF( ( ((potential((tk(P203)>=1)))) & ((potential((tk(P205)>=1)))) ))) & (! (EG( ((potential((tk(P107)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-10 (AG( (EF( (EX( ((potential((tk(P7)>=1))))))))))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-11 (EF( ( ((potential((tk(P140)>=1) & (tk(P77)>=1) & (tk(P244)>=1)))) & (EX( ( ((potential((tk(P13)>=1)))) | ((potential((tk(P109)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-12 (EF( (AF( ( ( ((potential((tk(P251)>=1)))) & ((potential((tk(P250)>=1)))) ) | ( ((potential((tk(P122)>=1)))) & ((potential((tk(P247)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-02-CTLFireability-13 ( ( (AF( ( ((potential((tk(P146)>=1)))) | ( ((potential((tk(P247)>=1)))) & ((potential((tk(P104)>=1)))) ) ))) | (AX( ( ( ((potential((tk(P37)>=1)))) | ((potential((tk(P204)>=1)))) ) | (! ((potential((tk(P15)>=1))))) ))) ) & (EG( (! (EF( ((potential((tk(P230)>=1))))))))) )
PROPERTY: BusinessProcesses-PT-02-CTLFireability-14 ( (! (EF( (AF( ((potential((tk(P114)>=1))))))))) | ( ( (AG( ( ((potential((tk(P178)>=1)))) & ((potential((tk(P140)>=1) & (tk(P77)>=1) & (tk(P244)>=1)))) ))) & ( (AG( ((potential((tk(P131)>=1)))))) & ((potential((tk(P233)>=1)))) ) ) & ( (! (AG( ((potential((tk(P173)>=1))))))) | (AG( (! ((potential((tk(P247)>=1))))))) ) ) )
PROPERTY: BusinessProcesses-PT-02-CTLFireability-15 ( ( (! ((potential((tk(P150)>=1) & (tk(P27)>=1) & (tk(P219)>=1))))) | ((potential((tk(P249)>=1)))) ) & ( (EF( (AG( ((potential((tk(P16)>=1)))))))) | ( ( (AX( ((potential((tk(P82)>=1)))))) | (AF( ((potential((tk(P200)>=1)))))) ) & ( (AX( ((potential((tk(P86)>=1)))))) & ( ( ((potential((tk(P208)>=1)))) | ((potential((tk(P13)>=1)))) ) | ( ((potential((tk(P30)>=1)))) & ((potential((tk(P116)>=1)))) ) ) ) ) ) )
FORMULA BusinessProcesses-PT-02-CTLFireability-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA BusinessProcesses-PT-02-CTLFireability-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA BusinessProcesses-PT-02-CTLFireability-02 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="BusinessProcesses-PT-02"
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 BusinessProcesses-PT-02, 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 r018-oct2-158897680000460"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-02.tgz
mv BusinessProcesses-PT-02 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;