Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688200456.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688200456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 6.8K Feb 25 16:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 16:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 47K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678467932196

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-01
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 01
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
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 17 NEW BEST:: SOT 22768 SOS 8600 HAS SOPS 8600 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8303.6
AT ITER 20 NEW BEST:: SOT 22709 SOS 8572 HAS SOPS 8572 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8275.572
AT ITER 27 NEW BEST:: SOT 22592 SOS 8455 HAS SOPS 8455 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8158.455
AT ITER 32 NEW BEST:: SOT 22540 SOS 8217 HAS SOPS 8217 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7972.217
AT ITER 41 NEW BEST:: SOT 22360 SOS 8022 HAS SOPS 8022 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7777.022
AT ITER 55 NEW BEST:: SOT 22314 SOS 7841 HAS SOPS 7841 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7684.841
AT ITER 72 NEW BEST:: SOT 22314 SOS 7827 HAS SOPS 7827 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7670.827
AT ITER 73 NEW BEST:: SOT 22289 SOS 7817 HAS SOPS 7817 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7645.817
AT ITER 91 NEW BEST:: SOT 22307 SOS 7755 HAS SOPS 7755 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7583.755
AT ITER 95 NEW BEST:: SOT 21867 SOS 11219 HAS SOPS 11219 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7482.219
AT ITER 97 NEW BEST:: SOT 21866 SOS 11218 HAS SOPS 11218 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7482.218
AT ITER 99 NEW BEST:: SOT 21839 SOS 11191 HAS SOPS 11191 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7392.191
AT ITER 108 NEW BEST:: SOT 21786 SOS 11137 HAS SOPS 11137 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7390.137
AT ITER 112 NEW BEST:: SOT 21798 SOS 11091 HAS SOPS 11091 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7344.091
AT ITER 115 NEW BEST:: SOT 21780 SOS 11055 HAS SOPS 11055 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7309.055
AT ITER 116 NEW BEST:: SOT 21684 SOS 10927 HAS SOPS 10927 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7245.927
AT ITER 131 NEW BEST:: SOT 21684 SOS 10887 HAS SOPS 10887 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7245.887
AT ITER 136 NEW BEST:: SOT 21674 SOS 10877 HAS SOPS 10877 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7235.877
AT ITER 140 NEW BEST:: SOT 21636 SOS 10801 HAS SOPS 10801 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7216.801
AT ITER 142 NEW BEST:: SOT 21668 SOS 10786 HAS SOPS 10786 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7195.786
AT ITER 144 NEW BEST:: SOT 21610 SOS 10726 HAS SOPS 10726 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7191.726
AT ITER 148 NEW BEST:: SOT 21610 SOS 10696 HAS SOPS 10696 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7153.696
AT ITER 153 NEW BEST:: SOT 21641 SOS 10673 HAS SOPS 10673 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7130.673
AT ITER 156 NEW BEST:: SOT 21581 SOS 10553 HAS SOPS 10553 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7010.553
AT ITER 163 NEW BEST:: SOT 21443 SOS 10399 HAS SOPS 10399 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6872.399
AT ITER 167 NEW BEST:: SOT 21443 SOS 10354 HAS SOPS 10354 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6872.354
AT ITER 171 NEW BEST:: SOT 21443 SOS 10318 HAS SOPS 10318 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6870.318
AT ITER 177 NEW BEST:: SOT 21443 SOS 10284 HAS SOPS 10284 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6870.284
AT ITER 178 NEW BEST:: SOT 21413 SOS 10249 HAS SOPS 10249 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6835.249
AT ITER 183 NEW BEST:: SOT 21412 SOS 10247 HAS SOPS 10247 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6833.247
AT ITER 186 NEW BEST:: SOT 21393 SOS 10209 HAS SOPS 10209 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6814.209
AT ITER 192 NEW BEST:: SOT 21381 SOS 10197 HAS SOPS 10197 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6802.197
AT ITER 199 NEW BEST:: SOT 21324 SOS 10027 HAS SOPS 10027 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6698.027
AT ITER 214 NEW BEST:: SOT 21252 SOS 9999 HAS SOPS 9999 HAS SOUS 6650 HAS SOUPS 6650 WITH SCORE 6659.999
AT ITER 217 NEW BEST:: SOT 21243 SOS 9990 HAS SOPS 9990 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6650.99
AT ITER 218 NEW BEST:: SOT 21213 SOS 9991 HAS SOPS 9991 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6647.991
AT ITER 227 NEW BEST:: SOT 21213 SOS 9991 HAS SOPS 9991 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6644.991
AT ITER 230 NEW BEST:: SOT 21246 SOS 10024 HAS SOPS 10024 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6644.024
AT ITER 257 NEW BEST:: SOT 21219 SOS 9997 HAS SOPS 9997 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6643.997
AT ITER 265 NEW BEST:: SOT 21209 SOS 9977 HAS SOPS 9977 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6623.977
AT ITER 280 NEW BEST:: SOT 21205 SOS 9973 HAS SOPS 9973 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6619.973
AT ITER 303 NEW BEST:: SOT 21238 SOS 10002 HAS SOPS 10002 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6612.002
AT ITER 305 NEW BEST:: SOT 21236 SOS 10019 HAS SOPS 10019 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6610.019
AT ITER 344 NEW BEST:: SOT 21214 SOS 9975 HAS SOPS 9975 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6565.975
AT ITER 358 NEW BEST:: SOT 21196 SOS 9957 HAS SOPS 9957 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6547.957
AT ITER 362 NEW BEST:: SOT 21186 SOS 9948 HAS SOPS 9948 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6538.948
AT ITER 365 NEW BEST:: SOT 21185 SOS 9947 HAS SOPS 9947 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6537.947
AT ITER 381 NEW BEST:: SOT 21183 SOS 9945 HAS SOPS 9945 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6535.945
AT ITER 384 NEW BEST:: SOT 21176 SOS 9931 HAS SOPS 9931 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6521.931
AT ITER 390 NEW BEST:: SOT 21156 SOS 9911 HAS SOPS 9911 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6521.911
AT ITER 397 NEW BEST:: SOT 21156 SOS 9910 HAS SOPS 9910 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6520.91
AT ITER 413 NEW BEST:: SOT 21156 SOS 9902 HAS SOPS 9902 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6512.902
AT ITER 425 NEW BEST:: SOT 21214 SOS 9827 HAS SOPS 9827 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6487.827
AT ITER 435 NEW BEST:: SOT 21205 SOS 9809 HAS SOPS 9809 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6469.809
AT ITER 441 NEW BEST:: SOT 21213 SOS 9816 HAS SOPS 9816 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6467.816
AT ITER 443 NEW BEST:: SOT 21213 SOS 9804 HAS SOPS 9804 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6467.804
AT ITER 446 NEW BEST:: SOT 21177 SOS 9783 HAS SOPS 9783 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6414.783
AT ITER 455 NEW BEST:: SOT 21177 SOS 9770 HAS SOPS 9770 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6401.77
AT ITER 464 NEW BEST:: SOT 21177 SOS 9770 HAS SOPS 9770 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6375.77
AT ITER 475 NEW BEST:: SOT 21173 SOS 9754 HAS SOPS 9754 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6363.754
AT ITER 483 NEW BEST:: SOT 21154 SOS 9716 HAS SOPS 9716 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6325.716
AT ITER 495 NEW BEST:: SOT 21151 SOS 9710 HAS SOPS 9710 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6325.71
AT ITER 503 NEW BEST:: SOT 21131 SOS 9694 HAS SOPS 9694 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6321.694
AT ITER 504 NEW BEST:: SOT 21163 SOS 9726 HAS SOPS 9726 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6320.726
AT ITER 514 NEW BEST:: SOT 21163 SOS 9712 HAS SOPS 9712 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6320.712
AT ITER 537 NEW BEST:: SOT 21183 SOS 9704 HAS SOPS 9704 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6305.704
AT ITER 588 NEW BEST:: SOT 21180 SOS 9701 HAS SOPS 9701 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6302.701
AT ITER 598 NEW BEST:: SOT 21178 SOS 9699 HAS SOPS 9699 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6298.699
AT ITER 609 NEW BEST:: SOT 21167 SOS 9688 HAS SOPS 9688 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6298.688
AT ITER 610 NEW BEST:: SOT 21157 SOS 9678 HAS SOPS 9678 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6288.678
AT ITER 613 NEW BEST:: SOT 21142 SOS 9663 HAS SOPS 9663 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.663
AT ITER 630 NEW BEST:: SOT 21142 SOS 9663 HAS SOPS 9663 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6248.663
AT ITER 644 NEW BEST:: SOT 21142 SOS 9652 HAS SOPS 9652 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6226.652
AT ITER 645 NEW BEST:: SOT 21141 SOS 9650 HAS SOPS 9650 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6225.65
AT ITER 649 NEW BEST:: SOT 21107 SOS 9616 HAS SOPS 9616 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6191.616
AT ITER 668 NEW BEST:: SOT 21106 SOS 9615 HAS SOPS 9615 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6190.615
AT ITER 675 NEW BEST:: SOT 21098 SOS 9607 HAS SOPS 9607 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6189.607
AT ITER 686 NEW BEST:: SOT 21111 SOS 9590 HAS SOPS 9590 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6172.59
AT ITER 694 NEW BEST:: SOT 21119 SOS 9583 HAS SOPS 9583 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6165.583
AT ITER 697 NEW BEST:: SOT 21102 SOS 9572 HAS SOPS 9572 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6154.572
AT ITER 700 NEW BEST:: SOT 21112 SOS 9560 HAS SOPS 9560 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6132.56
AT ITER 712 NEW BEST:: SOT 21111 SOS 9559 HAS SOPS 9559 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6131.559
AT ITER 713 NEW BEST:: SOT 21102 SOS 9535 HAS SOPS 9535 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6107.535
AT ITER 743 NEW BEST:: SOT 21101 SOS 9533 HAS SOPS 9533 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6105.533
AT ITER 786 NEW BEST:: SOT 21101 SOS 9533 HAS SOPS 9533 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6092.533
AT ITER 788 NEW BEST:: SOT 21101 SOS 7984 HAS SOPS 7984 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6090.984
AT ITER 790 NEW BEST:: SOT 21091 SOS 7977 HAS SOPS 7977 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6083.977
AT ITER 791 NEW BEST:: SOT 21086 SOS 7965 HAS SOPS 7965 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6071.965
AT ITER 800 NEW BEST:: SOT 21072 SOS 7950 HAS SOPS 7950 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6056.95
AT ITER 809 NEW BEST:: SOT 21198 SOS 8047 HAS SOPS 8047 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6043.047
AT ITER 826 NEW BEST:: SOT 21197 SOS 8045 HAS SOPS 8045 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6041.045
AT ITER 829 NEW BEST:: SOT 21195 SOS 8030 HAS SOPS 8030 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6026.03
AT ITER 862 NEW BEST:: SOT 21113 SOS 7866 HAS SOPS 7866 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5949.866
AT ITER 869 NEW BEST:: SOT 21106 SOS 7859 HAS SOPS 7859 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5942.859
AT ITER 873 NEW BEST:: SOT 21106 SOS 7859 HAS SOPS 7859 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5941.859
AT ITER 898 NEW BEST:: SOT 21112 SOS 7847 HAS SOPS 7847 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5935.847
AT ITER 901 NEW BEST:: SOT 21103 SOS 7838 HAS SOPS 7838 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5935.838
AT ITER 903 NEW BEST:: SOT 21103 SOS 7795 HAS SOPS 7795 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5923.795
AT ITER 912 NEW BEST:: SOT 21103 SOS 7795 HAS SOPS 7795 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5894.795
AT ITER 917 NEW BEST:: SOT 21093 SOS 7785 HAS SOPS 7785 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5877.785
AT ITER 921 NEW BEST:: SOT 21093 SOS 7784 HAS SOPS 7784 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.784
AT ITER 939 NEW BEST:: SOT 21085 SOS 7600 HAS SOPS 7600 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5764.6
AT ITER 945 NEW BEST:: SOT 21087 SOS 7597 HAS SOPS 7597 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5761.597
AT ITER 952 NEW BEST:: SOT 21061 SOS 7571 HAS SOPS 7571 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5735.571
AT ITER 988 NEW BEST:: SOT 21047 SOS 7550 HAS SOPS 7550 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5714.55
AT ITER 997 NEW BEST:: SOT 21046 SOS 7548 HAS SOPS 7548 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5712.548
AT ITER 1012 NEW BEST:: SOT 21041 SOS 7533 HAS SOPS 7533 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5697.533
AT ITER 1024 NEW BEST:: SOT 21039 SOS 7529 HAS SOPS 7529 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5693.529
AT ITER 1032 NEW BEST:: SOT 21037 SOS 7527 HAS SOPS 7527 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5691.527
AT ITER 1056 NEW BEST:: SOT 21037 SOS 7527 HAS SOPS 7527 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5685.527
AT ITER 1073 NEW BEST:: SOT 21037 SOS 7527 HAS SOPS 7527 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5684.527
AT ITER 1102 NEW BEST:: SOT 21028 SOS 7509 HAS SOPS 7509 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5680.509
AT ITER 1113 NEW BEST:: SOT 21037 SOS 7509 HAS SOPS 7509 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5671.509
AT ITER 1115 NEW BEST:: SOT 21015 SOS 7494 HAS SOPS 7494 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5656.494
AT ITER 1126 NEW BEST:: SOT 21003 SOS 7486 HAS SOPS 7486 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5648.486
AT ITER 1141 NEW BEST:: SOT 21001 SOS 7482 HAS SOPS 7482 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5644.482
AT ITER 1165 NEW BEST:: SOT 21026 SOS 7501 HAS SOPS 7501 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5643.501
AT ITER 1184 NEW BEST:: SOT 20947 SOS 7460 HAS SOPS 7460 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5564.46
AT ITER 1193 NEW BEST:: SOT 20947 SOS 7457 HAS SOPS 7457 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5564.457
AT ITER 1198 NEW BEST:: SOT 20939 SOS 7449 HAS SOPS 7449 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5564.449
AT ITER 1201 NEW BEST:: SOT 20934 SOS 7444 HAS SOPS 7444 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5559.444
AT ITER 1205 NEW BEST:: SOT 20929 SOS 7443 HAS SOPS 7443 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5558.443
AT ITER 1206 NEW BEST:: SOT 20933 SOS 7431 HAS SOPS 7431 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5558.431
AT ITER 1215 NEW BEST:: SOT 20933 SOS 7429 HAS SOPS 7429 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5556.429
AT ITER 1221 NEW BEST:: SOT 20926 SOS 7426 HAS SOPS 7426 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5553.426
AT ITER 1222 NEW BEST:: SOT 20905 SOS 7438 HAS SOPS 7438 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5552.438
AT ITER 1223 NEW BEST:: SOT 20861 SOS 7430 HAS SOPS 7430 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5544.43
AT ITER 1224 NEW BEST:: SOT 20849 SOS 7422 HAS SOPS 7422 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5533.422
AT ITER 1228 NEW BEST:: SOT 20846 SOS 7416 HAS SOPS 7416 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5530.416
AT ITER 1233 NEW BEST:: SOT 20793 SOS 7350 HAS SOPS 7350 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5464.35
AT ITER 1235 NEW BEST:: SOT 20785 SOS 7330 HAS SOPS 7330 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5444.33
AT ITER 1246 NEW BEST:: SOT 20784 SOS 7320 HAS SOPS 7320 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5434.32
AT ITER 1255 NEW BEST:: SOT 20760 SOS 7296 HAS SOPS 7296 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5422.296
AT ITER 1257 NEW BEST:: SOT 20752 SOS 7292 HAS SOPS 7292 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5418.292
AT ITER 1262 NEW BEST:: SOT 20748 SOS 7284 HAS SOPS 7284 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5410.284
AT ITER 1266 NEW BEST:: SOT 20728 SOS 7265 HAS SOPS 7265 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5391.265
AT ITER 1278 NEW BEST:: SOT 20743 SOS 6658 HAS SOPS 6658 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5379.658
AT ITER 1290 NEW BEST:: SOT 20725 SOS 6640 HAS SOPS 6640 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5379.64
AT ITER 1292 NEW BEST:: SOT 20725 SOS 6637 HAS SOPS 6637 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.637
AT ITER 1321 NEW BEST:: SOT 20730 SOS 6635 HAS SOPS 6635 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5372.635
AT ITER 1333 NEW BEST:: SOT 20704 SOS 6603 HAS SOPS 6603 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.603
AT ITER 1355 NEW BEST:: SOT 20673 SOS 6580 HAS SOPS 6580 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5317.58
AT ITER 1397 NEW BEST:: SOT 20671 SOS 6577 HAS SOPS 6577 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5316.577
AT ITER 1401 NEW BEST:: SOT 20675 SOS 6452 HAS SOPS 6452 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5308.452
AT ITER 1405 NEW BEST:: SOT 20671 SOS 6444 HAS SOPS 6444 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.444
AT ITER 1467 NEW BEST:: SOT 20666 SOS 6418 HAS SOPS 6418 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5295.418
AT ITER 1485 NEW BEST:: SOT 20623 SOS 6375 HAS SOPS 6375 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5295.375
AT ITER 1494 NEW BEST:: SOT 20616 SOS 6367 HAS SOPS 6367 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.367
AT ITER 1504 NEW BEST:: SOT 20662 SOS 6361 HAS SOPS 6361 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5281.361
AT ITER 1505 NEW BEST:: SOT 20602 SOS 6277 HAS SOPS 6277 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5233.277
AT ITER 1516 NEW BEST:: SOT 20535 SOS 6143 HAS SOPS 6143 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5136.143
AT ITER 1528 NEW BEST:: SOT 20458 SOS 6098 HAS SOPS 6098 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5133.098
AT ITER 1548 NEW BEST:: SOT 20457 SOS 6097 HAS SOPS 6097 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5133.097
AT ITER 1557 NEW BEST:: SOT 20423 SOS 6068 HAS SOPS 6068 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5104.068
AT ITER 1559 NEW BEST:: SOT 20373 SOS 5968 HAS SOPS 5968 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.968
AT ITER 1576 NEW BEST:: SOT 20372 SOS 5966 HAS SOPS 5966 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5046.966
AT ITER 1595 NEW BEST:: SOT 20372 SOS 5844 HAS SOPS 5844 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.844
AT ITER 1618 NEW BEST:: SOT 20368 SOS 5836 HAS SOPS 5836 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4920.836
AT ITER 1630 NEW BEST:: SOT 20368 SOS 5834 HAS SOPS 5834 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4918.834
AT ITER 1640 NEW BEST:: SOT 20366 SOS 5832 HAS SOPS 5832 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4916.832
AT ITER 1664 NEW BEST:: SOT 20366 SOS 5830 HAS SOPS 5830 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4912.83
AT ITER 1668 NEW BEST:: SOT 20334 SOS 5782 HAS SOPS 5782 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4880.782
AT ITER 1672 NEW BEST:: SOT 20334 SOS 5762 HAS SOPS 5762 HAS SOUS 4855 HAS SOUPS 4855 WITH SCORE 4860.762
AT ITER 1719 NEW BEST:: SOT 20326 SOS 5746 HAS SOPS 5746 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4848.746
AT ITER 1726 NEW BEST:: SOT 20308 SOS 5721 HAS SOPS 5721 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.721
AT ITER 1764 NEW BEST:: SOT 20278 SOS 5661 HAS SOPS 5661 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4774.661
AT ITER 1776 NEW BEST:: SOT 20262 SOS 5648 HAS SOPS 5648 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.648
AT ITER 1829 NEW BEST:: SOT 20262 SOS 5648 HAS SOPS 5648 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.648
AT ITER 1849 NEW BEST:: SOT 20253 SOS 5641 HAS SOPS 5641 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.641
AT ITER 1854 NEW BEST:: SOT 20246 SOS 5627 HAS SOPS 5627 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4743.627
AT ITER 1860 NEW BEST:: SOT 20248 SOS 5629 HAS SOPS 5629 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.629
AT ITER 1877 NEW BEST:: SOT 20236 SOS 5608 HAS SOPS 5608 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.608
AT ITER 1903 NEW BEST:: SOT 20237 SOS 5604 HAS SOPS 5604 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4710.604
AT ITER 1905 NEW BEST:: SOT 20227 SOS 5629 HAS SOPS 5629 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4709.629
AT ITER 1953 NEW BEST:: SOT 20222 SOS 5624 HAS SOPS 5624 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.624
AT ITER 1975 NEW BEST:: SOT 20222 SOS 5624 HAS SOPS 5624 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.624
AT ITER 1991 NEW BEST:: SOT 20218 SOS 5624 HAS SOPS 5624 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4699.624
AT ITER 1994 NEW BEST:: SOT 20214 SOS 5616 HAS SOPS 5616 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4691.616
AT ITER 2014 NEW BEST:: SOT 20217 SOS 5621 HAS SOPS 5621 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.621
AT ITER 2040 NEW BEST:: SOT 20215 SOS 5617 HAS SOPS 5617 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4676.617
AT ITER 2061 NEW BEST:: SOT 20206 SOS 5608 HAS SOPS 5608 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.608
AT ITER 2109 NEW BEST:: SOT 20201 SOS 5603 HAS SOPS 5603 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.603
AT ITER 2138 NEW BEST:: SOT 20201 SOS 5601 HAS SOPS 5601 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.601
AT ITER 2141 NEW BEST:: SOT 20196 SOS 5596 HAS SOPS 5596 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4653.596
AT ITER 2146 NEW BEST:: SOT 20196 SOS 5597 HAS SOPS 5597 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.597
AT ITER 2149 NEW BEST:: SOT 20192 SOS 5593 HAS SOPS 5593 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.593
AT ITER 2150 NEW BEST:: SOT 20189 SOS 5587 HAS SOPS 5587 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4638.587
AT ITER 2169 NEW BEST:: SOT 20189 SOS 5580 HAS SOPS 5580 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.58
AT ITER 2276 NEW BEST:: SOT 20194 SOS 5579 HAS SOPS 5579 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.579
AT ITER 2292 NEW BEST:: SOT 20194 SOS 5578 HAS SOPS 5578 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.578
AT ITER 2312 NEW BEST:: SOT 20206 SOS 5582 HAS SOPS 5582 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.582
AT ITER 2357 NEW BEST:: SOT 20193 SOS 5556 HAS SOPS 5556 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.556
AT ITER 2396 NEW BEST:: SOT 20188 SOS 5546 HAS SOPS 5546 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4566.546
AT ITER 2398 NEW BEST:: SOT 20187 SOS 5544 HAS SOPS 5544 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.544
AT ITER 2444 NEW BEST:: SOT 20187 SOS 5544 HAS SOPS 5544 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.544
AT ITER 2456 NEW BEST:: SOT 20172 SOS 5539 HAS SOPS 5539 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4558.539
AT ITER 2463 NEW BEST:: SOT 20170 SOS 5535 HAS SOPS 5535 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4554.535
AT ITER 2464 NEW BEST:: SOT 20167 SOS 5529 HAS SOPS 5529 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.529
AT ITER 2480 NEW BEST:: SOT 20165 SOS 5529 HAS SOPS 5529 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.529
AT ITER 2542 NEW BEST:: SOT 20165 SOS 5528 HAS SOPS 5528 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.528
AT ITER 2544 NEW BEST:: SOT 20163 SOS 5524 HAS SOPS 5524 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.524
AT ITER 2562 NEW BEST:: SOT 20151 SOS 5512 HAS SOPS 5512 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.512
AT ITER 2579 NEW BEST:: SOT 20149 SOS 5511 HAS SOPS 5511 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4532.511
AT ITER 2615 NEW BEST:: SOT 20133 SOS 5498 HAS SOPS 5498 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.498
AT ITER 2684 NEW BEST:: SOT 20120 SOS 5462 HAS SOPS 5462 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.462
AT ITER 2751 NEW BEST:: SOT 20125 SOS 5461 HAS SOPS 5461 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4491.461
AT ITER 2758 NEW BEST:: SOT 20123 SOS 5459 HAS SOPS 5459 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.459
AT ITER 2760 NEW BEST:: SOT 20119 SOS 5451 HAS SOPS 5451 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.451
AT ITER 2822 NEW BEST:: SOT 20102 SOS 5433 HAS SOPS 5433 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.433
AT ITER 2826 NEW BEST:: SOT 20102 SOS 5428 HAS SOPS 5428 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4464.428
AT ITER 2835 NEW BEST:: SOT 20109 SOS 5428 HAS SOPS 5428 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4463.428
AT ITER 2853 NEW BEST:: SOT 20108 SOS 5426 HAS SOPS 5426 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.426
AT ITER 2869 NEW BEST:: SOT 20089 SOS 5404 HAS SOPS 5404 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4431.404
AT ITER 2871 NEW BEST:: SOT 20089 SOS 5402 HAS SOPS 5402 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4429.402
AT ITER 2903 NEW BEST:: SOT 20089 SOS 5402 HAS SOPS 5402 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.402
AT ITER 2936 NEW BEST:: SOT 20088 SOS 5400 HAS SOPS 5400 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4425.4
AT ITER 2949 NEW BEST:: SOT 20087 SOS 5398 HAS SOPS 5398 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4424.398
AT ITER 2966 NEW BEST:: SOT 20088 SOS 5399 HAS SOPS 5399 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4420.399
AT ITER 2973 NEW BEST:: SOT 20085 SOS 5397 HAS SOPS 5397 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.397
AT ITER 3010 NEW BEST:: SOT 20084 SOS 5396 HAS SOPS 5396 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4416.396
AT ITER 3094 NEW BEST:: SOT 20143 SOS 5432 HAS SOPS 5432 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4411.432
AT ITER 3144 NEW BEST:: SOT 20143 SOS 5426 HAS SOPS 5426 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4411.426
AT ITER 3152 NEW BEST:: SOT 20142 SOS 5424 HAS SOPS 5424 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4410.424
AT ITER 3185 NEW BEST:: SOT 20138 SOS 5420 HAS SOPS 5420 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4410.42
AT ITER 3187 NEW BEST:: SOT 20134 SOS 5415 HAS SOPS 5415 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.415
AT ITER 3209 NEW BEST:: SOT 20112 SOS 5383 HAS SOPS 5383 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4392.383
AT ITER 3278 NEW BEST:: SOT 20107 SOS 5381 HAS SOPS 5381 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4390.381
AT ITER 3298 NEW BEST:: SOT 20112 SOS 5405 HAS SOPS 5405 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4388.405
AT ITER 3316 NEW BEST:: SOT 20117 SOS 5398 HAS SOPS 5398 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.398
AT ITER 3321 NEW BEST:: SOT 20109 SOS 5382 HAS SOPS 5382 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4357.382
AT ITER 3325 NEW BEST:: SOT 20109 SOS 5381 HAS SOPS 5381 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4356.381
AT ITER 3335 NEW BEST:: SOT 20107 SOS 5377 HAS SOPS 5377 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4351.377
AT ITER 3360 NEW BEST:: SOT 20075 SOS 5800 HAS SOPS 5800 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.8
AT ITER 3362 NEW BEST:: SOT 20062 SOS 5790 HAS SOPS 5790 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4326.79
AT ITER 3422 NEW BEST:: SOT 20061 SOS 5789 HAS SOPS 5789 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4326.789
AT ITER 3439 NEW BEST:: SOT 20057 SOS 5781 HAS SOPS 5781 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4310.781
AT ITER 3446 NEW BEST:: SOT 20049 SOS 5772 HAS SOPS 5772 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4301.772
AT ITER 3456 NEW BEST:: SOT 20046 SOS 5769 HAS SOPS 5769 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4298.769
AT ITER 3459 NEW BEST:: SOT 20047 SOS 5767 HAS SOPS 5767 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4296.767
AT ITER 3462 NEW BEST:: SOT 20053 SOS 5771 HAS SOPS 5771 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4289.771
AT ITER 3502 NEW BEST:: SOT 20057 SOS 5768 HAS SOPS 5768 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4286.768
AT ITER 3524 NEW BEST:: SOT 20045 SOS 5754 HAS SOPS 5754 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4278.754
AT ITER 3537 NEW BEST:: SOT 20068 SOS 5754 HAS SOPS 5754 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4255.754
AT ITER 3538 NEW BEST:: SOT 20061 SOS 5747 HAS SOPS 5747 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4255.747
AT ITER 3546 NEW BEST:: SOT 20052 SOS 5738 HAS SOPS 5738 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4246.738
AT ITER 3663 NEW BEST:: SOT 20050 SOS 5736 HAS SOPS 5736 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.736
AT ITER 3706 NEW BEST:: SOT 20046 SOS 5728 HAS SOPS 5728 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4232.728
AT ITER 3732 NEW BEST:: SOT 20047 SOS 5724 HAS SOPS 5724 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4229.724
AT ITER 3752 NEW BEST:: SOT 20045 SOS 5725 HAS SOPS 5725 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4227.725
AT ITER 3778 NEW BEST:: SOT 20046 SOS 5724 HAS SOPS 5724 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4226.724
AT ITER 3823 NEW BEST:: SOT 20043 SOS 5721 HAS SOPS 5721 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.721
AT ITER 3831 NEW BEST:: SOT 20041 SOS 5717 HAS SOPS 5717 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4221.717
AT ITER 3864 NEW BEST:: SOT 20074 SOS 5750 HAS SOPS 5750 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4218.75
AT ITER 3875 NEW BEST:: SOT 20056 SOS 5732 HAS SOPS 5732 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4218.732
AT ITER 3897 NEW BEST:: SOT 20056 SOS 5732 HAS SOPS 5732 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4217.732
AT ITER 4002 NEW BEST:: SOT 20051 SOS 5722 HAS SOPS 5722 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4207.722
AT ITER 4005 NEW BEST:: SOT 20055 SOS 5723 HAS SOPS 5723 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4204.723
AT ITER 4009 NEW BEST:: SOT 20061 SOS 5721 HAS SOPS 5721 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4202.721
AT ITER 4034 NEW BEST:: SOT 20060 SOS 5675 HAS SOPS 5675 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4201.675
AT ITER 4073 NEW BEST:: SOT 20033 SOS 5605 HAS SOPS 5605 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4147.605
AT ITER 4156 NEW BEST:: SOT 20030 SOS 5599 HAS SOPS 5599 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.599
AT ITER 4204 NEW BEST:: SOT 20030 SOS 5590 HAS SOPS 5590 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4132.59
AT ITER 4260 NEW BEST:: SOT 20021 SOS 5578 HAS SOPS 5578 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4126.578
AT ITER 4277 NEW BEST:: SOT 20018 SOS 5575 HAS SOPS 5575 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4123.575
AT ITER 4290 NEW BEST:: SOT 20015 SOS 5572 HAS SOPS 5572 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4120.572
AT ITER 4346 NEW BEST:: SOT 19987 SOS 5537 HAS SOPS 5537 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4104.537
AT ITER 4395 NEW BEST:: SOT 19987 SOS 5529 HAS SOPS 5529 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4096.529
AT ITER 4398 NEW BEST:: SOT 19991 SOS 5528 HAS SOPS 5528 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.528
AT ITER 4468 NEW BEST:: SOT 19969 SOS 5506 HAS SOPS 5506 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.506
AT ITER 4677 NEW BEST:: SOT 19970 SOS 5504 HAS SOPS 5504 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4087.504
AT ITER 4742 NEW BEST:: SOT 20002 SOS 5516 HAS SOPS 5516 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4073.516
AT ITER 4748 NEW BEST:: SOT 20000 SOS 5512 HAS SOPS 5512 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4069.512
AT ITER 4750 NEW BEST:: SOT 20001 SOS 5506 HAS SOPS 5506 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4063.506
AT ITER 4772 NEW BEST:: SOT 19988 SOS 5480 HAS SOPS 5480 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4037.48
AT ITER 4826 NEW BEST:: SOT 19980 SOS 5479 HAS SOPS 5479 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4036.479
AT ITER 4840 NEW BEST:: SOT 19980 SOS 5479 HAS SOPS 5479 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4033.479
AT ITER 4857 NEW BEST:: SOT 19978 SOS 5475 HAS SOPS 5475 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4029.475
AT ITER 4922 NEW BEST:: SOT 19968 SOS 5458 HAS SOPS 5458 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4012.458
AT ITER 5023 NEW BEST:: SOT 19968 SOS 5455 HAS SOPS 5455 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4009.455
AT ITER 5067 NEW BEST:: SOT 19964 SOS 5433 HAS SOPS 5433 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3987.433
AT ITER 5127 NEW BEST:: SOT 19945 SOS 5415 HAS SOPS 5415 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3980.415
AT ITER 5169 NEW BEST:: SOT 19945 SOS 5415 HAS SOPS 5415 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3978.415
AT ITER 5200 NEW BEST:: SOT 19945 SOS 5413 HAS SOPS 5413 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3976.413
AT ITER 5259 NEW BEST:: SOT 19949 SOS 5414 HAS SOPS 5414 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3963.414
AT ITER 5265 NEW BEST:: SOT 19949 SOS 5411 HAS SOPS 5411 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3960.411
AT ITER 5275 NEW BEST:: SOT 19941 SOS 5399 HAS SOPS 5399 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3952.399
AT ITER 5304 NEW BEST:: SOT 19937 SOS 5397 HAS SOPS 5397 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3950.397
AT ITER 5329 NEW BEST:: SOT 19912 SOS 5395 HAS SOPS 5395 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3948.395
AT ITER 5331 NEW BEST:: SOT 19911 SOS 5394 HAS SOPS 5394 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3946.394
AT ITER 5355 NEW BEST:: SOT 19883 SOS 5366 HAS SOPS 5366 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3937.366
AT ITER 5416 NEW BEST:: SOT 19885 SOS 5364 HAS SOPS 5364 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3935.364
AT ITER 5420 NEW BEST:: SOT 19877 SOS 5355 HAS SOPS 5355 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3924.355
AT ITER 5578 NEW BEST:: SOT 19877 SOS 5355 HAS SOPS 5355 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3920.355
AT ITER 5609 NEW BEST:: SOT 19872 SOS 5350 HAS SOPS 5350 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3915.35
AT ITER 5709 NEW BEST:: SOT 19870 SOS 5347 HAS SOPS 5347 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3912.347
AT ITER 5715 NEW BEST:: SOT 19863 SOS 5333 HAS SOPS 5333 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3905.333
AT ITER 5792 NEW BEST:: SOT 19863 SOS 5331 HAS SOPS 5331 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3903.331
AT ITER 5824 NEW BEST:: SOT 19857 SOS 5319 HAS SOPS 5319 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3895.319
AT ITER 5870 NEW BEST:: SOT 19857 SOS 5317 HAS SOPS 5317 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3895.317
AT ITER 5897 NEW BEST:: SOT 19856 SOS 5315 HAS SOPS 5315 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3893.315
AT ITER 5938 NEW BEST:: SOT 19841 SOS 5296 HAS SOPS 5296 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3885.296
AT ITER 6127 NEW BEST:: SOT 19827 SOS 5268 HAS SOPS 5268 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3871.268
AT ITER 6207 NEW BEST:: SOT 19827 SOS 5258 HAS SOPS 5258 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3871.258
AT ITER 6365 NEW BEST:: SOT 19834 SOS 5265 HAS SOPS 5265 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3864.265
AT ITER 6383 NEW BEST:: SOT 19845 SOS 5252 HAS SOPS 5252 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3851.252
AT ITER 6482 NEW BEST:: SOT 19845 SOS 5251 HAS SOPS 5251 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3850.251
AT ITER 6494 NEW BEST:: SOT 19842 SOS 5246 HAS SOPS 5246 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3845.246
AT ITER 6512 NEW BEST:: SOT 19842 SOS 5245 HAS SOPS 5245 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3845.245
AT ITER 6513 NEW BEST:: SOT 19842 SOS 5245 HAS SOPS 5245 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3844.245
AT ITER 6529 NEW BEST:: SOT 19838 SOS 5245 HAS SOPS 5245 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3836.245
AT ITER 6557 NEW BEST:: SOT 19838 SOS 5241 HAS SOPS 5241 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3836.241
AT ITER 6743 NEW BEST:: SOT 19838 SOS 5239 HAS SOPS 5239 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3834.239
AT ITER 6746 NEW BEST:: SOT 19832 SOS 5227 HAS SOPS 5227 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3834.227
AT ITER 6811 NEW BEST:: SOT 19832 SOS 5212 HAS SOPS 5212 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3829.212
AT ITER 6839 NEW BEST:: SOT 19829 SOS 5206 HAS SOPS 5206 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3826.206
AT ITER 6841 NEW BEST:: SOT 19829 SOS 5205 HAS SOPS 5205 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3826.205
AT ITER 6883 NEW BEST:: SOT 19824 SOS 5200 HAS SOPS 5200 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3821.2
AT ITER 6933 NEW BEST:: SOT 19822 SOS 5198 HAS SOPS 5198 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3819.198
AT ITER 7005 NEW BEST:: SOT 19818 SOS 5191 HAS SOPS 5191 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3812.191
AT ITER 7087 NEW BEST:: SOT 19820 SOS 5190 HAS SOPS 5190 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3811.19
AT ITER 7135 NEW BEST:: SOT 19817 SOS 5187 HAS SOPS 5187 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3805.187
AT ITER 7264 NEW BEST:: SOT 19816 SOS 5185 HAS SOPS 5185 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3804.185
AT ITER 7293 NEW BEST:: SOT 19815 SOS 5182 HAS SOPS 5182 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3802.182
AT ITER 7387 NEW BEST:: SOT 19815 SOS 5181 HAS SOPS 5181 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3802.181
AT ITER 7466 NEW BEST:: SOT 19805 SOS 5163 HAS SOPS 5163 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3784.163
AT ITER 7476 NEW BEST:: SOT 19805 SOS 5160 HAS SOPS 5160 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3782.16
AT ITER 7691 NEW BEST:: SOT 19805 SOS 5158 HAS SOPS 5158 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3780.158
AT ITER 7702 NEW BEST:: SOT 19804 SOS 5157 HAS SOPS 5157 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3779.157
AT ITER 7812 NEW BEST:: SOT 19802 SOS 5161 HAS SOPS 5161 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3777.161
AT ITER 7873 NEW BEST:: SOT 19802 SOS 5160 HAS SOPS 5160 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3776.16
AT ITER 7882 NEW BEST:: SOT 19807 SOS 5160 HAS SOPS 5160 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3773.16
AT ITER 7919 NEW BEST:: SOT 19806 SOS 5158 HAS SOPS 5158 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3771.158
AT ITER 7928 NEW BEST:: SOT 19804 SOS 5154 HAS SOPS 5154 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3769.154
AT ITER 7957 NEW BEST:: SOT 19803 SOS 5153 HAS SOPS 5153 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3768.153
AT ITER 7960 NEW BEST:: SOT 19803 SOS 5151 HAS SOPS 5151 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3766.151
AT ITER 7965 NEW BEST:: SOT 19800 SOS 5211 HAS SOPS 5211 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3763.211
AT ITER 8160 NEW BEST:: SOT 19798 SOS 5205 HAS SOPS 5205 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3759.205
AT ITER 8188 NEW BEST:: SOT 19798 SOS 5204 HAS SOPS 5204 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3758.204
AT ITER 8297 NEW BEST:: SOT 19796 SOS 5201 HAS SOPS 5201 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3755.201
AT ITER 8439 NEW BEST:: SOT 19793 SOS 5197 HAS SOPS 5197 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3753.197
AT ITER 8443 NEW BEST:: SOT 19786 SOS 5190 HAS SOPS 5190 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3746.19
AT ITER 8614 NEW BEST:: SOT 19784 SOS 5186 HAS SOPS 5186 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3744.186
AT ITER 8669 NEW BEST:: SOT 19784 SOS 5185 HAS SOPS 5185 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3742.185
AT ITER 8691 NEW BEST:: SOT 19779 SOS 5171 HAS SOPS 5171 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3740.171
AT ITER 8707 NEW BEST:: SOT 19777 SOS 5167 HAS SOPS 5167 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3736.167
AT ITER 8748 NEW BEST:: SOT 19770 SOS 5164 HAS SOPS 5164 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3733.164
AT ITER 8778 NEW BEST:: SOT 19763 SOS 5157 HAS SOPS 5157 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3726.157
AT ITER 9004 NEW BEST:: SOT 19761 SOS 5161 HAS SOPS 5161 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3724.161
AT ITER 9153 NEW BEST:: SOT 19770 SOS 5170 HAS SOPS 5170 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3719.17
AT ITER 9175 NEW BEST:: SOT 19769 SOS 5168 HAS SOPS 5168 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3717.168
AT ITER 9178 NEW BEST:: SOT 19768 SOS 5166 HAS SOPS 5166 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3715.166
AT ITER 9311 NEW BEST:: SOT 19764 SOS 5176 HAS SOPS 5176 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3713.176
AT ITER 9452 NEW BEST:: SOT 19764 SOS 5174 HAS SOPS 5174 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3712.174
AT ITER 9710 NEW BEST:: SOT 19768 SOS 5172 HAS SOPS 5172 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3712.172
AT ITER 9739 NEW BEST:: SOT 19762 SOS 5160 HAS SOPS 5160 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3704.16
AT ITER 9756 NEW BEST:: SOT 19760 SOS 5158 HAS SOPS 5158 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3702.158
AT ITER 9774 NEW BEST:: SOT 19760 SOS 5157 HAS SOPS 5157 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3701.157
STATE_SPACE STATES 24160976859 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 276502935439 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678467983138

--------------------
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="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-01, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688200456"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;