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.r043-tajo-167813696900456.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 smartxred
Input is BusinessProcesses-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900456
=====================================================================

--------------------
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 1678789820862

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-01
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:30:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:30:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:30:22] [INFO ] Load time of PNML (sax parser for PT used): 43 ms
[2023-03-14 10:30:22] [INFO ] Transformed 200 places.
[2023-03-14 10:30:22] [INFO ] Transformed 178 transitions.
[2023-03-14 10:30:22] [INFO ] Found NUPN structural information;
[2023-03-14 10:30:22] [INFO ] Parsed PT model containing 200 places and 178 transitions and 487 arcs in 110 ms.
[2023-03-14 10:30:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 200 places, 178 transitions and 487 arcs took 5 ms.
Total runtime 146 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 01
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 1 NEW BEST:: SOT 22783 SOS 8546 HAS SOPS 8546 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8249.546
AT ITER 2 NEW BEST:: SOT 22682 SOS 8449 HAS SOPS 8449 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8152.449
AT ITER 23 NEW BEST:: SOT 22681 SOS 8447 HAS SOPS 8447 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8150.447
AT ITER 27 NEW BEST:: SOT 22637 SOS 8397 HAS SOPS 8397 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8100.397
AT ITER 29 NEW BEST:: SOT 22614 SOS 8371 HAS SOPS 8371 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8074.371
AT ITER 36 NEW BEST:: SOT 22592 SOS 8325 HAS SOPS 8325 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8039.325
AT ITER 39 NEW BEST:: SOT 22475 SOS 8339 HAS SOPS 8339 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7996.339
AT ITER 44 NEW BEST:: SOT 22400 SOS 8310 HAS SOPS 8310 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7967.31
AT ITER 46 NEW BEST:: SOT 22387 SOS 8296 HAS SOPS 8296 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7953.296
AT ITER 54 NEW BEST:: SOT 22386 SOS 8294 HAS SOPS 8294 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7951.294
AT ITER 57 NEW BEST:: SOT 22435 SOS 8240 HAS SOPS 8240 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7919.24
AT ITER 65 NEW BEST:: SOT 22418 SOS 8177 HAS SOPS 8177 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7873.177
AT ITER 69 NEW BEST:: SOT 22397 SOS 8156 HAS SOPS 8156 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.156
AT ITER 76 NEW BEST:: SOT 22415 SOS 8124 HAS SOPS 8124 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7820.124
AT ITER 82 NEW BEST:: SOT 22414 SOS 8111 HAS SOPS 8111 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7818.111
AT ITER 89 NEW BEST:: SOT 22391 SOS 8105 HAS SOPS 8105 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7812.105
AT ITER 92 NEW BEST:: SOT 22353 SOS 8090 HAS SOPS 8090 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7797.09
AT ITER 98 NEW BEST:: SOT 22350 SOS 8087 HAS SOPS 8087 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7794.087
AT ITER 112 NEW BEST:: SOT 22350 SOS 8057 HAS SOPS 8057 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7764.057
AT ITER 116 NEW BEST:: SOT 22400 SOS 8053 HAS SOPS 8053 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7760.053
AT ITER 129 NEW BEST:: SOT 22400 SOS 8038 HAS SOPS 8038 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7745.038
AT ITER 131 NEW BEST:: SOT 22396 SOS 8003 HAS SOPS 8003 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7710.003
AT ITER 132 NEW BEST:: SOT 22396 SOS 7983 HAS SOPS 7983 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7709.983
AT ITER 137 NEW BEST:: SOT 22393 SOS 7979 HAS SOPS 7979 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7705.979
AT ITER 139 NEW BEST:: SOT 22380 SOS 7942 HAS SOPS 7942 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7668.942
AT ITER 147 NEW BEST:: SOT 22395 SOS 7965 HAS SOPS 7965 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7663.965
AT ITER 156 NEW BEST:: SOT 22380 SOS 7950 HAS SOPS 7950 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7648.95
AT ITER 159 NEW BEST:: SOT 22377 SOS 7941 HAS SOPS 7941 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7639.941
AT ITER 163 NEW BEST:: SOT 21791 SOS 8379 HAS SOPS 8379 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7145.379
AT ITER 169 NEW BEST:: SOT 21742 SOS 8264 HAS SOPS 8264 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7030.264
AT ITER 186 NEW BEST:: SOT 21746 SOS 8272 HAS SOPS 8272 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7016.272
AT ITER 190 NEW BEST:: SOT 21678 SOS 8209 HAS SOPS 8209 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6953.209
AT ITER 193 NEW BEST:: SOT 21666 SOS 8197 HAS SOPS 8197 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.197
AT ITER 195 NEW BEST:: SOT 21660 SOS 8191 HAS SOPS 8191 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.191
AT ITER 203 NEW BEST:: SOT 21660 SOS 8191 HAS SOPS 8191 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.191
AT ITER 204 NEW BEST:: SOT 21660 SOS 8190 HAS SOPS 8190 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6934.19
AT ITER 205 NEW BEST:: SOT 21625 SOS 8162 HAS SOPS 8162 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.162
AT ITER 210 NEW BEST:: SOT 21634 SOS 8171 HAS SOPS 8171 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6898.171
AT ITER 216 NEW BEST:: SOT 21652 SOS 8188 HAS SOPS 8188 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.188
AT ITER 227 NEW BEST:: SOT 21644 SOS 8172 HAS SOPS 8172 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6879.172
AT ITER 230 NEW BEST:: SOT 21639 SOS 8162 HAS SOPS 8162 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.162
AT ITER 231 NEW BEST:: SOT 21613 SOS 8093 HAS SOPS 8093 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.093
AT ITER 248 NEW BEST:: SOT 21574 SOS 8066 HAS SOPS 8066 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6837.066
AT ITER 263 NEW BEST:: SOT 21584 SOS 8052 HAS SOPS 8052 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6823.052
AT ITER 267 NEW BEST:: SOT 21578 SOS 8054 HAS SOPS 8054 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6818.054
AT ITER 270 NEW BEST:: SOT 21565 SOS 8174 HAS SOPS 8174 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6777.174
AT ITER 275 NEW BEST:: SOT 21565 SOS 8159 HAS SOPS 8159 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6777.159
AT ITER 289 NEW BEST:: SOT 21546 SOS 8121 HAS SOPS 8121 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6758.121
AT ITER 298 NEW BEST:: SOT 21538 SOS 8113 HAS SOPS 8113 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6754.113
AT ITER 299 NEW BEST:: SOT 21538 SOS 8148 HAS SOPS 8148 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6749.148
AT ITER 302 NEW BEST:: SOT 21510 SOS 8118 HAS SOPS 8118 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6745.118
AT ITER 326 NEW BEST:: SOT 21492 SOS 8082 HAS SOPS 8082 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6709.082
AT ITER 330 NEW BEST:: SOT 21462 SOS 8022 HAS SOPS 8022 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6705.022
AT ITER 331 NEW BEST:: SOT 21449 SOS 8009 HAS SOPS 8009 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6692.009
AT ITER 346 NEW BEST:: SOT 21431 SOS 7987 HAS SOPS 7987 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.987
AT ITER 350 NEW BEST:: SOT 21431 SOS 7986 HAS SOPS 7986 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.986
AT ITER 351 NEW BEST:: SOT 21431 SOS 7976 HAS SOPS 7976 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.976
AT ITER 358 NEW BEST:: SOT 21430 SOS 7974 HAS SOPS 7974 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.974
AT ITER 361 NEW BEST:: SOT 21429 SOS 7972 HAS SOPS 7972 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.972
AT ITER 368 NEW BEST:: SOT 21396 SOS 7924 HAS SOPS 7924 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6675.924
AT ITER 369 NEW BEST:: SOT 21380 SOS 7892 HAS SOPS 7892 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.892
AT ITER 381 NEW BEST:: SOT 21380 SOS 7888 HAS SOPS 7888 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.888
AT ITER 388 NEW BEST:: SOT 21342 SOS 7831 HAS SOPS 7831 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.831
AT ITER 389 NEW BEST:: SOT 21328 SOS 7768 HAS SOPS 7768 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.768
AT ITER 401 NEW BEST:: SOT 21304 SOS 7720 HAS SOPS 7720 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.72
AT ITER 411 NEW BEST:: SOT 21297 SOS 7706 HAS SOPS 7706 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.706
AT ITER 412 NEW BEST:: SOT 21270 SOS 7652 HAS SOPS 7652 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6458.652
AT ITER 418 NEW BEST:: SOT 21268 SOS 7650 HAS SOPS 7650 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6456.65
AT ITER 419 NEW BEST:: SOT 21244 SOS 7639 HAS SOPS 7639 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.639
AT ITER 424 NEW BEST:: SOT 21272 SOS 7555 HAS SOPS 7555 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6383.555
AT ITER 439 NEW BEST:: SOT 21270 SOS 7553 HAS SOPS 7553 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6381.553
AT ITER 443 NEW BEST:: SOT 21240 SOS 7523 HAS SOPS 7523 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6351.523
AT ITER 451 NEW BEST:: SOT 21184 SOS 7462 HAS SOPS 7462 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.462
AT ITER 457 NEW BEST:: SOT 21184 SOS 7422 HAS SOPS 7422 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.422
AT ITER 480 NEW BEST:: SOT 21165 SOS 7402 HAS SOPS 7402 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6207.402
AT ITER 491 NEW BEST:: SOT 21123 SOS 7354 HAS SOPS 7354 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.354
AT ITER 514 NEW BEST:: SOT 21126 SOS 7353 HAS SOPS 7353 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6197.353
AT ITER 516 NEW BEST:: SOT 21119 SOS 7346 HAS SOPS 7346 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6190.346
AT ITER 525 NEW BEST:: SOT 21125 SOS 7334 HAS SOPS 7334 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6185.334
AT ITER 532 NEW BEST:: SOT 21107 SOS 7298 HAS SOPS 7298 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.298
AT ITER 567 NEW BEST:: SOT 21107 SOS 7278 HAS SOPS 7278 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.278
AT ITER 573 NEW BEST:: SOT 21109 SOS 7276 HAS SOPS 7276 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.276
AT ITER 579 NEW BEST:: SOT 21108 SOS 7275 HAS SOPS 7275 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6162.275
AT ITER 591 NEW BEST:: SOT 21094 SOS 7132 HAS SOPS 7132 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.132
AT ITER 598 NEW BEST:: SOT 21095 SOS 7127 HAS SOPS 7127 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.127
AT ITER 619 NEW BEST:: SOT 21014 SOS 7124 HAS SOPS 7124 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6063.124
AT ITER 648 NEW BEST:: SOT 21023 SOS 7121 HAS SOPS 7121 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6060.121
AT ITER 649 NEW BEST:: SOT 21024 SOS 7101 HAS SOPS 7101 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6040.101
AT ITER 650 NEW BEST:: SOT 21017 SOS 7094 HAS SOPS 7094 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.094
AT ITER 686 NEW BEST:: SOT 21021 SOS 7078 HAS SOPS 7078 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6017.078
AT ITER 712 NEW BEST:: SOT 20967 SOS 7024 HAS SOPS 7024 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5999.024
AT ITER 720 NEW BEST:: SOT 20975 SOS 7027 HAS SOPS 7027 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.027
AT ITER 738 NEW BEST:: SOT 20960 SOS 7012 HAS SOPS 7012 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5979.012
AT ITER 741 NEW BEST:: SOT 20960 SOS 6997 HAS SOPS 6997 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.997
AT ITER 750 NEW BEST:: SOT 20932 SOS 6983 HAS SOPS 6983 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5964.983
AT ITER 760 NEW BEST:: SOT 20930 SOS 6981 HAS SOPS 6981 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5964.981
AT ITER 762 NEW BEST:: SOT 20929 SOS 6979 HAS SOPS 6979 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5962.979
AT ITER 769 NEW BEST:: SOT 20925 SOS 6975 HAS SOPS 6975 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.975
AT ITER 780 NEW BEST:: SOT 20808 SOS 6858 HAS SOPS 6858 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5841.858
AT ITER 816 NEW BEST:: SOT 20845 SOS 6895 HAS SOPS 6895 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5840.895
AT ITER 817 NEW BEST:: SOT 20843 SOS 6888 HAS SOPS 6888 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5833.888
AT ITER 825 NEW BEST:: SOT 20833 SOS 6845 HAS SOPS 6845 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.845
AT ITER 828 NEW BEST:: SOT 20829 SOS 6841 HAS SOPS 6841 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5786.841
AT ITER 834 NEW BEST:: SOT 20838 SOS 6838 HAS SOPS 6838 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5768.838
AT ITER 845 NEW BEST:: SOT 20837 SOS 6836 HAS SOPS 6836 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5766.836
AT ITER 846 NEW BEST:: SOT 20833 SOS 6840 HAS SOPS 6840 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.84
AT ITER 865 NEW BEST:: SOT 20832 SOS 6838 HAS SOPS 6838 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5760.838
AT ITER 868 NEW BEST:: SOT 20806 SOS 6786 HAS SOPS 6786 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5744.786
AT ITER 872 NEW BEST:: SOT 20801 SOS 6776 HAS SOPS 6776 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5730.776
AT ITER 884 NEW BEST:: SOT 20790 SOS 6742 HAS SOPS 6742 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.742
AT ITER 893 NEW BEST:: SOT 20784 SOS 6730 HAS SOPS 6730 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.73
AT ITER 895 NEW BEST:: SOT 20775 SOS 6715 HAS SOPS 6715 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.715
AT ITER 913 NEW BEST:: SOT 20740 SOS 6694 HAS SOPS 6694 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.694
AT ITER 932 NEW BEST:: SOT 20704 SOS 6619 HAS SOPS 6619 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5631.619
AT ITER 936 NEW BEST:: SOT 20711 SOS 6585 HAS SOPS 6585 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5619.585
AT ITER 946 NEW BEST:: SOT 20695 SOS 6522 HAS SOPS 6522 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.522
AT ITER 957 NEW BEST:: SOT 20681 SOS 6494 HAS SOPS 6494 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5528.494
AT ITER 991 NEW BEST:: SOT 20660 SOS 6466 HAS SOPS 6466 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.466
AT ITER 1000 NEW BEST:: SOT 20654 SOS 6460 HAS SOPS 6460 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5494.46
AT ITER 1009 NEW BEST:: SOT 20644 SOS 6450 HAS SOPS 6450 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.45
AT ITER 1014 NEW BEST:: SOT 20606 SOS 6399 HAS SOPS 6399 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.399
AT ITER 1018 NEW BEST:: SOT 20573 SOS 6365 HAS SOPS 6365 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5411.365
AT ITER 1043 NEW BEST:: SOT 20582 SOS 6371 HAS SOPS 6371 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5410.371
AT ITER 1044 NEW BEST:: SOT 20565 SOS 6367 HAS SOPS 6367 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5406.367
AT ITER 1057 NEW BEST:: SOT 20556 SOS 6358 HAS SOPS 6358 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5401.358
AT ITER 1073 NEW BEST:: SOT 20568 SOS 6354 HAS SOPS 6354 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.354
AT ITER 1081 NEW BEST:: SOT 20561 SOS 6347 HAS SOPS 6347 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.347
AT ITER 1090 NEW BEST:: SOT 20544 SOS 6324 HAS SOPS 6324 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.324
AT ITER 1097 NEW BEST:: SOT 20544 SOS 6324 HAS SOPS 6324 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5358.324
AT ITER 1127 NEW BEST:: SOT 20543 SOS 6323 HAS SOPS 6323 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5357.323
AT ITER 1160 NEW BEST:: SOT 20556 SOS 6335 HAS SOPS 6335 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.335
AT ITER 1179 NEW BEST:: SOT 20560 SOS 6343 HAS SOPS 6343 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.343
AT ITER 1224 NEW BEST:: SOT 20573 SOS 6355 HAS SOPS 6355 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.355
AT ITER 1246 NEW BEST:: SOT 20553 SOS 6324 HAS SOPS 6324 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.324
AT ITER 1253 NEW BEST:: SOT 20549 SOS 6320 HAS SOPS 6320 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5286.32
AT ITER 1267 NEW BEST:: SOT 20549 SOS 6312 HAS SOPS 6312 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5286.312
AT ITER 1269 NEW BEST:: SOT 20549 SOS 6316 HAS SOPS 6316 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.316
AT ITER 1274 NEW BEST:: SOT 20524 SOS 6288 HAS SOPS 6288 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.288
AT ITER 1279 NEW BEST:: SOT 20505 SOS 6250 HAS SOPS 6250 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5250.25
AT ITER 1280 NEW BEST:: SOT 20501 SOS 6242 HAS SOPS 6242 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5242.242
AT ITER 1291 NEW BEST:: SOT 20504 SOS 6240 HAS SOPS 6240 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5240.24
AT ITER 1294 NEW BEST:: SOT 20495 SOS 6231 HAS SOPS 6231 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5231.231
AT ITER 1295 NEW BEST:: SOT 20496 SOS 6233 HAS SOPS 6233 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.233
AT ITER 1303 NEW BEST:: SOT 20508 SOS 6226 HAS SOPS 6226 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.226
AT ITER 1322 NEW BEST:: SOT 20491 SOS 6209 HAS SOPS 6209 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.209
AT ITER 1328 NEW BEST:: SOT 20470 SOS 6188 HAS SOPS 6188 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.188
AT ITER 1335 NEW BEST:: SOT 20497 SOS 6151 HAS SOPS 6151 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5182.151
AT ITER 1338 NEW BEST:: SOT 20474 SOS 6140 HAS SOPS 6140 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5159.14
AT ITER 1350 NEW BEST:: SOT 20470 SOS 6110 HAS SOPS 6110 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5129.11
AT ITER 1405 NEW BEST:: SOT 20468 SOS 6106 HAS SOPS 6106 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.106
AT ITER 1412 NEW BEST:: SOT 20465 SOS 6103 HAS SOPS 6103 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5122.103
AT ITER 1413 NEW BEST:: SOT 20499 SOS 6131 HAS SOPS 6131 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5116.131
AT ITER 1430 NEW BEST:: SOT 20499 SOS 6101 HAS SOPS 6101 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.101
AT ITER 1446 NEW BEST:: SOT 20494 SOS 6091 HAS SOPS 6091 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.091
AT ITER 1451 NEW BEST:: SOT 20454 SOS 6085 HAS SOPS 6085 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5068.085
AT ITER 1454 NEW BEST:: SOT 20474 SOS 6100 HAS SOPS 6100 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5040.1
AT ITER 1467 NEW BEST:: SOT 20468 SOS 6088 HAS SOPS 6088 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5030.088
AT ITER 1498 NEW BEST:: SOT 20457 SOS 6077 HAS SOPS 6077 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5030.077
AT ITER 1517 NEW BEST:: SOT 20445 SOS 6053 HAS SOPS 6053 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.053
AT ITER 1523 NEW BEST:: SOT 20443 SOS 6050 HAS SOPS 6050 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5018.05
AT ITER 1529 NEW BEST:: SOT 20435 SOS 6042 HAS SOPS 6042 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5018.042
AT ITER 1538 NEW BEST:: SOT 20429 SOS 6030 HAS SOPS 6030 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.03
AT ITER 1545 NEW BEST:: SOT 20383 SOS 6022 HAS SOPS 6022 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.022
AT ITER 1550 NEW BEST:: SOT 20373 SOS 6009 HAS SOPS 6009 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4991.009
AT ITER 1588 NEW BEST:: SOT 20362 SOS 5998 HAS SOPS 5998 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4979.998
AT ITER 1621 NEW BEST:: SOT 20348 SOS 5984 HAS SOPS 5984 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4965.984
AT ITER 1630 NEW BEST:: SOT 20376 SOS 5999 HAS SOPS 5999 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.999
AT ITER 1633 NEW BEST:: SOT 20376 SOS 5993 HAS SOPS 5993 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4957.993
AT ITER 1634 NEW BEST:: SOT 20352 SOS 5973 HAS SOPS 5973 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.973
AT ITER 1647 NEW BEST:: SOT 20352 SOS 5948 HAS SOPS 5948 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.948
AT ITER 1655 NEW BEST:: SOT 20351 SOS 5945 HAS SOPS 5945 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4922.945
AT ITER 1667 NEW BEST:: SOT 20346 SOS 5940 HAS SOPS 5940 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.94
AT ITER 1677 NEW BEST:: SOT 20345 SOS 5938 HAS SOPS 5938 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4915.938
AT ITER 1700 NEW BEST:: SOT 20345 SOS 5936 HAS SOPS 5936 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4913.936
AT ITER 1723 NEW BEST:: SOT 20323 SOS 5914 HAS SOPS 5914 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4911.914
AT ITER 1746 NEW BEST:: SOT 20311 SOS 5897 HAS SOPS 5897 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.897
AT ITER 1770 NEW BEST:: SOT 20295 SOS 5865 HAS SOPS 5865 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.865
AT ITER 1773 NEW BEST:: SOT 20290 SOS 5860 HAS SOPS 5860 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.86
AT ITER 1825 NEW BEST:: SOT 20288 SOS 5852 HAS SOPS 5852 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4876.852
AT ITER 1865 NEW BEST:: SOT 20288 SOS 5852 HAS SOPS 5852 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.852
AT ITER 1877 NEW BEST:: SOT 20282 SOS 5840 HAS SOPS 5840 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4849.84
AT ITER 1936 NEW BEST:: SOT 20281 SOS 5839 HAS SOPS 5839 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4849.839
AT ITER 1948 NEW BEST:: SOT 20280 SOS 5819 HAS SOPS 5819 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4848.819
AT ITER 1952 NEW BEST:: SOT 20266 SOS 5786 HAS SOPS 5786 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.786
AT ITER 1983 NEW BEST:: SOT 20282 SOS 5799 HAS SOPS 5799 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4809.799
AT ITER 1987 NEW BEST:: SOT 20276 SOS 5794 HAS SOPS 5794 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4808.794
AT ITER 2026 NEW BEST:: SOT 20276 SOS 5794 HAS SOPS 5794 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4806.794
AT ITER 2065 NEW BEST:: SOT 20269 SOS 5786 HAS SOPS 5786 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4804.786
AT ITER 2128 NEW BEST:: SOT 20269 SOS 5760 HAS SOPS 5760 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.76
AT ITER 2130 NEW BEST:: SOT 20254 SOS 5745 HAS SOPS 5745 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4766.745
AT ITER 2146 NEW BEST:: SOT 20237 SOS 5710 HAS SOPS 5710 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4729.71
AT ITER 2149 NEW BEST:: SOT 20216 SOS 5688 HAS SOPS 5688 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.688
AT ITER 2150 NEW BEST:: SOT 20226 SOS 5690 HAS SOPS 5690 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.69
AT ITER 2154 NEW BEST:: SOT 20225 SOS 5689 HAS SOPS 5689 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.689
AT ITER 2181 NEW BEST:: SOT 20182 SOS 5646 HAS SOPS 5646 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.646
AT ITER 2203 NEW BEST:: SOT 20172 SOS 5602 HAS SOPS 5602 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.602
AT ITER 2206 NEW BEST:: SOT 20172 SOS 5602 HAS SOPS 5602 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.602
AT ITER 2220 NEW BEST:: SOT 20164 SOS 5586 HAS SOPS 5586 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.586
AT ITER 2229 NEW BEST:: SOT 20161 SOS 5592 HAS SOPS 5592 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4627.592
AT ITER 2256 NEW BEST:: SOT 20160 SOS 5590 HAS SOPS 5590 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.59
AT ITER 2265 NEW BEST:: SOT 20153 SOS 5589 HAS SOPS 5589 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4625.589
AT ITER 2287 NEW BEST:: SOT 20151 SOS 5587 HAS SOPS 5587 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4623.587
AT ITER 2288 NEW BEST:: SOT 20164 SOS 5566 HAS SOPS 5566 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.566
AT ITER 2398 NEW BEST:: SOT 20160 SOS 5558 HAS SOPS 5558 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4594.558
AT ITER 2417 NEW BEST:: SOT 20160 SOS 5558 HAS SOPS 5558 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.558
AT ITER 2428 NEW BEST:: SOT 20163 SOS 5555 HAS SOPS 5555 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4588.555
AT ITER 2433 NEW BEST:: SOT 20164 SOS 5557 HAS SOPS 5557 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4586.557
AT ITER 2434 NEW BEST:: SOT 20111 SOS 5494 HAS SOPS 5494 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.494
AT ITER 2467 NEW BEST:: SOT 20116 SOS 5518 HAS SOPS 5518 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.518
AT ITER 2470 NEW BEST:: SOT 20115 SOS 5516 HAS SOPS 5516 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.516
AT ITER 2490 NEW BEST:: SOT 20113 SOS 5514 HAS SOPS 5514 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4553.514
AT ITER 2532 NEW BEST:: SOT 20127 SOS 5510 HAS SOPS 5510 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.51
AT ITER 2552 NEW BEST:: SOT 20127 SOS 5499 HAS SOPS 5499 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.499
AT ITER 2553 NEW BEST:: SOT 20104 SOS 5479 HAS SOPS 5479 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.479
AT ITER 2585 NEW BEST:: SOT 20095 SOS 5443 HAS SOPS 5443 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.443
AT ITER 2594 NEW BEST:: SOT 20093 SOS 5439 HAS SOPS 5439 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4509.439
AT ITER 2598 NEW BEST:: SOT 20088 SOS 5424 HAS SOPS 5424 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.424
AT ITER 2632 NEW BEST:: SOT 20070 SOS 5401 HAS SOPS 5401 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.401
AT ITER 2633 NEW BEST:: SOT 20070 SOS 5401 HAS SOPS 5401 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4477.401
AT ITER 2635 NEW BEST:: SOT 20070 SOS 5396 HAS SOPS 5396 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4463.396
AT ITER 2653 NEW BEST:: SOT 20067 SOS 5391 HAS SOPS 5391 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4458.391
AT ITER 2672 NEW BEST:: SOT 20062 SOS 5390 HAS SOPS 5390 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4457.39
AT ITER 2679 NEW BEST:: SOT 20062 SOS 5390 HAS SOPS 5390 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.39
AT ITER 2683 NEW BEST:: SOT 20026 SOS 5354 HAS SOPS 5354 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.354
AT ITER 2684 NEW BEST:: SOT 20021 SOS 5344 HAS SOPS 5344 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4408.344
AT ITER 2738 NEW BEST:: SOT 20009 SOS 5379 HAS SOPS 5379 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4399.379
AT ITER 2809 NEW BEST:: SOT 20009 SOS 5379 HAS SOPS 5379 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4396.379
AT ITER 2812 NEW BEST:: SOT 20010 SOS 5373 HAS SOPS 5373 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4382.373
AT ITER 2819 NEW BEST:: SOT 20016 SOS 5371 HAS SOPS 5371 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.371
AT ITER 2864 NEW BEST:: SOT 20010 SOS 5368 HAS SOPS 5368 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4372.368
AT ITER 2888 NEW BEST:: SOT 20009 SOS 5367 HAS SOPS 5367 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4370.367
AT ITER 2900 NEW BEST:: SOT 20001 SOS 5359 HAS SOPS 5359 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4362.359
AT ITER 2907 NEW BEST:: SOT 20001 SOS 5357 HAS SOPS 5357 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4362.357
AT ITER 2986 NEW BEST:: SOT 19998 SOS 5351 HAS SOPS 5351 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4356.351
AT ITER 3028 NEW BEST:: SOT 20016 SOS 5369 HAS SOPS 5369 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4354.369
AT ITER 3088 NEW BEST:: SOT 20007 SOS 5360 HAS SOPS 5360 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4345.36
AT ITER 3092 NEW BEST:: SOT 19985 SOS 5338 HAS SOPS 5338 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4323.338
AT ITER 3119 NEW BEST:: SOT 19984 SOS 5337 HAS SOPS 5337 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4322.337
AT ITER 3120 NEW BEST:: SOT 19982 SOS 5334 HAS SOPS 5334 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4320.334
AT ITER 3126 NEW BEST:: SOT 19982 SOS 5322 HAS SOPS 5322 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.322
AT ITER 3204 NEW BEST:: SOT 19982 SOS 5307 HAS SOPS 5307 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4309.307
AT ITER 3253 NEW BEST:: SOT 19981 SOS 5303 HAS SOPS 5303 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4305.303
AT ITER 3309 NEW BEST:: SOT 19980 SOS 5301 HAS SOPS 5301 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4304.301
AT ITER 3354 NEW BEST:: SOT 19975 SOS 5285 HAS SOPS 5285 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4293.285
AT ITER 3380 NEW BEST:: SOT 19975 SOS 5257 HAS SOPS 5257 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4265.257
AT ITER 3381 NEW BEST:: SOT 19962 SOS 5239 HAS SOPS 5239 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4262.239
AT ITER 3409 NEW BEST:: SOT 19962 SOS 5238 HAS SOPS 5238 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4262.238
AT ITER 3436 NEW BEST:: SOT 19961 SOS 5236 HAS SOPS 5236 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.236
AT ITER 3561 NEW BEST:: SOT 19961 SOS 5243 HAS SOPS 5243 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4252.243
AT ITER 3617 NEW BEST:: SOT 19956 SOS 5238 HAS SOPS 5238 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4247.238
AT ITER 3635 NEW BEST:: SOT 19958 SOS 5237 HAS SOPS 5237 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4246.237
AT ITER 3650 NEW BEST:: SOT 19964 SOS 5231 HAS SOPS 5231 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.231
AT ITER 3658 NEW BEST:: SOT 19946 SOS 5212 HAS SOPS 5212 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4221.212
AT ITER 3663 NEW BEST:: SOT 19935 SOS 5252 HAS SOPS 5252 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4219.252
AT ITER 3710 NEW BEST:: SOT 19929 SOS 5243 HAS SOPS 5243 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4213.243
AT ITER 3721 NEW BEST:: SOT 19912 SOS 5234 HAS SOPS 5234 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4208.234
AT ITER 3763 NEW BEST:: SOT 19907 SOS 5224 HAS SOPS 5224 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4204.224
AT ITER 3776 NEW BEST:: SOT 19906 SOS 5222 HAS SOPS 5222 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4202.222
AT ITER 3792 NEW BEST:: SOT 19906 SOS 5221 HAS SOPS 5221 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4201.221
AT ITER 3813 NEW BEST:: SOT 19906 SOS 5218 HAS SOPS 5218 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4200.218
AT ITER 3818 NEW BEST:: SOT 19909 SOS 5219 HAS SOPS 5219 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4198.219
AT ITER 3824 NEW BEST:: SOT 19913 SOS 5219 HAS SOPS 5219 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4192.219
AT ITER 3849 NEW BEST:: SOT 19917 SOS 5217 HAS SOPS 5217 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4184.217
AT ITER 3879 NEW BEST:: SOT 19916 SOS 5215 HAS SOPS 5215 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4182.215
AT ITER 3886 NEW BEST:: SOT 19900 SOS 5193 HAS SOPS 5193 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4170.193
AT ITER 3930 NEW BEST:: SOT 19896 SOS 5181 HAS SOPS 5181 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4158.181
AT ITER 3958 NEW BEST:: SOT 19905 SOS 5180 HAS SOPS 5180 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4157.18
AT ITER 3994 NEW BEST:: SOT 19905 SOS 5176 HAS SOPS 5176 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4153.176
AT ITER 4009 NEW BEST:: SOT 19919 SOS 5204 HAS SOPS 5204 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.204
AT ITER 4022 NEW BEST:: SOT 19917 SOS 5200 HAS SOPS 5200 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4147.2
AT ITER 4028 NEW BEST:: SOT 19917 SOS 5190 HAS SOPS 5190 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4136.19
AT ITER 4032 NEW BEST:: SOT 19915 SOS 5188 HAS SOPS 5188 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.188
AT ITER 4044 NEW BEST:: SOT 19923 SOS 5180 HAS SOPS 5180 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4132.18
AT ITER 4072 NEW BEST:: SOT 19920 SOS 5178 HAS SOPS 5178 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4130.178
AT ITER 4092 NEW BEST:: SOT 19919 SOS 5177 HAS SOPS 5177 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4129.177
AT ITER 4163 NEW BEST:: SOT 19918 SOS 5176 HAS SOPS 5176 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4128.176
AT ITER 4170 NEW BEST:: SOT 19916 SOS 5166 HAS SOPS 5166 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4118.166
AT ITER 4184 NEW BEST:: SOT 19914 SOS 5162 HAS SOPS 5162 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4116.162
AT ITER 4210 NEW BEST:: SOT 19913 SOS 5158 HAS SOPS 5158 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.158
AT ITER 4219 NEW BEST:: SOT 19927 SOS 5168 HAS SOPS 5168 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4110.168
AT ITER 4242 NEW BEST:: SOT 19920 SOS 5161 HAS SOPS 5161 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4103.161
AT ITER 4251 NEW BEST:: SOT 19919 SOS 5031 HAS SOPS 5031 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4070.031
AT ITER 4319 NEW BEST:: SOT 19918 SOS 5029 HAS SOPS 5029 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4070.029
AT ITER 4338 NEW BEST:: SOT 19917 SOS 4991 HAS SOPS 4991 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4059.991
AT ITER 4351 NEW BEST:: SOT 19917 SOS 4980 HAS SOPS 4980 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.98
AT ITER 4370 NEW BEST:: SOT 19916 SOS 4977 HAS SOPS 4977 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.977
AT ITER 4426 NEW BEST:: SOT 19911 SOS 4976 HAS SOPS 4976 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.976
AT ITER 4483 NEW BEST:: SOT 19908 SOS 4974 HAS SOPS 4974 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.974
AT ITER 4509 NEW BEST:: SOT 19907 SOS 4972 HAS SOPS 4972 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4041.972
AT ITER 4519 NEW BEST:: SOT 19906 SOS 4971 HAS SOPS 4971 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4040.971
AT ITER 4551 NEW BEST:: SOT 19905 SOS 4970 HAS SOPS 4970 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.97
AT ITER 4580 NEW BEST:: SOT 19897 SOS 4962 HAS SOPS 4962 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.962
AT ITER 4604 NEW BEST:: SOT 19903 SOS 4960 HAS SOPS 4960 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.96
AT ITER 4678 NEW BEST:: SOT 19892 SOS 4948 HAS SOPS 4948 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4025.948
AT ITER 4692 NEW BEST:: SOT 19873 SOS 5042 HAS SOPS 5042 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4019.042
AT ITER 4783 NEW BEST:: SOT 19872 SOS 5041 HAS SOPS 5041 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4018.041
AT ITER 4786 NEW BEST:: SOT 19875 SOS 5035 HAS SOPS 5035 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4012.035
AT ITER 4810 NEW BEST:: SOT 19878 SOS 5025 HAS SOPS 5025 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4011.025
AT ITER 4856 NEW BEST:: SOT 19881 SOS 5003 HAS SOPS 5003 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3999.003
AT ITER 4885 NEW BEST:: SOT 19887 SOS 5016 HAS SOPS 5016 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3998.016
AT ITER 4890 NEW BEST:: SOT 19887 SOS 4998 HAS SOPS 4998 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3991.998
AT ITER 4912 NEW BEST:: SOT 19882 SOS 5030 HAS SOPS 5030 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3987.03
AT ITER 4913 NEW BEST:: SOT 19882 SOS 5029 HAS SOPS 5029 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3987.029
AT ITER 4920 NEW BEST:: SOT 19879 SOS 5023 HAS SOPS 5023 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3981.023
AT ITER 4988 NEW BEST:: SOT 19868 SOS 5016 HAS SOPS 5016 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3974.016
AT ITER 4995 NEW BEST:: SOT 19867 SOS 5014 HAS SOPS 5014 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3974.014
AT ITER 5001 NEW BEST:: SOT 19876 SOS 5021 HAS SOPS 5021 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3972.021
AT ITER 5084 NEW BEST:: SOT 19860 SOS 5049 HAS SOPS 5049 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3964.049
AT ITER 5197 NEW BEST:: SOT 19857 SOS 5046 HAS SOPS 5046 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3961.046
AT ITER 5215 NEW BEST:: SOT 19857 SOS 5018 HAS SOPS 5018 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3954.018
AT ITER 5362 NEW BEST:: SOT 19859 SOS 5018 HAS SOPS 5018 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3952.018
AT ITER 5378 NEW BEST:: SOT 19860 SOS 5018 HAS SOPS 5018 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3950.018
AT ITER 5380 NEW BEST:: SOT 19853 SOS 5004 HAS SOPS 5004 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3943.004
AT ITER 5398 NEW BEST:: SOT 19824 SOS 5001 HAS SOPS 5001 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3940.001
AT ITER 5557 NEW BEST:: SOT 19824 SOS 4997 HAS SOPS 4997 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.997
AT ITER 5580 NEW BEST:: SOT 19823 SOS 4996 HAS SOPS 4996 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3934.996
AT ITER 5719 NEW BEST:: SOT 19821 SOS 4991 HAS SOPS 4991 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.991
AT ITER 5760 NEW BEST:: SOT 19821 SOS 4990 HAS SOPS 4990 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.99
AT ITER 5804 NEW BEST:: SOT 19821 SOS 4988 HAS SOPS 4988 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.988
AT ITER 5991 NEW BEST:: SOT 19821 SOS 4987 HAS SOPS 4987 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.987
AT ITER 6043 NEW BEST:: SOT 19817 SOS 4979 HAS SOPS 4979 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3921.979
AT ITER 6046 NEW BEST:: SOT 19818 SOS 4977 HAS SOPS 4977 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.977
AT ITER 6086 NEW BEST:: SOT 19807 SOS 4972 HAS SOPS 4972 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.972
AT ITER 6156 NEW BEST:: SOT 19807 SOS 4970 HAS SOPS 4970 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.97
AT ITER 6265 NEW BEST:: SOT 19808 SOS 4966 HAS SOPS 4966 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.966
AT ITER 6291 NEW BEST:: SOT 19807 SOS 4965 HAS SOPS 4965 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3914.965
AT ITER 6414 NEW BEST:: SOT 19807 SOS 4964 HAS SOPS 4964 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3913.964
AT ITER 6507 NEW BEST:: SOT 19809 SOS 4955 HAS SOPS 4955 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3904.955
AT ITER 6525 NEW BEST:: SOT 19808 SOS 4953 HAS SOPS 4953 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.953
AT ITER 6560 NEW BEST:: SOT 19791 SOS 4940 HAS SOPS 4940 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.94
AT ITER 6600 NEW BEST:: SOT 19791 SOS 4939 HAS SOPS 4939 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3888.939
AT ITER 6695 NEW BEST:: SOT 19792 SOS 4934 HAS SOPS 4934 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.934
AT ITER 6884 NEW BEST:: SOT 19792 SOS 4934 HAS SOPS 4934 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.934
AT ITER 6917 NEW BEST:: SOT 19784 SOS 4926 HAS SOPS 4926 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.926
AT ITER 7009 NEW BEST:: SOT 19789 SOS 4921 HAS SOPS 4921 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3869.921
AT ITER 7111 NEW BEST:: SOT 19789 SOS 4915 HAS SOPS 4915 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.915
AT ITER 7286 NEW BEST:: SOT 19785 SOS 4907 HAS SOPS 4907 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3859.907
AT ITER 7516 NEW BEST:: SOT 19793 SOS 4887 HAS SOPS 4887 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3855.887
AT ITER 7611 NEW BEST:: SOT 19793 SOS 4877 HAS SOPS 4877 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.877
AT ITER 7715 NEW BEST:: SOT 19787 SOS 4872 HAS SOPS 4872 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3840.872
AT ITER 7890 NEW BEST:: SOT 19786 SOS 4871 HAS SOPS 4871 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3839.871
AT ITER 7934 NEW BEST:: SOT 19785 SOS 4869 HAS SOPS 4869 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3837.869
AT ITER 7957 NEW BEST:: SOT 19782 SOS 4866 HAS SOPS 4866 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.866
AT ITER 7961 NEW BEST:: SOT 19778 SOS 4858 HAS SOPS 4858 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3833.858
AT ITER 7977 NEW BEST:: SOT 19780 SOS 4857 HAS SOPS 4857 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3832.857
AT ITER 8190 NEW BEST:: SOT 19776 SOS 4849 HAS SOPS 4849 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.849
AT ITER 8211 NEW BEST:: SOT 19776 SOS 4849 HAS SOPS 4849 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.849
AT ITER 8276 NEW BEST:: SOT 19775 SOS 4847 HAS SOPS 4847 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.847
AT ITER 8644 NEW BEST:: SOT 19773 SOS 4845 HAS SOPS 4845 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3822.845
AT ITER 8697 NEW BEST:: SOT 19774 SOS 4840 HAS SOPS 4840 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3817.84
AT ITER 8741 NEW BEST:: SOT 19770 SOS 4841 HAS SOPS 4841 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3813.841
AT ITER 8987 NEW BEST:: SOT 19768 SOS 4835 HAS SOPS 4835 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.835
AT ITER 9132 NEW BEST:: SOT 19765 SOS 4832 HAS SOPS 4832 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.832
AT ITER 9198 NEW BEST:: SOT 19765 SOS 4831 HAS SOPS 4831 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.831
AT ITER 9351 NEW BEST:: SOT 19771 SOS 4836 HAS SOPS 4836 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3807.836
AT ITER 9493 NEW BEST:: SOT 19769 SOS 4834 HAS SOPS 4834 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3805.834
AT ITER 9501 NEW BEST:: SOT 19761 SOS 4826 HAS SOPS 4826 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3805.826
AT ITER 9589 NEW BEST:: SOT 19770 SOS 4836 HAS SOPS 4836 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.836
AT ITER 9614 NEW BEST:: SOT 19771 SOS 4836 HAS SOPS 4836 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.836
AT ITER 9849 NEW BEST:: SOT 19770 SOS 4835 HAS SOPS 4835 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3801.835
AT ITER 9925 NEW BEST:: SOT 19770 SOS 4834 HAS SOPS 4834 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.834
AT ITER 9976 NEW BEST:: SOT 19766 SOS 4830 HAS SOPS 4830 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3796.83
AT ITER 9999 NEW BEST:: SOT 19766 SOS 4826 HAS SOPS 4826 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.826
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 1678789840625

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r043-tajo-167813696900456"
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 ;