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-167814472400392.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-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 15:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 15:37 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 69K 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 1678240986846

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-02b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 02b
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: 288 places, 239 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 40180 SOS 8943 HAS SOPS 8943 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.943
AT ITER 6 NEW BEST:: SOT 40167 SOS 8933 HAS SOPS 8933 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7689.933
AT ITER 15 NEW BEST:: SOT 40092 SOS 8882 HAS SOPS 8882 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7636.882
AT ITER 33 NEW BEST:: SOT 40091 SOS 8818 HAS SOPS 8818 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7634.818
AT ITER 52 NEW BEST:: SOT 40090 SOS 8817 HAS SOPS 8817 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7634.817
AT ITER 73 NEW BEST:: SOT 40090 SOS 8811 HAS SOPS 8811 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7629.811
AT ITER 81 NEW BEST:: SOT 40090 SOS 8804 HAS SOPS 8804 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7622.804
AT ITER 107 NEW BEST:: SOT 40090 SOS 8763 HAS SOPS 8763 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7597.763
AT ITER 115 NEW BEST:: SOT 40107 SOS 8758 HAS SOPS 8758 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.758
AT ITER 128 NEW BEST:: SOT 40096 SOS 8751 HAS SOPS 8751 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7568.751
AT ITER 161 NEW BEST:: SOT 40096 SOS 8749 HAS SOPS 8749 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7566.749
AT ITER 162 NEW BEST:: SOT 40009 SOS 8645 HAS SOPS 8645 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7454.645
AT ITER 218 NEW BEST:: SOT 40009 SOS 8651 HAS SOPS 8651 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7452.651
AT ITER 229 NEW BEST:: SOT 39978 SOS 8618 HAS SOPS 8618 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7419.618
AT ITER 247 NEW BEST:: SOT 39946 SOS 8586 HAS SOPS 8586 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7387.586
AT ITER 282 NEW BEST:: SOT 39945 SOS 8585 HAS SOPS 8585 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.585
AT ITER 290 NEW BEST:: SOT 39932 SOS 8541 HAS SOPS 8541 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7371.541
AT ITER 312 NEW BEST:: SOT 39902 SOS 8524 HAS SOPS 8524 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7351.524
AT ITER 345 NEW BEST:: SOT 39898 SOS 8520 HAS SOPS 8520 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7347.52
AT ITER 347 NEW BEST:: SOT 39868 SOS 8504 HAS SOPS 8504 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.504
AT ITER 391 NEW BEST:: SOT 39867 SOS 8504 HAS SOPS 8504 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7296.504
AT ITER 398 NEW BEST:: SOT 39866 SOS 8534 HAS SOPS 8534 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7280.534
AT ITER 410 NEW BEST:: SOT 39796 SOS 8476 HAS SOPS 8476 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.476
AT ITER 423 NEW BEST:: SOT 39776 SOS 8475 HAS SOPS 8475 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7221.475
AT ITER 425 NEW BEST:: SOT 39776 SOS 8469 HAS SOPS 8469 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.469
AT ITER 427 NEW BEST:: SOT 39776 SOS 8417 HAS SOPS 8417 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.417
AT ITER 467 NEW BEST:: SOT 39775 SOS 8412 HAS SOPS 8412 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7210.412
AT ITER 472 NEW BEST:: SOT 39775 SOS 8405 HAS SOPS 8405 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7203.405
AT ITER 477 NEW BEST:: SOT 39767 SOS 8382 HAS SOPS 8382 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7187.382
AT ITER 518 NEW BEST:: SOT 39761 SOS 8379 HAS SOPS 8379 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7184.379
AT ITER 568 NEW BEST:: SOT 39761 SOS 8369 HAS SOPS 8369 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7184.369
AT ITER 600 NEW BEST:: SOT 39754 SOS 8351 HAS SOPS 8351 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7166.351
AT ITER 633 NEW BEST:: SOT 39752 SOS 8345 HAS SOPS 8345 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7162.345
AT ITER 637 NEW BEST:: SOT 39732 SOS 8325 HAS SOPS 8325 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7126.325
AT ITER 647 NEW BEST:: SOT 39736 SOS 8322 HAS SOPS 8322 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.322
AT ITER 672 NEW BEST:: SOT 39748 SOS 8317 HAS SOPS 8317 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.317
AT ITER 693 NEW BEST:: SOT 39748 SOS 8334 HAS SOPS 8334 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.334
AT ITER 710 NEW BEST:: SOT 39748 SOS 8310 HAS SOPS 8310 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.31
AT ITER 725 NEW BEST:: SOT 39747 SOS 8303 HAS SOPS 8303 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7113.303
AT ITER 742 NEW BEST:: SOT 39730 SOS 8294 HAS SOPS 8294 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.294
AT ITER 782 NEW BEST:: SOT 39730 SOS 8252 HAS SOPS 8252 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.252
AT ITER 789 NEW BEST:: SOT 39713 SOS 8201 HAS SOPS 8201 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.201
AT ITER 790 NEW BEST:: SOT 39698 SOS 8156 HAS SOPS 8156 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.156
AT ITER 804 NEW BEST:: SOT 39710 SOS 8155 HAS SOPS 8155 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7065.155
AT ITER 866 NEW BEST:: SOT 39645 SOS 8117 HAS SOPS 8117 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7000.117
AT ITER 885 NEW BEST:: SOT 39602 SOS 8080 HAS SOPS 8080 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6959.08
AT ITER 896 NEW BEST:: SOT 39592 SOS 8074 HAS SOPS 8074 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6953.074
AT ITER 946 NEW BEST:: SOT 39601 SOS 8059 HAS SOPS 8059 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6938.059
AT ITER 952 NEW BEST:: SOT 39604 SOS 8055 HAS SOPS 8055 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.055
AT ITER 956 NEW BEST:: SOT 39605 SOS 8057 HAS SOPS 8057 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6923.057
AT ITER 980 NEW BEST:: SOT 39603 SOS 8051 HAS SOPS 8051 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6919.051
AT ITER 995 NEW BEST:: SOT 39595 SOS 8050 HAS SOPS 8050 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6918.05
AT ITER 1005 NEW BEST:: SOT 39595 SOS 8050 HAS SOPS 8050 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.05
AT ITER 1016 NEW BEST:: SOT 39595 SOS 8049 HAS SOPS 8049 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6913.049
AT ITER 1022 NEW BEST:: SOT 39595 SOS 8049 HAS SOPS 8049 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.049
AT ITER 1051 NEW BEST:: SOT 39591 SOS 8041 HAS SOPS 8041 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.041
AT ITER 1073 NEW BEST:: SOT 39585 SOS 8028 HAS SOPS 8028 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6887.028
AT ITER 1096 NEW BEST:: SOT 39599 SOS 8052 HAS SOPS 8052 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6877.052
AT ITER 1109 NEW BEST:: SOT 39590 SOS 8034 HAS SOPS 8034 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6859.034
AT ITER 1216 NEW BEST:: SOT 39590 SOS 8030 HAS SOPS 8030 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.03
AT ITER 1223 NEW BEST:: SOT 39582 SOS 8014 HAS SOPS 8014 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6841.014
AT ITER 1231 NEW BEST:: SOT 39563 SOS 8075 HAS SOPS 8075 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6839.075
AT ITER 1240 NEW BEST:: SOT 39545 SOS 8070 HAS SOPS 8070 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6815.07
AT ITER 1254 NEW BEST:: SOT 39541 SOS 8075 HAS SOPS 8075 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6814.075
AT ITER 1259 NEW BEST:: SOT 39541 SOS 8070 HAS SOPS 8070 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6809.07
AT ITER 1260 NEW BEST:: SOT 39539 SOS 8070 HAS SOPS 8070 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6807.07
AT ITER 1268 NEW BEST:: SOT 39534 SOS 8055 HAS SOPS 8055 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.055
AT ITER 1275 NEW BEST:: SOT 39517 SOS 8091 HAS SOPS 8091 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6792.091
AT ITER 1282 NEW BEST:: SOT 39517 SOS 8082 HAS SOPS 8082 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6783.082
AT ITER 1300 NEW BEST:: SOT 39512 SOS 8077 HAS SOPS 8077 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6775.077
AT ITER 1324 NEW BEST:: SOT 39482 SOS 8033 HAS SOPS 8033 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6745.033
AT ITER 1357 NEW BEST:: SOT 39479 SOS 8027 HAS SOPS 8027 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.027
AT ITER 1366 NEW BEST:: SOT 39475 SOS 8017 HAS SOPS 8017 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6732.017
AT ITER 1389 NEW BEST:: SOT 39474 SOS 8009 HAS SOPS 8009 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6729.009
AT ITER 1451 NEW BEST:: SOT 39446 SOS 8066 HAS SOPS 8066 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6720.066
AT ITER 1472 NEW BEST:: SOT 39446 SOS 8061 HAS SOPS 8061 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.061
AT ITER 1504 NEW BEST:: SOT 39419 SOS 7971 HAS SOPS 7971 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6698.971
AT ITER 1524 NEW BEST:: SOT 39413 SOS 7963 HAS SOPS 7963 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.963
AT ITER 1530 NEW BEST:: SOT 39409 SOS 7960 HAS SOPS 7960 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.96
AT ITER 1617 NEW BEST:: SOT 39409 SOS 7957 HAS SOPS 7957 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.957
AT ITER 1639 NEW BEST:: SOT 39409 SOS 7956 HAS SOPS 7956 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6686.956
AT ITER 1644 NEW BEST:: SOT 39383 SOS 7919 HAS SOPS 7919 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6664.919
AT ITER 1666 NEW BEST:: SOT 39383 SOS 7915 HAS SOPS 7915 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6664.915
AT ITER 1711 NEW BEST:: SOT 39383 SOS 7914 HAS SOPS 7914 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6663.914
AT ITER 1758 NEW BEST:: SOT 39384 SOS 7947 HAS SOPS 7947 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.947
AT ITER 1787 NEW BEST:: SOT 39346 SOS 7937 HAS SOPS 7937 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.937
AT ITER 1829 NEW BEST:: SOT 39356 SOS 7998 HAS SOPS 7998 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6614.998
AT ITER 1832 NEW BEST:: SOT 39351 SOS 7996 HAS SOPS 7996 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6612.996
AT ITER 1859 NEW BEST:: SOT 39351 SOS 7982 HAS SOPS 7982 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6605.982
AT ITER 1862 NEW BEST:: SOT 39348 SOS 7972 HAS SOPS 7972 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6595.972
AT ITER 1881 NEW BEST:: SOT 39321 SOS 7904 HAS SOPS 7904 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6545.904
AT ITER 1883 NEW BEST:: SOT 39331 SOS 7854 HAS SOPS 7854 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6543.854
AT ITER 1946 NEW BEST:: SOT 39323 SOS 7800 HAS SOPS 7800 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6535.8
AT ITER 1956 NEW BEST:: SOT 39323 SOS 7799 HAS SOPS 7799 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.799
AT ITER 2006 NEW BEST:: SOT 39315 SOS 7775 HAS SOPS 7775 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6510.775
AT ITER 2016 NEW BEST:: SOT 39312 SOS 7772 HAS SOPS 7772 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.772
AT ITER 2044 NEW BEST:: SOT 39311 SOS 7770 HAS SOPS 7770 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.77
AT ITER 2052 NEW BEST:: SOT 39310 SOS 7766 HAS SOPS 7766 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.766
AT ITER 2060 NEW BEST:: SOT 39308 SOS 7762 HAS SOPS 7762 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.762
AT ITER 2124 NEW BEST:: SOT 39307 SOS 7760 HAS SOPS 7760 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.76
AT ITER 2128 NEW BEST:: SOT 39329 SOS 7714 HAS SOPS 7714 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6480.714
AT ITER 2164 NEW BEST:: SOT 39328 SOS 7713 HAS SOPS 7713 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6479.713
AT ITER 2205 NEW BEST:: SOT 39330 SOS 7710 HAS SOPS 7710 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6476.71
AT ITER 2226 NEW BEST:: SOT 39324 SOS 7705 HAS SOPS 7705 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6471.705
AT ITER 2271 NEW BEST:: SOT 39326 SOS 7717 HAS SOPS 7717 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.717
AT ITER 2305 NEW BEST:: SOT 39319 SOS 7692 HAS SOPS 7692 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.692
AT ITER 2365 NEW BEST:: SOT 39307 SOS 7680 HAS SOPS 7680 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6450.68
AT ITER 2398 NEW BEST:: SOT 39305 SOS 7666 HAS SOPS 7666 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6448.666
AT ITER 2408 NEW BEST:: SOT 39303 SOS 7664 HAS SOPS 7664 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.664
AT ITER 2409 NEW BEST:: SOT 39294 SOS 7660 HAS SOPS 7660 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.66
AT ITER 2443 NEW BEST:: SOT 39289 SOS 7650 HAS SOPS 7650 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6437.65
AT ITER 2453 NEW BEST:: SOT 39271 SOS 7635 HAS SOPS 7635 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.635
AT ITER 2458 NEW BEST:: SOT 39271 SOS 7634 HAS SOPS 7634 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6421.634
AT ITER 2533 NEW BEST:: SOT 39265 SOS 7629 HAS SOPS 7629 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6416.629
AT ITER 2547 NEW BEST:: SOT 39270 SOS 7624 HAS SOPS 7624 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6411.624
AT ITER 2557 NEW BEST:: SOT 39276 SOS 7629 HAS SOPS 7629 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6410.629
AT ITER 2563 NEW BEST:: SOT 39281 SOS 7617 HAS SOPS 7617 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6409.617
AT ITER 2564 NEW BEST:: SOT 39273 SOS 7611 HAS SOPS 7611 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.611
AT ITER 2588 NEW BEST:: SOT 39257 SOS 7588 HAS SOPS 7588 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6378.588
AT ITER 2607 NEW BEST:: SOT 39253 SOS 7582 HAS SOPS 7582 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6372.582
AT ITER 2625 NEW BEST:: SOT 39243 SOS 7568 HAS SOPS 7568 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.568
AT ITER 2663 NEW BEST:: SOT 39243 SOS 7567 HAS SOPS 7567 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.567
AT ITER 2667 NEW BEST:: SOT 39243 SOS 7565 HAS SOPS 7565 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6360.565
AT ITER 2746 NEW BEST:: SOT 39261 SOS 7624 HAS SOPS 7624 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6341.624
AT ITER 2835 NEW BEST:: SOT 39231 SOS 7619 HAS SOPS 7619 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6336.619
AT ITER 2855 NEW BEST:: SOT 39218 SOS 7587 HAS SOPS 7587 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6310.587
AT ITER 2860 NEW BEST:: SOT 39195 SOS 7563 HAS SOPS 7563 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6286.563
AT ITER 2886 NEW BEST:: SOT 39172 SOS 7539 HAS SOPS 7539 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6262.539
AT ITER 2910 NEW BEST:: SOT 39168 SOS 7543 HAS SOPS 7543 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6260.543
AT ITER 2960 NEW BEST:: SOT 39167 SOS 7541 HAS SOPS 7541 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6258.541
AT ITER 2969 NEW BEST:: SOT 39168 SOS 7540 HAS SOPS 7540 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.54
AT ITER 3003 NEW BEST:: SOT 39162 SOS 7534 HAS SOPS 7534 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6251.534
AT ITER 3035 NEW BEST:: SOT 39166 SOS 7526 HAS SOPS 7526 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6243.526
AT ITER 3049 NEW BEST:: SOT 39166 SOS 7469 HAS SOPS 7469 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6186.469
AT ITER 3109 NEW BEST:: SOT 39164 SOS 7469 HAS SOPS 7469 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.469
AT ITER 3126 NEW BEST:: SOT 39164 SOS 7468 HAS SOPS 7468 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6182.468
AT ITER 3149 NEW BEST:: SOT 39164 SOS 7448 HAS SOPS 7448 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6182.448
AT ITER 3199 NEW BEST:: SOT 39161 SOS 7433 HAS SOPS 7433 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6179.433
AT ITER 3274 NEW BEST:: SOT 39154 SOS 7432 HAS SOPS 7432 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6178.432
AT ITER 3279 NEW BEST:: SOT 39140 SOS 7478 HAS SOPS 7478 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6152.478
AT ITER 3304 NEW BEST:: SOT 39116 SOS 7454 HAS SOPS 7454 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.454
AT ITER 3328 NEW BEST:: SOT 39114 SOS 7500 HAS SOPS 7500 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6145.5
AT ITER 3341 NEW BEST:: SOT 39114 SOS 7478 HAS SOPS 7478 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6145.478
AT ITER 3403 NEW BEST:: SOT 39113 SOS 7477 HAS SOPS 7477 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6145.477
AT ITER 3424 NEW BEST:: SOT 39110 SOS 7481 HAS SOPS 7481 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6142.481
AT ITER 3428 NEW BEST:: SOT 39106 SOS 7469 HAS SOPS 7469 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6138.469
AT ITER 3451 NEW BEST:: SOT 39104 SOS 7465 HAS SOPS 7465 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.465
AT ITER 3452 NEW BEST:: SOT 39104 SOS 7441 HAS SOPS 7441 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6126.441
AT ITER 3457 NEW BEST:: SOT 39094 SOS 7430 HAS SOPS 7430 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.43
AT ITER 3543 NEW BEST:: SOT 39093 SOS 7425 HAS SOPS 7425 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6112.425
AT ITER 3700 NEW BEST:: SOT 39092 SOS 7423 HAS SOPS 7423 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6110.423
AT ITER 3709 NEW BEST:: SOT 39086 SOS 7421 HAS SOPS 7421 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6104.421
AT ITER 3724 NEW BEST:: SOT 39085 SOS 7420 HAS SOPS 7420 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6103.42
AT ITER 3812 NEW BEST:: SOT 39077 SOS 7409 HAS SOPS 7409 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6092.409
AT ITER 3843 NEW BEST:: SOT 39077 SOS 7412 HAS SOPS 7412 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6089.412
AT ITER 3850 NEW BEST:: SOT 39077 SOS 7417 HAS SOPS 7417 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6088.417
AT ITER 3922 NEW BEST:: SOT 39095 SOS 7413 HAS SOPS 7413 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6084.413
AT ITER 3963 NEW BEST:: SOT 39061 SOS 7401 HAS SOPS 7401 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.401
AT ITER 3965 NEW BEST:: SOT 39049 SOS 7383 HAS SOPS 7383 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6060.383
AT ITER 3972 NEW BEST:: SOT 39028 SOS 7377 HAS SOPS 7377 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6045.377
AT ITER 3982 NEW BEST:: SOT 39028 SOS 7363 HAS SOPS 7363 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.363
AT ITER 4032 NEW BEST:: SOT 39022 SOS 7351 HAS SOPS 7351 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.351
AT ITER 4129 NEW BEST:: SOT 39011 SOS 7339 HAS SOPS 7339 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6018.339
AT ITER 4139 NEW BEST:: SOT 39005 SOS 7333 HAS SOPS 7333 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.333
AT ITER 4153 NEW BEST:: SOT 38989 SOS 7319 HAS SOPS 7319 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5998.319
AT ITER 4180 NEW BEST:: SOT 38988 SOS 7312 HAS SOPS 7312 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5991.312
AT ITER 4227 NEW BEST:: SOT 38993 SOS 7313 HAS SOPS 7313 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5989.313
AT ITER 4293 NEW BEST:: SOT 38993 SOS 7311 HAS SOPS 7311 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5987.311
AT ITER 4324 NEW BEST:: SOT 38992 SOS 7309 HAS SOPS 7309 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5985.309
AT ITER 4350 NEW BEST:: SOT 38988 SOS 7297 HAS SOPS 7297 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5973.297
AT ITER 4379 NEW BEST:: SOT 38987 SOS 7295 HAS SOPS 7295 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5972.295
AT ITER 4417 NEW BEST:: SOT 38996 SOS 7294 HAS SOPS 7294 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.294
AT ITER 4488 NEW BEST:: SOT 38992 SOS 7286 HAS SOPS 7286 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5966.286
AT ITER 4539 NEW BEST:: SOT 38986 SOS 7285 HAS SOPS 7285 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.285
AT ITER 4542 NEW BEST:: SOT 38982 SOS 7397 HAS SOPS 7397 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5961.397
AT ITER 4582 NEW BEST:: SOT 38916 SOS 7325 HAS SOPS 7325 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5956.325
AT ITER 4602 NEW BEST:: SOT 38915 SOS 7324 HAS SOPS 7324 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.324
AT ITER 4633 NEW BEST:: SOT 38915 SOS 7310 HAS SOPS 7310 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.31
AT ITER 4640 NEW BEST:: SOT 38890 SOS 7195 HAS SOPS 7195 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.195
AT ITER 4681 NEW BEST:: SOT 38890 SOS 7194 HAS SOPS 7194 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5929.194
AT ITER 4759 NEW BEST:: SOT 38893 SOS 7191 HAS SOPS 7191 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5926.191
AT ITER 4780 NEW BEST:: SOT 38893 SOS 7186 HAS SOPS 7186 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5926.186
AT ITER 4806 NEW BEST:: SOT 38893 SOS 7182 HAS SOPS 7182 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5922.182
AT ITER 4839 NEW BEST:: SOT 38891 SOS 7178 HAS SOPS 7178 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5914.178
AT ITER 4866 NEW BEST:: SOT 38880 SOS 7170 HAS SOPS 7170 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5906.17
AT ITER 4880 NEW BEST:: SOT 38856 SOS 7146 HAS SOPS 7146 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5882.146
AT ITER 4897 NEW BEST:: SOT 38856 SOS 7134 HAS SOPS 7134 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5882.134
AT ITER 4969 NEW BEST:: SOT 38855 SOS 7131 HAS SOPS 7131 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5879.131
AT ITER 4980 NEW BEST:: SOT 38855 SOS 7130 HAS SOPS 7130 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5878.13
AT ITER 4994 NEW BEST:: SOT 38855 SOS 7128 HAS SOPS 7128 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.128
AT ITER 5069 NEW BEST:: SOT 38855 SOS 7128 HAS SOPS 7128 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5874.128
AT ITER 5082 NEW BEST:: SOT 38842 SOS 7124 HAS SOPS 7124 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5870.124
AT ITER 5098 NEW BEST:: SOT 38840 SOS 7080 HAS SOPS 7080 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5866.08
AT ITER 5100 NEW BEST:: SOT 38840 SOS 7076 HAS SOPS 7076 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5862.076
AT ITER 5125 NEW BEST:: SOT 38822 SOS 7067 HAS SOPS 7067 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5859.067
AT ITER 5146 NEW BEST:: SOT 38806 SOS 7078 HAS SOPS 7078 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5850.078
AT ITER 5306 NEW BEST:: SOT 38797 SOS 7063 HAS SOPS 7063 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5847.063
AT ITER 5317 NEW BEST:: SOT 38795 SOS 7040 HAS SOPS 7040 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5845.04
AT ITER 5367 NEW BEST:: SOT 38802 SOS 7046 HAS SOPS 7046 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5842.046
AT ITER 5405 NEW BEST:: SOT 38801 SOS 7044 HAS SOPS 7044 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5840.044
AT ITER 5432 NEW BEST:: SOT 38800 SOS 7043 HAS SOPS 7043 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5836.043
AT ITER 5466 NEW BEST:: SOT 38796 SOS 7039 HAS SOPS 7039 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5832.039
AT ITER 5503 NEW BEST:: SOT 38789 SOS 7055 HAS SOPS 7055 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5821.055
AT ITER 5535 NEW BEST:: SOT 38788 SOS 7054 HAS SOPS 7054 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.054
AT ITER 5561 NEW BEST:: SOT 38795 SOS 7068 HAS SOPS 7068 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5813.068
AT ITER 5612 NEW BEST:: SOT 38766 SOS 7010 HAS SOPS 7010 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5793.01
AT ITER 5627 NEW BEST:: SOT 38766 SOS 7005 HAS SOPS 7005 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5788.005
AT ITER 5644 NEW BEST:: SOT 38766 SOS 7005 HAS SOPS 7005 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5765.005
AT ITER 5651 NEW BEST:: SOT 38764 SOS 7002 HAS SOPS 7002 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5762.002
AT ITER 5658 NEW BEST:: SOT 38759 SOS 6965 HAS SOPS 6965 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.965
AT ITER 5707 NEW BEST:: SOT 38767 SOS 6943 HAS SOPS 6943 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5754.943
AT ITER 5710 NEW BEST:: SOT 38763 SOS 6942 HAS SOPS 6942 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.942
AT ITER 5720 NEW BEST:: SOT 38762 SOS 6941 HAS SOPS 6941 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.941
AT ITER 5738 NEW BEST:: SOT 38764 SOS 6941 HAS SOPS 6941 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5750.941
AT ITER 5805 NEW BEST:: SOT 38770 SOS 6947 HAS SOPS 6947 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5749.947
AT ITER 5982 NEW BEST:: SOT 38770 SOS 6944 HAS SOPS 6944 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.944
AT ITER 6011 NEW BEST:: SOT 38769 SOS 6951 HAS SOPS 6951 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.951
AT ITER 6127 NEW BEST:: SOT 38765 SOS 6942 HAS SOPS 6942 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.942
AT ITER 6139 NEW BEST:: SOT 38772 SOS 6939 HAS SOPS 6939 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.939
AT ITER 6142 NEW BEST:: SOT 38747 SOS 6887 HAS SOPS 6887 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.887
AT ITER 6146 NEW BEST:: SOT 38746 SOS 6885 HAS SOPS 6885 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.885
AT ITER 6154 NEW BEST:: SOT 38736 SOS 6868 HAS SOPS 6868 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5705.868
AT ITER 6166 NEW BEST:: SOT 38736 SOS 6869 HAS SOPS 6869 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5703.869
AT ITER 6198 NEW BEST:: SOT 38736 SOS 6861 HAS SOPS 6861 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5703.861
AT ITER 6225 NEW BEST:: SOT 38736 SOS 6858 HAS SOPS 6858 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.858
AT ITER 6227 NEW BEST:: SOT 38736 SOS 6856 HAS SOPS 6856 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.856
AT ITER 6235 NEW BEST:: SOT 38771 SOS 6924 HAS SOPS 6924 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.924
AT ITER 6239 NEW BEST:: SOT 38769 SOS 6897 HAS SOPS 6897 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.897
AT ITER 6270 NEW BEST:: SOT 38753 SOS 6865 HAS SOPS 6865 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.865
AT ITER 6295 NEW BEST:: SOT 38743 SOS 6855 HAS SOPS 6855 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.855
AT ITER 6341 NEW BEST:: SOT 38742 SOS 6853 HAS SOPS 6853 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.853
AT ITER 6407 NEW BEST:: SOT 38732 SOS 6841 HAS SOPS 6841 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5668.841
AT ITER 6439 NEW BEST:: SOT 38727 SOS 6834 HAS SOPS 6834 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5661.834
AT ITER 6468 NEW BEST:: SOT 38727 SOS 6833 HAS SOPS 6833 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.833
AT ITER 6482 NEW BEST:: SOT 38723 SOS 6817 HAS SOPS 6817 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5652.817
AT ITER 6485 NEW BEST:: SOT 38723 SOS 6813 HAS SOPS 6813 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5650.813
AT ITER 6511 NEW BEST:: SOT 38721 SOS 6812 HAS SOPS 6812 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.812
AT ITER 6530 NEW BEST:: SOT 38722 SOS 6808 HAS SOPS 6808 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5644.808
AT ITER 6562 NEW BEST:: SOT 38710 SOS 6819 HAS SOPS 6819 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5642.819
AT ITER 6605 NEW BEST:: SOT 38706 SOS 6813 HAS SOPS 6813 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.813
AT ITER 6613 NEW BEST:: SOT 38719 SOS 6822 HAS SOPS 6822 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5630.822
AT ITER 6709 NEW BEST:: SOT 38719 SOS 6822 HAS SOPS 6822 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.822
AT ITER 6727 NEW BEST:: SOT 38715 SOS 6821 HAS SOPS 6821 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5628.821
AT ITER 6734 NEW BEST:: SOT 38713 SOS 6819 HAS SOPS 6819 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.819
AT ITER 6780 NEW BEST:: SOT 38714 SOS 6810 HAS SOPS 6810 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5617.81
AT ITER 6842 NEW BEST:: SOT 38708 SOS 6802 HAS SOPS 6802 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5615.802
AT ITER 6856 NEW BEST:: SOT 38702 SOS 6720 HAS SOPS 6720 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.72
AT ITER 6879 NEW BEST:: SOT 38694 SOS 6707 HAS SOPS 6707 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.707
AT ITER 6911 NEW BEST:: SOT 38689 SOS 6702 HAS SOPS 6702 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.702
AT ITER 6913 NEW BEST:: SOT 38697 SOS 6709 HAS SOPS 6709 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.709
AT ITER 6969 NEW BEST:: SOT 38693 SOS 6705 HAS SOPS 6705 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.705
AT ITER 6975 NEW BEST:: SOT 38693 SOS 6699 HAS SOPS 6699 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.699
AT ITER 7087 NEW BEST:: SOT 38690 SOS 6694 HAS SOPS 6694 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5570.694
AT ITER 7131 NEW BEST:: SOT 38735 SOS 6737 HAS SOPS 6737 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5568.737
AT ITER 7166 NEW BEST:: SOT 38734 SOS 6735 HAS SOPS 6735 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5566.735
AT ITER 7341 NEW BEST:: SOT 38733 SOS 6733 HAS SOPS 6733 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5565.733
AT ITER 7363 NEW BEST:: SOT 38724 SOS 6732 HAS SOPS 6732 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.732
AT ITER 7381 NEW BEST:: SOT 38717 SOS 6725 HAS SOPS 6725 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.725
AT ITER 7406 NEW BEST:: SOT 38719 SOS 6723 HAS SOPS 6723 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5545.723
AT ITER 7449 NEW BEST:: SOT 38719 SOS 6697 HAS SOPS 6697 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.697
AT ITER 7474 NEW BEST:: SOT 38719 SOS 6683 HAS SOPS 6683 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.683
AT ITER 7500 NEW BEST:: SOT 38719 SOS 6671 HAS SOPS 6671 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.671
AT ITER 7507 NEW BEST:: SOT 38720 SOS 6666 HAS SOPS 6666 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.666
AT ITER 7589 NEW BEST:: SOT 38720 SOS 6665 HAS SOPS 6665 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5501.665
AT ITER 7678 NEW BEST:: SOT 38710 SOS 6645 HAS SOPS 6645 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.645
AT ITER 7964 NEW BEST:: SOT 38706 SOS 6641 HAS SOPS 6641 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.641
AT ITER 8176 NEW BEST:: SOT 38706 SOS 6641 HAS SOPS 6641 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.641
AT ITER 8202 NEW BEST:: SOT 38708 SOS 6630 HAS SOPS 6630 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5467.63
AT ITER 8211 NEW BEST:: SOT 38708 SOS 6626 HAS SOPS 6626 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5465.626
AT ITER 8248 NEW BEST:: SOT 38698 SOS 6601 HAS SOPS 6601 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5449.601
AT ITER 8278 NEW BEST:: SOT 38694 SOS 6596 HAS SOPS 6596 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5444.596
AT ITER 8388 NEW BEST:: SOT 38693 SOS 6594 HAS SOPS 6594 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.594
AT ITER 8484 NEW BEST:: SOT 38693 SOS 6593 HAS SOPS 6593 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.593
AT ITER 8760 NEW BEST:: SOT 38689 SOS 6599 HAS SOPS 6599 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.599
AT ITER 8770 NEW BEST:: SOT 38688 SOS 6596 HAS SOPS 6596 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.596
AT ITER 8834 NEW BEST:: SOT 38687 SOS 6594 HAS SOPS 6594 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.594
AT ITER 8850 NEW BEST:: SOT 38687 SOS 6592 HAS SOPS 6592 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.592
AT ITER 8886 NEW BEST:: SOT 38687 SOS 6589 HAS SOPS 6589 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.589
AT ITER 8937 NEW BEST:: SOT 38676 SOS 6586 HAS SOPS 6586 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.586
AT ITER 8956 NEW BEST:: SOT 38673 SOS 6574 HAS SOPS 6574 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5417.574
AT ITER 8962 NEW BEST:: SOT 38683 SOS 6572 HAS SOPS 6572 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.572
AT ITER 9003 NEW BEST:: SOT 38653 SOS 6542 HAS SOPS 6542 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.542
AT ITER 9024 NEW BEST:: SOT 38649 SOS 6533 HAS SOPS 6533 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5406.533
AT ITER 9044 NEW BEST:: SOT 38644 SOS 6533 HAS SOPS 6533 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5401.533
AT ITER 9059 NEW BEST:: SOT 38643 SOS 6532 HAS SOPS 6532 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5400.532
AT ITER 9168 NEW BEST:: SOT 38643 SOS 6532 HAS SOPS 6532 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5398.532
AT ITER 9350 NEW BEST:: SOT 38653 SOS 6523 HAS SOPS 6523 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.523
AT ITER 9450 NEW BEST:: SOT 38645 SOS 6515 HAS SOPS 6515 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.515
AT ITER 9459 NEW BEST:: SOT 38645 SOS 6503 HAS SOPS 6503 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.503
AT ITER 9470 NEW BEST:: SOT 38630 SOS 6481 HAS SOPS 6481 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.481
AT ITER 9482 NEW BEST:: SOT 38627 SOS 6475 HAS SOPS 6475 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5347.475
AT ITER 9513 NEW BEST:: SOT 38632 SOS 6474 HAS SOPS 6474 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5346.474
AT ITER 9536 NEW BEST:: SOT 38631 SOS 6471 HAS SOPS 6471 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5345.471
AT ITER 9582 NEW BEST:: SOT 38628 SOS 6467 HAS SOPS 6467 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5341.467
AT ITER 9596 NEW BEST:: SOT 38627 SOS 6466 HAS SOPS 6466 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.466
AT ITER 9761 NEW BEST:: SOT 38626 SOS 6465 HAS SOPS 6465 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.465
AT ITER 9772 NEW BEST:: SOT 38625 SOS 6464 HAS SOPS 6464 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5339.464
AT ITER 9803 NEW BEST:: SOT 38623 SOS 6462 HAS SOPS 6462 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.462
AT ITER 9875 NEW BEST:: SOT 38619 SOS 6403 HAS SOPS 6403 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.403
AT ITER 9883 NEW BEST:: SOT 38619 SOS 6402 HAS SOPS 6402 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.402
AT ITER 9885 NEW BEST:: SOT 38621 SOS 6406 HAS SOPS 6406 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5331.406
AT ITER 9941 NEW BEST:: SOT 38621 SOS 6404 HAS SOPS 6404 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5328.404
AT ITER 9952 NEW BEST:: SOT 38619 SOS 6402 HAS SOPS 6402 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.402
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6367560 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155728 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="DES-PT-02b"
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-02b, 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-167814472400392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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