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.r515-tall-167987241900016.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 Anderson-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 6.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 7.5K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 166K Mar 26 22:42 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 1679873495365

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=Anderson-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 05
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: 161 places, 365 transitions, 1380 arcs.
AT ITER 0 NEW BEST:: SOT 34200 SOS 20998 HAS SOPS 20998 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10550.998
AT ITER 5 NEW BEST:: SOT 33770 SOS 20589 HAS SOPS 20589 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10141.589
AT ITER 17 NEW BEST:: SOT 33770 SOS 20589 HAS SOPS 20589 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10137.589
AT ITER 19 NEW BEST:: SOT 33442 SOS 20286 HAS SOPS 20286 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9832.286
AT ITER 48 NEW BEST:: SOT 33430 SOS 20269 HAS SOPS 20269 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9819.269
AT ITER 49 NEW BEST:: SOT 33410 SOS 20218 HAS SOPS 20187 HAS SOUS 9772 HAS SOUPS 9741 WITH SCORE 9761.218
AT ITER 65 NEW BEST:: SOT 33372 SOS 20085 HAS SOPS 20054 HAS SOUS 9715 HAS SOUPS 9684 WITH SCORE 9704.085
AT ITER 66 NEW BEST:: SOT 33098 SOS 19829 HAS SOPS 19798 HAS SOUS 9441 HAS SOUPS 9410 WITH SCORE 9429.829
AT ITER 81 NEW BEST:: SOT 33078 SOS 19824 HAS SOPS 19793 HAS SOUS 9435 HAS SOUPS 9404 WITH SCORE 9423.824
AT ITER 96 NEW BEST:: SOT 33069 SOS 19806 HAS SOPS 19775 HAS SOUS 9434 HAS SOUPS 9403 WITH SCORE 9422.806
AT ITER 104 NEW BEST:: SOT 33023 SOS 19642 HAS SOPS 19611 HAS SOUS 9366 HAS SOUPS 9335 WITH SCORE 9354.642
AT ITER 107 NEW BEST:: SOT 33021 SOS 19629 HAS SOPS 19598 HAS SOUS 9364 HAS SOUPS 9333 WITH SCORE 9352.629
AT ITER 126 NEW BEST:: SOT 32995 SOS 19570 HAS SOPS 19539 HAS SOUS 9296 HAS SOUPS 9265 WITH SCORE 9284.57
AT ITER 146 NEW BEST:: SOT 32965 SOS 19465 HAS SOPS 19434 HAS SOUS 9251 HAS SOUPS 9220 WITH SCORE 9239.465
AT ITER 147 NEW BEST:: SOT 32942 SOS 19380 HAS SOPS 19349 HAS SOUS 9218 HAS SOUPS 9187 WITH SCORE 9206.38
AT ITER 149 NEW BEST:: SOT 32994 SOS 19446 HAS SOPS 19415 HAS SOUS 9158 HAS SOUPS 9127 WITH SCORE 9146.446
AT ITER 154 NEW BEST:: SOT 33114 SOS 19566 HAS SOPS 19535 HAS SOUS 9126 HAS SOUPS 9095 WITH SCORE 9114.566
AT ITER 159 NEW BEST:: SOT 33103 SOS 19493 HAS SOPS 19462 HAS SOUS 9114 HAS SOUPS 9083 WITH SCORE 9102.493
AT ITER 184 NEW BEST:: SOT 33091 SOS 19474 HAS SOPS 19443 HAS SOUS 9088 HAS SOUPS 9057 WITH SCORE 9076.474
AT ITER 187 NEW BEST:: SOT 32877 SOS 19212 HAS SOPS 19160 HAS SOUS 9087 HAS SOUPS 9035 WITH SCORE 9054.212
AT ITER 196 NEW BEST:: SOT 32870 SOS 19177 HAS SOPS 19125 HAS SOUS 9080 HAS SOUPS 9028 WITH SCORE 9047.177
AT ITER 197 NEW BEST:: SOT 32877 SOS 19188 HAS SOPS 19136 HAS SOUS 9055 HAS SOUPS 9003 WITH SCORE 9022.188
AT ITER 204 NEW BEST:: SOT 32875 SOS 19186 HAS SOPS 19134 HAS SOUS 9053 HAS SOUPS 9001 WITH SCORE 9020.186
AT ITER 218 NEW BEST:: SOT 32830 SOS 18832 HAS SOPS 18780 HAS SOUS 8972 HAS SOUPS 8920 WITH SCORE 8938.832
AT ITER 222 NEW BEST:: SOT 32822 SOS 18824 HAS SOPS 18772 HAS SOUS 8964 HAS SOUPS 8912 WITH SCORE 8930.824
AT ITER 227 NEW BEST:: SOT 32898 SOS 18900 HAS SOPS 18848 HAS SOUS 8887 HAS SOUPS 8835 WITH SCORE 8853.9
AT ITER 237 NEW BEST:: SOT 32796 SOS 18798 HAS SOPS 18746 HAS SOUS 8785 HAS SOUPS 8733 WITH SCORE 8751.798
AT ITER 241 NEW BEST:: SOT 32791 SOS 18793 HAS SOPS 18741 HAS SOUS 8781 HAS SOUPS 8729 WITH SCORE 8747.793
AT ITER 247 NEW BEST:: SOT 32755 SOS 18801 HAS SOPS 18749 HAS SOUS 8769 HAS SOUPS 8717 WITH SCORE 8735.801
AT ITER 263 NEW BEST:: SOT 32752 SOS 18798 HAS SOPS 18746 HAS SOUS 8766 HAS SOUPS 8714 WITH SCORE 8732.798
AT ITER 265 NEW BEST:: SOT 32746 SOS 18777 HAS SOPS 18725 HAS SOUS 8757 HAS SOUPS 8705 WITH SCORE 8723.777
AT ITER 268 NEW BEST:: SOT 32754 SOS 18796 HAS SOPS 18744 HAS SOUS 8754 HAS SOUPS 8702 WITH SCORE 8720.796
AT ITER 286 NEW BEST:: SOT 32747 SOS 18787 HAS SOPS 18735 HAS SOUS 8733 HAS SOUPS 8681 WITH SCORE 8699.787
AT ITER 309 NEW BEST:: SOT 32742 SOS 18782 HAS SOPS 18730 HAS SOUS 8728 HAS SOUPS 8676 WITH SCORE 8694.782
AT ITER 310 NEW BEST:: SOT 32737 SOS 18772 HAS SOPS 18720 HAS SOUS 8723 HAS SOUPS 8671 WITH SCORE 8689.772
AT ITER 312 NEW BEST:: SOT 32732 SOS 18767 HAS SOPS 18715 HAS SOUS 8713 HAS SOUPS 8661 WITH SCORE 8679.767
AT ITER 321 NEW BEST:: SOT 32708 SOS 18729 HAS SOPS 18677 HAS SOUS 8711 HAS SOUPS 8659 WITH SCORE 8677.729
AT ITER 335 NEW BEST:: SOT 32708 SOS 18717 HAS SOPS 18665 HAS SOUS 8711 HAS SOUPS 8659 WITH SCORE 8677.717
AT ITER 338 NEW BEST:: SOT 32694 SOS 18691 HAS SOPS 18639 HAS SOUS 8700 HAS SOUPS 8648 WITH SCORE 8666.691
AT ITER 382 NEW BEST:: SOT 32694 SOS 18666 HAS SOPS 18614 HAS SOUS 8695 HAS SOUPS 8643 WITH SCORE 8661.666
AT ITER 405 NEW BEST:: SOT 32692 SOS 18664 HAS SOPS 18612 HAS SOUS 8689 HAS SOUPS 8637 WITH SCORE 8655.664
AT ITER 406 NEW BEST:: SOT 32692 SOS 18654 HAS SOPS 18602 HAS SOUS 8689 HAS SOUPS 8637 WITH SCORE 8655.654
AT ITER 408 NEW BEST:: SOT 32692 SOS 18654 HAS SOPS 18602 HAS SOUS 8684 HAS SOUPS 8632 WITH SCORE 8650.654
AT ITER 411 NEW BEST:: SOT 32680 SOS 18612 HAS SOPS 18560 HAS SOUS 8666 HAS SOUPS 8614 WITH SCORE 8632.612
AT ITER 413 NEW BEST:: SOT 32874 SOS 18831 HAS SOPS 18779 HAS SOUS 8635 HAS SOUPS 8583 WITH SCORE 8601.831
AT ITER 428 NEW BEST:: SOT 32874 SOS 18825 HAS SOPS 18773 HAS SOUS 8635 HAS SOUPS 8583 WITH SCORE 8601.825
AT ITER 454 NEW BEST:: SOT 32876 SOS 18827 HAS SOPS 18775 HAS SOUS 8624 HAS SOUPS 8572 WITH SCORE 8590.827
AT ITER 461 NEW BEST:: SOT 32869 SOS 18813 HAS SOPS 18761 HAS SOUS 8617 HAS SOUPS 8565 WITH SCORE 8583.813
AT ITER 472 NEW BEST:: SOT 32865 SOS 18809 HAS SOPS 18757 HAS SOUS 8613 HAS SOUPS 8561 WITH SCORE 8579.809
AT ITER 475 NEW BEST:: SOT 32879 SOS 18819 HAS SOPS 18767 HAS SOUS 8609 HAS SOUPS 8557 WITH SCORE 8575.819
AT ITER 486 NEW BEST:: SOT 32892 SOS 18679 HAS SOPS 18627 HAS SOUS 8589 HAS SOUPS 8537 WITH SCORE 8555.679
AT ITER 488 NEW BEST:: SOT 32892 SOS 18675 HAS SOPS 18623 HAS SOUS 8589 HAS SOUPS 8537 WITH SCORE 8555.675
AT ITER 496 NEW BEST:: SOT 32894 SOS 18594 HAS SOPS 18542 HAS SOUS 8564 HAS SOUPS 8512 WITH SCORE 8530.594
AT ITER 500 NEW BEST:: SOT 32889 SOS 18584 HAS SOPS 18532 HAS SOUS 8554 HAS SOUPS 8502 WITH SCORE 8520.584
AT ITER 503 NEW BEST:: SOT 32889 SOS 18567 HAS SOPS 18515 HAS SOUS 8545 HAS SOUPS 8493 WITH SCORE 8511.567
AT ITER 510 NEW BEST:: SOT 32889 SOS 18539 HAS SOPS 18487 HAS SOUS 8545 HAS SOUPS 8493 WITH SCORE 8511.539
AT ITER 574 NEW BEST:: SOT 32885 SOS 18306 HAS SOPS 18275 HAS SOUS 8489 HAS SOUPS 8458 WITH SCORE 8476.306
AT ITER 610 NEW BEST:: SOT 32885 SOS 18202 HAS SOPS 18171 HAS SOUS 8489 HAS SOUPS 8458 WITH SCORE 8476.202
AT ITER 643 NEW BEST:: SOT 32863 SOS 18158 HAS SOPS 18127 HAS SOUS 8473 HAS SOUPS 8442 WITH SCORE 8460.158
AT ITER 649 NEW BEST:: SOT 32860 SOS 18152 HAS SOPS 18121 HAS SOUS 8470 HAS SOUPS 8439 WITH SCORE 8457.152
AT ITER 654 NEW BEST:: SOT 32887 SOS 18155 HAS SOPS 18124 HAS SOUS 8468 HAS SOUPS 8437 WITH SCORE 8455.155
AT ITER 689 NEW BEST:: SOT 32895 SOS 18163 HAS SOPS 18132 HAS SOUS 8454 HAS SOUPS 8423 WITH SCORE 8441.163
AT ITER 700 NEW BEST:: SOT 32888 SOS 18150 HAS SOPS 18119 HAS SOUS 8447 HAS SOUPS 8416 WITH SCORE 8434.15
AT ITER 705 NEW BEST:: SOT 32853 SOS 18115 HAS SOPS 18084 HAS SOUS 8430 HAS SOUPS 8399 WITH SCORE 8417.115
AT ITER 728 NEW BEST:: SOT 32832 SOS 18191 HAS SOPS 18160 HAS SOUS 8388 HAS SOUPS 8357 WITH SCORE 8375.191
AT ITER 737 NEW BEST:: SOT 32829 SOS 18185 HAS SOPS 18154 HAS SOUS 8385 HAS SOUPS 8354 WITH SCORE 8372.185
AT ITER 738 NEW BEST:: SOT 32823 SOS 18155 HAS SOPS 18124 HAS SOUS 8379 HAS SOUPS 8348 WITH SCORE 8366.155
AT ITER 748 NEW BEST:: SOT 32787 SOS 18111 HAS SOPS 18080 HAS SOUS 8375 HAS SOUPS 8344 WITH SCORE 8362.111
AT ITER 750 NEW BEST:: SOT 32745 SOS 18095 HAS SOPS 18064 HAS SOUS 8375 HAS SOUPS 8344 WITH SCORE 8362.095
AT ITER 761 NEW BEST:: SOT 32735 SOS 18079 HAS SOPS 18048 HAS SOUS 8357 HAS SOUPS 8326 WITH SCORE 8344.079
AT ITER 771 NEW BEST:: SOT 32775 SOS 17807 HAS SOPS 17807 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8331.807
AT ITER 804 NEW BEST:: SOT 32772 SOS 17804 HAS SOPS 17804 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8325.804
AT ITER 823 NEW BEST:: SOT 32777 SOS 17814 HAS SOPS 17814 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8321.814
AT ITER 836 NEW BEST:: SOT 32777 SOS 17778 HAS SOPS 17778 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8321.778
AT ITER 844 NEW BEST:: SOT 32798 SOS 17799 HAS SOPS 17799 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8310.799
AT ITER 866 NEW BEST:: SOT 32782 SOS 17877 HAS SOPS 17877 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8308.877
AT ITER 867 NEW BEST:: SOT 32782 SOS 17877 HAS SOPS 17877 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8301.877
AT ITER 873 NEW BEST:: SOT 32760 SOS 17863 HAS SOPS 17863 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8285.863
AT ITER 884 NEW BEST:: SOT 32745 SOS 17813 HAS SOPS 17813 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8255.813
AT ITER 891 NEW BEST:: SOT 32759 SOS 17822 HAS SOPS 17822 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8228.822
AT ITER 894 NEW BEST:: SOT 32758 SOS 17821 HAS SOPS 17821 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8227.821
AT ITER 902 NEW BEST:: SOT 32752 SOS 17785 HAS SOPS 17785 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8220.785
AT ITER 916 NEW BEST:: SOT 32750 SOS 17783 HAS SOPS 17783 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8218.783
AT ITER 937 NEW BEST:: SOT 32723 SOS 17729 HAS SOPS 17729 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8176.729
AT ITER 958 NEW BEST:: SOT 32699 SOS 17637 HAS SOPS 17637 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8117.637
AT ITER 962 NEW BEST:: SOT 32699 SOS 17617 HAS SOPS 17617 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8117.617
AT ITER 971 NEW BEST:: SOT 32616 SOS 17584 HAS SOPS 17584 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8044.584
AT ITER 978 NEW BEST:: SOT 32608 SOS 17576 HAS SOPS 17576 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8033.576
AT ITER 984 NEW BEST:: SOT 32619 SOS 17503 HAS SOPS 17503 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8029.503
AT ITER 991 NEW BEST:: SOT 32557 SOS 17196 HAS SOPS 17196 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7955.196
AT ITER 994 NEW BEST:: SOT 32552 SOS 17156 HAS SOPS 17156 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7951.156
AT ITER 996 NEW BEST:: SOT 32516 SOS 16999 HAS SOPS 16999 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7912.999
AT ITER 1015 NEW BEST:: SOT 32504 SOS 16987 HAS SOPS 16987 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7900.987
AT ITER 1033 NEW BEST:: SOT 32500 SOS 16983 HAS SOPS 16983 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7892.983
AT ITER 1052 NEW BEST:: SOT 32508 SOS 16991 HAS SOPS 16991 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7891.991
AT ITER 1064 NEW BEST:: SOT 32513 SOS 16996 HAS SOPS 16996 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7887.996
AT ITER 1086 NEW BEST:: SOT 32574 SOS 17067 HAS SOPS 17067 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7885.067
AT ITER 1094 NEW BEST:: SOT 32561 SOS 17041 HAS SOPS 17041 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7872.041
AT ITER 1101 NEW BEST:: SOT 32552 SOS 17023 HAS SOPS 17023 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7847.023
AT ITER 1130 NEW BEST:: SOT 32549 SOS 17015 HAS SOPS 17015 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7832.015
AT ITER 1134 NEW BEST:: SOT 32543 SOS 17028 HAS SOPS 17028 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7829.028
AT ITER 1155 NEW BEST:: SOT 32541 SOS 17016 HAS SOPS 17016 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7827.016
AT ITER 1157 NEW BEST:: SOT 32469 SOS 16953 HAS SOPS 16953 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7826.953
AT ITER 1160 NEW BEST:: SOT 32464 SOS 16993 HAS SOPS 16993 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7819.993
AT ITER 1217 NEW BEST:: SOT 32510 SOS 17069 HAS SOPS 17069 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7813.069
AT ITER 1226 NEW BEST:: SOT 32508 SOS 17067 HAS SOPS 17067 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7812.067
AT ITER 1278 NEW BEST:: SOT 32508 SOS 17067 HAS SOPS 17067 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7806.067
AT ITER 1314 NEW BEST:: SOT 32490 SOS 17049 HAS SOPS 17049 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7770.049
AT ITER 1332 NEW BEST:: SOT 32490 SOS 17033 HAS SOPS 17033 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7770.033
AT ITER 1346 NEW BEST:: SOT 32479 SOS 16987 HAS SOPS 16987 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7754.987
AT ITER 1354 NEW BEST:: SOT 32459 SOS 16942 HAS SOPS 16942 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7729.942
AT ITER 1362 NEW BEST:: SOT 32457 SOS 16940 HAS SOPS 16940 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7720.94
AT ITER 1397 NEW BEST:: SOT 32456 SOS 16938 HAS SOPS 16938 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7719.938
AT ITER 1414 NEW BEST:: SOT 32413 SOS 16848 HAS SOPS 16842 HAS SOUS 7652 HAS SOUPS 7646 WITH SCORE 7662.848
AT ITER 1426 NEW BEST:: SOT 32412 SOS 16847 HAS SOPS 16841 HAS SOUS 7650 HAS SOUPS 7644 WITH SCORE 7660.847
AT ITER 1451 NEW BEST:: SOT 32434 SOS 16855 HAS SOPS 16849 HAS SOUS 7548 HAS SOUPS 7542 WITH SCORE 7558.855
AT ITER 1453 NEW BEST:: SOT 32436 SOS 16898 HAS SOPS 16892 HAS SOUS 7546 HAS SOUPS 7540 WITH SCORE 7556.898
AT ITER 1468 NEW BEST:: SOT 32434 SOS 16894 HAS SOPS 16888 HAS SOUS 7542 HAS SOUPS 7536 WITH SCORE 7552.894
AT ITER 1481 NEW BEST:: SOT 32415 SOS 16875 HAS SOPS 16869 HAS SOUS 7523 HAS SOUPS 7517 WITH SCORE 7533.875
AT ITER 1494 NEW BEST:: SOT 32413 SOS 16873 HAS SOPS 16867 HAS SOUS 7521 HAS SOUPS 7515 WITH SCORE 7531.873
AT ITER 1527 NEW BEST:: SOT 32409 SOS 16865 HAS SOPS 16859 HAS SOUS 7517 HAS SOUPS 7511 WITH SCORE 7527.865
AT ITER 1575 NEW BEST:: SOT 32403 SOS 16853 HAS SOPS 16847 HAS SOUS 7511 HAS SOUPS 7505 WITH SCORE 7521.853
AT ITER 1650 NEW BEST:: SOT 32391 SOS 16861 HAS SOPS 16855 HAS SOUS 7499 HAS SOUPS 7493 WITH SCORE 7509.861
AT ITER 1665 NEW BEST:: SOT 32310 SOS 16759 HAS SOPS 16753 HAS SOUS 7408 HAS SOUPS 7402 WITH SCORE 7418.759
AT ITER 1709 NEW BEST:: SOT 32309 SOS 16758 HAS SOPS 16752 HAS SOUS 7405 HAS SOUPS 7399 WITH SCORE 7415.758
AT ITER 1722 NEW BEST:: SOT 32282 SOS 16731 HAS SOPS 16725 HAS SOUS 7402 HAS SOUPS 7396 WITH SCORE 7412.731
AT ITER 1766 NEW BEST:: SOT 32282 SOS 16726 HAS SOPS 16720 HAS SOUS 7397 HAS SOUPS 7391 WITH SCORE 7407.726
AT ITER 1770 NEW BEST:: SOT 32270 SOS 16782 HAS SOPS 16776 HAS SOUS 7389 HAS SOUPS 7383 WITH SCORE 7399.782
AT ITER 1774 NEW BEST:: SOT 32262 SOS 16774 HAS SOPS 16766 HAS SOUS 7381 HAS SOUPS 7373 WITH SCORE 7389.774
AT ITER 1784 NEW BEST:: SOT 32260 SOS 16772 HAS SOPS 16764 HAS SOUS 7377 HAS SOUPS 7369 WITH SCORE 7385.772
AT ITER 1805 NEW BEST:: SOT 32260 SOS 16769 HAS SOPS 16761 HAS SOUS 7377 HAS SOUPS 7369 WITH SCORE 7385.769
AT ITER 1807 NEW BEST:: SOT 32260 SOS 16748 HAS SOPS 16740 HAS SOUS 7377 HAS SOUPS 7369 WITH SCORE 7385.748
AT ITER 1810 NEW BEST:: SOT 32253 SOS 16734 HAS SOPS 16726 HAS SOUS 7370 HAS SOUPS 7362 WITH SCORE 7378.734
AT ITER 1822 NEW BEST:: SOT 32235 SOS 16716 HAS SOPS 16708 HAS SOUS 7352 HAS SOUPS 7344 WITH SCORE 7360.716
AT ITER 1892 NEW BEST:: SOT 32267 SOS 16746 HAS SOPS 16738 HAS SOUS 7350 HAS SOUPS 7342 WITH SCORE 7358.746
AT ITER 1900 NEW BEST:: SOT 32266 SOS 16745 HAS SOPS 16737 HAS SOUS 7348 HAS SOUPS 7340 WITH SCORE 7356.745
AT ITER 1925 NEW BEST:: SOT 32262 SOS 16741 HAS SOPS 16733 HAS SOUS 7344 HAS SOUPS 7336 WITH SCORE 7352.741
AT ITER 1955 NEW BEST:: SOT 32258 SOS 16733 HAS SOPS 16725 HAS SOUS 7340 HAS SOUPS 7332 WITH SCORE 7348.733
AT ITER 1976 NEW BEST:: SOT 32266 SOS 16731 HAS SOPS 16723 HAS SOUS 7340 HAS SOUPS 7332 WITH SCORE 7348.731
AT ITER 2021 NEW BEST:: SOT 32266 SOS 16721 HAS SOPS 16713 HAS SOUS 7338 HAS SOUPS 7330 WITH SCORE 7346.721
AT ITER 2044 NEW BEST:: SOT 32266 SOS 16721 HAS SOPS 16713 HAS SOUS 7337 HAS SOUPS 7329 WITH SCORE 7345.721
AT ITER 2095 NEW BEST:: SOT 32261 SOS 16716 HAS SOPS 16708 HAS SOUS 7332 HAS SOUPS 7324 WITH SCORE 7340.716
AT ITER 2110 NEW BEST:: SOT 32255 SOS 16710 HAS SOPS 16702 HAS SOUS 7323 HAS SOUPS 7315 WITH SCORE 7331.71
AT ITER 2126 NEW BEST:: SOT 32246 SOS 16700 HAS SOPS 16692 HAS SOUS 7320 HAS SOUPS 7312 WITH SCORE 7328.7
AT ITER 2153 NEW BEST:: SOT 32241 SOS 16695 HAS SOPS 16687 HAS SOUS 7310 HAS SOUPS 7302 WITH SCORE 7318.695
AT ITER 2168 NEW BEST:: SOT 32238 SOS 16699 HAS SOPS 16691 HAS SOUS 7309 HAS SOUPS 7301 WITH SCORE 7317.699
AT ITER 2184 NEW BEST:: SOT 32237 SOS 16700 HAS SOPS 16692 HAS SOUS 7308 HAS SOUPS 7300 WITH SCORE 7316.7
AT ITER 2251 NEW BEST:: SOT 32235 SOS 16701 HAS SOPS 16690 HAS SOUS 7309 HAS SOUPS 7298 WITH SCORE 7314.701
AT ITER 2310 NEW BEST:: SOT 32226 SOS 16650 HAS SOPS 16639 HAS SOUS 7306 HAS SOUPS 7295 WITH SCORE 7311.65
AT ITER 2316 NEW BEST:: SOT 32209 SOS 16708 HAS SOPS 16697 HAS SOUS 7294 HAS SOUPS 7283 WITH SCORE 7299.708
AT ITER 2333 NEW BEST:: SOT 32215 SOS 16715 HAS SOPS 16704 HAS SOUS 7292 HAS SOUPS 7281 WITH SCORE 7297.715
AT ITER 2361 NEW BEST:: SOT 32210 SOS 16713 HAS SOPS 16702 HAS SOUS 7290 HAS SOUPS 7279 WITH SCORE 7295.713
AT ITER 2439 NEW BEST:: SOT 32209 SOS 16712 HAS SOPS 16701 HAS SOUS 7288 HAS SOUPS 7277 WITH SCORE 7293.712
AT ITER 2442 NEW BEST:: SOT 32210 SOS 16714 HAS SOPS 16703 HAS SOUS 7286 HAS SOUPS 7275 WITH SCORE 7291.714
AT ITER 2464 NEW BEST:: SOT 32209 SOS 16717 HAS SOPS 16706 HAS SOUS 7285 HAS SOUPS 7274 WITH SCORE 7290.717
AT ITER 2471 NEW BEST:: SOT 32209 SOS 16693 HAS SOPS 16682 HAS SOUS 7285 HAS SOUPS 7274 WITH SCORE 7290.693
AT ITER 2485 NEW BEST:: SOT 32207 SOS 16691 HAS SOPS 16680 HAS SOUS 7283 HAS SOUPS 7272 WITH SCORE 7288.691
AT ITER 2543 NEW BEST:: SOT 32228 SOS 16712 HAS SOPS 16701 HAS SOUS 7277 HAS SOUPS 7266 WITH SCORE 7282.712
AT ITER 2628 NEW BEST:: SOT 32226 SOS 16720 HAS SOPS 16709 HAS SOUS 7275 HAS SOUPS 7264 WITH SCORE 7280.72
AT ITER 2638 NEW BEST:: SOT 32225 SOS 16720 HAS SOPS 16709 HAS SOUS 7274 HAS SOUPS 7263 WITH SCORE 7279.72
AT ITER 2678 NEW BEST:: SOT 32222 SOS 16717 HAS SOPS 16706 HAS SOUS 7274 HAS SOUPS 7263 WITH SCORE 7279.717
AT ITER 2691 NEW BEST:: SOT 32218 SOS 16773 HAS SOPS 16762 HAS SOUS 7271 HAS SOUPS 7260 WITH SCORE 7276.773
AT ITER 2699 NEW BEST:: SOT 32220 SOS 16774 HAS SOPS 16763 HAS SOUS 7270 HAS SOUPS 7259 WITH SCORE 7275.774
AT ITER 2763 NEW BEST:: SOT 32219 SOS 16773 HAS SOPS 16762 HAS SOUS 7268 HAS SOUPS 7257 WITH SCORE 7273.773
AT ITER 2797 NEW BEST:: SOT 32220 SOS 16799 HAS SOPS 16788 HAS SOUS 7262 HAS SOUPS 7251 WITH SCORE 7267.799
AT ITER 2807 NEW BEST:: SOT 32223 SOS 16780 HAS SOPS 16769 HAS SOUS 7256 HAS SOUPS 7245 WITH SCORE 7261.78
AT ITER 2869 NEW BEST:: SOT 32221 SOS 16776 HAS SOPS 16765 HAS SOUS 7251 HAS SOUPS 7240 WITH SCORE 7256.776
AT ITER 2883 NEW BEST:: SOT 32218 SOS 16770 HAS SOPS 16759 HAS SOUS 7247 HAS SOUPS 7236 WITH SCORE 7252.77
AT ITER 2897 NEW BEST:: SOT 32239 SOS 16794 HAS SOPS 16783 HAS SOUS 7244 HAS SOUPS 7233 WITH SCORE 7249.794
AT ITER 2905 NEW BEST:: SOT 32198 SOS 17048 HAS SOPS 17000 HAS SOUS 7277 HAS SOUPS 7229 WITH SCORE 7246.048
AT ITER 2909 NEW BEST:: SOT 32198 SOS 17042 HAS SOPS 16994 HAS SOUS 7277 HAS SOUPS 7229 WITH SCORE 7246.042
AT ITER 2919 NEW BEST:: SOT 32193 SOS 17028 HAS SOPS 16989 HAS SOUS 7263 HAS SOUPS 7224 WITH SCORE 7241.028
AT ITER 2979 NEW BEST:: SOT 32195 SOS 16951 HAS SOPS 16914 HAS SOUS 7252 HAS SOUPS 7215 WITH SCORE 7231.951
AT ITER 2999 NEW BEST:: SOT 32193 SOS 16919 HAS SOPS 16882 HAS SOUS 7249 HAS SOUPS 7212 WITH SCORE 7228.919
AT ITER 3016 NEW BEST:: SOT 32193 SOS 16919 HAS SOPS 16882 HAS SOUS 7248 HAS SOUPS 7211 WITH SCORE 7227.919
AT ITER 3017 NEW BEST:: SOT 32186 SOS 16938 HAS SOPS 16901 HAS SOUS 7234 HAS SOUPS 7197 WITH SCORE 7213.938
AT ITER 3024 NEW BEST:: SOT 32171 SOS 16921 HAS SOPS 16884 HAS SOUS 7217 HAS SOUPS 7180 WITH SCORE 7196.921
AT ITER 3046 NEW BEST:: SOT 32171 SOS 16909 HAS SOPS 16872 HAS SOUS 7217 HAS SOUPS 7180 WITH SCORE 7196.909
AT ITER 3160 NEW BEST:: SOT 32169 SOS 16907 HAS SOPS 16870 HAS SOUS 7213 HAS SOUPS 7176 WITH SCORE 7192.907
AT ITER 3214 NEW BEST:: SOT 32200 SOS 16938 HAS SOPS 16901 HAS SOUS 7209 HAS SOUPS 7172 WITH SCORE 7188.938
AT ITER 3215 NEW BEST:: SOT 32198 SOS 16934 HAS SOPS 16897 HAS SOUS 7207 HAS SOUPS 7170 WITH SCORE 7186.934
AT ITER 3229 NEW BEST:: SOT 32198 SOS 16926 HAS SOPS 16889 HAS SOUS 7207 HAS SOUPS 7170 WITH SCORE 7186.926
AT ITER 3258 NEW BEST:: SOT 32190 SOS 16886 HAS SOPS 16849 HAS SOUS 7199 HAS SOUPS 7162 WITH SCORE 7178.886
AT ITER 3282 NEW BEST:: SOT 32189 SOS 16881 HAS SOPS 16844 HAS SOUS 7198 HAS SOUPS 7161 WITH SCORE 7177.881
AT ITER 3330 NEW BEST:: SOT 32170 SOS 16863 HAS SOPS 16826 HAS SOUS 7170 HAS SOUPS 7133 WITH SCORE 7149.863
AT ITER 3331 NEW BEST:: SOT 32172 SOS 16872 HAS SOPS 16835 HAS SOUS 7163 HAS SOUPS 7126 WITH SCORE 7142.872
AT ITER 3357 NEW BEST:: SOT 32167 SOS 16841 HAS SOPS 16804 HAS SOUS 7158 HAS SOUPS 7121 WITH SCORE 7137.841
AT ITER 3403 NEW BEST:: SOT 32163 SOS 16837 HAS SOPS 16800 HAS SOUS 7155 HAS SOUPS 7118 WITH SCORE 7134.837
AT ITER 3466 NEW BEST:: SOT 32163 SOS 16837 HAS SOPS 16800 HAS SOUS 7146 HAS SOUPS 7109 WITH SCORE 7125.837
AT ITER 3476 NEW BEST:: SOT 32164 SOS 16844 HAS SOPS 16807 HAS SOUS 7145 HAS SOUPS 7108 WITH SCORE 7124.844
AT ITER 3500 NEW BEST:: SOT 32157 SOS 16800 HAS SOPS 16763 HAS SOUS 7136 HAS SOUPS 7099 WITH SCORE 7115.8
AT ITER 3506 NEW BEST:: SOT 32156 SOS 16799 HAS SOPS 16762 HAS SOUS 7134 HAS SOUPS 7097 WITH SCORE 7113.799
AT ITER 3511 NEW BEST:: SOT 32155 SOS 16797 HAS SOPS 16760 HAS SOUS 7133 HAS SOUPS 7096 WITH SCORE 7112.797
AT ITER 3562 NEW BEST:: SOT 32139 SOS 16786 HAS SOPS 16749 HAS SOUS 7122 HAS SOUPS 7085 WITH SCORE 7101.786
AT ITER 3664 NEW BEST:: SOT 32133 SOS 16913 HAS SOPS 16876 HAS SOUS 7119 HAS SOUPS 7082 WITH SCORE 7098.913
AT ITER 3756 NEW BEST:: SOT 32131 SOS 16911 HAS SOPS 16874 HAS SOUS 7115 HAS SOUPS 7078 WITH SCORE 7094.911
AT ITER 3766 NEW BEST:: SOT 32128 SOS 16908 HAS SOPS 16871 HAS SOUS 7109 HAS SOUPS 7072 WITH SCORE 7088.908
AT ITER 3803 NEW BEST:: SOT 32056 SOS 16840 HAS SOPS 16803 HAS SOUS 7104 HAS SOUPS 7067 WITH SCORE 7083.84
AT ITER 3825 NEW BEST:: SOT 32047 SOS 16872 HAS SOPS 16835 HAS SOUS 7097 HAS SOUPS 7060 WITH SCORE 7076.872
AT ITER 3859 NEW BEST:: SOT 32046 SOS 16871 HAS SOPS 16834 HAS SOUS 7095 HAS SOUPS 7058 WITH SCORE 7074.871
AT ITER 3895 NEW BEST:: SOT 32046 SOS 16841 HAS SOPS 16804 HAS SOUS 7089 HAS SOUPS 7052 WITH SCORE 7068.841
AT ITER 3914 NEW BEST:: SOT 32046 SOS 16841 HAS SOPS 16804 HAS SOUS 7088 HAS SOUPS 7051 WITH SCORE 7067.841
AT ITER 4081 NEW BEST:: SOT 32046 SOS 16825 HAS SOPS 16788 HAS SOUS 7088 HAS SOUPS 7051 WITH SCORE 7067.825
AT ITER 4204 NEW BEST:: SOT 32046 SOS 16836 HAS SOPS 16799 HAS SOUS 7087 HAS SOUPS 7050 WITH SCORE 7066.836
AT ITER 4227 NEW BEST:: SOT 32046 SOS 16815 HAS SOPS 16778 HAS SOUS 7086 HAS SOUPS 7049 WITH SCORE 7065.815
AT ITER 4269 NEW BEST:: SOT 32043 SOS 16812 HAS SOPS 16775 HAS SOUS 7079 HAS SOUPS 7042 WITH SCORE 7058.812
AT ITER 4280 NEW BEST:: SOT 32042 SOS 16810 HAS SOPS 16773 HAS SOUS 7077 HAS SOUPS 7040 WITH SCORE 7056.81
AT ITER 4458 NEW BEST:: SOT 32042 SOS 16715 HAS SOPS 16693 HAS SOUS 7060 HAS SOUPS 7038 WITH SCORE 7054.715
AT ITER 4592 NEW BEST:: SOT 32040 SOS 16713 HAS SOPS 16691 HAS SOUS 7058 HAS SOUPS 7036 WITH SCORE 7052.713
AT ITER 4599 NEW BEST:: SOT 32043 SOS 16646 HAS SOPS 16624 HAS SOUS 7036 HAS SOUPS 7014 WITH SCORE 7030.646
AT ITER 4646 NEW BEST:: SOT 32042 SOS 16645 HAS SOPS 16623 HAS SOUS 7034 HAS SOUPS 7012 WITH SCORE 7028.645
AT ITER 4679 NEW BEST:: SOT 32055 SOS 16658 HAS SOPS 16636 HAS SOUS 7027 HAS SOUPS 7005 WITH SCORE 7021.658
AT ITER 4690 NEW BEST:: SOT 32049 SOS 16654 HAS SOPS 16632 HAS SOUS 7024 HAS SOUPS 7002 WITH SCORE 7018.654
AT ITER 4730 NEW BEST:: SOT 32041 SOS 16654 HAS SOPS 16632 HAS SOUS 7022 HAS SOUPS 7000 WITH SCORE 7016.654
AT ITER 4778 NEW BEST:: SOT 32063 SOS 16484 HAS SOPS 16484 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7010.484
AT ITER 4796 NEW BEST:: SOT 32065 SOS 16466 HAS SOPS 16466 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 7001.466
AT ITER 4845 NEW BEST:: SOT 32063 SOS 16464 HAS SOPS 16464 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 7001.464
AT ITER 4856 NEW BEST:: SOT 31944 SOS 16360 HAS SOPS 16360 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6979.36
AT ITER 5008 NEW BEST:: SOT 31943 SOS 16359 HAS SOPS 16359 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6977.359
AT ITER 5032 NEW BEST:: SOT 31942 SOS 16358 HAS SOPS 16358 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6975.358
AT ITER 5155 NEW BEST:: SOT 31940 SOS 16354 HAS SOPS 16354 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6974.354
AT ITER 5213 NEW BEST:: SOT 31940 SOS 16353 HAS SOPS 16353 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6974.353
AT ITER 5233 NEW BEST:: SOT 31940 SOS 16338 HAS SOPS 16338 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6971.338
AT ITER 5332 NEW BEST:: SOT 31939 SOS 16337 HAS SOPS 16337 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6970.337
AT ITER 5411 NEW BEST:: SOT 31916 SOS 16456 HAS SOPS 16456 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6958.456
AT ITER 5451 NEW BEST:: SOT 31912 SOS 16452 HAS SOPS 16452 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6954.452
AT ITER 5482 NEW BEST:: SOT 31912 SOS 16344 HAS SOPS 16344 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6954.344
AT ITER 5506 NEW BEST:: SOT 31911 SOS 16343 HAS SOPS 16343 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6952.343
AT ITER 5529 NEW BEST:: SOT 31911 SOS 16352 HAS SOPS 16352 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6949.352
AT ITER 5550 NEW BEST:: SOT 31913 SOS 16352 HAS SOPS 16352 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6948.352
AT ITER 5564 NEW BEST:: SOT 31912 SOS 16351 HAS SOPS 16351 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6945.351
AT ITER 5589 NEW BEST:: SOT 31885 SOS 16324 HAS SOPS 16324 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6945.324
AT ITER 5738 NEW BEST:: SOT 31878 SOS 16320 HAS SOPS 16320 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6941.32
AT ITER 5757 NEW BEST:: SOT 31886 SOS 16328 HAS SOPS 16328 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6931.328
AT ITER 5819 NEW BEST:: SOT 31904 SOS 16361 HAS SOPS 16361 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6925.361
AT ITER 5893 NEW BEST:: SOT 31903 SOS 16368 HAS SOPS 16368 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6923.368
AT ITER 5955 NEW BEST:: SOT 31902 SOS 16368 HAS SOPS 16368 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6922.368
AT ITER 6012 NEW BEST:: SOT 31890 SOS 16356 HAS SOPS 16356 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6916.356
AT ITER 6040 NEW BEST:: SOT 31888 SOS 16354 HAS SOPS 16354 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6912.354
AT ITER 6042 NEW BEST:: SOT 31886 SOS 16352 HAS SOPS 16352 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6908.352
AT ITER 6100 NEW BEST:: SOT 31869 SOS 16336 HAS SOPS 16336 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6900.336
AT ITER 6186 NEW BEST:: SOT 31873 SOS 16332 HAS SOPS 16332 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6896.332
AT ITER 6203 NEW BEST:: SOT 31871 SOS 16328 HAS SOPS 16328 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6893.328
AT ITER 6205 NEW BEST:: SOT 31877 SOS 16335 HAS SOPS 16335 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6891.335
AT ITER 6383 NEW BEST:: SOT 31881 SOS 16339 HAS SOPS 16339 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6886.339
AT ITER 6473 NEW BEST:: SOT 31876 SOS 16344 HAS SOPS 16344 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6880.344
AT ITER 6543 NEW BEST:: SOT 31946 SOS 16423 HAS SOPS 16423 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6875.423
AT ITER 6809 NEW BEST:: SOT 31847 SOS 16324 HAS SOPS 16324 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6875.324
AT ITER 6851 NEW BEST:: SOT 31846 SOS 16319 HAS SOPS 16319 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6870.319
AT ITER 6912 NEW BEST:: SOT 31846 SOS 16316 HAS SOPS 16316 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6870.316
AT ITER 6989 NEW BEST:: SOT 31850 SOS 16320 HAS SOPS 16320 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6868.32
AT ITER 7001 NEW BEST:: SOT 31845 SOS 16315 HAS SOPS 16315 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6863.315
AT ITER 7014 NEW BEST:: SOT 31844 SOS 16314 HAS SOPS 16314 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6861.314
AT ITER 7043 NEW BEST:: SOT 31841 SOS 16311 HAS SOPS 16311 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6856.311
AT ITER 7071 NEW BEST:: SOT 31832 SOS 16291 HAS SOPS 16291 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6852.291
AT ITER 7155 NEW BEST:: SOT 31829 SOS 16286 HAS SOPS 16286 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6851.286
AT ITER 7220 NEW BEST:: SOT 31850 SOS 16283 HAS SOPS 16283 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6851.283
AT ITER 7292 NEW BEST:: SOT 31850 SOS 16280 HAS SOPS 16280 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6851.28
AT ITER 7298 NEW BEST:: SOT 31843 SOS 16273 HAS SOPS 16273 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6837.273
AT ITER 7364 NEW BEST:: SOT 31836 SOS 16241 HAS SOPS 16241 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6825.241
AT ITER 7395 NEW BEST:: SOT 31867 SOS 16272 HAS SOPS 16272 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6824.272
AT ITER 7485 NEW BEST:: SOT 31866 SOS 16271 HAS SOPS 16271 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6822.271
AT ITER 7620 NEW BEST:: SOT 31880 SOS 16224 HAS SOPS 16224 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6822.224
AT ITER 7759 NEW BEST:: SOT 31879 SOS 16234 HAS SOPS 16234 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6820.234
AT ITER 7780 NEW BEST:: SOT 31878 SOS 16232 HAS SOPS 16232 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6818.232
AT ITER 7916 NEW BEST:: SOT 31878 SOS 16222 HAS SOPS 16222 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6817.222
AT ITER 7974 NEW BEST:: SOT 31878 SOS 16180 HAS SOPS 16180 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6817.18
AT ITER 7986 NEW BEST:: SOT 31876 SOS 16178 HAS SOPS 16178 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6817.178
AT ITER 7991 NEW BEST:: SOT 31876 SOS 16175 HAS SOPS 16175 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6817.175
AT ITER 8070 NEW BEST:: SOT 31930 SOS 16233 HAS SOPS 16233 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6809.233
AT ITER 8309 NEW BEST:: SOT 31933 SOS 16239 HAS SOPS 16239 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6804.239
AT ITER 8387 NEW BEST:: SOT 31927 SOS 16227 HAS SOPS 16227 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6801.227
AT ITER 8389 NEW BEST:: SOT 31925 SOS 16225 HAS SOPS 16225 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6799.225
AT ITER 8533 NEW BEST:: SOT 31904 SOS 16204 HAS SOPS 16204 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6796.204
AT ITER 8635 NEW BEST:: SOT 31901 SOS 16203 HAS SOPS 16203 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6792.203
AT ITER 8953 NEW BEST:: SOT 31901 SOS 16195 HAS SOPS 16195 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6792.195
AT ITER 9093 NEW BEST:: SOT 31901 SOS 16188 HAS SOPS 16188 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6785.188
AT ITER 9145 NEW BEST:: SOT 31898 SOS 16185 HAS SOPS 16185 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6783.185
AT ITER 9295 NEW BEST:: SOT 31898 SOS 16182 HAS SOPS 16182 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6783.182
AT ITER 9371 NEW BEST:: SOT 31898 SOS 16167 HAS SOPS 16167 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6783.167
AT ITER 9385 NEW BEST:: SOT 31896 SOS 16135 HAS SOPS 16135 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6781.135
AT ITER 9593 NEW BEST:: SOT 31896 SOS 16142 HAS SOPS 16142 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6780.142
AT ITER 9692 NEW BEST:: SOT 31895 SOS 16140 HAS SOPS 16140 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6778.14
AT ITER 9735 NEW BEST:: SOT 31894 SOS 16138 HAS SOPS 16138 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6777.138
STATE_SPACE STATES 689901 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2784245 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679873546879

--------------------
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="Anderson-PT-05"
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 Anderson-PT-05, 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 r515-tall-167987241900016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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