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.r419-tajo-167905973300080.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 ShieldRVs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973300080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 7.3K Feb 26 18:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 18:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 18:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 18:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 18:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 18:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 61K Mar 5 18:23 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 1679088516278

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=ShieldRVs-PT-005B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 005B
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: 203 places, 228 transitions, 720 arcs.
AT ITER 0 NEW BEST:: SOT 25485 SOS 8404 HAS SOPS 8404 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.404
AT ITER 2 NEW BEST:: SOT 25465 SOS 8269 HAS SOPS 8269 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6765.269
AT ITER 46 NEW BEST:: SOT 25469 SOS 8231 HAS SOPS 8231 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6727.231
AT ITER 47 NEW BEST:: SOT 25492 SOS 8293 HAS SOPS 8293 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6716.293
AT ITER 64 NEW BEST:: SOT 25491 SOS 8289 HAS SOPS 8289 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6712.289
AT ITER 65 NEW BEST:: SOT 25490 SOS 8302 HAS SOPS 8302 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6711.302
AT ITER 69 NEW BEST:: SOT 25470 SOS 8198 HAS SOPS 8198 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6691.198
AT ITER 128 NEW BEST:: SOT 25457 SOS 8197 HAS SOPS 8197 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6690.197
AT ITER 129 NEW BEST:: SOT 25457 SOS 8189 HAS SOPS 8189 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.189
AT ITER 134 NEW BEST:: SOT 25427 SOS 8164 HAS SOPS 8164 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.164
AT ITER 150 NEW BEST:: SOT 25423 SOS 8156 HAS SOPS 8156 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6604.156
AT ITER 154 NEW BEST:: SOT 25399 SOS 8132 HAS SOPS 8132 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.132
AT ITER 162 NEW BEST:: SOT 25384 SOS 8050 HAS SOPS 8050 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6543.05
AT ITER 170 NEW BEST:: SOT 25376 SOS 8038 HAS SOPS 8038 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6541.038
AT ITER 176 NEW BEST:: SOT 25378 SOS 8039 HAS SOPS 8039 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6540.039
AT ITER 191 NEW BEST:: SOT 25378 SOS 8022 HAS SOPS 8022 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6523.022
AT ITER 219 NEW BEST:: SOT 25369 SOS 7996 HAS SOPS 7996 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.996
AT ITER 232 NEW BEST:: SOT 25406 SOS 8092 HAS SOPS 8092 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6503.092
AT ITER 249 NEW BEST:: SOT 25392 SOS 8092 HAS SOPS 8092 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6499.092
AT ITER 279 NEW BEST:: SOT 25381 SOS 8090 HAS SOPS 8090 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6488.09
AT ITER 295 NEW BEST:: SOT 25352 SOS 8035 HAS SOPS 8035 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6459.035
AT ITER 364 NEW BEST:: SOT 25350 SOS 8033 HAS SOPS 8033 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6457.033
AT ITER 370 NEW BEST:: SOT 25350 SOS 8032 HAS SOPS 8032 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6436.032
AT ITER 407 NEW BEST:: SOT 25318 SOS 7936 HAS SOPS 7936 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6387.936
AT ITER 428 NEW BEST:: SOT 25320 SOS 7929 HAS SOPS 7929 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6380.929
AT ITER 430 NEW BEST:: SOT 25254 SOS 7919 HAS SOPS 7919 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6345.919
AT ITER 431 NEW BEST:: SOT 25248 SOS 7913 HAS SOPS 7913 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6321.913
AT ITER 439 NEW BEST:: SOT 25243 SOS 7898 HAS SOPS 7898 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6311.898
AT ITER 441 NEW BEST:: SOT 25234 SOS 7878 HAS SOPS 7878 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6302.878
AT ITER 458 NEW BEST:: SOT 25236 SOS 7876 HAS SOPS 7876 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.876
AT ITER 486 NEW BEST:: SOT 25224 SOS 7952 HAS SOPS 7952 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6293.952
AT ITER 499 NEW BEST:: SOT 25222 SOS 7948 HAS SOPS 7948 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6287.948
AT ITER 503 NEW BEST:: SOT 25251 SOS 7973 HAS SOPS 7973 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6285.973
AT ITER 511 NEW BEST:: SOT 25251 SOS 7961 HAS SOPS 7961 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6285.961
AT ITER 512 NEW BEST:: SOT 25245 SOS 7931 HAS SOPS 7931 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6285.931
AT ITER 513 NEW BEST:: SOT 25245 SOS 7921 HAS SOPS 7921 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6276.921
AT ITER 530 NEW BEST:: SOT 25239 SOS 7909 HAS SOPS 7909 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6270.909
AT ITER 548 NEW BEST:: SOT 25239 SOS 7905 HAS SOPS 7905 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6270.905
AT ITER 566 NEW BEST:: SOT 25239 SOS 7891 HAS SOPS 7891 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6258.891
AT ITER 574 NEW BEST:: SOT 25239 SOS 7890 HAS SOPS 7890 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.89
AT ITER 599 NEW BEST:: SOT 25238 SOS 7892 HAS SOPS 7892 HAS SOUS 6249 HAS SOUPS 6249 WITH SCORE 6256.892
AT ITER 620 NEW BEST:: SOT 25238 SOS 7877 HAS SOPS 7877 HAS SOUS 6249 HAS SOUPS 6249 WITH SCORE 6256.877
AT ITER 649 NEW BEST:: SOT 25217 SOS 7856 HAS SOPS 7856 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6235.856
AT ITER 652 NEW BEST:: SOT 25217 SOS 7855 HAS SOPS 7855 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6234.855
AT ITER 653 NEW BEST:: SOT 25241 SOS 7914 HAS SOPS 7914 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.914
AT ITER 656 NEW BEST:: SOT 25241 SOS 7913 HAS SOPS 7913 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6229.913
AT ITER 661 NEW BEST:: SOT 25235 SOS 7907 HAS SOPS 7907 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6229.907
AT ITER 674 NEW BEST:: SOT 25214 SOS 7886 HAS SOPS 7886 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6208.886
AT ITER 705 NEW BEST:: SOT 25195 SOS 7888 HAS SOPS 7888 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6190.888
AT ITER 706 NEW BEST:: SOT 25208 SOS 7940 HAS SOPS 7940 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6182.94
AT ITER 759 NEW BEST:: SOT 25208 SOS 7938 HAS SOPS 7938 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6180.938
AT ITER 765 NEW BEST:: SOT 25216 SOS 7929 HAS SOPS 7929 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6148.929
AT ITER 771 NEW BEST:: SOT 25171 SOS 7919 HAS SOPS 7919 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6138.919
AT ITER 780 NEW BEST:: SOT 25169 SOS 7917 HAS SOPS 7917 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.917
AT ITER 841 NEW BEST:: SOT 25123 SOS 7883 HAS SOPS 7883 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6095.883
AT ITER 846 NEW BEST:: SOT 25095 SOS 7923 HAS SOPS 7923 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6094.923
AT ITER 857 NEW BEST:: SOT 25083 SOS 7991 HAS SOPS 7991 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6088.991
AT ITER 884 NEW BEST:: SOT 25083 SOS 7986 HAS SOPS 7986 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6083.986
AT ITER 894 NEW BEST:: SOT 25056 SOS 7812 HAS SOPS 7812 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6068.812
AT ITER 921 NEW BEST:: SOT 25045 SOS 7748 HAS SOPS 7748 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6043.748
AT ITER 975 NEW BEST:: SOT 25043 SOS 7736 HAS SOPS 7736 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.736
AT ITER 989 NEW BEST:: SOT 25040 SOS 7728 HAS SOPS 7728 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.728
AT ITER 1005 NEW BEST:: SOT 25040 SOS 7716 HAS SOPS 7716 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6019.716
AT ITER 1028 NEW BEST:: SOT 25040 SOS 7716 HAS SOPS 7716 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6010.716
AT ITER 1030 NEW BEST:: SOT 25056 SOS 7749 HAS SOPS 7749 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6001.749
AT ITER 1033 NEW BEST:: SOT 25052 SOS 7742 HAS SOPS 7742 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5992.742
AT ITER 1047 NEW BEST:: SOT 25032 SOS 7722 HAS SOPS 7722 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5990.722
AT ITER 1063 NEW BEST:: SOT 25006 SOS 7714 HAS SOPS 7714 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5983.714
AT ITER 1081 NEW BEST:: SOT 25006 SOS 7707 HAS SOPS 7707 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5983.707
AT ITER 1122 NEW BEST:: SOT 25006 SOS 7700 HAS SOPS 7700 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5976.7
AT ITER 1136 NEW BEST:: SOT 25000 SOS 7676 HAS SOPS 7676 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.676
AT ITER 1156 NEW BEST:: SOT 24999 SOS 7670 HAS SOPS 7670 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5968.67
AT ITER 1163 NEW BEST:: SOT 24998 SOS 7660 HAS SOPS 7660 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5959.66
AT ITER 1164 NEW BEST:: SOT 24997 SOS 7659 HAS SOPS 7659 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5958.659
AT ITER 1209 NEW BEST:: SOT 24978 SOS 7657 HAS SOPS 7657 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.657
AT ITER 1219 NEW BEST:: SOT 24978 SOS 7654 HAS SOPS 7654 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.654
AT ITER 1230 NEW BEST:: SOT 24977 SOS 7658 HAS SOPS 7658 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5945.658
AT ITER 1245 NEW BEST:: SOT 24975 SOS 7704 HAS SOPS 7704 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5933.704
AT ITER 1268 NEW BEST:: SOT 24975 SOS 7698 HAS SOPS 7698 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5933.698
AT ITER 1271 NEW BEST:: SOT 24975 SOS 7694 HAS SOPS 7694 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5929.694
AT ITER 1299 NEW BEST:: SOT 24997 SOS 7681 HAS SOPS 7681 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5916.681
AT ITER 1306 NEW BEST:: SOT 24985 SOS 7698 HAS SOPS 7698 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5904.698
AT ITER 1314 NEW BEST:: SOT 24976 SOS 7698 HAS SOPS 7698 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5871.698
AT ITER 1323 NEW BEST:: SOT 24976 SOS 7686 HAS SOPS 7686 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5871.686
AT ITER 1335 NEW BEST:: SOT 24976 SOS 7638 HAS SOPS 7638 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.638
AT ITER 1349 NEW BEST:: SOT 24989 SOS 7639 HAS SOPS 7639 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5848.639
AT ITER 1362 NEW BEST:: SOT 24986 SOS 7636 HAS SOPS 7636 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5845.636
AT ITER 1368 NEW BEST:: SOT 24992 SOS 7651 HAS SOPS 7651 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5837.651
AT ITER 1399 NEW BEST:: SOT 24980 SOS 7641 HAS SOPS 7641 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5793.641
AT ITER 1410 NEW BEST:: SOT 24977 SOS 7629 HAS SOPS 7629 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5787.629
AT ITER 1419 NEW BEST:: SOT 24970 SOS 7671 HAS SOPS 7671 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5780.671
AT ITER 1427 NEW BEST:: SOT 24977 SOS 7729 HAS SOPS 7729 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5774.729
AT ITER 1450 NEW BEST:: SOT 24977 SOS 7691 HAS SOPS 7691 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5774.691
AT ITER 1490 NEW BEST:: SOT 24979 SOS 7651 HAS SOPS 7651 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5772.651
AT ITER 1499 NEW BEST:: SOT 24979 SOS 7637 HAS SOPS 7637 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5772.637
AT ITER 1521 NEW BEST:: SOT 24979 SOS 7599 HAS SOPS 7599 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5762.599
AT ITER 1567 NEW BEST:: SOT 24974 SOS 7589 HAS SOPS 7589 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5757.589
AT ITER 1615 NEW BEST:: SOT 24980 SOS 7571 HAS SOPS 7571 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5757.571
AT ITER 1679 NEW BEST:: SOT 24967 SOS 7536 HAS SOPS 7536 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5722.536
AT ITER 1702 NEW BEST:: SOT 24962 SOS 7547 HAS SOPS 7547 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5688.547
AT ITER 1737 NEW BEST:: SOT 24938 SOS 7517 HAS SOPS 7517 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.517
AT ITER 1753 NEW BEST:: SOT 24938 SOS 7536 HAS SOPS 7536 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5657.536
AT ITER 1763 NEW BEST:: SOT 24918 SOS 7551 HAS SOPS 7551 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5656.551
AT ITER 1771 NEW BEST:: SOT 24918 SOS 7548 HAS SOPS 7548 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5653.548
AT ITER 1895 NEW BEST:: SOT 24917 SOS 7543 HAS SOPS 7543 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5651.543
AT ITER 1912 NEW BEST:: SOT 24915 SOS 7539 HAS SOPS 7539 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5646.539
AT ITER 1938 NEW BEST:: SOT 24904 SOS 7511 HAS SOPS 7511 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5620.511
AT ITER 1972 NEW BEST:: SOT 24900 SOS 7517 HAS SOPS 7517 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5615.517
AT ITER 1973 NEW BEST:: SOT 24894 SOS 7507 HAS SOPS 7507 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5608.507
AT ITER 1991 NEW BEST:: SOT 24881 SOS 7417 HAS SOPS 7417 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5606.417
AT ITER 2000 NEW BEST:: SOT 24880 SOS 7414 HAS SOPS 7414 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5604.414
AT ITER 2054 NEW BEST:: SOT 24880 SOS 7402 HAS SOPS 7402 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5592.402
AT ITER 2072 NEW BEST:: SOT 24874 SOS 7394 HAS SOPS 7394 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5586.394
AT ITER 2091 NEW BEST:: SOT 24878 SOS 7340 HAS SOPS 7340 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5553.34
AT ITER 2095 NEW BEST:: SOT 24873 SOS 7319 HAS SOPS 7319 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5548.319
AT ITER 2101 NEW BEST:: SOT 24866 SOS 7305 HAS SOPS 7305 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5541.305
AT ITER 2112 NEW BEST:: SOT 24866 SOS 7308 HAS SOPS 7308 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5529.308
AT ITER 2120 NEW BEST:: SOT 24866 SOS 7238 HAS SOPS 7238 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5494.238
AT ITER 2162 NEW BEST:: SOT 24864 SOS 7239 HAS SOPS 7239 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5492.239
AT ITER 2164 NEW BEST:: SOT 24852 SOS 7221 HAS SOPS 7221 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5475.221
AT ITER 2194 NEW BEST:: SOT 24839 SOS 7236 HAS SOPS 7236 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5464.236
AT ITER 2209 NEW BEST:: SOT 24793 SOS 7196 HAS SOPS 7196 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5418.196
AT ITER 2210 NEW BEST:: SOT 24757 SOS 7138 HAS SOPS 7138 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5408.138
AT ITER 2292 NEW BEST:: SOT 24753 SOS 7108 HAS SOPS 7108 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5383.108
AT ITER 2303 NEW BEST:: SOT 24753 SOS 7105 HAS SOPS 7105 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5383.105
AT ITER 2316 NEW BEST:: SOT 24753 SOS 7105 HAS SOPS 7105 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5367.105
AT ITER 2319 NEW BEST:: SOT 24730 SOS 7082 HAS SOPS 7082 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5355.082
AT ITER 2341 NEW BEST:: SOT 24732 SOS 7082 HAS SOPS 7082 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5353.082
AT ITER 2409 NEW BEST:: SOT 24732 SOS 7076 HAS SOPS 7076 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5347.076
AT ITER 2450 NEW BEST:: SOT 24731 SOS 7075 HAS SOPS 7075 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5346.075
AT ITER 2465 NEW BEST:: SOT 24727 SOS 7078 HAS SOPS 7078 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5327.078
AT ITER 2491 NEW BEST:: SOT 24724 SOS 7075 HAS SOPS 7075 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5321.075
AT ITER 2503 NEW BEST:: SOT 24724 SOS 7070 HAS SOPS 7070 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5319.07
AT ITER 2517 NEW BEST:: SOT 24725 SOS 7065 HAS SOPS 7065 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5314.065
AT ITER 2535 NEW BEST:: SOT 24718 SOS 7051 HAS SOPS 7051 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5307.051
AT ITER 2548 NEW BEST:: SOT 24730 SOS 7126 HAS SOPS 7126 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5302.126
AT ITER 2553 NEW BEST:: SOT 24733 SOS 7148 HAS SOPS 7148 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5298.148
AT ITER 2561 NEW BEST:: SOT 24731 SOS 7146 HAS SOPS 7146 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5297.146
AT ITER 2609 NEW BEST:: SOT 24733 SOS 7150 HAS SOPS 7150 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5295.15
AT ITER 2612 NEW BEST:: SOT 24733 SOS 7168 HAS SOPS 7168 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5277.168
AT ITER 2618 NEW BEST:: SOT 24733 SOS 7162 HAS SOPS 7162 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5274.162
AT ITER 2623 NEW BEST:: SOT 24707 SOS 7194 HAS SOPS 7194 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5259.194
AT ITER 2629 NEW BEST:: SOT 24707 SOS 7188 HAS SOPS 7188 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5256.188
AT ITER 2642 NEW BEST:: SOT 24706 SOS 7187 HAS SOPS 7187 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5252.187
AT ITER 2643 NEW BEST:: SOT 24722 SOS 7184 HAS SOPS 7184 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5249.184
AT ITER 2647 NEW BEST:: SOT 24726 SOS 7247 HAS SOPS 7247 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5216.247
AT ITER 2673 NEW BEST:: SOT 24715 SOS 7138 HAS SOPS 7138 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5211.138
AT ITER 2681 NEW BEST:: SOT 24712 SOS 7135 HAS SOPS 7135 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5208.135
AT ITER 2718 NEW BEST:: SOT 24709 SOS 7117 HAS SOPS 7117 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5208.117
AT ITER 2763 NEW BEST:: SOT 24709 SOS 7116 HAS SOPS 7116 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5207.116
AT ITER 2773 NEW BEST:: SOT 24710 SOS 7116 HAS SOPS 7116 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5206.116
AT ITER 2795 NEW BEST:: SOT 24727 SOS 7150 HAS SOPS 7150 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5197.15
AT ITER 2908 NEW BEST:: SOT 24727 SOS 7149 HAS SOPS 7149 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5196.149
AT ITER 2946 NEW BEST:: SOT 24699 SOS 7093 HAS SOPS 7093 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5140.093
AT ITER 2970 NEW BEST:: SOT 24695 SOS 7093 HAS SOPS 7093 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5131.093
AT ITER 2985 NEW BEST:: SOT 24686 SOS 7091 HAS SOPS 7091 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5130.091
AT ITER 2996 NEW BEST:: SOT 24679 SOS 7077 HAS SOPS 7077 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5123.077
AT ITER 3007 NEW BEST:: SOT 24665 SOS 7061 HAS SOPS 7061 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5108.061
AT ITER 3033 NEW BEST:: SOT 24665 SOS 7061 HAS SOPS 7061 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5104.061
AT ITER 3098 NEW BEST:: SOT 24664 SOS 7059 HAS SOPS 7059 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5102.059
AT ITER 3101 NEW BEST:: SOT 24666 SOS 7057 HAS SOPS 7057 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5100.057
AT ITER 3105 NEW BEST:: SOT 24669 SOS 7063 HAS SOPS 7063 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5098.063
AT ITER 3123 NEW BEST:: SOT 24659 SOS 7058 HAS SOPS 7058 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5093.058
AT ITER 3184 NEW BEST:: SOT 24656 SOS 7051 HAS SOPS 7051 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5077.051
AT ITER 3246 NEW BEST:: SOT 24653 SOS 7045 HAS SOPS 7045 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5074.045
AT ITER 3301 NEW BEST:: SOT 24653 SOS 7033 HAS SOPS 7033 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5074.033
AT ITER 3316 NEW BEST:: SOT 24653 SOS 7046 HAS SOPS 7046 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5066.046
AT ITER 3358 NEW BEST:: SOT 24661 SOS 7090 HAS SOPS 7090 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5065.09
AT ITER 3448 NEW BEST:: SOT 24661 SOS 7094 HAS SOPS 7094 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5057.094
AT ITER 3469 NEW BEST:: SOT 24659 SOS 7090 HAS SOPS 7090 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5055.09
AT ITER 3491 NEW BEST:: SOT 24659 SOS 7088 HAS SOPS 7088 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5053.088
AT ITER 3593 NEW BEST:: SOT 24672 SOS 7030 HAS SOPS 7030 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5033.03
AT ITER 3601 NEW BEST:: SOT 24672 SOS 7029 HAS SOPS 7029 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5032.029
AT ITER 3706 NEW BEST:: SOT 24671 SOS 7028 HAS SOPS 7028 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5029.028
AT ITER 3766 NEW BEST:: SOT 24631 SOS 6998 HAS SOPS 6998 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5000.998
AT ITER 3797 NEW BEST:: SOT 24619 SOS 6942 HAS SOPS 6942 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4985.942
AT ITER 3847 NEW BEST:: SOT 24621 SOS 6943 HAS SOPS 6943 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.943
AT ITER 3899 NEW BEST:: SOT 24621 SOS 6945 HAS SOPS 6945 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4978.945
AT ITER 3980 NEW BEST:: SOT 24621 SOS 6944 HAS SOPS 6944 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4978.944
AT ITER 3995 NEW BEST:: SOT 24621 SOS 6944 HAS SOPS 6944 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4975.944
AT ITER 4091 NEW BEST:: SOT 24603 SOS 6926 HAS SOPS 6926 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4957.926
AT ITER 4098 NEW BEST:: SOT 24599 SOS 6918 HAS SOPS 6918 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4957.918
AT ITER 4132 NEW BEST:: SOT 24597 SOS 6910 HAS SOPS 6910 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.91
AT ITER 4215 NEW BEST:: SOT 24590 SOS 6883 HAS SOPS 6883 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4948.883
AT ITER 4245 NEW BEST:: SOT 24594 SOS 6891 HAS SOPS 6891 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4944.891
AT ITER 4250 NEW BEST:: SOT 24589 SOS 6877 HAS SOPS 6877 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4934.877
AT ITER 4260 NEW BEST:: SOT 24589 SOS 6902 HAS SOPS 6902 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4925.902
AT ITER 4275 NEW BEST:: SOT 24542 SOS 6874 HAS SOPS 6874 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4897.874
AT ITER 4281 NEW BEST:: SOT 24547 SOS 6879 HAS SOPS 6879 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4890.879
AT ITER 4313 NEW BEST:: SOT 24513 SOS 6909 HAS SOPS 6909 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4863.909
AT ITER 4341 NEW BEST:: SOT 24513 SOS 6901 HAS SOPS 6901 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4855.901
AT ITER 4381 NEW BEST:: SOT 24511 SOS 6889 HAS SOPS 6889 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.889
AT ITER 4392 NEW BEST:: SOT 24510 SOS 6888 HAS SOPS 6888 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4836.888
AT ITER 4400 NEW BEST:: SOT 24508 SOS 6914 HAS SOPS 6914 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4834.914
AT ITER 4457 NEW BEST:: SOT 24495 SOS 6881 HAS SOPS 6881 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4826.881
AT ITER 4588 NEW BEST:: SOT 24493 SOS 6861 HAS SOPS 6861 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.861
AT ITER 4635 NEW BEST:: SOT 24492 SOS 6856 HAS SOPS 6856 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4822.856
AT ITER 4678 NEW BEST:: SOT 24492 SOS 6874 HAS SOPS 6874 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4809.874
AT ITER 4691 NEW BEST:: SOT 24495 SOS 6877 HAS SOPS 6877 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4805.877
AT ITER 4774 NEW BEST:: SOT 24498 SOS 6880 HAS SOPS 6880 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4804.88
AT ITER 4864 NEW BEST:: SOT 24497 SOS 6878 HAS SOPS 6878 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4803.878
AT ITER 4873 NEW BEST:: SOT 24467 SOS 6816 HAS SOPS 6816 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4765.816
AT ITER 4876 NEW BEST:: SOT 24467 SOS 6806 HAS SOPS 6806 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4760.806
AT ITER 4885 NEW BEST:: SOT 24475 SOS 6814 HAS SOPS 6814 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4758.814
AT ITER 4921 NEW BEST:: SOT 24475 SOS 6813 HAS SOPS 6813 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4757.813
AT ITER 4966 NEW BEST:: SOT 24465 SOS 6806 HAS SOPS 6806 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4747.806
AT ITER 5098 NEW BEST:: SOT 24464 SOS 6805 HAS SOPS 6805 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4746.805
AT ITER 5123 NEW BEST:: SOT 24464 SOS 6805 HAS SOPS 6805 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.805
AT ITER 5159 NEW BEST:: SOT 24464 SOS 6802 HAS SOPS 6802 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.802
AT ITER 5175 NEW BEST:: SOT 24462 SOS 6798 HAS SOPS 6798 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4743.798
AT ITER 5224 NEW BEST:: SOT 24459 SOS 6788 HAS SOPS 6788 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.788
AT ITER 5236 NEW BEST:: SOT 24459 SOS 6793 HAS SOPS 6793 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4724.793
AT ITER 5241 NEW BEST:: SOT 24457 SOS 6789 HAS SOPS 6789 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4714.789
AT ITER 5332 NEW BEST:: SOT 24454 SOS 6832 HAS SOPS 6832 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4709.832
AT ITER 5338 NEW BEST:: SOT 24454 SOS 6814 HAS SOPS 6814 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4709.814
AT ITER 5340 NEW BEST:: SOT 24450 SOS 6812 HAS SOPS 6812 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4705.812
AT ITER 5397 NEW BEST:: SOT 24439 SOS 6799 HAS SOPS 6799 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4701.799
AT ITER 5424 NEW BEST:: SOT 24439 SOS 6795 HAS SOPS 6795 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4692.795
AT ITER 5459 NEW BEST:: SOT 24439 SOS 6795 HAS SOPS 6795 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4691.795
AT ITER 5546 NEW BEST:: SOT 24434 SOS 6787 HAS SOPS 6787 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4681.787
AT ITER 5589 NEW BEST:: SOT 24435 SOS 6789 HAS SOPS 6789 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4679.789
AT ITER 5644 NEW BEST:: SOT 24438 SOS 6786 HAS SOPS 6786 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4676.786
AT ITER 5785 NEW BEST:: SOT 24439 SOS 6779 HAS SOPS 6779 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4675.779
AT ITER 5809 NEW BEST:: SOT 24439 SOS 6778 HAS SOPS 6778 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4667.778
AT ITER 5830 NEW BEST:: SOT 24438 SOS 6776 HAS SOPS 6776 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4665.776
AT ITER 5850 NEW BEST:: SOT 24438 SOS 6769 HAS SOPS 6769 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4665.769
AT ITER 5907 NEW BEST:: SOT 24437 SOS 6764 HAS SOPS 6764 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4663.764
AT ITER 5952 NEW BEST:: SOT 24437 SOS 6728 HAS SOPS 6728 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4663.728
AT ITER 5986 NEW BEST:: SOT 24433 SOS 6696 HAS SOPS 6696 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4655.696
AT ITER 6022 NEW BEST:: SOT 24427 SOS 6684 HAS SOPS 6684 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4655.684
AT ITER 6055 NEW BEST:: SOT 24426 SOS 6679 HAS SOPS 6679 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4653.679
AT ITER 6098 NEW BEST:: SOT 24424 SOS 6675 HAS SOPS 6675 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4651.675
AT ITER 6175 NEW BEST:: SOT 24423 SOS 6673 HAS SOPS 6673 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4644.673
AT ITER 6198 NEW BEST:: SOT 24420 SOS 6675 HAS SOPS 6675 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4642.675
AT ITER 6254 NEW BEST:: SOT 24420 SOS 6670 HAS SOPS 6670 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4637.67
AT ITER 6273 NEW BEST:: SOT 24410 SOS 6669 HAS SOPS 6669 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4634.669
AT ITER 6365 NEW BEST:: SOT 24408 SOS 6667 HAS SOPS 6667 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4632.667
AT ITER 6366 NEW BEST:: SOT 24401 SOS 6661 HAS SOPS 6661 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4627.661
AT ITER 6372 NEW BEST:: SOT 24401 SOS 6657 HAS SOPS 6657 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4623.657
AT ITER 6395 NEW BEST:: SOT 24405 SOS 6629 HAS SOPS 6629 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4621.629
AT ITER 6466 NEW BEST:: SOT 24405 SOS 6628 HAS SOPS 6628 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4620.628
AT ITER 6516 NEW BEST:: SOT 24405 SOS 6624 HAS SOPS 6624 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4620.624
AT ITER 6596 NEW BEST:: SOT 24405 SOS 6620 HAS SOPS 6620 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4620.62
AT ITER 6599 NEW BEST:: SOT 24402 SOS 6606 HAS SOPS 6606 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4615.606
AT ITER 6620 NEW BEST:: SOT 24401 SOS 6602 HAS SOPS 6602 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4607.602
AT ITER 6644 NEW BEST:: SOT 24399 SOS 6598 HAS SOPS 6598 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.598
AT ITER 6767 NEW BEST:: SOT 24397 SOS 6596 HAS SOPS 6596 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.596
AT ITER 6773 NEW BEST:: SOT 24381 SOS 6580 HAS SOPS 6580 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4587.58
AT ITER 6807 NEW BEST:: SOT 24381 SOS 6580 HAS SOPS 6580 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4584.58
AT ITER 6838 NEW BEST:: SOT 24381 SOS 6575 HAS SOPS 6575 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4581.575
AT ITER 6904 NEW BEST:: SOT 24374 SOS 6561 HAS SOPS 6561 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4567.561
AT ITER 7002 NEW BEST:: SOT 24374 SOS 6560 HAS SOPS 6560 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4566.56
AT ITER 7043 NEW BEST:: SOT 24376 SOS 6533 HAS SOPS 6533 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4561.533
AT ITER 7126 NEW BEST:: SOT 24376 SOS 6535 HAS SOPS 6535 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4559.535
AT ITER 7177 NEW BEST:: SOT 24371 SOS 6526 HAS SOPS 6526 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4553.526
AT ITER 7575 NEW BEST:: SOT 24360 SOS 6501 HAS SOPS 6501 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4540.501
AT ITER 7579 NEW BEST:: SOT 24361 SOS 6502 HAS SOPS 6502 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4537.502
AT ITER 7625 NEW BEST:: SOT 24356 SOS 6506 HAS SOPS 6506 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4532.506
AT ITER 7643 NEW BEST:: SOT 24355 SOS 6505 HAS SOPS 6505 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4531.505
AT ITER 7676 NEW BEST:: SOT 24355 SOS 6501 HAS SOPS 6501 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4527.501
AT ITER 7808 NEW BEST:: SOT 24355 SOS 6505 HAS SOPS 6505 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4526.505
AT ITER 7846 NEW BEST:: SOT 24354 SOS 6507 HAS SOPS 6507 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4524.507
AT ITER 7905 NEW BEST:: SOT 24351 SOS 6492 HAS SOPS 6492 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4518.492
AT ITER 8022 NEW BEST:: SOT 24351 SOS 6490 HAS SOPS 6490 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4517.49
AT ITER 8037 NEW BEST:: SOT 24351 SOS 6491 HAS SOPS 6491 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4514.491
AT ITER 8065 NEW BEST:: SOT 24346 SOS 6486 HAS SOPS 6486 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4509.486
AT ITER 8195 NEW BEST:: SOT 24345 SOS 6485 HAS SOPS 6485 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4508.485
AT ITER 8255 NEW BEST:: SOT 24335 SOS 6519 HAS SOPS 6519 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4498.519
AT ITER 8275 NEW BEST:: SOT 24333 SOS 6518 HAS SOPS 6518 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4493.518
AT ITER 8350 NEW BEST:: SOT 24298 SOS 6553 HAS SOPS 6553 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4492.553
AT ITER 8411 NEW BEST:: SOT 24296 SOS 6545 HAS SOPS 6545 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4484.545
AT ITER 8419 NEW BEST:: SOT 24295 SOS 6551 HAS SOPS 6551 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4482.551
AT ITER 8510 NEW BEST:: SOT 24271 SOS 6527 HAS SOPS 6527 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4460.527
AT ITER 8644 NEW BEST:: SOT 24268 SOS 6517 HAS SOPS 6517 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4457.517
AT ITER 8714 NEW BEST:: SOT 24268 SOS 6481 HAS SOPS 6481 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4457.481
AT ITER 8770 NEW BEST:: SOT 24255 SOS 6461 HAS SOPS 6461 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4456.461
AT ITER 8838 NEW BEST:: SOT 24252 SOS 6457 HAS SOPS 6457 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4452.457
AT ITER 8929 NEW BEST:: SOT 24254 SOS 6485 HAS SOPS 6485 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4451.485
AT ITER 8943 NEW BEST:: SOT 24254 SOS 6480 HAS SOPS 6480 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4446.48
AT ITER 8959 NEW BEST:: SOT 24235 SOS 6433 HAS SOPS 6433 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4399.433
AT ITER 9078 NEW BEST:: SOT 24235 SOS 6443 HAS SOPS 6443 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4396.443
AT ITER 9110 NEW BEST:: SOT 24235 SOS 6442 HAS SOPS 6442 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4396.442
AT ITER 9172 NEW BEST:: SOT 24235 SOS 6442 HAS SOPS 6442 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4394.442
AT ITER 9271 NEW BEST:: SOT 24235 SOS 6440 HAS SOPS 6440 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4392.44
AT ITER 9436 NEW BEST:: SOT 24234 SOS 6438 HAS SOPS 6438 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4390.438
AT ITER 9497 NEW BEST:: SOT 24234 SOS 6420 HAS SOPS 6420 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4372.42
AT ITER 9523 NEW BEST:: SOT 24234 SOS 6393 HAS SOPS 6393 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4372.393
AT ITER 9528 NEW BEST:: SOT 24235 SOS 6392 HAS SOPS 6392 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4372.392
AT ITER 9531 NEW BEST:: SOT 24236 SOS 6392 HAS SOPS 6392 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4371.392
AT ITER 9654 NEW BEST:: SOT 24234 SOS 6390 HAS SOPS 6390 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4366.39
AT ITER 9742 NEW BEST:: SOT 24234 SOS 6330 HAS SOPS 6330 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4366.33
AT ITER 9794 NEW BEST:: SOT 24231 SOS 6322 HAS SOPS 6322 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4360.322
AT ITER 9947 NEW BEST:: SOT 24194 SOS 6278 HAS SOPS 6278 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4356.278
AT ITER 9997 NEW BEST:: SOT 24193 SOS 6272 HAS SOPS 6272 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4355.272
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 4651656 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16157032 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldRVs-PT-005B"
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 ShieldRVs-PT-005B, 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 r419-tajo-167905973300080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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