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

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

=== Now, execution of the tool begins

BK_START 1589016676893

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 01
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: 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 3 NEW BEST:: SOT 22783 SOS 8615 HAS SOPS 8615 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8318.615
AT ITER 7 NEW BEST:: SOT 22712 SOS 8290 HAS SOPS 8290 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8101.29
AT ITER 8 NEW BEST:: SOT 22712 SOS 8285 HAS SOPS 8285 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8096.285
AT ITER 12 NEW BEST:: SOT 22712 SOS 8279 HAS SOPS 8279 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8090.279
AT ITER 19 NEW BEST:: SOT 22672 SOS 8254 HAS SOPS 8254 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8080.254
AT ITER 38 NEW BEST:: SOT 22671 SOS 8252 HAS SOPS 8252 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8078.252
AT ITER 51 NEW BEST:: SOT 22631 SOS 8212 HAS SOPS 8212 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8038.212
AT ITER 55 NEW BEST:: SOT 22636 SOS 8222 HAS SOPS 8222 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8030.222
AT ITER 57 NEW BEST:: SOT 22147 SOS 7825 HAS SOPS 7825 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7579.825
AT ITER 59 NEW BEST:: SOT 22147 SOS 7799 HAS SOPS 7799 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7553.799
AT ITER 71 NEW BEST:: SOT 22147 SOS 7793 HAS SOPS 7793 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7547.793
AT ITER 72 NEW BEST:: SOT 22116 SOS 7714 HAS SOPS 7714 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7511.714
AT ITER 92 NEW BEST:: SOT 22116 SOS 7699 HAS SOPS 7699 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7496.699
AT ITER 96 NEW BEST:: SOT 22116 SOS 7690 HAS SOPS 7690 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7487.69
AT ITER 105 NEW BEST:: SOT 22087 SOS 7655 HAS SOPS 7655 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7452.655
AT ITER 120 NEW BEST:: SOT 21975 SOS 7611 HAS SOPS 7611 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7408.611
AT ITER 127 NEW BEST:: SOT 21958 SOS 7596 HAS SOPS 7596 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7393.596
AT ITER 146 NEW BEST:: SOT 21896 SOS 7554 HAS SOPS 7554 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7351.554
AT ITER 153 NEW BEST:: SOT 21886 SOS 7491 HAS SOPS 7491 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7288.491
AT ITER 180 NEW BEST:: SOT 21885 SOS 7490 HAS SOPS 7490 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7287.49
AT ITER 181 NEW BEST:: SOT 21885 SOS 7456 HAS SOPS 7456 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7259.456
AT ITER 183 NEW BEST:: SOT 21900 SOS 7463 HAS SOPS 7463 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7254.463
AT ITER 193 NEW BEST:: SOT 21900 SOS 7460 HAS SOPS 7460 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7251.46
AT ITER 237 NEW BEST:: SOT 21891 SOS 7437 HAS SOPS 7437 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7237.437
AT ITER 245 NEW BEST:: SOT 21893 SOS 7420 HAS SOPS 7420 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7220.42
AT ITER 247 NEW BEST:: SOT 21869 SOS 7419 HAS SOPS 7419 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7219.419
AT ITER 249 NEW BEST:: SOT 21863 SOS 7413 HAS SOPS 7413 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7213.413
AT ITER 250 NEW BEST:: SOT 21862 SOS 7412 HAS SOPS 7412 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7212.412
AT ITER 251 NEW BEST:: SOT 21848 SOS 7385 HAS SOPS 7385 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7183.385
AT ITER 252 NEW BEST:: SOT 21832 SOS 7378 HAS SOPS 7378 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7176.378
AT ITER 254 NEW BEST:: SOT 21812 SOS 7263 HAS SOPS 7263 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7113.263
AT ITER 260 NEW BEST:: SOT 21780 SOS 7178 HAS SOPS 7178 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7028.178
AT ITER 270 NEW BEST:: SOT 21743 SOS 7175 HAS SOPS 7175 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.175
AT ITER 276 NEW BEST:: SOT 21637 SOS 7119 HAS SOPS 7119 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6925.119
AT ITER 278 NEW BEST:: SOT 21652 SOS 7101 HAS SOPS 7101 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6893.101
AT ITER 282 NEW BEST:: SOT 21660 SOS 7068 HAS SOPS 7068 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6860.068
AT ITER 294 NEW BEST:: SOT 21654 SOS 7067 HAS SOPS 7067 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6859.067
AT ITER 295 NEW BEST:: SOT 21644 SOS 7057 HAS SOPS 7057 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6849.057
AT ITER 299 NEW BEST:: SOT 21628 SOS 7089 HAS SOPS 7089 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6833.089
AT ITER 304 NEW BEST:: SOT 21624 SOS 7085 HAS SOPS 7085 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6829.085
AT ITER 311 NEW BEST:: SOT 21622 SOS 7081 HAS SOPS 7081 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6825.081
AT ITER 328 NEW BEST:: SOT 21621 SOS 7079 HAS SOPS 7079 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6823.079
AT ITER 336 NEW BEST:: SOT 21550 SOS 6965 HAS SOPS 6965 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6708.965
AT ITER 350 NEW BEST:: SOT 21550 SOS 6944 HAS SOPS 6944 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6687.944
AT ITER 389 NEW BEST:: SOT 21542 SOS 6936 HAS SOPS 6936 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6679.936
AT ITER 391 NEW BEST:: SOT 21499 SOS 6893 HAS SOPS 6893 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6636.893
AT ITER 396 NEW BEST:: SOT 21488 SOS 6879 HAS SOPS 6879 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6622.879
AT ITER 397 NEW BEST:: SOT 21488 SOS 6879 HAS SOPS 6879 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6608.879
AT ITER 409 NEW BEST:: SOT 21509 SOS 6841 HAS SOPS 6841 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6549.841
AT ITER 428 NEW BEST:: SOT 21409 SOS 6968 HAS SOPS 6968 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6479.968
AT ITER 458 NEW BEST:: SOT 21393 SOS 6959 HAS SOPS 6959 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6443.959
AT ITER 460 NEW BEST:: SOT 21412 SOS 6930 HAS SOPS 6930 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6414.93
AT ITER 465 NEW BEST:: SOT 21420 SOS 6915 HAS SOPS 6915 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6399.915
AT ITER 474 NEW BEST:: SOT 21419 SOS 6913 HAS SOPS 6913 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6397.913
AT ITER 482 NEW BEST:: SOT 21413 SOS 6901 HAS SOPS 6901 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6385.901
AT ITER 488 NEW BEST:: SOT 21381 SOS 6892 HAS SOPS 6892 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6376.892
AT ITER 501 NEW BEST:: SOT 21402 SOS 6938 HAS SOPS 6938 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6349.938
AT ITER 515 NEW BEST:: SOT 21391 SOS 6927 HAS SOPS 6927 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.927
AT ITER 517 NEW BEST:: SOT 21348 SOS 6884 HAS SOPS 6884 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6295.884
AT ITER 555 NEW BEST:: SOT 21336 SOS 6868 HAS SOPS 6868 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6279.868
AT ITER 573 NEW BEST:: SOT 21331 SOS 6846 HAS SOPS 6846 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6257.846
AT ITER 575 NEW BEST:: SOT 21325 SOS 6837 HAS SOPS 6837 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6248.837
AT ITER 585 NEW BEST:: SOT 21298 SOS 6797 HAS SOPS 6797 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6208.797
AT ITER 603 NEW BEST:: SOT 21297 SOS 6797 HAS SOPS 6797 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6207.797
AT ITER 626 NEW BEST:: SOT 21288 SOS 6779 HAS SOPS 6779 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.779
AT ITER 656 NEW BEST:: SOT 21248 SOS 6775 HAS SOPS 6775 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.775
AT ITER 661 NEW BEST:: SOT 21248 SOS 6773 HAS SOPS 6773 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.773
AT ITER 672 NEW BEST:: SOT 21221 SOS 6740 HAS SOPS 6740 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6156.74
AT ITER 674 NEW BEST:: SOT 21221 SOS 6716 HAS SOPS 6716 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6154.716
AT ITER 677 NEW BEST:: SOT 21139 SOS 8217 HAS SOPS 8217 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6111.217
AT ITER 688 NEW BEST:: SOT 21116 SOS 8193 HAS SOPS 8193 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6109.193
AT ITER 692 NEW BEST:: SOT 21115 SOS 8191 HAS SOPS 8191 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6108.191
AT ITER 694 NEW BEST:: SOT 21098 SOS 8168 HAS SOPS 8168 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6074.168
AT ITER 696 NEW BEST:: SOT 21094 SOS 8160 HAS SOPS 8160 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6066.16
AT ITER 704 NEW BEST:: SOT 21112 SOS 8136 HAS SOPS 8136 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6057.136
AT ITER 712 NEW BEST:: SOT 21086 SOS 8097 HAS SOPS 8097 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6031.097
AT ITER 714 NEW BEST:: SOT 21085 SOS 8090 HAS SOPS 8090 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6029.09
AT ITER 729 NEW BEST:: SOT 20952 SOS 7934 HAS SOPS 7934 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5900.934
AT ITER 732 NEW BEST:: SOT 20892 SOS 7912 HAS SOPS 7912 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5866.912
AT ITER 749 NEW BEST:: SOT 20871 SOS 7886 HAS SOPS 7886 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5840.886
AT ITER 754 NEW BEST:: SOT 20871 SOS 7885 HAS SOPS 7885 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5839.885
AT ITER 773 NEW BEST:: SOT 20889 SOS 7883 HAS SOPS 7883 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5837.883
AT ITER 782 NEW BEST:: SOT 20873 SOS 7858 HAS SOPS 7858 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5812.858
AT ITER 796 NEW BEST:: SOT 20841 SOS 7826 HAS SOPS 7826 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5780.826
AT ITER 798 NEW BEST:: SOT 20841 SOS 7820 HAS SOPS 7820 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5780.82
AT ITER 806 NEW BEST:: SOT 20838 SOS 7814 HAS SOPS 7814 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5774.814
AT ITER 822 NEW BEST:: SOT 20838 SOS 7814 HAS SOPS 7814 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5762.814
AT ITER 844 NEW BEST:: SOT 20855 SOS 7783 HAS SOPS 7783 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5731.783
AT ITER 851 NEW BEST:: SOT 20904 SOS 7817 HAS SOPS 7817 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5689.817
AT ITER 854 NEW BEST:: SOT 20905 SOS 7819 HAS SOPS 7819 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5676.819
AT ITER 860 NEW BEST:: SOT 20901 SOS 7811 HAS SOPS 7811 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5670.811
AT ITER 865 NEW BEST:: SOT 20883 SOS 7785 HAS SOPS 7785 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5648.785
AT ITER 867 NEW BEST:: SOT 20883 SOS 7782 HAS SOPS 7782 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5645.782
AT ITER 873 NEW BEST:: SOT 20876 SOS 7771 HAS SOPS 7771 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5634.771
AT ITER 877 NEW BEST:: SOT 20872 SOS 7767 HAS SOPS 7767 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5630.767
AT ITER 881 NEW BEST:: SOT 20842 SOS 7737 HAS SOPS 7737 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5600.737
AT ITER 889 NEW BEST:: SOT 20826 SOS 7705 HAS SOPS 7705 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5584.705
AT ITER 892 NEW BEST:: SOT 20821 SOS 7700 HAS SOPS 7700 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5579.7
AT ITER 893 NEW BEST:: SOT 20820 SOS 7699 HAS SOPS 7699 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5578.699
AT ITER 913 NEW BEST:: SOT 20822 SOS 7703 HAS SOPS 7703 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5566.703
AT ITER 983 NEW BEST:: SOT 20854 SOS 7699 HAS SOPS 7699 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5562.699
AT ITER 1001 NEW BEST:: SOT 20836 SOS 7681 HAS SOPS 7681 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5544.681
AT ITER 1009 NEW BEST:: SOT 20861 SOS 6853 HAS SOPS 6853 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.853
AT ITER 1041 NEW BEST:: SOT 20857 SOS 6837 HAS SOPS 6837 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.837
AT ITER 1043 NEW BEST:: SOT 20857 SOS 6836 HAS SOPS 6836 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.836
AT ITER 1058 NEW BEST:: SOT 20836 SOS 6794 HAS SOPS 6794 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.794
AT ITER 1067 NEW BEST:: SOT 20825 SOS 6783 HAS SOPS 6783 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5459.783
AT ITER 1074 NEW BEST:: SOT 20809 SOS 6751 HAS SOPS 6751 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.751
AT ITER 1077 NEW BEST:: SOT 20809 SOS 6751 HAS SOPS 6751 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5422.751
AT ITER 1091 NEW BEST:: SOT 20806 SOS 6745 HAS SOPS 6745 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.745
AT ITER 1095 NEW BEST:: SOT 20807 SOS 6703 HAS SOPS 6703 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5413.703
AT ITER 1114 NEW BEST:: SOT 20807 SOS 6679 HAS SOPS 6679 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.679
AT ITER 1136 NEW BEST:: SOT 20803 SOS 6675 HAS SOPS 6675 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5385.675
AT ITER 1138 NEW BEST:: SOT 20802 SOS 6671 HAS SOPS 6671 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.671
AT ITER 1147 NEW BEST:: SOT 20784 SOS 6652 HAS SOPS 6652 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.652
AT ITER 1149 NEW BEST:: SOT 20771 SOS 6642 HAS SOPS 6642 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5379.642
AT ITER 1178 NEW BEST:: SOT 20771 SOS 6611 HAS SOPS 6611 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.611
AT ITER 1200 NEW BEST:: SOT 20771 SOS 6607 HAS SOPS 6607 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.607
AT ITER 1264 NEW BEST:: SOT 20763 SOS 6582 HAS SOPS 6582 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.582
AT ITER 1287 NEW BEST:: SOT 20759 SOS 6560 HAS SOPS 6560 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5328.56
AT ITER 1304 NEW BEST:: SOT 20733 SOS 6529 HAS SOPS 6529 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5297.529
AT ITER 1316 NEW BEST:: SOT 20729 SOS 6525 HAS SOPS 6525 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.525
AT ITER 1319 NEW BEST:: SOT 20719 SOS 6505 HAS SOPS 6505 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5286.505
AT ITER 1321 NEW BEST:: SOT 20697 SOS 6493 HAS SOPS 6493 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5270.493
AT ITER 1352 NEW BEST:: SOT 20705 SOS 6480 HAS SOPS 6480 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5257.48
AT ITER 1379 NEW BEST:: SOT 20700 SOS 6470 HAS SOPS 6470 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.47
AT ITER 1389 NEW BEST:: SOT 20712 SOS 6434 HAS SOPS 6434 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.434
AT ITER 1403 NEW BEST:: SOT 20678 SOS 6365 HAS SOPS 6365 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5213.365
AT ITER 1406 NEW BEST:: SOT 20671 SOS 6351 HAS SOPS 6351 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5199.351
AT ITER 1407 NEW BEST:: SOT 20638 SOS 6329 HAS SOPS 6329 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5177.329
AT ITER 1431 NEW BEST:: SOT 20631 SOS 6315 HAS SOPS 6315 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.315
AT ITER 1494 NEW BEST:: SOT 20631 SOS 6305 HAS SOPS 6305 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.305
AT ITER 1500 NEW BEST:: SOT 20612 SOS 6283 HAS SOPS 6283 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5137.283
AT ITER 1537 NEW BEST:: SOT 20609 SOS 6277 HAS SOPS 6277 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5131.277
AT ITER 1547 NEW BEST:: SOT 20607 SOS 6275 HAS SOPS 6275 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5129.275
AT ITER 1564 NEW BEST:: SOT 20616 SOS 6274 HAS SOPS 6274 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5128.274
AT ITER 1568 NEW BEST:: SOT 20614 SOS 6270 HAS SOPS 6270 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5126.27
AT ITER 1570 NEW BEST:: SOT 20598 SOS 6238 HAS SOPS 6238 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5110.238
AT ITER 1599 NEW BEST:: SOT 20585 SOS 6225 HAS SOPS 6225 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5109.225
AT ITER 1608 NEW BEST:: SOT 20604 SOS 6245 HAS SOPS 6245 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.245
AT ITER 1612 NEW BEST:: SOT 20582 SOS 6238 HAS SOPS 6238 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.238
AT ITER 1628 NEW BEST:: SOT 20590 SOS 6216 HAS SOPS 6216 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5083.216
AT ITER 1639 NEW BEST:: SOT 20568 SOS 6194 HAS SOPS 6194 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5061.194
AT ITER 1653 NEW BEST:: SOT 20568 SOS 6194 HAS SOPS 6194 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5051.194
AT ITER 1662 NEW BEST:: SOT 20568 SOS 6194 HAS SOPS 6194 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.194
AT ITER 1676 NEW BEST:: SOT 20560 SOS 6188 HAS SOPS 6188 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.188
AT ITER 1677 NEW BEST:: SOT 20557 SOS 6173 HAS SOPS 6173 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.173
AT ITER 1693 NEW BEST:: SOT 20518 SOS 6134 HAS SOPS 6134 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.134
AT ITER 1703 NEW BEST:: SOT 20533 SOS 6163 HAS SOPS 6163 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4972.163
AT ITER 1726 NEW BEST:: SOT 20533 SOS 6151 HAS SOPS 6151 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4960.151
AT ITER 1795 NEW BEST:: SOT 20539 SOS 6146 HAS SOPS 6146 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4959.146
AT ITER 1816 NEW BEST:: SOT 20517 SOS 6123 HAS SOPS 6123 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4936.123
AT ITER 1834 NEW BEST:: SOT 20516 SOS 6122 HAS SOPS 6122 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4935.122
AT ITER 1853 NEW BEST:: SOT 20515 SOS 6121 HAS SOPS 6121 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4934.121
AT ITER 1858 NEW BEST:: SOT 20521 SOS 6114 HAS SOPS 6114 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4908.114
AT ITER 1862 NEW BEST:: SOT 20526 SOS 6109 HAS SOPS 6109 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4903.109
AT ITER 1928 NEW BEST:: SOT 20526 SOS 6100 HAS SOPS 6100 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4903.1
AT ITER 1935 NEW BEST:: SOT 20526 SOS 6094 HAS SOPS 6094 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4897.094
AT ITER 1957 NEW BEST:: SOT 20575 SOS 6073 HAS SOPS 6073 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4876.073
AT ITER 1968 NEW BEST:: SOT 20574 SOS 6072 HAS SOPS 6072 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4875.072
AT ITER 1975 NEW BEST:: SOT 20568 SOS 6065 HAS SOPS 6065 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.065
AT ITER 2013 NEW BEST:: SOT 20547 SOS 6042 HAS SOPS 6042 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.042
AT ITER 2015 NEW BEST:: SOT 20546 SOS 6036 HAS SOPS 6036 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4867.036
AT ITER 2073 NEW BEST:: SOT 20533 SOS 6010 HAS SOPS 6010 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4841.01
AT ITER 2094 NEW BEST:: SOT 20514 SOS 5991 HAS SOPS 5991 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4821.991
AT ITER 2113 NEW BEST:: SOT 20515 SOS 5990 HAS SOPS 5990 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.99
AT ITER 2181 NEW BEST:: SOT 20510 SOS 5981 HAS SOPS 5981 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.981
AT ITER 2193 NEW BEST:: SOT 20503 SOS 5956 HAS SOPS 5956 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.956
AT ITER 2215 NEW BEST:: SOT 20503 SOS 5950 HAS SOPS 5950 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.95
AT ITER 2222 NEW BEST:: SOT 20500 SOS 5944 HAS SOPS 5944 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4781.944
AT ITER 2241 NEW BEST:: SOT 20500 SOS 5939 HAS SOPS 5939 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.939
AT ITER 2249 NEW BEST:: SOT 20492 SOS 5937 HAS SOPS 5937 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.937
AT ITER 2278 NEW BEST:: SOT 20493 SOS 5936 HAS SOPS 5936 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4771.936
AT ITER 2281 NEW BEST:: SOT 20488 SOS 5931 HAS SOPS 5931 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.931
AT ITER 2290 NEW BEST:: SOT 20484 SOS 5899 HAS SOPS 5899 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4734.899
AT ITER 2316 NEW BEST:: SOT 20473 SOS 5889 HAS SOPS 5889 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.889
AT ITER 2318 NEW BEST:: SOT 20485 SOS 5871 HAS SOPS 5871 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4706.871
AT ITER 2336 NEW BEST:: SOT 20485 SOS 5871 HAS SOPS 5871 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4702.871
AT ITER 2339 NEW BEST:: SOT 20428 SOS 5839 HAS SOPS 5839 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.839
AT ITER 2345 NEW BEST:: SOT 20423 SOS 5829 HAS SOPS 5829 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.829
AT ITER 2346 NEW BEST:: SOT 20421 SOS 5827 HAS SOPS 5827 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.827
AT ITER 2351 NEW BEST:: SOT 20420 SOS 5825 HAS SOPS 5825 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4685.825
AT ITER 2373 NEW BEST:: SOT 20417 SOS 5818 HAS SOPS 5818 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.818
AT ITER 2378 NEW BEST:: SOT 20420 SOS 5816 HAS SOPS 5816 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4676.816
AT ITER 2452 NEW BEST:: SOT 20415 SOS 5812 HAS SOPS 5812 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4672.812
AT ITER 2511 NEW BEST:: SOT 20417 SOS 5798 HAS SOPS 5798 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.798
AT ITER 2567 NEW BEST:: SOT 20430 SOS 5800 HAS SOPS 5800 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.8
AT ITER 2579 NEW BEST:: SOT 20408 SOS 5778 HAS SOPS 5778 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.778
AT ITER 2595 NEW BEST:: SOT 20407 SOS 5777 HAS SOPS 5777 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.777
AT ITER 2600 NEW BEST:: SOT 20406 SOS 5775 HAS SOPS 5775 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4620.775
AT ITER 2615 NEW BEST:: SOT 20419 SOS 5775 HAS SOPS 5775 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4612.775
AT ITER 2626 NEW BEST:: SOT 20419 SOS 5756 HAS SOPS 5756 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.756
AT ITER 2645 NEW BEST:: SOT 20412 SOS 5742 HAS SOPS 5742 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4579.742
AT ITER 2688 NEW BEST:: SOT 20406 SOS 5713 HAS SOPS 5713 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.713
AT ITER 2719 NEW BEST:: SOT 20405 SOS 5711 HAS SOPS 5711 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4548.711
AT ITER 2732 NEW BEST:: SOT 20396 SOS 5709 HAS SOPS 5709 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4546.709
AT ITER 2738 NEW BEST:: SOT 20396 SOS 5699 HAS SOPS 5699 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.699
AT ITER 2752 NEW BEST:: SOT 20389 SOS 5692 HAS SOPS 5692 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.692
AT ITER 2783 NEW BEST:: SOT 20379 SOS 5687 HAS SOPS 5687 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4524.687
AT ITER 2793 NEW BEST:: SOT 20376 SOS 5684 HAS SOPS 5684 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.684
AT ITER 2804 NEW BEST:: SOT 20374 SOS 5680 HAS SOPS 5680 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.68
AT ITER 2836 NEW BEST:: SOT 20368 SOS 5668 HAS SOPS 5668 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.668
AT ITER 2885 NEW BEST:: SOT 20355 SOS 5654 HAS SOPS 5654 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4509.654
AT ITER 2925 NEW BEST:: SOT 20350 SOS 5649 HAS SOPS 5649 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.649
AT ITER 2932 NEW BEST:: SOT 20353 SOS 5648 HAS SOPS 5648 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.648
AT ITER 3041 NEW BEST:: SOT 20354 SOS 5647 HAS SOPS 5647 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4502.647
AT ITER 3088 NEW BEST:: SOT 20352 SOS 5645 HAS SOPS 5645 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4500.645
AT ITER 3104 NEW BEST:: SOT 20352 SOS 5642 HAS SOPS 5642 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.642
AT ITER 3148 NEW BEST:: SOT 20352 SOS 5642 HAS SOPS 5642 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.642
AT ITER 3153 NEW BEST:: SOT 20344 SOS 5637 HAS SOPS 5637 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4491.637
AT ITER 3166 NEW BEST:: SOT 20345 SOS 5636 HAS SOPS 5636 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.636
AT ITER 3232 NEW BEST:: SOT 20346 SOS 5630 HAS SOPS 5630 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.63
AT ITER 3259 NEW BEST:: SOT 20345 SOS 5629 HAS SOPS 5629 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.629
AT ITER 3284 NEW BEST:: SOT 20342 SOS 5626 HAS SOPS 5626 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4475.626
AT ITER 3297 NEW BEST:: SOT 20339 SOS 5623 HAS SOPS 5623 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4472.623
AT ITER 3300 NEW BEST:: SOT 20333 SOS 5611 HAS SOPS 5611 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4460.611
AT ITER 3306 NEW BEST:: SOT 20325 SOS 5602 HAS SOPS 5602 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4458.602
AT ITER 3307 NEW BEST:: SOT 20322 SOS 5596 HAS SOPS 5596 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4452.596
AT ITER 3352 NEW BEST:: SOT 20319 SOS 5587 HAS SOPS 5587 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4449.587
AT ITER 3363 NEW BEST:: SOT 20318 SOS 5586 HAS SOPS 5586 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4449.586
AT ITER 3385 NEW BEST:: SOT 20305 SOS 5575 HAS SOPS 5575 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4438.575
AT ITER 3395 NEW BEST:: SOT 20304 SOS 5574 HAS SOPS 5574 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4437.574
AT ITER 3411 NEW BEST:: SOT 20306 SOS 5573 HAS SOPS 5573 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4436.573
AT ITER 3427 NEW BEST:: SOT 20320 SOS 5525 HAS SOPS 5525 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.525
AT ITER 3428 NEW BEST:: SOT 20320 SOS 5523 HAS SOPS 5523 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.523
AT ITER 3441 NEW BEST:: SOT 20315 SOS 5522 HAS SOPS 5522 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.522
AT ITER 3447 NEW BEST:: SOT 20314 SOS 5510 HAS SOPS 5510 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4410.51
AT ITER 3454 NEW BEST:: SOT 20314 SOS 5507 HAS SOPS 5507 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4407.507
AT ITER 3476 NEW BEST:: SOT 20327 SOS 5535 HAS SOPS 5535 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.535
AT ITER 3488 NEW BEST:: SOT 20327 SOS 5511 HAS SOPS 5511 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.511
AT ITER 3662 NEW BEST:: SOT 20327 SOS 5510 HAS SOPS 5510 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4388.51
AT ITER 3711 NEW BEST:: SOT 20314 SOS 5498 HAS SOPS 5498 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4383.498
AT ITER 3806 NEW BEST:: SOT 20317 SOS 5498 HAS SOPS 5498 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.498
AT ITER 3824 NEW BEST:: SOT 20311 SOS 5492 HAS SOPS 5492 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4372.492
AT ITER 3856 NEW BEST:: SOT 20311 SOS 5492 HAS SOPS 5492 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4367.492
AT ITER 3865 NEW BEST:: SOT 20308 SOS 5489 HAS SOPS 5489 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4364.489
AT ITER 3877 NEW BEST:: SOT 20308 SOS 5487 HAS SOPS 5487 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4362.487
AT ITER 3940 NEW BEST:: SOT 20307 SOS 5485 HAS SOPS 5485 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4360.485
AT ITER 3953 NEW BEST:: SOT 20303 SOS 5466 HAS SOPS 5466 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4341.466
AT ITER 4077 NEW BEST:: SOT 20302 SOS 5464 HAS SOPS 5464 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4339.464
AT ITER 4082 NEW BEST:: SOT 20302 SOS 5435 HAS SOPS 5435 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4310.435
AT ITER 4084 NEW BEST:: SOT 20302 SOS 5431 HAS SOPS 5431 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4306.431
AT ITER 4093 NEW BEST:: SOT 20302 SOS 5421 HAS SOPS 5421 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.421
AT ITER 4122 NEW BEST:: SOT 20302 SOS 5409 HAS SOPS 5409 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.409
AT ITER 4243 NEW BEST:: SOT 20301 SOS 5400 HAS SOPS 5400 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4294.4
AT ITER 4288 NEW BEST:: SOT 20303 SOS 5404 HAS SOPS 5404 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4293.404
AT ITER 4303 NEW BEST:: SOT 20303 SOS 5399 HAS SOPS 5399 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4288.399
AT ITER 4361 NEW BEST:: SOT 20301 SOS 5390 HAS SOPS 5390 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4288.39
AT ITER 4374 NEW BEST:: SOT 20303 SOS 5391 HAS SOPS 5391 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4286.391
AT ITER 4384 NEW BEST:: SOT 20302 SOS 5388 HAS SOPS 5388 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4283.388
AT ITER 4386 NEW BEST:: SOT 20297 SOS 5380 HAS SOPS 5380 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4275.38
AT ITER 4393 NEW BEST:: SOT 20296 SOS 5379 HAS SOPS 5379 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4274.379
AT ITER 4469 NEW BEST:: SOT 20284 SOS 5369 HAS SOPS 5369 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4267.369
AT ITER 4550 NEW BEST:: SOT 20281 SOS 5363 HAS SOPS 5363 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.363
AT ITER 4557 NEW BEST:: SOT 20283 SOS 5344 HAS SOPS 5344 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.344
AT ITER 4633 NEW BEST:: SOT 20294 SOS 5378 HAS SOPS 5378 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4259.378
AT ITER 4683 NEW BEST:: SOT 20288 SOS 5375 HAS SOPS 5375 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4256.375
AT ITER 4693 NEW BEST:: SOT 20294 SOS 5371 HAS SOPS 5371 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4251.371
AT ITER 4697 NEW BEST:: SOT 20292 SOS 5369 HAS SOPS 5369 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4249.369
AT ITER 4716 NEW BEST:: SOT 20300 SOS 5375 HAS SOPS 5375 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4246.375
AT ITER 4793 NEW BEST:: SOT 20293 SOS 5354 HAS SOPS 5354 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4232.354
AT ITER 4855 NEW BEST:: SOT 20299 SOS 5353 HAS SOPS 5353 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4231.353
AT ITER 4893 NEW BEST:: SOT 20293 SOS 5346 HAS SOPS 5346 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4224.346
AT ITER 4941 NEW BEST:: SOT 20287 SOS 5342 HAS SOPS 5342 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4220.342
AT ITER 4979 NEW BEST:: SOT 20283 SOS 5335 HAS SOPS 5335 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4213.335
AT ITER 4995 NEW BEST:: SOT 20262 SOS 5530 HAS SOPS 5530 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4210.53
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-00 (EF((EF(potential( ( 3 ) <= (tk(P101)) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-01 (AG( ( ( potential( (tk(P37)) <= (tk(P10)) ) & (! potential( ( 2 ) <= (tk(P80)) )) ) | (! ( potential( (tk(P183)) <= (tk(P49)) ) & potential( ( 3 ) <= (tk(P173)) ) )) )))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-02 (EG( (AG( ( potential( (tk(P124)) <= (tk(P104)) ) | potential( ( 3 ) <= (tk(P195)) ) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-03 (EG( (AG( ( potential( (tk(P125)) <= (tk(P6)) ) | potential( (tk(P200)) <= (tk(P116)) ) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-04 (! (! (AG( potential( (tk(P42)) <= (tk(P180)) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-05 (AF((AG( potential( (tk(P173)) <= (tk(P149)) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-06 (EF((AF(( potential( ( 2 ) <= (tk(P80)) ) & potential( ( 1 ) <= (tk(P168)) ) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-07 (EF(( (AG( potential( ( 1 ) <= (tk(P163)) ))) | ( (! potential( (tk(P95)) <= (tk(P175)) )) | (! potential( (tk(P96)) <= (tk(P12)) )) ) )))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-08 (AG( (EG( potential( (tk(P34)) <= (tk(P105)) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-09 (EU( (EF(potential( ( 2 ) <= (tk(P64)) ))),(! potential( (tk(P191)) <= (tk(P160)) )) ))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-10 (EF((! ( potential( ( 3 ) <= (tk(P69)) ) | ( potential( (tk(P42)) <= (tk(P161)) ) | potential( ( 2 ) <= (tk(P138)) ) ) ))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-11 (EF((EX( ( potential( ( 3 ) <= (tk(P119)) ) | potential( ( 2 ) <= (tk(P198)) ) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-12 (EG( (AG( ( potential( ( 2 ) <= (tk(P16)) ) | potential( (tk(P41)) <= (tk(P155)) ) )))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-13 (EG( ( ( potential( ( 2 ) <= (tk(P88)) ) & ( potential( (tk(P91)) <= (tk(P32)) ) | potential( (tk(P72)) <= (tk(P53)) ) ) ) | (AG( potential( (tk(P163)) <= (tk(P179)) ))) )))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-14 (EG( (EU( potential( (tk(P148)) <= (tk(P30)) ),potential( ( 1 ) <= (tk(P66)) ) ))))
PROPERTY: BusinessProcesses-PT-01-CTLCardinality-15 ( (EX( (AG( potential( (tk(P118)) <= (tk(P38)) ))))) | ( (! (EX( potential( (tk(P117)) <= (tk(P20)) )))) & potential( (tk(P81)) <= (tk(P59)) ) ) )
FORMULA BusinessProcesses-PT-01-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA BusinessProcesses-PT-01-CTLCardinality-01 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-01"
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-01, 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-158897680000451"
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 [ "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 ;