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-158897680000459.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000459
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-02-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589017198876

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

GOT IT HERE. BS
Petri model created: 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 1 NEW BEST:: SOT 34839 SOS 11830 HAS SOPS 11830 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11626.83
AT ITER 9 NEW BEST:: SOT 34788 SOS 11669 HAS SOPS 11669 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11465.669
AT ITER 14 NEW BEST:: SOT 33985 SOS 14315 HAS SOPS 14315 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10919.315
AT ITER 17 NEW BEST:: SOT 33988 SOS 14239 HAS SOPS 14239 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10885.239
AT ITER 19 NEW BEST:: SOT 33988 SOS 14239 HAS SOPS 14239 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10854.239
AT ITER 20 NEW BEST:: SOT 33988 SOS 14210 HAS SOPS 14210 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10825.21
AT ITER 25 NEW BEST:: SOT 33987 SOS 14209 HAS SOPS 14209 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10825.209
AT ITER 31 NEW BEST:: SOT 33987 SOS 14194 HAS SOPS 14194 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10810.194
AT ITER 32 NEW BEST:: SOT 33954 SOS 14193 HAS SOPS 14193 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10767.193
AT ITER 37 NEW BEST:: SOT 33953 SOS 14192 HAS SOPS 14192 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10766.192
AT ITER 40 NEW BEST:: SOT 33927 SOS 14114 HAS SOPS 14114 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10714.114
AT ITER 48 NEW BEST:: SOT 33926 SOS 14105 HAS SOPS 14105 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10705.105
AT ITER 54 NEW BEST:: SOT 33890 SOS 14020 HAS SOPS 14020 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10669.02
AT ITER 55 NEW BEST:: SOT 33889 SOS 14019 HAS SOPS 14019 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10668.019
AT ITER 59 NEW BEST:: SOT 33800 SOS 13790 HAS SOPS 13790 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10544.79
AT ITER 63 NEW BEST:: SOT 33745 SOS 13670 HAS SOPS 13670 HAS SOUS 10433 HAS SOUPS 10433 WITH SCORE 10446.67
AT ITER 66 NEW BEST:: SOT 33827 SOS 10602 HAS SOPS 10602 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10401.602
AT ITER 75 NEW BEST:: SOT 33812 SOS 10554 HAS SOPS 10554 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10353.554
AT ITER 78 NEW BEST:: SOT 33837 SOS 10575 HAS SOPS 10575 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10349.575
AT ITER 88 NEW BEST:: SOT 33818 SOS 10537 HAS SOPS 10537 HAS SOUS 10301 HAS SOUPS 10301 WITH SCORE 10311.537
AT ITER 102 NEW BEST:: SOT 33805 SOS 10528 HAS SOPS 10528 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10302.528
AT ITER 110 NEW BEST:: SOT 33780 SOS 10527 HAS SOPS 10527 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10277.527
AT ITER 126 NEW BEST:: SOT 33780 SOS 10525 HAS SOPS 10525 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10275.525
AT ITER 127 NEW BEST:: SOT 33774 SOS 10526 HAS SOPS 10526 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10256.526
AT ITER 160 NEW BEST:: SOT 33772 SOS 10504 HAS SOPS 10504 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10234.504
AT ITER 185 NEW BEST:: SOT 33772 SOS 10478 HAS SOPS 10478 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10234.478
AT ITER 221 NEW BEST:: SOT 33770 SOS 10474 HAS SOPS 10474 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10194.474
AT ITER 235 NEW BEST:: SOT 33763 SOS 10467 HAS SOPS 10467 HAS SOUS 10177 HAS SOUPS 10177 WITH SCORE 10187.467
AT ITER 247 NEW BEST:: SOT 33768 SOS 10424 HAS SOPS 10424 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10144.424
AT ITER 268 NEW BEST:: SOT 33804 SOS 10385 HAS SOPS 10385 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10109.385
AT ITER 269 NEW BEST:: SOT 33803 SOS 10384 HAS SOPS 10384 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10108.384
AT ITER 276 NEW BEST:: SOT 33795 SOS 10368 HAS SOPS 10368 HAS SOUS 10090 HAS SOUPS 10090 WITH SCORE 10100.368
AT ITER 280 NEW BEST:: SOT 33807 SOS 10325 HAS SOPS 10325 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10057.325
AT ITER 287 NEW BEST:: SOT 33769 SOS 10282 HAS SOPS 10282 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10014.282
AT ITER 288 NEW BEST:: SOT 33693 SOS 10280 HAS SOPS 10280 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10012.28
AT ITER 295 NEW BEST:: SOT 33693 SOS 10279 HAS SOPS 10279 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10011.279
AT ITER 304 NEW BEST:: SOT 33692 SOS 10274 HAS SOPS 10274 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10000.274
AT ITER 306 NEW BEST:: SOT 33692 SOS 10265 HAS SOPS 10265 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9991.265
AT ITER 312 NEW BEST:: SOT 33683 SOS 10185 HAS SOPS 10185 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9911.185
AT ITER 317 NEW BEST:: SOT 33683 SOS 10183 HAS SOPS 10183 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9909.183
AT ITER 319 NEW BEST:: SOT 33617 SOS 10152 HAS SOPS 10152 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9878.152
AT ITER 332 NEW BEST:: SOT 33617 SOS 10151 HAS SOPS 10151 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9877.151
AT ITER 333 NEW BEST:: SOT 33585 SOS 10140 HAS SOPS 10140 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.14
AT ITER 360 NEW BEST:: SOT 33572 SOS 10114 HAS SOPS 10114 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9833.114
AT ITER 361 NEW BEST:: SOT 33566 SOS 10104 HAS SOPS 10104 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9821.104
AT ITER 362 NEW BEST:: SOT 33597 SOS 10079 HAS SOPS 10079 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9796.079
AT ITER 372 NEW BEST:: SOT 33597 SOS 10059 HAS SOPS 10059 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9776.059
AT ITER 380 NEW BEST:: SOT 33586 SOS 10021 HAS SOPS 10021 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9744.021
AT ITER 381 NEW BEST:: SOT 33578 SOS 10009 HAS SOPS 10009 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9732.009
AT ITER 401 NEW BEST:: SOT 33505 SOS 9928 HAS SOPS 9928 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9650.928
AT ITER 402 NEW BEST:: SOT 33458 SOS 9911 HAS SOPS 9911 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9633.911
AT ITER 416 NEW BEST:: SOT 33472 SOS 9895 HAS SOPS 9895 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9619.895
AT ITER 421 NEW BEST:: SOT 33465 SOS 9859 HAS SOPS 9859 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9583.859
AT ITER 427 NEW BEST:: SOT 33464 SOS 9853 HAS SOPS 9853 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9577.853
AT ITER 447 NEW BEST:: SOT 33453 SOS 9842 HAS SOPS 9842 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9555.842
AT ITER 461 NEW BEST:: SOT 33461 SOS 9858 HAS SOPS 9858 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9540.858
AT ITER 466 NEW BEST:: SOT 33461 SOS 9831 HAS SOPS 9831 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9540.831
AT ITER 484 NEW BEST:: SOT 33459 SOS 9837 HAS SOPS 9837 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9534.837
AT ITER 486 NEW BEST:: SOT 33441 SOS 9797 HAS SOPS 9797 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9494.797
AT ITER 493 NEW BEST:: SOT 33441 SOS 9760 HAS SOPS 9760 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9457.76
AT ITER 504 NEW BEST:: SOT 33434 SOS 9746 HAS SOPS 9746 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9443.746
AT ITER 507 NEW BEST:: SOT 33425 SOS 9728 HAS SOPS 9728 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9425.728
AT ITER 512 NEW BEST:: SOT 33412 SOS 9645 HAS SOPS 9645 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9342.645
AT ITER 516 NEW BEST:: SOT 33407 SOS 9612 HAS SOPS 9612 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9309.612
AT ITER 518 NEW BEST:: SOT 33459 SOS 9593 HAS SOPS 9593 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9290.593
AT ITER 531 NEW BEST:: SOT 33459 SOS 9458 HAS SOPS 9458 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9267.458
AT ITER 533 NEW BEST:: SOT 33448 SOS 9436 HAS SOPS 9436 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9245.436
AT ITER 535 NEW BEST:: SOT 33375 SOS 9286 HAS SOPS 9286 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9095.286
AT ITER 546 NEW BEST:: SOT 33372 SOS 9280 HAS SOPS 9280 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9089.28
AT ITER 550 NEW BEST:: SOT 33356 SOS 9233 HAS SOPS 9233 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9063.233
AT ITER 572 NEW BEST:: SOT 33356 SOS 9227 HAS SOPS 9227 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9057.227
AT ITER 581 NEW BEST:: SOT 33278 SOS 9252 HAS SOPS 9252 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9000.252
AT ITER 592 NEW BEST:: SOT 33256 SOS 9208 HAS SOPS 9208 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8945.208
AT ITER 597 NEW BEST:: SOT 33257 SOS 9187 HAS SOPS 9187 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8936.187
AT ITER 598 NEW BEST:: SOT 33308 SOS 9155 HAS SOPS 9155 HAS SOUS 8897 HAS SOUPS 8897 WITH SCORE 8906.155
AT ITER 604 NEW BEST:: SOT 33292 SOS 9124 HAS SOPS 9124 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8864.124
AT ITER 609 NEW BEST:: SOT 33289 SOS 9121 HAS SOPS 9121 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8861.121
AT ITER 626 NEW BEST:: SOT 33265 SOS 8937 HAS SOPS 8937 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8768.937
AT ITER 647 NEW BEST:: SOT 33044 SOS 9612 HAS SOPS 9612 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8548.612
AT ITER 654 NEW BEST:: SOT 33047 SOS 9580 HAS SOPS 9580 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8532.58
AT ITER 675 NEW BEST:: SOT 33046 SOS 9578 HAS SOPS 9578 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8530.578
AT ITER 687 NEW BEST:: SOT 32959 SOS 9497 HAS SOPS 9497 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8449.497
AT ITER 694 NEW BEST:: SOT 32939 SOS 9477 HAS SOPS 9477 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8429.477
AT ITER 718 NEW BEST:: SOT 33005 SOS 9449 HAS SOPS 9449 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8401.449
AT ITER 737 NEW BEST:: SOT 32975 SOS 9412 HAS SOPS 9412 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8364.412
AT ITER 740 NEW BEST:: SOT 32947 SOS 9384 HAS SOPS 9384 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8336.384
AT ITER 761 NEW BEST:: SOT 32951 SOS 9368 HAS SOPS 9368 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8320.368
AT ITER 775 NEW BEST:: SOT 32951 SOS 9360 HAS SOPS 9360 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8312.36
AT ITER 778 NEW BEST:: SOT 32955 SOS 9329 HAS SOPS 9329 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8281.329
AT ITER 792 NEW BEST:: SOT 32881 SOS 9236 HAS SOPS 9236 HAS SOUS 8229 HAS SOUPS 8229 WITH SCORE 8238.236
AT ITER 805 NEW BEST:: SOT 32927 SOS 9230 HAS SOPS 9230 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8232.23
AT ITER 812 NEW BEST:: SOT 32923 SOS 9222 HAS SOPS 9222 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8224.222
AT ITER 813 NEW BEST:: SOT 32920 SOS 9196 HAS SOPS 9196 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.196
AT ITER 818 NEW BEST:: SOT 32929 SOS 9205 HAS SOPS 9205 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8188.205
AT ITER 825 NEW BEST:: SOT 32915 SOS 9177 HAS SOPS 9177 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8160.177
AT ITER 844 NEW BEST:: SOT 32915 SOS 9172 HAS SOPS 9172 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8155.172
AT ITER 848 NEW BEST:: SOT 32903 SOS 9158 HAS SOPS 9158 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8141.158
AT ITER 874 NEW BEST:: SOT 32905 SOS 9155 HAS SOPS 9155 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8138.155
AT ITER 883 NEW BEST:: SOT 32897 SOS 9139 HAS SOPS 9139 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8122.139
AT ITER 884 NEW BEST:: SOT 32884 SOS 9079 HAS SOPS 9079 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8075.079
AT ITER 886 NEW BEST:: SOT 32870 SOS 9051 HAS SOPS 9051 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8033.051
AT ITER 889 NEW BEST:: SOT 32859 SOS 9040 HAS SOPS 9040 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8022.04
AT ITER 907 NEW BEST:: SOT 32814 SOS 8995 HAS SOPS 8995 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8008.995
AT ITER 909 NEW BEST:: SOT 32814 SOS 8965 HAS SOPS 8965 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7978.965
AT ITER 942 NEW BEST:: SOT 32799 SOS 8948 HAS SOPS 8948 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7961.948
AT ITER 958 NEW BEST:: SOT 32799 SOS 8944 HAS SOPS 8944 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7957.944
AT ITER 959 NEW BEST:: SOT 32799 SOS 8941 HAS SOPS 8941 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7918.941
AT ITER 1014 NEW BEST:: SOT 32799 SOS 8941 HAS SOPS 8941 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7917.941
AT ITER 1020 NEW BEST:: SOT 32827 SOS 8910 HAS SOPS 8910 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7886.91
AT ITER 1030 NEW BEST:: SOT 32773 SOS 8859 HAS SOPS 8859 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7877.859
AT ITER 1058 NEW BEST:: SOT 32754 SOS 8840 HAS SOPS 8840 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7858.84
AT ITER 1068 NEW BEST:: SOT 32725 SOS 8811 HAS SOPS 8811 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7829.811
AT ITER 1154 NEW BEST:: SOT 32723 SOS 8809 HAS SOPS 8809 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7827.809
AT ITER 1156 NEW BEST:: SOT 32721 SOS 8807 HAS SOPS 8807 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7825.807
AT ITER 1164 NEW BEST:: SOT 32721 SOS 8806 HAS SOPS 8806 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7824.806
AT ITER 1205 NEW BEST:: SOT 32679 SOS 8784 HAS SOPS 8784 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7802.784
AT ITER 1206 NEW BEST:: SOT 32639 SOS 8724 HAS SOPS 8724 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7762.724
AT ITER 1208 NEW BEST:: SOT 32632 SOS 8690 HAS SOPS 8690 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7748.69
AT ITER 1210 NEW BEST:: SOT 32615 SOS 8643 HAS SOPS 8643 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7701.643
AT ITER 1253 NEW BEST:: SOT 32612 SOS 8643 HAS SOPS 8643 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.643
AT ITER 1274 NEW BEST:: SOT 32563 SOS 8984 HAS SOPS 8984 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7684.984
AT ITER 1308 NEW BEST:: SOT 32564 SOS 8981 HAS SOPS 8981 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.981
AT ITER 1313 NEW BEST:: SOT 32564 SOS 8981 HAS SOPS 8981 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.981
AT ITER 1318 NEW BEST:: SOT 32564 SOS 8944 HAS SOPS 8944 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.944
AT ITER 1332 NEW BEST:: SOT 32581 SOS 8898 HAS SOPS 8898 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7578.898
AT ITER 1337 NEW BEST:: SOT 32562 SOS 8879 HAS SOPS 8879 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7558.879
AT ITER 1386 NEW BEST:: SOT 32522 SOS 8823 HAS SOPS 8823 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7502.823
AT ITER 1399 NEW BEST:: SOT 32497 SOS 8798 HAS SOPS 8798 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7477.798
AT ITER 1446 NEW BEST:: SOT 32496 SOS 8796 HAS SOPS 8796 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7475.796
AT ITER 1457 NEW BEST:: SOT 32493 SOS 8790 HAS SOPS 8790 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.79
AT ITER 1465 NEW BEST:: SOT 32490 SOS 8784 HAS SOPS 8784 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.784
AT ITER 1467 NEW BEST:: SOT 32487 SOS 8781 HAS SOPS 8781 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7428.781
AT ITER 1484 NEW BEST:: SOT 32444 SOS 8738 HAS SOPS 8738 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.738
AT ITER 1490 NEW BEST:: SOT 32443 SOS 8737 HAS SOPS 8737 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.737
AT ITER 1503 NEW BEST:: SOT 32439 SOS 8729 HAS SOPS 8729 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7377.729
AT ITER 1524 NEW BEST:: SOT 32419 SOS 8689 HAS SOPS 8689 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7360.689
AT ITER 1571 NEW BEST:: SOT 32394 SOS 8676 HAS SOPS 8676 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7347.676
AT ITER 1578 NEW BEST:: SOT 32395 SOS 8675 HAS SOPS 8675 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.675
AT ITER 1599 NEW BEST:: SOT 32395 SOS 8674 HAS SOPS 8674 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.674
AT ITER 1612 NEW BEST:: SOT 32395 SOS 8671 HAS SOPS 8671 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7342.671
AT ITER 1620 NEW BEST:: SOT 32395 SOS 8669 HAS SOPS 8669 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7340.669
AT ITER 1661 NEW BEST:: SOT 32398 SOS 8645 HAS SOPS 8645 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7316.645
AT ITER 1666 NEW BEST:: SOT 32392 SOS 8639 HAS SOPS 8639 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7310.639
AT ITER 1674 NEW BEST:: SOT 32373 SOS 8601 HAS SOPS 8601 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.601
AT ITER 1692 NEW BEST:: SOT 32333 SOS 8521 HAS SOPS 8521 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7232.521
AT ITER 1696 NEW BEST:: SOT 32274 SOS 8482 HAS SOPS 8482 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7170.482
AT ITER 1698 NEW BEST:: SOT 32267 SOS 8472 HAS SOPS 8472 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.472
AT ITER 1710 NEW BEST:: SOT 32267 SOS 8465 HAS SOPS 8465 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7153.465
AT ITER 1715 NEW BEST:: SOT 32267 SOS 8458 HAS SOPS 8458 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.458
AT ITER 1723 NEW BEST:: SOT 32266 SOS 8456 HAS SOPS 8456 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.456
AT ITER 1745 NEW BEST:: SOT 32229 SOS 8419 HAS SOPS 8419 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7115.419
AT ITER 1775 NEW BEST:: SOT 32228 SOS 8415 HAS SOPS 8415 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7111.415
AT ITER 1802 NEW BEST:: SOT 32213 SOS 8401 HAS SOPS 8401 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7097.401
AT ITER 1807 NEW BEST:: SOT 32167 SOS 8373 HAS SOPS 8373 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7069.373
AT ITER 1811 NEW BEST:: SOT 32155 SOS 8350 HAS SOPS 8350 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7046.35
AT ITER 1817 NEW BEST:: SOT 32163 SOS 8353 HAS SOPS 8353 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7041.353
AT ITER 1882 NEW BEST:: SOT 32157 SOS 8347 HAS SOPS 8347 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7035.347
AT ITER 1913 NEW BEST:: SOT 32142 SOS 8302 HAS SOPS 8302 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7005.302
AT ITER 1931 NEW BEST:: SOT 32140 SOS 8278 HAS SOPS 8278 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6948.278
AT ITER 1935 NEW BEST:: SOT 32140 SOS 8275 HAS SOPS 8275 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6948.275
AT ITER 1986 NEW BEST:: SOT 32139 SOS 8273 HAS SOPS 8273 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6937.273
AT ITER 1992 NEW BEST:: SOT 32130 SOS 8255 HAS SOPS 8255 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6919.255
AT ITER 1994 NEW BEST:: SOT 32112 SOS 8237 HAS SOPS 8237 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.237
AT ITER 2022 NEW BEST:: SOT 32076 SOS 8233 HAS SOPS 8233 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.233
AT ITER 2054 NEW BEST:: SOT 32086 SOS 8200 HAS SOPS 8200 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.2
AT ITER 2090 NEW BEST:: SOT 32071 SOS 8170 HAS SOPS 8170 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6832.17
AT ITER 2094 NEW BEST:: SOT 32071 SOS 8163 HAS SOPS 8163 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6825.163
AT ITER 2146 NEW BEST:: SOT 32111 SOS 8136 HAS SOPS 8136 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6798.136
AT ITER 2179 NEW BEST:: SOT 32075 SOS 8130 HAS SOPS 8130 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6792.13
AT ITER 2199 NEW BEST:: SOT 32043 SOS 8068 HAS SOPS 8068 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.068
AT ITER 2204 NEW BEST:: SOT 32015 SOS 8012 HAS SOPS 8012 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6688.012
AT ITER 2224 NEW BEST:: SOT 32010 SOS 8002 HAS SOPS 8002 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6676.002
AT ITER 2231 NEW BEST:: SOT 32004 SOS 7990 HAS SOPS 7990 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.99
AT ITER 2275 NEW BEST:: SOT 32000 SOS 7986 HAS SOPS 7986 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6656.986
AT ITER 2288 NEW BEST:: SOT 31996 SOS 7980 HAS SOPS 7980 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6650.98
AT ITER 2294 NEW BEST:: SOT 31992 SOS 7972 HAS SOPS 7972 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.972
AT ITER 2295 NEW BEST:: SOT 31983 SOS 7963 HAS SOPS 7963 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6633.963
AT ITER 2306 NEW BEST:: SOT 31970 SOS 7942 HAS SOPS 7942 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6620.942
AT ITER 2366 NEW BEST:: SOT 31920 SOS 7884 HAS SOPS 7884 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.884
AT ITER 2425 NEW BEST:: SOT 31919 SOS 7883 HAS SOPS 7883 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6603.883
AT ITER 2452 NEW BEST:: SOT 31917 SOS 7881 HAS SOPS 7881 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6601.881
AT ITER 2484 NEW BEST:: SOT 31910 SOS 7874 HAS SOPS 7874 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6594.874
AT ITER 2488 NEW BEST:: SOT 31908 SOS 7872 HAS SOPS 7872 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6592.872
AT ITER 2508 NEW BEST:: SOT 31848 SOS 7815 HAS SOPS 7815 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6535.815
AT ITER 2513 NEW BEST:: SOT 31818 SOS 7755 HAS SOPS 7755 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.755
AT ITER 2542 NEW BEST:: SOT 31816 SOS 7752 HAS SOPS 7752 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.752
AT ITER 2548 NEW BEST:: SOT 31816 SOS 7743 HAS SOPS 7743 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.743
AT ITER 2562 NEW BEST:: SOT 31823 SOS 7734 HAS SOPS 7734 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.734
AT ITER 2576 NEW BEST:: SOT 31813 SOS 7724 HAS SOPS 7724 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.724
AT ITER 2585 NEW BEST:: SOT 31806 SOS 7710 HAS SOPS 7710 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6438.71
AT ITER 2595 NEW BEST:: SOT 31860 SOS 7593 HAS SOPS 7593 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6418.593
AT ITER 2604 NEW BEST:: SOT 31854 SOS 7587 HAS SOPS 7587 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6412.587
AT ITER 2682 NEW BEST:: SOT 31854 SOS 7574 HAS SOPS 7574 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6386.574
AT ITER 2702 NEW BEST:: SOT 31854 SOS 7570 HAS SOPS 7570 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6382.57
AT ITER 2714 NEW BEST:: SOT 31818 SOS 7547 HAS SOPS 7547 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6353.547
AT ITER 2747 NEW BEST:: SOT 31826 SOS 7534 HAS SOPS 7534 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.534
AT ITER 2763 NEW BEST:: SOT 31820 SOS 7522 HAS SOPS 7522 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6328.522
AT ITER 2778 NEW BEST:: SOT 31828 SOS 7526 HAS SOPS 7526 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6312.526
AT ITER 2878 NEW BEST:: SOT 31814 SOS 7509 HAS SOPS 7509 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6311.509
AT ITER 2883 NEW BEST:: SOT 31812 SOS 7507 HAS SOPS 7507 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6309.507
AT ITER 2890 NEW BEST:: SOT 31810 SOS 7503 HAS SOPS 7503 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6305.503
AT ITER 2931 NEW BEST:: SOT 31809 SOS 7502 HAS SOPS 7502 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.502
AT ITER 2969 NEW BEST:: SOT 31808 SOS 7500 HAS SOPS 7500 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6303.5
AT ITER 3015 NEW BEST:: SOT 31808 SOS 7497 HAS SOPS 7497 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.497
AT ITER 3041 NEW BEST:: SOT 31807 SOS 7495 HAS SOPS 7495 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6298.495
AT ITER 3047 NEW BEST:: SOT 31803 SOS 7491 HAS SOPS 7491 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6294.491
AT ITER 3069 NEW BEST:: SOT 31818 SOS 7485 HAS SOPS 7485 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6288.485
AT ITER 3098 NEW BEST:: SOT 31829 SOS 7486 HAS SOPS 7486 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6274.486
AT ITER 3164 NEW BEST:: SOT 31823 SOS 7481 HAS SOPS 7481 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.481
AT ITER 3196 NEW BEST:: SOT 31807 SOS 7465 HAS SOPS 7465 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6253.465
AT ITER 3244 NEW BEST:: SOT 31804 SOS 7456 HAS SOPS 7456 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6250.456
AT ITER 3274 NEW BEST:: SOT 31786 SOS 7445 HAS SOPS 7445 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6239.445
AT ITER 3349 NEW BEST:: SOT 31781 SOS 7444 HAS SOPS 7444 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6238.444
AT ITER 3364 NEW BEST:: SOT 31780 SOS 7443 HAS SOPS 7443 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6237.443
AT ITER 3374 NEW BEST:: SOT 31768 SOS 7437 HAS SOPS 7437 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6231.437
AT ITER 3394 NEW BEST:: SOT 31783 SOS 7433 HAS SOPS 7433 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6225.433
AT ITER 3413 NEW BEST:: SOT 31729 SOS 7391 HAS SOPS 7391 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.391
AT ITER 3414 NEW BEST:: SOT 31718 SOS 7382 HAS SOPS 7382 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6174.382
AT ITER 3437 NEW BEST:: SOT 31736 SOS 7381 HAS SOPS 7381 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6173.381
AT ITER 3460 NEW BEST:: SOT 31724 SOS 7364 HAS SOPS 7364 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.364
AT ITER 3466 NEW BEST:: SOT 31720 SOS 7356 HAS SOPS 7356 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6159.356
AT ITER 3481 NEW BEST:: SOT 31715 SOS 7351 HAS SOPS 7351 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6154.351
AT ITER 3560 NEW BEST:: SOT 31734 SOS 7350 HAS SOPS 7350 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6138.35
AT ITER 3568 NEW BEST:: SOT 31740 SOS 7344 HAS SOPS 7344 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6132.344
AT ITER 3571 NEW BEST:: SOT 31752 SOS 7346 HAS SOPS 7346 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6123.346
AT ITER 3604 NEW BEST:: SOT 31742 SOS 7326 HAS SOPS 7326 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6113.326
AT ITER 3609 NEW BEST:: SOT 31722 SOS 7306 HAS SOPS 7306 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.306
AT ITER 3619 NEW BEST:: SOT 31712 SOS 7291 HAS SOPS 7291 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6078.291
AT ITER 3642 NEW BEST:: SOT 31712 SOS 7279 HAS SOPS 7279 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6066.279
AT ITER 3662 NEW BEST:: SOT 31707 SOS 7286 HAS SOPS 7286 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6061.286
AT ITER 3680 NEW BEST:: SOT 31699 SOS 7278 HAS SOPS 7278 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6053.278
AT ITER 3783 NEW BEST:: SOT 31703 SOS 7272 HAS SOPS 7272 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.272
AT ITER 3806 NEW BEST:: SOT 31698 SOS 7267 HAS SOPS 7267 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.267
AT ITER 3817 NEW BEST:: SOT 31696 SOS 7266 HAS SOPS 7266 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6046.266
AT ITER 3849 NEW BEST:: SOT 31696 SOS 7266 HAS SOPS 7266 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6042.266
AT ITER 3894 NEW BEST:: SOT 31683 SOS 7263 HAS SOPS 7263 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6029.263
AT ITER 3925 NEW BEST:: SOT 31678 SOS 7252 HAS SOPS 7252 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6018.252
AT ITER 3935 NEW BEST:: SOT 31677 SOS 7251 HAS SOPS 7251 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6017.251
AT ITER 4015 NEW BEST:: SOT 31671 SOS 7239 HAS SOPS 7239 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6005.239
AT ITER 4023 NEW BEST:: SOT 31652 SOS 7237 HAS SOPS 7237 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6003.237
AT ITER 4061 NEW BEST:: SOT 31652 SOS 7234 HAS SOPS 7234 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6000.234
AT ITER 4096 NEW BEST:: SOT 31633 SOS 7200 HAS SOPS 7200 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5966.2
AT ITER 4120 NEW BEST:: SOT 31633 SOS 7199 HAS SOPS 7199 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.199
AT ITER 4143 NEW BEST:: SOT 31615 SOS 7181 HAS SOPS 7181 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.181
AT ITER 4206 NEW BEST:: SOT 31648 SOS 7190 HAS SOPS 7190 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5962.19
AT ITER 4226 NEW BEST:: SOT 31648 SOS 7186 HAS SOPS 7186 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5962.186
AT ITER 4243 NEW BEST:: SOT 31647 SOS 7175 HAS SOPS 7175 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5960.175
AT ITER 4254 NEW BEST:: SOT 31646 SOS 7174 HAS SOPS 7174 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5959.174
AT ITER 4282 NEW BEST:: SOT 31643 SOS 7171 HAS SOPS 7171 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5956.171
AT ITER 4343 NEW BEST:: SOT 31643 SOS 7167 HAS SOPS 7167 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5952.167
AT ITER 4366 NEW BEST:: SOT 31640 SOS 7161 HAS SOPS 7161 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5949.161
AT ITER 4380 NEW BEST:: SOT 31602 SOS 7539 HAS SOPS 7539 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.539
AT ITER 4407 NEW BEST:: SOT 31601 SOS 7537 HAS SOPS 7537 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.537
AT ITER 4423 NEW BEST:: SOT 31590 SOS 7528 HAS SOPS 7528 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5921.528
AT ITER 4459 NEW BEST:: SOT 31598 SOS 7504 HAS SOPS 7504 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5909.504
AT ITER 4469 NEW BEST:: SOT 31603 SOS 7473 HAS SOPS 7473 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5878.473
AT ITER 4531 NEW BEST:: SOT 31603 SOS 7473 HAS SOPS 7473 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.473
AT ITER 4534 NEW BEST:: SOT 31611 SOS 7472 HAS SOPS 7472 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5867.472
AT ITER 4659 NEW BEST:: SOT 31611 SOS 7467 HAS SOPS 7467 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5862.467
AT ITER 4667 NEW BEST:: SOT 31597 SOS 7451 HAS SOPS 7451 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.451
AT ITER 4744 NEW BEST:: SOT 31596 SOS 7450 HAS SOPS 7450 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5852.45
AT ITER 4760 NEW BEST:: SOT 31596 SOS 7449 HAS SOPS 7449 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5851.449
AT ITER 4761 NEW BEST:: SOT 31596 SOS 7429 HAS SOPS 7429 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5831.429
AT ITER 4792 NEW BEST:: SOT 31592 SOS 7421 HAS SOPS 7421 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5823.421
AT ITER 4818 NEW BEST:: SOT 31585 SOS 7401 HAS SOPS 7401 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5809.401
AT ITER 4834 NEW BEST:: SOT 31584 SOS 7398 HAS SOPS 7398 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5803.398
AT ITER 4856 NEW BEST:: SOT 31583 SOS 7397 HAS SOPS 7397 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5802.397
AT ITER 4921 NEW BEST:: SOT 31605 SOS 7411 HAS SOPS 7411 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5791.411
AT ITER 4928 NEW BEST:: SOT 31605 SOS 7398 HAS SOPS 7398 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5778.398
AT ITER 4944 NEW BEST:: SOT 31634 SOS 7384 HAS SOPS 7384 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5764.384
AT ITER 4954 NEW BEST:: SOT 31626 SOS 7368 HAS SOPS 7368 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5748.368
AT ITER 4995 NEW BEST:: SOT 31623 SOS 7362 HAS SOPS 7362 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5742.362
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-00 (EF((AF((! potential( (tk(P96)) <= (tk(P231)) ))))))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-01 ( ( (! (AG( potential( (tk(P15)) <= (tk(P155)) )))) | (AU( potential( ( 2 ) <= (tk(P225)) ),potential( ( 2 ) <= (tk(P215)) ) )) ) & (! ( (EF(potential( ( 2 ) <= (tk(P136)) ))) & ( ( potential( (tk(P192)) <= (tk(P98)) ) & potential( ( 3 ) <= (tk(P239)) ) ) | potential( (tk(P205)) <= (tk(P45)) ) ) )) )
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-02 (AG( ( (AX( potential( (tk(P18)) <= (tk(P87)) ))) | potential( (tk(P151)) <= (tk(P29)) ) )))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-03 (EF((EG( potential( ( 1 ) <= (tk(P232)) )))))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-04 (EF(( potential( ( 2 ) <= (tk(P157)) ) & (EG( potential( (tk(P249)) <= (tk(P137)) ))) )))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-05 (EF(( ( (! potential( (tk(P259)) <= (tk(P16)) )) & (! potential( ( 1 ) <= (tk(P19)) )) ) | potential( ( 3 ) <= (tk(P121)) ) )))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-06 (! ( (AG( (! potential( ( 3 ) <= (tk(P51)) )))) | ( (! (! potential( ( 1 ) <= (tk(P37)) ))) & (AX( potential( ( 3 ) <= (tk(P162)) ))) ) ))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-07 (EF((AX( ( potential( ( 3 ) <= (tk(P238)) ) & potential( ( 2 ) <= (tk(P246)) ) )))))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-08 ( (EX( (! ( potential( ( 2 ) <= (tk(P77)) ) | potential( ( 1 ) <= (tk(P162)) ) )))) & (AG( (AF(potential( (tk(P99)) <= (tk(P98)) ))))) )
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-09 (EU( ( ( potential( ( 3 ) <= (tk(P141)) ) & potential( ( 2 ) <= (tk(P150)) ) ) & potential( (tk(P76)) <= (tk(P164)) ) ),(EF(potential( ( 2 ) <= (tk(P78)) ))) ))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-10 ( ( (AX( ( potential( (tk(P63)) <= (tk(P215)) ) | potential( (tk(P70)) <= (tk(P32)) ) ))) & (EU( potential( (tk(P79)) <= (tk(P182)) ),potential( (tk(P64)) <= (tk(P245)) ) )) ) & (! (EF(( potential( (tk(P131)) <= (tk(P183)) ) & potential( ( 1 ) <= (tk(P24)) ) )))) )
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-11 ( (! (! (EF(potential( ( 1 ) <= (tk(P242)) ))))) & ( (! potential( ( 2 ) <= (tk(P249)) )) | potential( ( 1 ) <= (tk(P175)) ) ) )
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-12 (EU( (AG( potential( (tk(P121)) <= (tk(P25)) ))),( potential( (tk(P123)) <= (tk(P239)) ) & ( potential( (tk(P125)) <= (tk(P166)) ) & potential( ( 1 ) <= (tk(P17)) ) ) ) ))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-13 (AG( ( ( (! potential( ( 1 ) <= (tk(P58)) )) | potential( (tk(P223)) <= (tk(P8)) ) ) | (! ( potential( ( 3 ) <= (tk(P49)) ) & potential( (tk(P29)) <= (tk(P179)) ) )) )))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-14 (AG( (! ( (! potential( ( 3 ) <= (tk(P166)) )) & ( potential( ( 2 ) <= (tk(P80)) ) | potential( ( 3 ) <= (tk(P252)) ) ) ))))
PROPERTY: BusinessProcesses-PT-02-CTLCardinality-15 (EF(( (! ( potential( (tk(P59)) <= (tk(P217)) ) | potential( ( 2 ) <= (tk(P161)) ) )) & (EF(potential( (tk(P19)) <= (tk(P86)) ))) )))

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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-02, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680000459"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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