Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472300360.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DES-PT-00b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472300360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 15:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 15:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 15:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 66K 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 1678240887522

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=DES-PT-00b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 00b
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: 271 places, 230 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 38091 SOS 8232 HAS SOPS 8232 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.232
AT ITER 4 NEW BEST:: SOT 38052 SOS 8212 HAS SOPS 8212 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.212
AT ITER 38 NEW BEST:: SOT 38053 SOS 8208 HAS SOPS 8208 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7515.208
AT ITER 39 NEW BEST:: SOT 37929 SOS 8160 HAS SOPS 8160 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7375.16
AT ITER 48 NEW BEST:: SOT 37918 SOS 8138 HAS SOPS 8138 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7353.138
AT ITER 52 NEW BEST:: SOT 37916 SOS 8136 HAS SOPS 8136 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.136
AT ITER 72 NEW BEST:: SOT 37902 SOS 8121 HAS SOPS 8121 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.121
AT ITER 100 NEW BEST:: SOT 37880 SOS 8104 HAS SOPS 8104 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7317.104
AT ITER 130 NEW BEST:: SOT 37882 SOS 8108 HAS SOPS 8108 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.108
AT ITER 162 NEW BEST:: SOT 37860 SOS 8064 HAS SOPS 8064 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.064
AT ITER 174 NEW BEST:: SOT 37838 SOS 8040 HAS SOPS 8040 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7266.04
AT ITER 189 NEW BEST:: SOT 37838 SOS 8030 HAS SOPS 8030 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7256.03
AT ITER 194 NEW BEST:: SOT 37827 SOS 8022 HAS SOPS 8022 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7247.022
AT ITER 197 NEW BEST:: SOT 37827 SOS 8010 HAS SOPS 8010 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7235.01
AT ITER 205 NEW BEST:: SOT 37774 SOS 7923 HAS SOPS 7923 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.923
AT ITER 252 NEW BEST:: SOT 37772 SOS 7921 HAS SOPS 7921 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7141.921
AT ITER 264 NEW BEST:: SOT 37752 SOS 7911 HAS SOPS 7911 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7131.911
AT ITER 269 NEW BEST:: SOT 37722 SOS 7866 HAS SOPS 7866 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7086.866
AT ITER 271 NEW BEST:: SOT 37722 SOS 7879 HAS SOPS 7879 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7066.879
AT ITER 272 NEW BEST:: SOT 37705 SOS 7904 HAS SOPS 7904 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7061.904
AT ITER 295 NEW BEST:: SOT 37704 SOS 7873 HAS SOPS 7873 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7040.873
AT ITER 314 NEW BEST:: SOT 37704 SOS 7873 HAS SOPS 7873 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7039.873
AT ITER 321 NEW BEST:: SOT 37725 SOS 7854 HAS SOPS 7854 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7020.854
AT ITER 326 NEW BEST:: SOT 37709 SOS 7833 HAS SOPS 7833 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7003.833
AT ITER 339 NEW BEST:: SOT 37691 SOS 7806 HAS SOPS 7806 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6985.806
AT ITER 351 NEW BEST:: SOT 37681 SOS 7776 HAS SOPS 7776 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6975.776
AT ITER 361 NEW BEST:: SOT 37680 SOS 7753 HAS SOPS 7753 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6952.753
AT ITER 367 NEW BEST:: SOT 37671 SOS 7731 HAS SOPS 7731 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6930.731
AT ITER 376 NEW BEST:: SOT 37647 SOS 7694 HAS SOPS 7694 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6901.694
AT ITER 377 NEW BEST:: SOT 37644 SOS 7683 HAS SOPS 7683 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.683
AT ITER 381 NEW BEST:: SOT 37643 SOS 7668 HAS SOPS 7668 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6880.668
AT ITER 421 NEW BEST:: SOT 37638 SOS 7658 HAS SOPS 7658 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6866.658
AT ITER 435 NEW BEST:: SOT 37640 SOS 7635 HAS SOPS 7635 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6866.635
AT ITER 447 NEW BEST:: SOT 37622 SOS 7632 HAS SOPS 7632 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6863.632
AT ITER 448 NEW BEST:: SOT 37592 SOS 7597 HAS SOPS 7597 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6824.597
AT ITER 456 NEW BEST:: SOT 37586 SOS 7571 HAS SOPS 7571 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6820.571
AT ITER 487 NEW BEST:: SOT 37586 SOS 7570 HAS SOPS 7570 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6819.57
AT ITER 498 NEW BEST:: SOT 37586 SOS 7565 HAS SOPS 7565 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.565
AT ITER 536 NEW BEST:: SOT 37550 SOS 7503 HAS SOPS 7503 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6752.503
AT ITER 541 NEW BEST:: SOT 37552 SOS 7502 HAS SOPS 7502 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6750.502
AT ITER 555 NEW BEST:: SOT 37517 SOS 7468 HAS SOPS 7468 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.468
AT ITER 587 NEW BEST:: SOT 37495 SOS 7424 HAS SOPS 7424 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6672.424
AT ITER 611 NEW BEST:: SOT 37491 SOS 7414 HAS SOPS 7414 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.414
AT ITER 617 NEW BEST:: SOT 37489 SOS 7402 HAS SOPS 7402 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6650.402
AT ITER 618 NEW BEST:: SOT 37489 SOS 7396 HAS SOPS 7396 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.396
AT ITER 621 NEW BEST:: SOT 37488 SOS 7392 HAS SOPS 7392 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6641.392
AT ITER 627 NEW BEST:: SOT 37488 SOS 7391 HAS SOPS 7391 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6640.391
AT ITER 631 NEW BEST:: SOT 37485 SOS 7354 HAS SOPS 7354 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6620.354
AT ITER 664 NEW BEST:: SOT 37484 SOS 7353 HAS SOPS 7353 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6619.353
AT ITER 669 NEW BEST:: SOT 37484 SOS 7341 HAS SOPS 7341 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.341
AT ITER 691 NEW BEST:: SOT 37470 SOS 7348 HAS SOPS 7348 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.348
AT ITER 713 NEW BEST:: SOT 37470 SOS 7313 HAS SOPS 7313 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.313
AT ITER 756 NEW BEST:: SOT 37469 SOS 7311 HAS SOPS 7311 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6562.311
AT ITER 802 NEW BEST:: SOT 37455 SOS 7290 HAS SOPS 7290 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6541.29
AT ITER 804 NEW BEST:: SOT 37419 SOS 7254 HAS SOPS 7254 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.254
AT ITER 813 NEW BEST:: SOT 37410 SOS 7240 HAS SOPS 7240 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.24
AT ITER 844 NEW BEST:: SOT 37417 SOS 7231 HAS SOPS 7231 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6476.231
AT ITER 845 NEW BEST:: SOT 37417 SOS 7215 HAS SOPS 7215 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.215
AT ITER 856 NEW BEST:: SOT 37402 SOS 7200 HAS SOPS 7200 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.2
AT ITER 888 NEW BEST:: SOT 37402 SOS 7193 HAS SOPS 7193 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6438.193
AT ITER 892 NEW BEST:: SOT 37394 SOS 7185 HAS SOPS 7185 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6430.185
AT ITER 918 NEW BEST:: SOT 37392 SOS 7195 HAS SOPS 7195 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6429.195
AT ITER 924 NEW BEST:: SOT 37372 SOS 7191 HAS SOPS 7191 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.191
AT ITER 932 NEW BEST:: SOT 37363 SOS 7177 HAS SOPS 7177 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6411.177
AT ITER 971 NEW BEST:: SOT 37379 SOS 7165 HAS SOPS 7165 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6399.165
AT ITER 973 NEW BEST:: SOT 37345 SOS 7157 HAS SOPS 7157 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6391.157
AT ITER 985 NEW BEST:: SOT 37340 SOS 7157 HAS SOPS 7157 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6384.157
AT ITER 992 NEW BEST:: SOT 37332 SOS 7145 HAS SOPS 7145 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6376.145
AT ITER 999 NEW BEST:: SOT 37321 SOS 7136 HAS SOPS 7136 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6348.136
AT ITER 1004 NEW BEST:: SOT 37294 SOS 7123 HAS SOPS 7123 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6315.123
AT ITER 1065 NEW BEST:: SOT 37286 SOS 7120 HAS SOPS 7120 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6312.12
AT ITER 1147 NEW BEST:: SOT 37257 SOS 7064 HAS SOPS 7064 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6243.064
AT ITER 1151 NEW BEST:: SOT 37245 SOS 7034 HAS SOPS 7034 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.034
AT ITER 1177 NEW BEST:: SOT 37258 SOS 7021 HAS SOPS 7021 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.021
AT ITER 1186 NEW BEST:: SOT 37251 SOS 7029 HAS SOPS 7029 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6211.029
AT ITER 1214 NEW BEST:: SOT 37247 SOS 7017 HAS SOPS 7017 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6199.017
AT ITER 1265 NEW BEST:: SOT 37243 SOS 7002 HAS SOPS 7002 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6184.002
AT ITER 1275 NEW BEST:: SOT 37249 SOS 6983 HAS SOPS 6983 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6164.983
AT ITER 1303 NEW BEST:: SOT 37246 SOS 6977 HAS SOPS 6977 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6158.977
AT ITER 1340 NEW BEST:: SOT 37245 SOS 6975 HAS SOPS 6975 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6156.975
AT ITER 1349 NEW BEST:: SOT 37245 SOS 6939 HAS SOPS 6939 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6120.939
AT ITER 1354 NEW BEST:: SOT 37241 SOS 6931 HAS SOPS 6931 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6120.931
AT ITER 1358 NEW BEST:: SOT 37217 SOS 6883 HAS SOPS 6883 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6072.883
AT ITER 1360 NEW BEST:: SOT 37214 SOS 6880 HAS SOPS 6880 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6069.88
AT ITER 1390 NEW BEST:: SOT 37209 SOS 6857 HAS SOPS 6857 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6046.857
AT ITER 1391 NEW BEST:: SOT 37206 SOS 6854 HAS SOPS 6854 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6043.854
AT ITER 1423 NEW BEST:: SOT 37206 SOS 6849 HAS SOPS 6849 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6038.849
AT ITER 1518 NEW BEST:: SOT 37203 SOS 6846 HAS SOPS 6846 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6020.846
AT ITER 1541 NEW BEST:: SOT 37193 SOS 6876 HAS SOPS 6876 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5989.876
AT ITER 1568 NEW BEST:: SOT 37196 SOS 6882 HAS SOPS 6882 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.882
AT ITER 1592 NEW BEST:: SOT 37187 SOS 6864 HAS SOPS 6864 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5969.864
AT ITER 1605 NEW BEST:: SOT 37188 SOS 6860 HAS SOPS 6860 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5965.86
AT ITER 1606 NEW BEST:: SOT 37186 SOS 6858 HAS SOPS 6858 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5963.858
AT ITER 1624 NEW BEST:: SOT 37177 SOS 6849 HAS SOPS 6849 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5954.849
AT ITER 1673 NEW BEST:: SOT 37182 SOS 6851 HAS SOPS 6851 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5953.851
AT ITER 1683 NEW BEST:: SOT 37182 SOS 6836 HAS SOPS 6836 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5921.836
AT ITER 1685 NEW BEST:: SOT 37177 SOS 6826 HAS SOPS 6826 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5915.826
AT ITER 1687 NEW BEST:: SOT 37176 SOS 6813 HAS SOPS 6813 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5895.813
AT ITER 1708 NEW BEST:: SOT 37159 SOS 6796 HAS SOPS 6796 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5878.796
AT ITER 1729 NEW BEST:: SOT 37151 SOS 6768 HAS SOPS 6768 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5840.768
AT ITER 1777 NEW BEST:: SOT 37151 SOS 6766 HAS SOPS 6766 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5840.766
AT ITER 1804 NEW BEST:: SOT 37140 SOS 6755 HAS SOPS 6755 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.755
AT ITER 1810 NEW BEST:: SOT 37137 SOS 6751 HAS SOPS 6751 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.751
AT ITER 1841 NEW BEST:: SOT 37133 SOS 6743 HAS SOPS 6743 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5817.743
AT ITER 1905 NEW BEST:: SOT 37130 SOS 6742 HAS SOPS 6742 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5814.742
AT ITER 1942 NEW BEST:: SOT 37124 SOS 6736 HAS SOPS 6736 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5808.736
AT ITER 1961 NEW BEST:: SOT 37117 SOS 6721 HAS SOPS 6721 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.721
AT ITER 1963 NEW BEST:: SOT 37114 SOS 6743 HAS SOPS 6743 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.743
AT ITER 1990 NEW BEST:: SOT 37114 SOS 6729 HAS SOPS 6729 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5786.729
AT ITER 1994 NEW BEST:: SOT 37112 SOS 6725 HAS SOPS 6725 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.725
AT ITER 1998 NEW BEST:: SOT 37099 SOS 6588 HAS SOPS 6588 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.588
AT ITER 2012 NEW BEST:: SOT 37097 SOS 6581 HAS SOPS 6581 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.581
AT ITER 2020 NEW BEST:: SOT 37093 SOS 6577 HAS SOPS 6577 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.577
AT ITER 2070 NEW BEST:: SOT 37088 SOS 6573 HAS SOPS 6573 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5738.573
AT ITER 2079 NEW BEST:: SOT 37086 SOS 6572 HAS SOPS 6572 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5737.572
AT ITER 2092 NEW BEST:: SOT 37079 SOS 6565 HAS SOPS 6565 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5730.565
AT ITER 2102 NEW BEST:: SOT 37079 SOS 6567 HAS SOPS 6567 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5728.567
AT ITER 2115 NEW BEST:: SOT 37058 SOS 6549 HAS SOPS 6549 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.549
AT ITER 2146 NEW BEST:: SOT 37038 SOS 6525 HAS SOPS 6525 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.525
AT ITER 2148 NEW BEST:: SOT 37036 SOS 6518 HAS SOPS 6518 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5707.518
AT ITER 2163 NEW BEST:: SOT 37036 SOS 6510 HAS SOPS 6510 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.51
AT ITER 2164 NEW BEST:: SOT 37033 SOS 6503 HAS SOPS 6503 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5692.503
AT ITER 2182 NEW BEST:: SOT 37041 SOS 6493 HAS SOPS 6493 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.493
AT ITER 2213 NEW BEST:: SOT 37038 SOS 6490 HAS SOPS 6490 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5679.49
AT ITER 2227 NEW BEST:: SOT 37029 SOS 6481 HAS SOPS 6481 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5670.481
AT ITER 2264 NEW BEST:: SOT 37024 SOS 6473 HAS SOPS 6473 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.473
AT ITER 2269 NEW BEST:: SOT 37001 SOS 6481 HAS SOPS 6481 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5653.481
AT ITER 2304 NEW BEST:: SOT 36982 SOS 6467 HAS SOPS 6467 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.467
AT ITER 2367 NEW BEST:: SOT 36977 SOS 6462 HAS SOPS 6462 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5634.462
AT ITER 2469 NEW BEST:: SOT 36977 SOS 6461 HAS SOPS 6461 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.461
AT ITER 2474 NEW BEST:: SOT 36977 SOS 6459 HAS SOPS 6459 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5631.459
AT ITER 2522 NEW BEST:: SOT 36977 SOS 6442 HAS SOPS 6442 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.442
AT ITER 2563 NEW BEST:: SOT 36975 SOS 6437 HAS SOPS 6437 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.437
AT ITER 2614 NEW BEST:: SOT 36981 SOS 6430 HAS SOPS 6430 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5609.43
AT ITER 2618 NEW BEST:: SOT 36980 SOS 6429 HAS SOPS 6429 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5607.429
AT ITER 2619 NEW BEST:: SOT 36978 SOS 6425 HAS SOPS 6425 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.425
AT ITER 2635 NEW BEST:: SOT 36966 SOS 6299 HAS SOPS 6299 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.299
AT ITER 2669 NEW BEST:: SOT 36966 SOS 6298 HAS SOPS 6298 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5553.298
AT ITER 2726 NEW BEST:: SOT 36965 SOS 6312 HAS SOPS 6312 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5552.312
AT ITER 2728 NEW BEST:: SOT 36972 SOS 6333 HAS SOPS 6333 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.333
AT ITER 2740 NEW BEST:: SOT 36963 SOS 6322 HAS SOPS 6322 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.322
AT ITER 2750 NEW BEST:: SOT 36953 SOS 6306 HAS SOPS 6306 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.306
AT ITER 2776 NEW BEST:: SOT 36937 SOS 6317 HAS SOPS 6317 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5523.317
AT ITER 2779 NEW BEST:: SOT 36937 SOS 6312 HAS SOPS 6312 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.312
AT ITER 2780 NEW BEST:: SOT 36931 SOS 6297 HAS SOPS 6297 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.297
AT ITER 2794 NEW BEST:: SOT 36931 SOS 6290 HAS SOPS 6290 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.29
AT ITER 2795 NEW BEST:: SOT 36926 SOS 6265 HAS SOPS 6265 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.265
AT ITER 2857 NEW BEST:: SOT 36889 SOS 6226 HAS SOPS 6226 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5449.226
AT ITER 2881 NEW BEST:: SOT 36881 SOS 6211 HAS SOPS 6211 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.211
AT ITER 2929 NEW BEST:: SOT 36864 SOS 6239 HAS SOPS 6239 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.239
AT ITER 2946 NEW BEST:: SOT 36870 SOS 6228 HAS SOPS 6228 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5419.228
AT ITER 2954 NEW BEST:: SOT 36878 SOS 6233 HAS SOPS 6233 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.233
AT ITER 2956 NEW BEST:: SOT 36866 SOS 6217 HAS SOPS 6217 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5400.217
AT ITER 3013 NEW BEST:: SOT 36867 SOS 6213 HAS SOPS 6213 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.213
AT ITER 3017 NEW BEST:: SOT 36882 SOS 6212 HAS SOPS 6212 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5395.212
AT ITER 3022 NEW BEST:: SOT 36872 SOS 6208 HAS SOPS 6208 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5391.208
AT ITER 3027 NEW BEST:: SOT 36867 SOS 6199 HAS SOPS 6199 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5367.199
AT ITER 3083 NEW BEST:: SOT 36869 SOS 6200 HAS SOPS 6200 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5366.2
AT ITER 3136 NEW BEST:: SOT 36869 SOS 6188 HAS SOPS 6188 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5354.188
AT ITER 3174 NEW BEST:: SOT 36859 SOS 6174 HAS SOPS 6174 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.174
AT ITER 3245 NEW BEST:: SOT 36870 SOS 6167 HAS SOPS 6167 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.167
AT ITER 3296 NEW BEST:: SOT 36870 SOS 6158 HAS SOPS 6158 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.158
AT ITER 3318 NEW BEST:: SOT 36848 SOS 6140 HAS SOPS 6140 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5306.14
AT ITER 3342 NEW BEST:: SOT 36847 SOS 6139 HAS SOPS 6139 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.139
AT ITER 3346 NEW BEST:: SOT 36847 SOS 6137 HAS SOPS 6137 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5303.137
AT ITER 3348 NEW BEST:: SOT 36844 SOS 6134 HAS SOPS 6134 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.134
AT ITER 3379 NEW BEST:: SOT 36836 SOS 6128 HAS SOPS 6128 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5292.128
AT ITER 3414 NEW BEST:: SOT 36828 SOS 6171 HAS SOPS 6171 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5284.171
AT ITER 3444 NEW BEST:: SOT 36834 SOS 6153 HAS SOPS 6153 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5284.153
AT ITER 3450 NEW BEST:: SOT 36827 SOS 6137 HAS SOPS 6137 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.137
AT ITER 3507 NEW BEST:: SOT 36818 SOS 6137 HAS SOPS 6137 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.137
AT ITER 3539 NEW BEST:: SOT 36818 SOS 6124 HAS SOPS 6124 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5251.124
AT ITER 3562 NEW BEST:: SOT 36817 SOS 6184 HAS SOPS 6184 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5244.184
AT ITER 3582 NEW BEST:: SOT 36812 SOS 6197 HAS SOPS 6197 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5238.197
AT ITER 3591 NEW BEST:: SOT 36776 SOS 6189 HAS SOPS 6189 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.189
AT ITER 3612 NEW BEST:: SOT 36782 SOS 6194 HAS SOPS 6194 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.194
AT ITER 3665 NEW BEST:: SOT 36770 SOS 6187 HAS SOPS 6187 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5199.187
AT ITER 3761 NEW BEST:: SOT 36767 SOS 6178 HAS SOPS 6178 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.178
AT ITER 3778 NEW BEST:: SOT 36765 SOS 6176 HAS SOPS 6176 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5179.176
AT ITER 3792 NEW BEST:: SOT 36764 SOS 6175 HAS SOPS 6175 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5178.175
AT ITER 3854 NEW BEST:: SOT 36764 SOS 6175 HAS SOPS 6175 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5160.175
AT ITER 3908 NEW BEST:: SOT 36750 SOS 6164 HAS SOPS 6164 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5149.164
AT ITER 3937 NEW BEST:: SOT 36749 SOS 6161 HAS SOPS 6161 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5147.161
AT ITER 3968 NEW BEST:: SOT 36737 SOS 6140 HAS SOPS 6140 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5138.14
AT ITER 3971 NEW BEST:: SOT 36723 SOS 6135 HAS SOPS 6135 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5133.135
AT ITER 4112 NEW BEST:: SOT 36752 SOS 6072 HAS SOPS 6072 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.072
AT ITER 4115 NEW BEST:: SOT 36752 SOS 6064 HAS SOPS 6064 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5097.064
AT ITER 4125 NEW BEST:: SOT 36752 SOS 6052 HAS SOPS 6052 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5093.052
AT ITER 4192 NEW BEST:: SOT 36744 SOS 6052 HAS SOPS 6052 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.052
AT ITER 4199 NEW BEST:: SOT 36733 SOS 6027 HAS SOPS 6027 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5063.027
AT ITER 4226 NEW BEST:: SOT 36731 SOS 6024 HAS SOPS 6024 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5061.024
AT ITER 4273 NEW BEST:: SOT 36723 SOS 6017 HAS SOPS 6017 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5054.017
AT ITER 4275 NEW BEST:: SOT 36726 SOS 6016 HAS SOPS 6016 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5053.016
AT ITER 4281 NEW BEST:: SOT 36727 SOS 6009 HAS SOPS 6009 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5048.009
AT ITER 4322 NEW BEST:: SOT 36740 SOS 5998 HAS SOPS 5998 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.998
AT ITER 4343 NEW BEST:: SOT 36733 SOS 5991 HAS SOPS 5991 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.991
AT ITER 4344 NEW BEST:: SOT 36732 SOS 5990 HAS SOPS 5990 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5021.99
AT ITER 4482 NEW BEST:: SOT 36726 SOS 5978 HAS SOPS 5978 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5007.978
AT ITER 4546 NEW BEST:: SOT 36723 SOS 5976 HAS SOPS 5976 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5005.976
AT ITER 4551 NEW BEST:: SOT 36703 SOS 5974 HAS SOPS 5974 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5003.974
AT ITER 4587 NEW BEST:: SOT 36703 SOS 5966 HAS SOPS 5966 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4995.966
AT ITER 4591 NEW BEST:: SOT 36700 SOS 5958 HAS SOPS 5958 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4987.958
AT ITER 4614 NEW BEST:: SOT 36731 SOS 5996 HAS SOPS 5996 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.996
AT ITER 4627 NEW BEST:: SOT 36731 SOS 5997 HAS SOPS 5997 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.997
AT ITER 4697 NEW BEST:: SOT 36730 SOS 6003 HAS SOPS 6003 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4984.003
AT ITER 4705 NEW BEST:: SOT 36714 SOS 5987 HAS SOPS 5987 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4967.987
AT ITER 4736 NEW BEST:: SOT 36710 SOS 5981 HAS SOPS 5981 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4961.981
AT ITER 4744 NEW BEST:: SOT 36709 SOS 5979 HAS SOPS 5979 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.979
AT ITER 4768 NEW BEST:: SOT 36709 SOS 5978 HAS SOPS 5978 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.978
AT ITER 4794 NEW BEST:: SOT 36700 SOS 5965 HAS SOPS 5965 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4946.965
AT ITER 4848 NEW BEST:: SOT 36696 SOS 5970 HAS SOPS 5970 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.97
AT ITER 4852 NEW BEST:: SOT 36691 SOS 5957 HAS SOPS 5957 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4935.957
AT ITER 4917 NEW BEST:: SOT 36697 SOS 5952 HAS SOPS 5952 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4930.952
AT ITER 4919 NEW BEST:: SOT 36687 SOS 5941 HAS SOPS 5941 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4925.941
AT ITER 4945 NEW BEST:: SOT 36675 SOS 5936 HAS SOPS 5936 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4920.936
AT ITER 4991 NEW BEST:: SOT 36672 SOS 5933 HAS SOPS 5933 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.933
AT ITER 5010 NEW BEST:: SOT 36671 SOS 5931 HAS SOPS 5931 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4915.931
AT ITER 5024 NEW BEST:: SOT 36671 SOS 5928 HAS SOPS 5928 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4915.928
AT ITER 5055 NEW BEST:: SOT 36643 SOS 5885 HAS SOPS 5885 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.885
AT ITER 5089 NEW BEST:: SOT 36645 SOS 5878 HAS SOPS 5878 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4879.878
AT ITER 5094 NEW BEST:: SOT 36644 SOS 5877 HAS SOPS 5877 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.877
AT ITER 5138 NEW BEST:: SOT 36635 SOS 5877 HAS SOPS 5877 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4869.877
AT ITER 5159 NEW BEST:: SOT 36634 SOS 5875 HAS SOPS 5875 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.875
AT ITER 5172 NEW BEST:: SOT 36618 SOS 5857 HAS SOPS 5857 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4853.857
AT ITER 5173 NEW BEST:: SOT 36618 SOS 5857 HAS SOPS 5857 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4847.857
AT ITER 5265 NEW BEST:: SOT 36611 SOS 5850 HAS SOPS 5850 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4845.85
AT ITER 5315 NEW BEST:: SOT 36611 SOS 5848 HAS SOPS 5848 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4845.848
AT ITER 5366 NEW BEST:: SOT 36597 SOS 5837 HAS SOPS 5837 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4833.837
AT ITER 5428 NEW BEST:: SOT 36597 SOS 5828 HAS SOPS 5828 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4824.828
AT ITER 5469 NEW BEST:: SOT 36598 SOS 5829 HAS SOPS 5829 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4819.829
AT ITER 5554 NEW BEST:: SOT 36593 SOS 5882 HAS SOPS 5882 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4816.882
AT ITER 5596 NEW BEST:: SOT 36594 SOS 5884 HAS SOPS 5884 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4811.884
AT ITER 5622 NEW BEST:: SOT 36585 SOS 5866 HAS SOPS 5866 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4802.866
AT ITER 5636 NEW BEST:: SOT 36584 SOS 5862 HAS SOPS 5862 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4798.862
AT ITER 5639 NEW BEST:: SOT 36575 SOS 5842 HAS SOPS 5842 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4794.842
AT ITER 5644 NEW BEST:: SOT 36564 SOS 5818 HAS SOPS 5818 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.818
AT ITER 5664 NEW BEST:: SOT 36564 SOS 5812 HAS SOPS 5812 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.812
AT ITER 5757 NEW BEST:: SOT 36565 SOS 5811 HAS SOPS 5811 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.811
AT ITER 5758 NEW BEST:: SOT 36565 SOS 5797 HAS SOPS 5797 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.797
AT ITER 5779 NEW BEST:: SOT 36550 SOS 5792 HAS SOPS 5792 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.792
AT ITER 5809 NEW BEST:: SOT 36536 SOS 5732 HAS SOPS 5732 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.732
AT ITER 5866 NEW BEST:: SOT 36526 SOS 5722 HAS SOPS 5722 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4765.722
AT ITER 5883 NEW BEST:: SOT 36519 SOS 5713 HAS SOPS 5713 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4765.713
AT ITER 5964 NEW BEST:: SOT 36517 SOS 5711 HAS SOPS 5711 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.711
AT ITER 6103 NEW BEST:: SOT 36518 SOS 5707 HAS SOPS 5707 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.707
AT ITER 6105 NEW BEST:: SOT 36512 SOS 5700 HAS SOPS 5700 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.7
AT ITER 6158 NEW BEST:: SOT 36500 SOS 5699 HAS SOPS 5699 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.699
AT ITER 6173 NEW BEST:: SOT 36499 SOS 5698 HAS SOPS 5698 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4758.698
AT ITER 6174 NEW BEST:: SOT 36495 SOS 5691 HAS SOPS 5691 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4751.691
AT ITER 6199 NEW BEST:: SOT 36489 SOS 5687 HAS SOPS 5687 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.687
AT ITER 6212 NEW BEST:: SOT 36490 SOS 5685 HAS SOPS 5685 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.685
AT ITER 6219 NEW BEST:: SOT 36487 SOS 5679 HAS SOPS 5679 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.679
AT ITER 6230 NEW BEST:: SOT 36491 SOS 5683 HAS SOPS 5683 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4733.683
AT ITER 6276 NEW BEST:: SOT 36490 SOS 5682 HAS SOPS 5682 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4731.682
AT ITER 6403 NEW BEST:: SOT 36460 SOS 5659 HAS SOPS 5659 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4716.659
AT ITER 6447 NEW BEST:: SOT 36463 SOS 5621 HAS SOPS 5621 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.621
AT ITER 6460 NEW BEST:: SOT 36460 SOS 5618 HAS SOPS 5618 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4700.618
AT ITER 6464 NEW BEST:: SOT 36459 SOS 5617 HAS SOPS 5617 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4698.617
AT ITER 6480 NEW BEST:: SOT 36459 SOS 5611 HAS SOPS 5611 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4698.611
AT ITER 6497 NEW BEST:: SOT 36460 SOS 5606 HAS SOPS 5606 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4693.606
AT ITER 6524 NEW BEST:: SOT 36457 SOS 5603 HAS SOPS 5603 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.603
AT ITER 6590 NEW BEST:: SOT 36456 SOS 5600 HAS SOPS 5600 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.6
AT ITER 6592 NEW BEST:: SOT 36448 SOS 5584 HAS SOPS 5584 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.584
AT ITER 6612 NEW BEST:: SOT 36434 SOS 5556 HAS SOPS 5556 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.556
AT ITER 6669 NEW BEST:: SOT 36430 SOS 5552 HAS SOPS 5552 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.552
AT ITER 6675 NEW BEST:: SOT 36444 SOS 5526 HAS SOPS 5526 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.526
AT ITER 6716 NEW BEST:: SOT 36449 SOS 5527 HAS SOPS 5527 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.527
AT ITER 6736 NEW BEST:: SOT 36449 SOS 5514 HAS SOPS 5514 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4618.514
AT ITER 6800 NEW BEST:: SOT 36449 SOS 5504 HAS SOPS 5504 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4608.504
AT ITER 6924 NEW BEST:: SOT 36446 SOS 5493 HAS SOPS 5493 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.493
AT ITER 7033 NEW BEST:: SOT 36446 SOS 5490 HAS SOPS 5490 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4601.49
AT ITER 7074 NEW BEST:: SOT 36427 SOS 5436 HAS SOPS 5436 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.436
AT ITER 7081 NEW BEST:: SOT 36421 SOS 5422 HAS SOPS 5422 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.422
AT ITER 7169 NEW BEST:: SOT 36423 SOS 5424 HAS SOPS 5424 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.424
AT ITER 7177 NEW BEST:: SOT 36414 SOS 5415 HAS SOPS 5415 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.415
AT ITER 7407 NEW BEST:: SOT 36413 SOS 5412 HAS SOPS 5412 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4524.412
AT ITER 7418 NEW BEST:: SOT 36414 SOS 5410 HAS SOPS 5410 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.41
AT ITER 7441 NEW BEST:: SOT 36414 SOS 5409 HAS SOPS 5409 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4522.409
AT ITER 7527 NEW BEST:: SOT 36412 SOS 5408 HAS SOPS 5408 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.408
AT ITER 7558 NEW BEST:: SOT 36419 SOS 5404 HAS SOPS 5404 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.404
AT ITER 7593 NEW BEST:: SOT 36435 SOS 5399 HAS SOPS 5399 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.399
AT ITER 7610 NEW BEST:: SOT 36435 SOS 5398 HAS SOPS 5398 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.398
AT ITER 7628 NEW BEST:: SOT 36425 SOS 5260 HAS SOPS 5260 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4473.26
AT ITER 7705 NEW BEST:: SOT 36423 SOS 5246 HAS SOPS 5246 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4469.246
AT ITER 7733 NEW BEST:: SOT 36422 SOS 5245 HAS SOPS 5245 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.245
AT ITER 7745 NEW BEST:: SOT 36422 SOS 5225 HAS SOPS 5225 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4448.225
AT ITER 7748 NEW BEST:: SOT 36415 SOS 5223 HAS SOPS 5223 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.223
AT ITER 7859 NEW BEST:: SOT 36414 SOS 5221 HAS SOPS 5221 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.221
AT ITER 7922 NEW BEST:: SOT 36413 SOS 5218 HAS SOPS 5218 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4441.218
AT ITER 7946 NEW BEST:: SOT 36404 SOS 5216 HAS SOPS 5216 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4434.216
AT ITER 7967 NEW BEST:: SOT 36390 SOS 5192 HAS SOPS 5192 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4415.192
AT ITER 7986 NEW BEST:: SOT 36388 SOS 5184 HAS SOPS 5184 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4412.184
AT ITER 8009 NEW BEST:: SOT 36384 SOS 5180 HAS SOPS 5180 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4408.18
AT ITER 8072 NEW BEST:: SOT 36384 SOS 5177 HAS SOPS 5177 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.177
AT ITER 8085 NEW BEST:: SOT 36384 SOS 5177 HAS SOPS 5177 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4403.177
AT ITER 8092 NEW BEST:: SOT 36381 SOS 5173 HAS SOPS 5173 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4400.173
AT ITER 8176 NEW BEST:: SOT 36368 SOS 5159 HAS SOPS 5159 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4394.159
AT ITER 8420 NEW BEST:: SOT 36368 SOS 5152 HAS SOPS 5152 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4387.152
AT ITER 8427 NEW BEST:: SOT 36368 SOS 5143 HAS SOPS 5143 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4383.143
AT ITER 8557 NEW BEST:: SOT 36371 SOS 5139 HAS SOPS 5139 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4379.139
AT ITER 8559 NEW BEST:: SOT 36373 SOS 5138 HAS SOPS 5138 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.138
AT ITER 8729 NEW BEST:: SOT 36361 SOS 5089 HAS SOPS 5089 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4367.089
AT ITER 8784 NEW BEST:: SOT 36345 SOS 5088 HAS SOPS 5088 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4351.088
AT ITER 8811 NEW BEST:: SOT 36384 SOS 5078 HAS SOPS 5078 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4346.078
AT ITER 8870 NEW BEST:: SOT 36379 SOS 5076 HAS SOPS 5076 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4344.076
AT ITER 9052 NEW BEST:: SOT 36379 SOS 5069 HAS SOPS 5069 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4344.069
AT ITER 9059 NEW BEST:: SOT 36370 SOS 5045 HAS SOPS 5045 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4324.045
AT ITER 9077 NEW BEST:: SOT 36370 SOS 5045 HAS SOPS 5045 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4323.045
AT ITER 9122 NEW BEST:: SOT 36370 SOS 5044 HAS SOPS 5044 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4322.044
AT ITER 9133 NEW BEST:: SOT 36391 SOS 5064 HAS SOPS 5064 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4300.064
AT ITER 9147 NEW BEST:: SOT 36391 SOS 5064 HAS SOPS 5064 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4299.064
AT ITER 9158 NEW BEST:: SOT 36386 SOS 5059 HAS SOPS 5059 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4294.059
AT ITER 9183 NEW BEST:: SOT 36367 SOS 4951 HAS SOPS 4951 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4227.951
AT ITER 9371 NEW BEST:: SOT 36367 SOS 4947 HAS SOPS 4947 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.947
AT ITER 9433 NEW BEST:: SOT 36365 SOS 4945 HAS SOPS 4945 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.945
AT ITER 9440 NEW BEST:: SOT 36345 SOS 4932 HAS SOPS 4932 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4204.932
AT ITER 9471 NEW BEST:: SOT 36343 SOS 4929 HAS SOPS 4929 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.929
AT ITER 9564 NEW BEST:: SOT 36336 SOS 4921 HAS SOPS 4921 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4194.921
AT ITER 9627 NEW BEST:: SOT 36339 SOS 4909 HAS SOPS 4909 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4182.909
AT ITER 9637 NEW BEST:: SOT 36339 SOS 4912 HAS SOPS 4912 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.912
AT ITER 9652 NEW BEST:: SOT 36331 SOS 4904 HAS SOPS 4904 HAS SOUS 4168 HAS SOUPS 4168 WITH SCORE 4172.904
AT ITER 9692 NEW BEST:: SOT 36325 SOS 4904 HAS SOPS 4904 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4167.904
AT ITER 9737 NEW BEST:: SOT 36324 SOS 4903 HAS SOPS 4903 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.903
AT ITER 9760 NEW BEST:: SOT 36312 SOS 4848 HAS SOPS 4848 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.848
AT ITER 9978 NEW BEST:: SOT 36312 SOS 4844 HAS SOPS 4844 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.844
AT ITER 9979 NEW BEST:: SOT 36309 SOS 4840 HAS SOPS 4840 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4142.84
STATE_SPACE STATES 24601448127260250298 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 47 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 443648755059679246085 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678240959893

--------------------
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="DES-PT-00b"
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 DES-PT-00b, 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 r099-tall-167814472300360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-00b.tgz
mv DES-PT-00b 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 ;