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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.0K Mar 26 02:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K 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 16K 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.1K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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.7K 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 47K 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-01-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-01-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589016732423

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 01
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: 200 places, 178 transitions, 487 arcs.
AT ITER 0 NEW BEST:: SOT 22783 SOS 8623 HAS SOPS 8623 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8326.623
AT ITER 7 NEW BEST:: SOT 22688 SOS 8561 HAS SOPS 8561 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8250.561
AT ITER 16 NEW BEST:: SOT 22669 SOS 8547 HAS SOPS 8547 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8236.547
AT ITER 18 NEW BEST:: SOT 22668 SOS 8543 HAS SOPS 8543 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8232.543
AT ITER 35 NEW BEST:: SOT 22622 SOS 8469 HAS SOPS 8469 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8158.469
AT ITER 39 NEW BEST:: SOT 22574 SOS 8457 HAS SOPS 8457 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8146.457
AT ITER 40 NEW BEST:: SOT 22574 SOS 8443 HAS SOPS 8443 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8132.443
AT ITER 45 NEW BEST:: SOT 22574 SOS 8318 HAS SOPS 8318 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8116.318
AT ITER 53 NEW BEST:: SOT 22535 SOS 8251 HAS SOPS 8251 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8049.251
AT ITER 54 NEW BEST:: SOT 22529 SOS 8250 HAS SOPS 8250 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8048.25
AT ITER 55 NEW BEST:: SOT 22529 SOS 8236 HAS SOPS 8236 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8034.236
AT ITER 56 NEW BEST:: SOT 22529 SOS 8202 HAS SOPS 8202 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8000.202
AT ITER 61 NEW BEST:: SOT 22529 SOS 8197 HAS SOPS 8197 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7995.197
AT ITER 70 NEW BEST:: SOT 22486 SOS 8114 HAS SOPS 8114 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7910.114
AT ITER 84 NEW BEST:: SOT 22385 SOS 8016 HAS SOPS 8016 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7812.016
AT ITER 85 NEW BEST:: SOT 22355 SOS 7936 HAS SOPS 7936 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7731.936
AT ITER 87 NEW BEST:: SOT 22355 SOS 7929 HAS SOPS 7929 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7724.929
AT ITER 100 NEW BEST:: SOT 22470 SOS 7883 HAS SOPS 7883 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7678.883
AT ITER 101 NEW BEST:: SOT 22470 SOS 7864 HAS SOPS 7864 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7659.864
AT ITER 107 NEW BEST:: SOT 22421 SOS 7815 HAS SOPS 7815 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7610.815
AT ITER 110 NEW BEST:: SOT 22420 SOS 7814 HAS SOPS 7814 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7609.814
AT ITER 123 NEW BEST:: SOT 22404 SOS 7814 HAS SOPS 7814 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7601.814
AT ITER 137 NEW BEST:: SOT 22397 SOS 7811 HAS SOPS 7811 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7571.811
AT ITER 147 NEW BEST:: SOT 22397 SOS 7800 HAS SOPS 7800 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7560.8
AT ITER 148 NEW BEST:: SOT 22378 SOS 7762 HAS SOPS 7762 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7522.762
AT ITER 157 NEW BEST:: SOT 22378 SOS 7751 HAS SOPS 7751 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7522.751
AT ITER 160 NEW BEST:: SOT 21798 SOS 9092 HAS SOPS 9092 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7161.092
AT ITER 162 NEW BEST:: SOT 21798 SOS 9092 HAS SOPS 9092 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7145.092
AT ITER 163 NEW BEST:: SOT 21789 SOS 9083 HAS SOPS 9083 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7141.083
AT ITER 170 NEW BEST:: SOT 21764 SOS 9058 HAS SOPS 9058 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7116.058
AT ITER 190 NEW BEST:: SOT 21716 SOS 8962 HAS SOPS 8962 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.962
AT ITER 196 NEW BEST:: SOT 21667 SOS 8864 HAS SOPS 8864 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6999.864
AT ITER 220 NEW BEST:: SOT 21682 SOS 8853 HAS SOPS 8853 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.853
AT ITER 221 NEW BEST:: SOT 21682 SOS 8853 HAS SOPS 8853 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6965.853
AT ITER 224 NEW BEST:: SOT 21689 SOS 8831 HAS SOPS 8831 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.831
AT ITER 231 NEW BEST:: SOT 21682 SOS 8794 HAS SOPS 8794 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6920.794
AT ITER 232 NEW BEST:: SOT 21595 SOS 8763 HAS SOPS 8763 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6889.763
AT ITER 245 NEW BEST:: SOT 21552 SOS 8694 HAS SOPS 8694 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6842.694
AT ITER 247 NEW BEST:: SOT 21526 SOS 8594 HAS SOPS 8594 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.594
AT ITER 252 NEW BEST:: SOT 21511 SOS 8564 HAS SOPS 8564 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6712.564
AT ITER 255 NEW BEST:: SOT 21604 SOS 8642 HAS SOPS 8642 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.642
AT ITER 258 NEW BEST:: SOT 21604 SOS 8638 HAS SOPS 8638 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.638
AT ITER 267 NEW BEST:: SOT 21481 SOS 8518 HAS SOPS 8518 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6529.518
AT ITER 271 NEW BEST:: SOT 21465 SOS 8486 HAS SOPS 8486 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6509.486
AT ITER 273 NEW BEST:: SOT 21454 SOS 8464 HAS SOPS 8464 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6487.464
AT ITER 282 NEW BEST:: SOT 21451 SOS 8461 HAS SOPS 8461 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6484.461
AT ITER 296 NEW BEST:: SOT 21420 SOS 8406 HAS SOPS 8406 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6429.406
AT ITER 301 NEW BEST:: SOT 21447 SOS 8433 HAS SOPS 8433 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6391.433
AT ITER 304 NEW BEST:: SOT 21403 SOS 8318 HAS SOPS 8318 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6329.318
AT ITER 306 NEW BEST:: SOT 21391 SOS 8317 HAS SOPS 8317 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6328.317
AT ITER 308 NEW BEST:: SOT 21367 SOS 8264 HAS SOPS 8264 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6275.264
AT ITER 323 NEW BEST:: SOT 21344 SOS 8265 HAS SOPS 8265 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6264.265
AT ITER 333 NEW BEST:: SOT 21276 SOS 8164 HAS SOPS 8164 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6198.164
AT ITER 365 NEW BEST:: SOT 21273 SOS 8161 HAS SOPS 8161 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6195.161
AT ITER 373 NEW BEST:: SOT 21229 SOS 8073 HAS SOPS 8073 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6131.073
AT ITER 402 NEW BEST:: SOT 21228 SOS 8059 HAS SOPS 8059 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6129.059
AT ITER 409 NEW BEST:: SOT 21203 SOS 8009 HAS SOPS 8009 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6079.009
AT ITER 422 NEW BEST:: SOT 21177 SOS 8001 HAS SOPS 8001 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6052.001
AT ITER 424 NEW BEST:: SOT 21166 SOS 7989 HAS SOPS 7989 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6044.989
AT ITER 429 NEW BEST:: SOT 21166 SOS 7987 HAS SOPS 7987 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6042.987
AT ITER 432 NEW BEST:: SOT 21161 SOS 7940 HAS SOPS 7940 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6007.94
AT ITER 433 NEW BEST:: SOT 21141 SOS 7918 HAS SOPS 7918 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5985.918
AT ITER 467 NEW BEST:: SOT 21101 SOS 7878 HAS SOPS 7878 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5985.878
AT ITER 477 NEW BEST:: SOT 21066 SOS 7817 HAS SOPS 7817 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5924.817
AT ITER 485 NEW BEST:: SOT 21058 SOS 7809 HAS SOPS 7809 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5916.809
AT ITER 489 NEW BEST:: SOT 21052 SOS 7803 HAS SOPS 7803 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5914.803
AT ITER 494 NEW BEST:: SOT 21052 SOS 7821 HAS SOPS 7821 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5913.821
AT ITER 495 NEW BEST:: SOT 21052 SOS 7817 HAS SOPS 7817 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5909.817
AT ITER 528 NEW BEST:: SOT 21048 SOS 7812 HAS SOPS 7812 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5904.812
AT ITER 545 NEW BEST:: SOT 21048 SOS 7797 HAS SOPS 7797 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5904.797
AT ITER 557 NEW BEST:: SOT 21048 SOS 7785 HAS SOPS 7785 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5892.785
AT ITER 564 NEW BEST:: SOT 21048 SOS 7783 HAS SOPS 7783 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5890.783
AT ITER 577 NEW BEST:: SOT 21010 SOS 7720 HAS SOPS 7720 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5827.72
AT ITER 583 NEW BEST:: SOT 20994 SOS 7708 HAS SOPS 7708 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.708
AT ITER 591 NEW BEST:: SOT 20997 SOS 7690 HAS SOPS 7690 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.69
AT ITER 594 NEW BEST:: SOT 20979 SOS 7635 HAS SOPS 7635 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5760.635
AT ITER 598 NEW BEST:: SOT 20896 SOS 7558 HAS SOPS 7558 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5711.558
AT ITER 607 NEW BEST:: SOT 20896 SOS 7539 HAS SOPS 7539 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5692.539
AT ITER 624 NEW BEST:: SOT 20896 SOS 7520 HAS SOPS 7520 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5673.52
AT ITER 628 NEW BEST:: SOT 20839 SOS 7485 HAS SOPS 7485 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5665.485
AT ITER 631 NEW BEST:: SOT 20839 SOS 7467 HAS SOPS 7467 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5647.467
AT ITER 634 NEW BEST:: SOT 20825 SOS 7453 HAS SOPS 7453 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5633.453
AT ITER 664 NEW BEST:: SOT 20805 SOS 7410 HAS SOPS 7410 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5590.41
AT ITER 679 NEW BEST:: SOT 20805 SOS 7396 HAS SOPS 7396 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5583.396
AT ITER 680 NEW BEST:: SOT 20796 SOS 7378 HAS SOPS 7378 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5565.378
AT ITER 686 NEW BEST:: SOT 20796 SOS 7369 HAS SOPS 7369 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5556.369
AT ITER 694 NEW BEST:: SOT 20796 SOS 7254 HAS SOPS 7254 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5441.254
AT ITER 703 NEW BEST:: SOT 20778 SOS 7218 HAS SOPS 7218 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5439.218
AT ITER 720 NEW BEST:: SOT 20767 SOS 7196 HAS SOPS 7196 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5430.196
AT ITER 724 NEW BEST:: SOT 20764 SOS 7190 HAS SOPS 7190 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5424.19
AT ITER 758 NEW BEST:: SOT 20760 SOS 7186 HAS SOPS 7186 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5420.186
AT ITER 763 NEW BEST:: SOT 20731 SOS 7163 HAS SOPS 7163 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5397.163
AT ITER 786 NEW BEST:: SOT 20717 SOS 7146 HAS SOPS 7146 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5380.146
AT ITER 794 NEW BEST:: SOT 20717 SOS 7146 HAS SOPS 7146 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5374.146
AT ITER 795 NEW BEST:: SOT 20711 SOS 7140 HAS SOPS 7140 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5368.14
AT ITER 804 NEW BEST:: SOT 20711 SOS 7138 HAS SOPS 7138 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5366.138
AT ITER 810 NEW BEST:: SOT 20710 SOS 7129 HAS SOPS 7129 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5349.129
AT ITER 817 NEW BEST:: SOT 20710 SOS 7126 HAS SOPS 7126 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5346.126
AT ITER 821 NEW BEST:: SOT 20709 SOS 7124 HAS SOPS 7124 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5344.124
AT ITER 832 NEW BEST:: SOT 20645 SOS 7060 HAS SOPS 7060 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5280.06
AT ITER 838 NEW BEST:: SOT 20643 SOS 7057 HAS SOPS 7057 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5278.057
AT ITER 839 NEW BEST:: SOT 20646 SOS 7056 HAS SOPS 7056 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5277.056
AT ITER 840 NEW BEST:: SOT 20646 SOS 7039 HAS SOPS 7039 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5260.039
AT ITER 843 NEW BEST:: SOT 20607 SOS 7000 HAS SOPS 7000 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5241.0
AT ITER 845 NEW BEST:: SOT 20602 SOS 6995 HAS SOPS 6995 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.995
AT ITER 848 NEW BEST:: SOT 20600 SOS 6982 HAS SOPS 6982 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.982
AT ITER 887 NEW BEST:: SOT 20530 SOS 6892 HAS SOPS 6892 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.892
AT ITER 888 NEW BEST:: SOT 20519 SOS 6881 HAS SOPS 6881 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5189.881
AT ITER 921 NEW BEST:: SOT 20519 SOS 6865 HAS SOPS 6865 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5178.865
AT ITER 929 NEW BEST:: SOT 20519 SOS 6849 HAS SOPS 6849 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5162.849
AT ITER 935 NEW BEST:: SOT 20484 SOS 6835 HAS SOPS 6835 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.835
AT ITER 969 NEW BEST:: SOT 20480 SOS 6832 HAS SOPS 6832 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5138.832
AT ITER 973 NEW BEST:: SOT 20483 SOS 6831 HAS SOPS 6831 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5137.831
AT ITER 992 NEW BEST:: SOT 20475 SOS 6807 HAS SOPS 6807 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5113.807
AT ITER 1019 NEW BEST:: SOT 20466 SOS 6833 HAS SOPS 6833 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5104.833
AT ITER 1027 NEW BEST:: SOT 20461 SOS 6822 HAS SOPS 6822 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5093.822
AT ITER 1029 NEW BEST:: SOT 20467 SOS 6594 HAS SOPS 6594 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.594
AT ITER 1052 NEW BEST:: SOT 20469 SOS 6598 HAS SOPS 6598 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5073.598
AT ITER 1065 NEW BEST:: SOT 20509 SOS 6629 HAS SOPS 6629 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5058.629
AT ITER 1066 NEW BEST:: SOT 20505 SOS 6625 HAS SOPS 6625 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5054.625
AT ITER 1080 NEW BEST:: SOT 20529 SOS 6630 HAS SOPS 6630 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5048.63
AT ITER 1095 NEW BEST:: SOT 20442 SOS 6659 HAS SOPS 6659 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5031.659
AT ITER 1118 NEW BEST:: SOT 20440 SOS 6659 HAS SOPS 6659 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5029.659
AT ITER 1132 NEW BEST:: SOT 20440 SOS 6644 HAS SOPS 6644 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5014.644
AT ITER 1153 NEW BEST:: SOT 20440 SOS 6644 HAS SOPS 6644 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5013.644
AT ITER 1155 NEW BEST:: SOT 20441 SOS 6643 HAS SOPS 6643 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.643
AT ITER 1158 NEW BEST:: SOT 20441 SOS 6643 HAS SOPS 6643 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4975.643
AT ITER 1160 NEW BEST:: SOT 20428 SOS 6623 HAS SOPS 6623 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.623
AT ITER 1301 NEW BEST:: SOT 20417 SOS 6619 HAS SOPS 6619 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.619
AT ITER 1307 NEW BEST:: SOT 20415 SOS 6613 HAS SOPS 6613 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4945.613
AT ITER 1332 NEW BEST:: SOT 20412 SOS 6610 HAS SOPS 6610 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4942.61
AT ITER 1334 NEW BEST:: SOT 20412 SOS 6565 HAS SOPS 6565 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4897.565
AT ITER 1339 NEW BEST:: SOT 20406 SOS 6553 HAS SOPS 6553 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4887.553
AT ITER 1354 NEW BEST:: SOT 20399 SOS 6579 HAS SOPS 6579 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4881.579
AT ITER 1361 NEW BEST:: SOT 20389 SOS 6568 HAS SOPS 6568 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4870.568
AT ITER 1415 NEW BEST:: SOT 20371 SOS 6550 HAS SOPS 6550 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4852.55
AT ITER 1470 NEW BEST:: SOT 20371 SOS 6549 HAS SOPS 6549 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4851.549
AT ITER 1543 NEW BEST:: SOT 20327 SOS 6503 HAS SOPS 6503 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.503
AT ITER 1561 NEW BEST:: SOT 20321 SOS 6497 HAS SOPS 6497 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4837.497
AT ITER 1610 NEW BEST:: SOT 20321 SOS 6475 HAS SOPS 6475 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4815.475
AT ITER 1640 NEW BEST:: SOT 20340 SOS 6431 HAS SOPS 6431 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4805.431
AT ITER 1670 NEW BEST:: SOT 20321 SOS 6412 HAS SOPS 6412 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4786.412
AT ITER 1755 NEW BEST:: SOT 20301 SOS 6398 HAS SOPS 6398 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4772.398
AT ITER 1763 NEW BEST:: SOT 20288 SOS 6366 HAS SOPS 6366 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4740.366
AT ITER 1771 NEW BEST:: SOT 20285 SOS 6363 HAS SOPS 6363 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.363
AT ITER 1789 NEW BEST:: SOT 20285 SOS 6362 HAS SOPS 6362 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.362
AT ITER 1824 NEW BEST:: SOT 20281 SOS 6354 HAS SOPS 6354 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4729.354
AT ITER 1827 NEW BEST:: SOT 20276 SOS 6306 HAS SOPS 6306 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4681.306
AT ITER 1850 NEW BEST:: SOT 20314 SOS 6344 HAS SOPS 6344 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4680.344
AT ITER 1861 NEW BEST:: SOT 20292 SOS 6327 HAS SOPS 6327 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.327
AT ITER 1866 NEW BEST:: SOT 20289 SOS 6324 HAS SOPS 6324 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.324
AT ITER 1884 NEW BEST:: SOT 20278 SOS 6302 HAS SOPS 6302 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4637.302
AT ITER 1898 NEW BEST:: SOT 20286 SOS 6295 HAS SOPS 6295 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4621.295
AT ITER 1932 NEW BEST:: SOT 20276 SOS 6275 HAS SOPS 6275 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4601.275
AT ITER 2003 NEW BEST:: SOT 20274 SOS 6273 HAS SOPS 6273 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4599.273
AT ITER 2054 NEW BEST:: SOT 20269 SOS 6268 HAS SOPS 6268 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4599.268
AT ITER 2055 NEW BEST:: SOT 20273 SOS 6261 HAS SOPS 6261 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4592.261
AT ITER 2078 NEW BEST:: SOT 20306 SOS 6010 HAS SOPS 6010 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4591.01
AT ITER 2107 NEW BEST:: SOT 20304 SOS 6006 HAS SOPS 6006 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4586.006
AT ITER 2171 NEW BEST:: SOT 20292 SOS 5988 HAS SOPS 5988 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.988
AT ITER 2173 NEW BEST:: SOT 20285 SOS 5983 HAS SOPS 5983 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.983
AT ITER 2198 NEW BEST:: SOT 20284 SOS 5976 HAS SOPS 5976 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4566.976
AT ITER 2207 NEW BEST:: SOT 20276 SOS 5960 HAS SOPS 5960 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.96
AT ITER 2225 NEW BEST:: SOT 20282 SOS 5945 HAS SOPS 5945 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.945
AT ITER 2234 NEW BEST:: SOT 20281 SOS 5943 HAS SOPS 5943 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.943
AT ITER 2241 NEW BEST:: SOT 20283 SOS 5947 HAS SOPS 5947 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.947
AT ITER 2262 NEW BEST:: SOT 20286 SOS 5946 HAS SOPS 5946 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.946
AT ITER 2263 NEW BEST:: SOT 20286 SOS 5946 HAS SOPS 5946 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.946
AT ITER 2290 NEW BEST:: SOT 20280 SOS 5932 HAS SOPS 5932 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.932
AT ITER 2307 NEW BEST:: SOT 20268 SOS 5914 HAS SOPS 5914 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.914
AT ITER 2352 NEW BEST:: SOT 20268 SOS 5914 HAS SOPS 5914 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4505.914
AT ITER 2355 NEW BEST:: SOT 20259 SOS 5897 HAS SOPS 5897 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4488.897
AT ITER 2395 NEW BEST:: SOT 20259 SOS 5897 HAS SOPS 5897 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4487.897
AT ITER 2397 NEW BEST:: SOT 20257 SOS 5895 HAS SOPS 5895 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.895
AT ITER 2417 NEW BEST:: SOT 20251 SOS 5894 HAS SOPS 5894 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.894
AT ITER 2433 NEW BEST:: SOT 20248 SOS 5891 HAS SOPS 5891 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.891
AT ITER 2456 NEW BEST:: SOT 20250 SOS 5890 HAS SOPS 5890 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4477.89
AT ITER 2484 NEW BEST:: SOT 20263 SOS 5887 HAS SOPS 5887 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.887
AT ITER 2507 NEW BEST:: SOT 20250 SOS 5879 HAS SOPS 5879 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.879
AT ITER 2509 NEW BEST:: SOT 20247 SOS 5873 HAS SOPS 5873 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.873
AT ITER 2528 NEW BEST:: SOT 20243 SOS 5859 HAS SOPS 5859 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.859
AT ITER 2560 NEW BEST:: SOT 20242 SOS 5857 HAS SOPS 5857 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4449.857
AT ITER 2620 NEW BEST:: SOT 20249 SOS 5849 HAS SOPS 5849 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4449.849
AT ITER 2652 NEW BEST:: SOT 20245 SOS 5841 HAS SOPS 5841 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.841
AT ITER 2665 NEW BEST:: SOT 20244 SOS 5839 HAS SOPS 5839 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.839
AT ITER 2678 NEW BEST:: SOT 20234 SOS 5849 HAS SOPS 5849 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.849
AT ITER 2699 NEW BEST:: SOT 20278 SOS 5873 HAS SOPS 5873 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.873
AT ITER 2705 NEW BEST:: SOT 20278 SOS 5867 HAS SOPS 5867 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.867
AT ITER 2757 NEW BEST:: SOT 20262 SOS 5852 HAS SOPS 5852 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4413.852
AT ITER 2788 NEW BEST:: SOT 20257 SOS 5835 HAS SOPS 5835 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4396.835
AT ITER 2864 NEW BEST:: SOT 20257 SOS 5830 HAS SOPS 5830 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4391.83
AT ITER 2868 NEW BEST:: SOT 20244 SOS 5822 HAS SOPS 5822 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4386.822
AT ITER 2877 NEW BEST:: SOT 20244 SOS 5818 HAS SOPS 5818 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4382.818
AT ITER 2897 NEW BEST:: SOT 20243 SOS 5817 HAS SOPS 5817 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.817
AT ITER 2942 NEW BEST:: SOT 20224 SOS 5813 HAS SOPS 5813 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4377.813
AT ITER 2955 NEW BEST:: SOT 20206 SOS 5786 HAS SOPS 5786 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4359.786
AT ITER 3024 NEW BEST:: SOT 20198 SOS 5781 HAS SOPS 5781 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4354.781
AT ITER 3034 NEW BEST:: SOT 20200 SOS 5777 HAS SOPS 5777 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4350.777
AT ITER 3084 NEW BEST:: SOT 20192 SOS 5761 HAS SOPS 5761 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4342.761
AT ITER 3228 NEW BEST:: SOT 20203 SOS 5783 HAS SOPS 5783 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4341.783
AT ITER 3249 NEW BEST:: SOT 20203 SOS 5715 HAS SOPS 5715 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4324.715
AT ITER 3271 NEW BEST:: SOT 20201 SOS 5711 HAS SOPS 5711 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4320.711
AT ITER 3276 NEW BEST:: SOT 20199 SOS 5707 HAS SOPS 5707 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4316.707
AT ITER 3406 NEW BEST:: SOT 20196 SOS 5701 HAS SOPS 5701 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4310.701
AT ITER 3426 NEW BEST:: SOT 20193 SOS 5697 HAS SOPS 5697 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4307.697
AT ITER 3439 NEW BEST:: SOT 20190 SOS 5691 HAS SOPS 5691 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4307.691
AT ITER 3453 NEW BEST:: SOT 20188 SOS 5667 HAS SOPS 5667 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4300.667
AT ITER 3499 NEW BEST:: SOT 20170 SOS 5628 HAS SOPS 5628 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.628
AT ITER 3502 NEW BEST:: SOT 20168 SOS 5624 HAS SOPS 5624 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4257.624
AT ITER 3517 NEW BEST:: SOT 20165 SOS 5630 HAS SOPS 5630 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.63
AT ITER 3531 NEW BEST:: SOT 20139 SOS 5622 HAS SOPS 5622 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4246.622
AT ITER 3562 NEW BEST:: SOT 20138 SOS 5621 HAS SOPS 5621 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4245.621
AT ITER 3611 NEW BEST:: SOT 20135 SOS 5619 HAS SOPS 5619 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4243.619
AT ITER 3660 NEW BEST:: SOT 20134 SOS 5615 HAS SOPS 5615 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.615
AT ITER 3674 NEW BEST:: SOT 20125 SOS 5603 HAS SOPS 5603 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4237.603
AT ITER 3753 NEW BEST:: SOT 20124 SOS 5603 HAS SOPS 5603 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4235.603
AT ITER 3813 NEW BEST:: SOT 20122 SOS 5601 HAS SOPS 5601 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4235.601
AT ITER 3857 NEW BEST:: SOT 20121 SOS 5600 HAS SOPS 5600 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.6
AT ITER 3895 NEW BEST:: SOT 20121 SOS 5599 HAS SOPS 5599 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.599
AT ITER 3905 NEW BEST:: SOT 20117 SOS 5595 HAS SOPS 5595 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.595
AT ITER 3942 NEW BEST:: SOT 20123 SOS 5562 HAS SOPS 5562 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.562
AT ITER 3947 NEW BEST:: SOT 20128 SOS 5555 HAS SOPS 5555 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.555
AT ITER 4035 NEW BEST:: SOT 20125 SOS 5552 HAS SOPS 5552 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.552
AT ITER 4168 NEW BEST:: SOT 20115 SOS 5540 HAS SOPS 5540 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4230.54
AT ITER 4199 NEW BEST:: SOT 20103 SOS 5522 HAS SOPS 5522 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4218.522
AT ITER 4221 NEW BEST:: SOT 20096 SOS 5515 HAS SOPS 5515 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4211.515
AT ITER 4224 NEW BEST:: SOT 20092 SOS 5512 HAS SOPS 5512 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4208.512
AT ITER 4225 NEW BEST:: SOT 20095 SOS 5509 HAS SOPS 5509 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4205.509
AT ITER 4321 NEW BEST:: SOT 20111 SOS 5500 HAS SOPS 5500 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4196.5
AT ITER 4356 NEW BEST:: SOT 20111 SOS 5495 HAS SOPS 5495 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4191.495
AT ITER 4447 NEW BEST:: SOT 20109 SOS 5491 HAS SOPS 5491 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4189.491
AT ITER 4455 NEW BEST:: SOT 20103 SOS 5485 HAS SOPS 5485 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4183.485
AT ITER 4499 NEW BEST:: SOT 20112 SOS 5493 HAS SOPS 5493 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.493
AT ITER 4600 NEW BEST:: SOT 20125 SOS 5484 HAS SOPS 5484 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4172.484
AT ITER 4640 NEW BEST:: SOT 20122 SOS 5471 HAS SOPS 5471 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4159.471
AT ITER 4713 NEW BEST:: SOT 20110 SOS 5468 HAS SOPS 5468 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4156.468
AT ITER 4741 NEW BEST:: SOT 20111 SOS 5463 HAS SOPS 5463 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4144.463
AT ITER 4757 NEW BEST:: SOT 20102 SOS 5461 HAS SOPS 5461 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4142.461
AT ITER 4937 NEW BEST:: SOT 20101 SOS 5459 HAS SOPS 5459 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4142.459
AT ITER 4966 NEW BEST:: SOT 20100 SOS 5458 HAS SOPS 5458 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.458
AT ITER 4977 NEW BEST:: SOT 20095 SOS 5448 HAS SOPS 5448 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4136.448
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-01-CTLFireability-00 ( (EF( ( (AG( ((potential((tk(P194)>=1)))))) | (AX( ((potential((tk(P194)>=1)))))) ))) | ( (AF( ((potential((tk(P67)>=1) & (tk(P190)>=1)))))) & (EF( ((potential((tk(P25)>=1)))))) ) )
PROPERTY: BusinessProcesses-PT-01-CTLFireability-01 (! (EG( (EF( ((potential((tk(P169)>=1)))))))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-02 ( (EX( (! ((potential((tk(P145)>=1))))))) & (EX( (EF( ( ((potential((tk(P24)>=1)))) & ((potential((tk(P106)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-01-CTLFireability-03 (EF( (EU( ( ((potential((tk(P157)>=1)))) | ((potential((tk(P51)>=1)))) ) , ( ((potential((tk(P128)>=1)))) & ((potential((tk(P108)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-04 (EF( ((potential((tk(P139)>=1) & (tk(P52)>=1) & (tk(P194)>=1))))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-05 (EX( (AG( (! ( ((potential((tk(P147)>=1)))) & ((potential((tk(P99)>=1) & (tk(P18)>=1) & (tk(P194)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-06 (EX( (EU( (! ((potential((tk(P5)>=1))))) , ((potential((tk(P133)>=1)))) ))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-07 (EF( (! (! ((potential((tk(P19)>=1))))))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-08 (EF( ( ((potential((tk(P59)>=1)))) & (EX( ( ((potential((tk(P38)>=1)))) & ((potential((tk(P188)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-09 (AF( (AG( (! ( ((potential((tk(P14)>=1)))) & ((potential((tk(P14)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-10 (EX( ( ( ( ((potential((tk(P175)>=1)))) & ( ((potential((tk(P181)>=1)))) | ((potential((tk(P99)>=1) & (tk(P18)>=1) & (tk(P194)>=1)))) ) ) | (EF( ((potential((tk(P41)>=1)))))) ) & (! ((potential((tk(P188)>=1))))) )))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-11 (AU( ( (! (! ((potential((tk(P73)>=1) & (tk(P70)>=1)))))) | ((potential((tk(P130)>=1) & (tk(P66)>=1) & (tk(P189)>=1)))) ) , (EF( ( ((potential((tk(P19)>=1)))) & ((potential((tk(P61)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-12 (! ( ( ( ( ( ((potential((tk(P95)>=1) & (tk(P21)>=1) & (tk(P164)>=1)))) & ((potential((tk(P50)>=1)))) ) & (! ((potential((tk(P111)>=1))))) ) | ((potential((tk(P33)>=1)))) ) | ( ( (! ((potential((tk(P113)>=1))))) | ( ((potential((tk(P12)>=1)))) & ((potential((tk(P136)>=1)))) ) ) | ( (! ((potential((tk(P4)>=1))))) & ((potential((tk(P125)>=1) & (tk(P69)>=1) & (tk(P186)>=1)))) ) ) ) & (EF( ( ((potential((tk(P117)>=1)))) & ((potential((tk(P73)>=1) & (tk(P70)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-13 ( (! ( (EF( ((potential((tk(P170)>=1)))))) | ((potential((tk(P71)>=1)))) )) | ( (EG( ( ( ((potential((tk(P136)>=1)))) | ((potential((tk(P84)>=1)))) ) | (! ((potential((tk(P31)>=1))))) ))) & (AF( ( ( ((potential((tk(P119)>=1) & (tk(P11)>=1) & (tk(P194)>=1)))) | ((potential((tk(P123)>=1)))) ) & ( ((potential((tk(P130)>=1) & (tk(P72)>=1) & (tk(P189)>=1)))) | ((potential((tk(P138)>=1)))) ) ))) ) )
PROPERTY: BusinessProcesses-PT-01-CTLFireability-14 (EU( (! ((potential((tk(P197)>=1))))) , (EF( ( ((potential((tk(P65)>=1)))) | ((potential((tk(P15)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-01-CTLFireability-15 ( (EF( ( (EX( ((potential((tk(P19)>=1)))))) | ( ((potential((tk(P200)>=1)))) | ( ((potential((tk(P135)>=1) & (tk(P55)>=1) & (tk(P180)>=1)))) | ((potential((tk(P139)>=1) & (tk(P52)>=1) & (tk(P194)>=1)))) ) ) ))) & (! (AF( ( ((potential((tk(P185)>=1)))) & (! ((potential((tk(P105)>=1) & (tk(P27)>=1) & (tk(P150)>=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="BusinessProcesses-PT-01"
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-01, 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-158897680000452"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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