Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900264.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-20a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 27 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 08:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 57K Mar 24 05:37 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 1589106599142

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 195 places, 152 transitions, 742 arcs.
AT ITER 0 NEW BEST:: SOT 23474 SOS 20065 HAS SOPS 20065 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12889.065
AT ITER 2 NEW BEST:: SOT 23474 SOS 20065 HAS SOPS 20065 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12888.065
AT ITER 3 NEW BEST:: SOT 23474 SOS 20011 HAS SOPS 20011 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12888.011
AT ITER 12 NEW BEST:: SOT 23474 SOS 20010 HAS SOPS 20010 HAS SOUS 12867 HAS SOUPS 12867 WITH SCORE 12887.01
AT ITER 15 NEW BEST:: SOT 22663 SOS 19237 HAS SOPS 19237 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12113.237
AT ITER 17 NEW BEST:: SOT 22667 SOS 19234 HAS SOPS 19234 HAS SOUS 12091 HAS SOUPS 12091 WITH SCORE 12110.234
AT ITER 19 NEW BEST:: SOT 22664 SOS 19231 HAS SOPS 19231 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12107.231
AT ITER 30 NEW BEST:: SOT 22654 SOS 19221 HAS SOPS 19221 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12091.221
AT ITER 39 NEW BEST:: SOT 20621 SOS 17263 HAS SOPS 17263 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10147.263
AT ITER 48 NEW BEST:: SOT 20619 SOS 17252 HAS SOPS 17252 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10136.252
AT ITER 49 NEW BEST:: SOT 20614 SOS 17247 HAS SOPS 17247 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10131.247
AT ITER 61 NEW BEST:: SOT 20274 SOS 16907 HAS SOPS 16907 HAS SOUS 9757 HAS SOUPS 9757 WITH SCORE 9773.907
AT ITER 72 NEW BEST:: SOT 19031 SOS 15687 HAS SOPS 15687 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8530.687
AT ITER 81 NEW BEST:: SOT 19031 SOS 15686 HAS SOPS 15686 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8529.686
AT ITER 87 NEW BEST:: SOT 19031 SOS 15685 HAS SOPS 15685 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8528.685
AT ITER 93 NEW BEST:: SOT 18488 SOS 15142 HAS SOPS 15142 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7984.142
AT ITER 95 NEW BEST:: SOT 18488 SOS 13558 HAS SOPS 13558 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7900.558
AT ITER 98 NEW BEST:: SOT 18484 SOS 13554 HAS SOPS 13554 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7896.554
AT ITER 99 NEW BEST:: SOT 18467 SOS 13536 HAS SOPS 13536 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7878.536
AT ITER 109 NEW BEST:: SOT 18467 SOS 13533 HAS SOPS 13533 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7875.533
AT ITER 122 NEW BEST:: SOT 18463 SOS 13529 HAS SOPS 13529 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7865.529
AT ITER 130 NEW BEST:: SOT 18425 SOS 13491 HAS SOPS 13491 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7827.491
AT ITER 131 NEW BEST:: SOT 18418 SOS 13475 HAS SOPS 13475 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7811.475
AT ITER 133 NEW BEST:: SOT 18418 SOS 13475 HAS SOPS 13475 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7782.475
AT ITER 150 NEW BEST:: SOT 18412 SOS 13474 HAS SOPS 13474 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7781.474
AT ITER 169 NEW BEST:: SOT 18412 SOS 13457 HAS SOPS 13457 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7764.457
AT ITER 179 NEW BEST:: SOT 18048 SOS 14003 HAS SOPS 14003 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7355.003
AT ITER 189 NEW BEST:: SOT 18033 SOS 13988 HAS SOPS 13988 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7342.988
AT ITER 195 NEW BEST:: SOT 18039 SOS 13984 HAS SOPS 13984 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7338.984
AT ITER 201 NEW BEST:: SOT 18038 SOS 13983 HAS SOPS 13983 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7336.983
AT ITER 203 NEW BEST:: SOT 18039 SOS 13955 HAS SOPS 13955 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7329.955
AT ITER 208 NEW BEST:: SOT 18036 SOS 13952 HAS SOPS 13952 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7326.952
AT ITER 238 NEW BEST:: SOT 18002 SOS 13916 HAS SOPS 13916 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7290.916
AT ITER 256 NEW BEST:: SOT 17994 SOS 13904 HAS SOPS 13904 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7278.904
AT ITER 285 NEW BEST:: SOT 17953 SOS 13858 HAS SOPS 13858 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7232.858
AT ITER 288 NEW BEST:: SOT 17977 SOS 13737 HAS SOPS 13737 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7104.737
AT ITER 306 NEW BEST:: SOT 18034 SOS 13706 HAS SOPS 13706 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7080.706
AT ITER 307 NEW BEST:: SOT 17958 SOS 13526 HAS SOPS 13526 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7043.526
AT ITER 310 NEW BEST:: SOT 17958 SOS 13526 HAS SOPS 13526 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7040.526
AT ITER 314 NEW BEST:: SOT 17903 SOS 13436 HAS SOPS 13436 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6965.436
AT ITER 343 NEW BEST:: SOT 17903 SOS 13430 HAS SOPS 13430 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6965.43
AT ITER 349 NEW BEST:: SOT 17900 SOS 13427 HAS SOPS 13427 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6962.427
AT ITER 376 NEW BEST:: SOT 17878 SOS 13396 HAS SOPS 13396 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6931.396
AT ITER 405 NEW BEST:: SOT 17877 SOS 13395 HAS SOPS 13395 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6929.395
AT ITER 414 NEW BEST:: SOT 17773 SOS 13304 HAS SOPS 13304 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6830.304
AT ITER 416 NEW BEST:: SOT 17774 SOS 13269 HAS SOPS 13269 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6795.269
AT ITER 431 NEW BEST:: SOT 17774 SOS 13268 HAS SOPS 13268 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6794.268
AT ITER 434 NEW BEST:: SOT 17746 SOS 13205 HAS SOPS 13205 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6731.205
AT ITER 464 NEW BEST:: SOT 17737 SOS 13143 HAS SOPS 13143 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6675.143
AT ITER 493 NEW BEST:: SOT 17844 SOS 13322 HAS SOPS 13322 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6640.322
AT ITER 495 NEW BEST:: SOT 17828 SOS 13305 HAS SOPS 13305 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6632.305
AT ITER 519 NEW BEST:: SOT 17672 SOS 13148 HAS SOPS 13148 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6571.148
AT ITER 536 NEW BEST:: SOT 17652 SOS 13128 HAS SOPS 13128 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6535.128
AT ITER 539 NEW BEST:: SOT 17609 SOS 13001 HAS SOPS 13001 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6531.001
AT ITER 556 NEW BEST:: SOT 17583 SOS 12965 HAS SOPS 12965 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6494.965
AT ITER 559 NEW BEST:: SOT 17558 SOS 12940 HAS SOPS 12940 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6458.94
AT ITER 585 NEW BEST:: SOT 17540 SOS 12921 HAS SOPS 12921 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6457.921
AT ITER 601 NEW BEST:: SOT 17538 SOS 12916 HAS SOPS 12916 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6452.916
AT ITER 654 NEW BEST:: SOT 17530 SOS 12901 HAS SOPS 12901 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6437.901
AT ITER 659 NEW BEST:: SOT 17529 SOS 12900 HAS SOPS 12900 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6436.9
AT ITER 667 NEW BEST:: SOT 17530 SOS 12901 HAS SOPS 12901 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6435.901
AT ITER 680 NEW BEST:: SOT 17515 SOS 12886 HAS SOPS 12886 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6420.886
AT ITER 682 NEW BEST:: SOT 17488 SOS 12886 HAS SOPS 12886 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6409.886
AT ITER 683 NEW BEST:: SOT 17477 SOS 12875 HAS SOPS 12875 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6336.875
AT ITER 685 NEW BEST:: SOT 17403 SOS 12801 HAS SOPS 12801 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6326.801
AT ITER 692 NEW BEST:: SOT 17397 SOS 12773 HAS SOPS 12773 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6320.773
AT ITER 696 NEW BEST:: SOT 17397 SOS 12768 HAS SOPS 12768 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6315.768
AT ITER 699 NEW BEST:: SOT 17381 SOS 12752 HAS SOPS 12752 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6290.752
AT ITER 703 NEW BEST:: SOT 17391 SOS 12762 HAS SOPS 12762 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6280.762
AT ITER 713 NEW BEST:: SOT 17286 SOS 12656 HAS SOPS 12656 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6198.656
AT ITER 718 NEW BEST:: SOT 17294 SOS 12664 HAS SOPS 12664 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6197.664
AT ITER 723 NEW BEST:: SOT 17218 SOS 12588 HAS SOPS 12588 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6182.588
AT ITER 727 NEW BEST:: SOT 17188 SOS 12558 HAS SOPS 12558 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6172.558
AT ITER 747 NEW BEST:: SOT 17181 SOS 12551 HAS SOPS 12551 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6165.551
AT ITER 749 NEW BEST:: SOT 17174 SOS 12561 HAS SOPS 12561 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6136.561
AT ITER 753 NEW BEST:: SOT 17173 SOS 12560 HAS SOPS 12560 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6134.56
AT ITER 762 NEW BEST:: SOT 17159 SOS 12549 HAS SOPS 12549 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6130.549
AT ITER 769 NEW BEST:: SOT 17131 SOS 12521 HAS SOPS 12521 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6102.521
AT ITER 800 NEW BEST:: SOT 17124 SOS 12514 HAS SOPS 12514 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6095.514
AT ITER 811 NEW BEST:: SOT 17133 SOS 12180 HAS SOPS 12180 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5933.18
AT ITER 834 NEW BEST:: SOT 17091 SOS 12126 HAS SOPS 12126 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5879.126
AT ITER 836 NEW BEST:: SOT 17072 SOS 12109 HAS SOPS 12109 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5862.109
AT ITER 842 NEW BEST:: SOT 17048 SOS 12041 HAS SOPS 12041 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5847.041
AT ITER 875 NEW BEST:: SOT 17041 SOS 12031 HAS SOPS 12031 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5837.031
AT ITER 879 NEW BEST:: SOT 17000 SOS 11990 HAS SOPS 11990 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5814.99
AT ITER 881 NEW BEST:: SOT 17000 SOS 11972 HAS SOPS 11972 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5796.972
AT ITER 896 NEW BEST:: SOT 17000 SOS 11967 HAS SOPS 11967 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5795.967
AT ITER 915 NEW BEST:: SOT 16896 SOS 11899 HAS SOPS 11899 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5727.899
AT ITER 917 NEW BEST:: SOT 16833 SOS 11836 HAS SOPS 11836 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5706.836
AT ITER 919 NEW BEST:: SOT 16872 SOS 11865 HAS SOPS 11865 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5655.865
AT ITER 937 NEW BEST:: SOT 16869 SOS 11862 HAS SOPS 11862 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5652.862
AT ITER 939 NEW BEST:: SOT 16869 SOS 11847 HAS SOPS 11847 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5637.847
AT ITER 953 NEW BEST:: SOT 16848 SOS 11812 HAS SOPS 11812 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5602.812
AT ITER 958 NEW BEST:: SOT 16812 SOS 11764 HAS SOPS 11764 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5566.764
AT ITER 971 NEW BEST:: SOT 16808 SOS 11760 HAS SOPS 11760 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5562.76
AT ITER 975 NEW BEST:: SOT 16787 SOS 11899 HAS SOPS 11899 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5549.899
AT ITER 983 NEW BEST:: SOT 16787 SOS 11889 HAS SOPS 11889 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5547.889
AT ITER 991 NEW BEST:: SOT 16777 SOS 11879 HAS SOPS 11879 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5542.879
AT ITER 998 NEW BEST:: SOT 16773 SOS 11874 HAS SOPS 11874 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5541.874
AT ITER 1005 NEW BEST:: SOT 16779 SOS 12134 HAS SOPS 12134 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5529.134
AT ITER 1019 NEW BEST:: SOT 16684 SOS 12039 HAS SOPS 12039 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5510.039
AT ITER 1021 NEW BEST:: SOT 16672 SOS 12027 HAS SOPS 12027 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5506.027
AT ITER 1027 NEW BEST:: SOT 16672 SOS 12006 HAS SOPS 12006 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5485.006
AT ITER 1031 NEW BEST:: SOT 16669 SOS 12003 HAS SOPS 12003 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5482.003
AT ITER 1043 NEW BEST:: SOT 16669 SOS 12000 HAS SOPS 12000 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5479.0
AT ITER 1048 NEW BEST:: SOT 16669 SOS 11764 HAS SOPS 11764 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5473.764
AT ITER 1053 NEW BEST:: SOT 16659 SOS 11754 HAS SOPS 11754 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5463.754
AT ITER 1057 NEW BEST:: SOT 16659 SOS 11728 HAS SOPS 11728 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5437.728
AT ITER 1072 NEW BEST:: SOT 16641 SOS 11704 HAS SOPS 11704 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5419.704
AT ITER 1078 NEW BEST:: SOT 16595 SOS 11658 HAS SOPS 11658 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5373.658
AT ITER 1101 NEW BEST:: SOT 16642 SOS 11706 HAS SOPS 11706 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5252.706
AT ITER 1109 NEW BEST:: SOT 16597 SOS 11661 HAS SOPS 11661 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5206.661
AT ITER 1117 NEW BEST:: SOT 16482 SOS 11546 HAS SOPS 11546 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5092.546
AT ITER 1139 NEW BEST:: SOT 16472 SOS 11534 HAS SOPS 11534 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5088.534
AT ITER 1160 NEW BEST:: SOT 16472 SOS 11533 HAS SOPS 11533 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5087.533
AT ITER 1181 NEW BEST:: SOT 16456 SOS 11517 HAS SOPS 11517 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5087.517
AT ITER 1189 NEW BEST:: SOT 16414 SOS 11221 HAS SOPS 11221 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5063.221
AT ITER 1198 NEW BEST:: SOT 16413 SOS 11220 HAS SOPS 11220 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5061.22
AT ITER 1224 NEW BEST:: SOT 16443 SOS 11250 HAS SOPS 11250 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5055.25
AT ITER 1260 NEW BEST:: SOT 16433 SOS 11229 HAS SOPS 11229 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5046.229
AT ITER 1378 NEW BEST:: SOT 16425 SOS 11215 HAS SOPS 11215 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5038.215
AT ITER 1385 NEW BEST:: SOT 16419 SOS 11173 HAS SOPS 11173 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5034.173
AT ITER 1387 NEW BEST:: SOT 16417 SOS 11167 HAS SOPS 11167 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5030.167
AT ITER 1389 NEW BEST:: SOT 16416 SOS 11166 HAS SOPS 11166 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5028.166
AT ITER 1394 NEW BEST:: SOT 15992 SOS 10742 HAS SOPS 10742 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5027.742
AT ITER 1403 NEW BEST:: SOT 15987 SOS 10737 HAS SOPS 10737 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5022.737
AT ITER 1404 NEW BEST:: SOT 15898 SOS 10621 HAS SOPS 10621 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4906.621
AT ITER 1454 NEW BEST:: SOT 15875 SOS 10537 HAS SOPS 10537 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4863.537
AT ITER 1459 NEW BEST:: SOT 15891 SOS 10522 HAS SOPS 10522 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4848.522
AT ITER 1489 NEW BEST:: SOT 15891 SOS 10554 HAS SOPS 10554 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4841.554
AT ITER 1495 NEW BEST:: SOT 15880 SOS 10543 HAS SOPS 10543 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4830.543
AT ITER 1502 NEW BEST:: SOT 15840 SOS 10512 HAS SOPS 10512 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4809.512
AT ITER 1505 NEW BEST:: SOT 15840 SOS 10496 HAS SOPS 10496 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4793.496
AT ITER 1575 NEW BEST:: SOT 15839 SOS 10495 HAS SOPS 10495 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4792.495
AT ITER 1580 NEW BEST:: SOT 15833 SOS 10489 HAS SOPS 10489 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4780.489
AT ITER 1635 NEW BEST:: SOT 15835 SOS 10473 HAS SOPS 10473 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4762.473
AT ITER 1677 NEW BEST:: SOT 15833 SOS 10471 HAS SOPS 10471 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4758.471
AT ITER 1740 NEW BEST:: SOT 15803 SOS 10441 HAS SOPS 10441 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4750.441
AT ITER 1766 NEW BEST:: SOT 15780 SOS 10418 HAS SOPS 10418 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4739.418
AT ITER 1769 NEW BEST:: SOT 15745 SOS 9694 HAS SOPS 9694 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4706.694
AT ITER 1786 NEW BEST:: SOT 15732 SOS 9681 HAS SOPS 9681 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4693.681
AT ITER 1790 NEW BEST:: SOT 15724 SOS 9677 HAS SOPS 9677 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4689.677
AT ITER 1798 NEW BEST:: SOT 15724 SOS 9654 HAS SOPS 9654 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4682.654
AT ITER 1804 NEW BEST:: SOT 15632 SOS 9562 HAS SOPS 9562 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4668.562
AT ITER 1806 NEW BEST:: SOT 15623 SOS 9553 HAS SOPS 9553 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4631.553
AT ITER 1807 NEW BEST:: SOT 15606 SOS 9539 HAS SOPS 9539 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4617.539
AT ITER 1808 NEW BEST:: SOT 15604 SOS 9537 HAS SOPS 9537 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4611.537
AT ITER 1822 NEW BEST:: SOT 15600 SOS 9506 HAS SOPS 9506 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4580.506
AT ITER 1831 NEW BEST:: SOT 15543 SOS 9438 HAS SOPS 9438 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4512.438
AT ITER 1839 NEW BEST:: SOT 15543 SOS 9415 HAS SOPS 9415 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4505.415
AT ITER 1845 NEW BEST:: SOT 15514 SOS 8966 HAS SOPS 8966 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4467.966
AT ITER 1880 NEW BEST:: SOT 15514 SOS 8963 HAS SOPS 8963 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4464.963
AT ITER 1886 NEW BEST:: SOT 15499 SOS 8942 HAS SOPS 8942 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4448.942
AT ITER 1910 NEW BEST:: SOT 15485 SOS 8928 HAS SOPS 8928 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4446.928
AT ITER 1913 NEW BEST:: SOT 15485 SOS 8920 HAS SOPS 8920 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4442.92
AT ITER 1919 NEW BEST:: SOT 15485 SOS 8909 HAS SOPS 8909 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4442.909
AT ITER 1920 NEW BEST:: SOT 15467 SOS 8890 HAS SOPS 8890 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4429.89
AT ITER 1923 NEW BEST:: SOT 15463 SOS 8882 HAS SOPS 8882 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4421.882
AT ITER 1954 NEW BEST:: SOT 15463 SOS 8880 HAS SOPS 8880 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4419.88
AT ITER 1960 NEW BEST:: SOT 15407 SOS 8669 HAS SOPS 8669 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4340.669
AT ITER 2006 NEW BEST:: SOT 15421 SOS 8607 HAS SOPS 8607 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4331.607
AT ITER 2026 NEW BEST:: SOT 15356 SOS 8529 HAS SOPS 8529 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4318.529
AT ITER 2066 NEW BEST:: SOT 15371 SOS 8544 HAS SOPS 8544 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4296.544
AT ITER 2074 NEW BEST:: SOT 15367 SOS 8539 HAS SOPS 8539 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4291.539
AT ITER 2087 NEW BEST:: SOT 15359 SOS 8535 HAS SOPS 8535 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4283.535
AT ITER 2088 NEW BEST:: SOT 15361 SOS 8545 HAS SOPS 8545 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4282.545
AT ITER 2120 NEW BEST:: SOT 15358 SOS 8536 HAS SOPS 8536 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4273.536
AT ITER 2126 NEW BEST:: SOT 15367 SOS 8527 HAS SOPS 8527 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4264.527
AT ITER 2158 NEW BEST:: SOT 15366 SOS 8526 HAS SOPS 8526 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4263.526
AT ITER 2185 NEW BEST:: SOT 15360 SOS 8520 HAS SOPS 8520 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4257.52
AT ITER 2228 NEW BEST:: SOT 15358 SOS 8080 HAS SOPS 8080 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4235.08
AT ITER 2247 NEW BEST:: SOT 15357 SOS 8078 HAS SOPS 8078 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4234.078
AT ITER 2252 NEW BEST:: SOT 15356 SOS 8077 HAS SOPS 8077 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4232.077
AT ITER 2256 NEW BEST:: SOT 15364 SOS 8085 HAS SOPS 8085 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4222.085
AT ITER 2302 NEW BEST:: SOT 15360 SOS 8083 HAS SOPS 8083 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4220.083
AT ITER 2350 NEW BEST:: SOT 15358 SOS 8079 HAS SOPS 8079 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4216.079
AT ITER 2404 NEW BEST:: SOT 15335 SOS 8052 HAS SOPS 8052 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4194.052
AT ITER 2422 NEW BEST:: SOT 15337 SOS 8054 HAS SOPS 8054 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4180.054
AT ITER 2426 NEW BEST:: SOT 15462 SOS 8212 HAS SOPS 8212 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4173.212
AT ITER 2509 NEW BEST:: SOT 15462 SOS 8210 HAS SOPS 8210 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4171.21
AT ITER 2512 NEW BEST:: SOT 15467 SOS 8215 HAS SOPS 8215 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4165.215
AT ITER 2515 NEW BEST:: SOT 15465 SOS 8211 HAS SOPS 8211 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4161.211
AT ITER 2546 NEW BEST:: SOT 15460 SOS 8158 HAS SOPS 8158 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4151.158
AT ITER 2580 NEW BEST:: SOT 15457 SOS 8155 HAS SOPS 8155 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4151.155
AT ITER 2604 NEW BEST:: SOT 15459 SOS 8157 HAS SOPS 8157 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4140.157
AT ITER 2606 NEW BEST:: SOT 15448 SOS 8146 HAS SOPS 8146 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4129.146
AT ITER 2608 NEW BEST:: SOT 15466 SOS 8127 HAS SOPS 8127 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4110.127
AT ITER 2620 NEW BEST:: SOT 15464 SOS 8125 HAS SOPS 8125 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4108.125
AT ITER 2667 NEW BEST:: SOT 15462 SOS 8121 HAS SOPS 8121 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4104.121
AT ITER 2670 NEW BEST:: SOT 15458 SOS 8117 HAS SOPS 8117 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4100.117
AT ITER 2695 NEW BEST:: SOT 15452 SOS 8103 HAS SOPS 8103 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4088.103
AT ITER 2696 NEW BEST:: SOT 15495 SOS 8144 HAS SOPS 8144 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4086.144
AT ITER 2699 NEW BEST:: SOT 15473 SOS 8084 HAS SOPS 8084 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4064.084
AT ITER 2735 NEW BEST:: SOT 15472 SOS 8083 HAS SOPS 8083 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4062.083
AT ITER 2760 NEW BEST:: SOT 15453 SOS 8038 HAS SOPS 8038 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4050.038
AT ITER 2766 NEW BEST:: SOT 15453 SOS 8038 HAS SOPS 8038 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4037.038
AT ITER 2782 NEW BEST:: SOT 15413 SOS 7998 HAS SOPS 7998 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4034.998
AT ITER 2828 NEW BEST:: SOT 15424 SOS 8011 HAS SOPS 8011 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4018.011
AT ITER 2829 NEW BEST:: SOT 15423 SOS 8010 HAS SOPS 8010 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4016.01
AT ITER 2837 NEW BEST:: SOT 15421 SOS 8001 HAS SOPS 8001 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4015.001
AT ITER 2863 NEW BEST:: SOT 15421 SOS 8001 HAS SOPS 8001 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4014.001
AT ITER 2878 NEW BEST:: SOT 15399 SOS 7945 HAS SOPS 7945 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3970.945
AT ITER 2901 NEW BEST:: SOT 15398 SOS 7944 HAS SOPS 7944 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3969.944
AT ITER 2959 NEW BEST:: SOT 15397 SOS 7943 HAS SOPS 7943 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3967.943
AT ITER 2968 NEW BEST:: SOT 15378 SOS 7935 HAS SOPS 7935 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3967.935
AT ITER 2970 NEW BEST:: SOT 15378 SOS 7936 HAS SOPS 7936 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3966.936
AT ITER 3049 NEW BEST:: SOT 15378 SOS 7934 HAS SOPS 7934 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3966.934
AT ITER 3120 NEW BEST:: SOT 15378 SOS 7930 HAS SOPS 7930 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.93
AT ITER 3184 NEW BEST:: SOT 15382 SOS 7928 HAS SOPS 7928 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3956.928
AT ITER 3190 NEW BEST:: SOT 15386 SOS 7932 HAS SOPS 7932 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3952.932
AT ITER 3197 NEW BEST:: SOT 15382 SOS 7928 HAS SOPS 7928 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3948.928
AT ITER 3267 NEW BEST:: SOT 15374 SOS 7920 HAS SOPS 7920 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3932.92
AT ITER 3316 NEW BEST:: SOT 15380 SOS 7944 HAS SOPS 7944 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3906.944
AT ITER 3317 NEW BEST:: SOT 15368 SOS 7932 HAS SOPS 7932 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3894.932
AT ITER 3321 NEW BEST:: SOT 15361 SOS 7927 HAS SOPS 7927 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3889.927
AT ITER 3324 NEW BEST:: SOT 15349 SOS 7879 HAS SOPS 7879 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3865.879
AT ITER 3337 NEW BEST:: SOT 15345 SOS 7871 HAS SOPS 7871 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3857.871
AT ITER 3344 NEW BEST:: SOT 15340 SOS 7866 HAS SOPS 7866 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3847.866
AT ITER 3366 NEW BEST:: SOT 15336 SOS 7862 HAS SOPS 7862 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3839.862
AT ITER 3372 NEW BEST:: SOT 15302 SOS 7826 HAS SOPS 7826 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3803.826
AT ITER 3375 NEW BEST:: SOT 15254 SOS 7810 HAS SOPS 7810 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3725.81
AT ITER 3391 NEW BEST:: SOT 15254 SOS 7817 HAS SOPS 7817 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3723.817
AT ITER 3404 NEW BEST:: SOT 15253 SOS 7814 HAS SOPS 7814 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3720.814
AT ITER 3413 NEW BEST:: SOT 15251 SOS 7812 HAS SOPS 7812 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3718.812
AT ITER 3426 NEW BEST:: SOT 15234 SOS 7795 HAS SOPS 7795 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3701.795
AT ITER 3435 NEW BEST:: SOT 15133 SOS 7694 HAS SOPS 7694 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3683.694
AT ITER 3458 NEW BEST:: SOT 15039 SOS 7583 HAS SOPS 7583 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3650.583
AT ITER 3467 NEW BEST:: SOT 15052 SOS 7536 HAS SOPS 7536 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3643.536
AT ITER 3546 NEW BEST:: SOT 15050 SOS 7530 HAS SOPS 7530 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3639.53
AT ITER 3560 NEW BEST:: SOT 15033 SOS 7500 HAS SOPS 7500 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3609.5
AT ITER 3572 NEW BEST:: SOT 15033 SOS 7495 HAS SOPS 7495 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3604.495
AT ITER 3599 NEW BEST:: SOT 15000 SOS 7462 HAS SOPS 7462 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3571.462
AT ITER 3609 NEW BEST:: SOT 14994 SOS 7455 HAS SOPS 7455 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3564.455
AT ITER 3624 NEW BEST:: SOT 14971 SOS 7366 HAS SOPS 7366 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3540.366
AT ITER 3647 NEW BEST:: SOT 14966 SOS 7351 HAS SOPS 7351 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3525.351
AT ITER 3666 NEW BEST:: SOT 14959 SOS 7330 HAS SOPS 7330 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3525.33
AT ITER 3697 NEW BEST:: SOT 14958 SOS 7329 HAS SOPS 7329 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3524.329
AT ITER 3719 NEW BEST:: SOT 14951 SOS 7322 HAS SOPS 7322 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3510.322
AT ITER 3723 NEW BEST:: SOT 14939 SOS 7319 HAS SOPS 7319 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3507.319
AT ITER 3733 NEW BEST:: SOT 14937 SOS 7322 HAS SOPS 7322 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3502.322
AT ITER 3738 NEW BEST:: SOT 14921 SOS 7306 HAS SOPS 7306 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3494.306
AT ITER 3750 NEW BEST:: SOT 14931 SOS 7270 HAS SOPS 7270 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3458.27
AT ITER 3800 NEW BEST:: SOT 14931 SOS 7270 HAS SOPS 7270 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3455.27
AT ITER 3821 NEW BEST:: SOT 14924 SOS 7250 HAS SOPS 7250 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3435.25
AT ITER 3842 NEW BEST:: SOT 14922 SOS 7248 HAS SOPS 7248 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3433.248
AT ITER 3855 NEW BEST:: SOT 14922 SOS 7245 HAS SOPS 7245 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3432.245
AT ITER 3870 NEW BEST:: SOT 14922 SOS 7242 HAS SOPS 7242 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3429.242
AT ITER 3875 NEW BEST:: SOT 14917 SOS 7257 HAS SOPS 7257 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3425.257
AT ITER 3881 NEW BEST:: SOT 14909 SOS 7255 HAS SOPS 7255 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3425.255
AT ITER 3992 NEW BEST:: SOT 14905 SOS 7248 HAS SOPS 7248 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3420.248
AT ITER 4026 NEW BEST:: SOT 14900 SOS 7237 HAS SOPS 7237 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.237
AT ITER 4101 NEW BEST:: SOT 14900 SOS 7237 HAS SOPS 7237 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3414.237
AT ITER 4113 NEW BEST:: SOT 14899 SOS 7232 HAS SOPS 7232 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3409.232
AT ITER 4137 NEW BEST:: SOT 14899 SOS 7226 HAS SOPS 7226 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3403.226
AT ITER 4174 NEW BEST:: SOT 14897 SOS 7220 HAS SOPS 7220 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3397.22
AT ITER 4176 NEW BEST:: SOT 14896 SOS 7219 HAS SOPS 7219 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3396.219
AT ITER 4189 NEW BEST:: SOT 14898 SOS 7221 HAS SOPS 7221 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3386.221
AT ITER 4205 NEW BEST:: SOT 14897 SOS 7220 HAS SOPS 7220 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3385.22
AT ITER 4264 NEW BEST:: SOT 14896 SOS 7217 HAS SOPS 7217 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3382.217
AT ITER 4271 NEW BEST:: SOT 14899 SOS 7212 HAS SOPS 7212 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3380.212
AT ITER 4276 NEW BEST:: SOT 14888 SOS 7191 HAS SOPS 7191 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3368.191
AT ITER 4284 NEW BEST:: SOT 14887 SOS 7176 HAS SOPS 7176 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3368.176
AT ITER 4295 NEW BEST:: SOT 14887 SOS 7138 HAS SOPS 7137 HAS SOUS 3361 HAS SOUPS 3360 WITH SCORE 3367.138
AT ITER 4334 NEW BEST:: SOT 14887 SOS 7137 HAS SOPS 7135 HAS SOUS 3361 HAS SOUPS 3359 WITH SCORE 3366.137
AT ITER 4388 NEW BEST:: SOT 14886 SOS 7136 HAS SOPS 7134 HAS SOUS 3359 HAS SOUPS 3357 WITH SCORE 3364.136
AT ITER 4424 NEW BEST:: SOT 14884 SOS 7130 HAS SOPS 7128 HAS SOUS 3355 HAS SOUPS 3353 WITH SCORE 3360.13
AT ITER 4433 NEW BEST:: SOT 14884 SOS 7118 HAS SOPS 7116 HAS SOUS 3343 HAS SOUPS 3341 WITH SCORE 3348.118
AT ITER 4434 NEW BEST:: SOT 14875 SOS 7310 HAS SOPS 7308 HAS SOUS 3339 HAS SOUPS 3337 WITH SCORE 3344.31
AT ITER 4440 NEW BEST:: SOT 14868 SOS 7298 HAS SOPS 7296 HAS SOUS 3334 HAS SOUPS 3332 WITH SCORE 3339.298
AT ITER 4512 NEW BEST:: SOT 14875 SOS 7329 HAS SOPS 7327 HAS SOUS 3330 HAS SOUPS 3328 WITH SCORE 3335.329
AT ITER 4514 NEW BEST:: SOT 14874 SOS 7328 HAS SOPS 7326 HAS SOUS 3330 HAS SOUPS 3328 WITH SCORE 3335.328
AT ITER 4587 NEW BEST:: SOT 14864 SOS 7318 HAS SOPS 7316 HAS SOUS 3320 HAS SOUPS 3318 WITH SCORE 3325.318
AT ITER 4631 NEW BEST:: SOT 14865 SOS 7308 HAS SOPS 7306 HAS SOUS 3318 HAS SOUPS 3316 WITH SCORE 3323.308
AT ITER 4650 NEW BEST:: SOT 14861 SOS 7304 HAS SOPS 7302 HAS SOUS 3314 HAS SOUPS 3312 WITH SCORE 3319.304
AT ITER 4709 NEW BEST:: SOT 14854 SOS 7288 HAS SOPS 7286 HAS SOUS 3291 HAS SOUPS 3289 WITH SCORE 3296.288
AT ITER 4772 NEW BEST:: SOT 14853 SOS 7268 HAS SOPS 7266 HAS SOUS 3290 HAS SOUPS 3288 WITH SCORE 3295.268
AT ITER 4795 NEW BEST:: SOT 14852 SOS 7267 HAS SOPS 7265 HAS SOUS 3288 HAS SOUPS 3286 WITH SCORE 3293.267
AT ITER 4814 NEW BEST:: SOT 14850 SOS 7265 HAS SOPS 7263 HAS SOUS 3286 HAS SOUPS 3284 WITH SCORE 3291.265
AT ITER 4821 NEW BEST:: SOT 14847 SOS 7253 HAS SOPS 7251 HAS SOUS 3286 HAS SOUPS 3284 WITH SCORE 3291.253
AT ITER 4874 NEW BEST:: SOT 14848 SOS 7269 HAS SOPS 7267 HAS SOUS 3283 HAS SOUPS 3281 WITH SCORE 3288.269
AT ITER 4933 NEW BEST:: SOT 14844 SOS 7264 HAS SOPS 7262 HAS SOUS 3278 HAS SOUPS 3276 WITH SCORE 3283.264
AT ITER 4983 NEW BEST:: SOT 14834 SOS 7252 HAS SOPS 7252 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3281.252
AT ITER 5061 NEW BEST:: SOT 14834 SOS 7231 HAS SOPS 7231 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3260.231
AT ITER 5083 NEW BEST:: SOT 14832 SOS 7229 HAS SOPS 7229 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3258.229
AT ITER 5181 NEW BEST:: SOT 14812 SOS 7195 HAS SOPS 7195 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3224.195
AT ITER 5182 NEW BEST:: SOT 14811 SOS 7194 HAS SOPS 7194 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3222.194
AT ITER 5236 NEW BEST:: SOT 14810 SOS 7192 HAS SOPS 7192 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3220.192
AT ITER 5259 NEW BEST:: SOT 14803 SOS 7183 HAS SOPS 7183 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3211.183
AT ITER 5275 NEW BEST:: SOT 14801 SOS 7181 HAS SOPS 7181 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3211.181
AT ITER 5327 NEW BEST:: SOT 14799 SOS 7179 HAS SOPS 7179 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3209.179
AT ITER 5371 NEW BEST:: SOT 14799 SOS 7158 HAS SOPS 7158 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3209.158
AT ITER 5407 NEW BEST:: SOT 14781 SOS 7140 HAS SOPS 7140 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3196.14
AT ITER 5442 NEW BEST:: SOT 14780 SOS 7137 HAS SOPS 7137 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3193.137
AT ITER 5454 NEW BEST:: SOT 14777 SOS 7134 HAS SOPS 7134 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3187.134
AT ITER 5482 NEW BEST:: SOT 14777 SOS 7133 HAS SOPS 7133 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3187.133
AT ITER 5509 NEW BEST:: SOT 14758 SOS 7074 HAS SOPS 7074 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3185.074
AT ITER 5533 NEW BEST:: SOT 14753 SOS 7069 HAS SOPS 7069 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3170.069
AT ITER 5557 NEW BEST:: SOT 14755 SOS 7067 HAS SOPS 7067 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3168.067
AT ITER 5622 NEW BEST:: SOT 14746 SOS 7034 HAS SOPS 7034 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3159.034
AT ITER 5649 NEW BEST:: SOT 14744 SOS 7032 HAS SOPS 7032 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3159.032
AT ITER 5690 NEW BEST:: SOT 14733 SOS 7021 HAS SOPS 7021 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3137.021
AT ITER 5692 NEW BEST:: SOT 14726 SOS 7014 HAS SOPS 7014 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3133.014
AT ITER 5731 NEW BEST:: SOT 14736 SOS 7024 HAS SOPS 7024 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3128.024
AT ITER 5807 NEW BEST:: SOT 14735 SOS 7023 HAS SOPS 7023 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3126.023
AT ITER 5816 NEW BEST:: SOT 14734 SOS 7021 HAS SOPS 7021 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3124.021
AT ITER 5846 NEW BEST:: SOT 14729 SOS 7003 HAS SOPS 7003 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3106.003
AT ITER 5887 NEW BEST:: SOT 14727 SOS 6996 HAS SOPS 6996 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3105.996
AT ITER 5889 NEW BEST:: SOT 14728 SOS 6995 HAS SOPS 6995 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3104.995
AT ITER 5904 NEW BEST:: SOT 14730 SOS 6997 HAS SOPS 6997 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.997
AT ITER 5977 NEW BEST:: SOT 14730 SOS 6988 HAS SOPS 6988 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.988
AT ITER 6014 NEW BEST:: SOT 14729 SOS 6987 HAS SOPS 6987 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3093.987
AT ITER 6031 NEW BEST:: SOT 14730 SOS 6988 HAS SOPS 6988 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3084.988
AT ITER 6043 NEW BEST:: SOT 14726 SOS 6964 HAS SOPS 6964 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3079.964
AT ITER 6064 NEW BEST:: SOT 14720 SOS 6925 HAS SOPS 6925 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.925
AT ITER 6121 NEW BEST:: SOT 14718 SOS 6923 HAS SOPS 6923 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.923
AT ITER 6129 NEW BEST:: SOT 14720 SOS 6919 HAS SOPS 6919 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.919
AT ITER 6161 NEW BEST:: SOT 14720 SOS 6919 HAS SOPS 6919 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.919
AT ITER 6178 NEW BEST:: SOT 14714 SOS 6913 HAS SOPS 6913 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.913
AT ITER 6217 NEW BEST:: SOT 14717 SOS 6901 HAS SOPS 6901 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.901
AT ITER 6254 NEW BEST:: SOT 14714 SOS 6898 HAS SOPS 6898 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3053.898
AT ITER 6425 NEW BEST:: SOT 14714 SOS 6897 HAS SOPS 6897 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3052.897
AT ITER 6431 NEW BEST:: SOT 14712 SOS 6893 HAS SOPS 6893 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3050.893
AT ITER 6527 NEW BEST:: SOT 14711 SOS 6892 HAS SOPS 6892 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3049.892
AT ITER 6557 NEW BEST:: SOT 14711 SOS 6891 HAS SOPS 6891 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3048.891
AT ITER 6570 NEW BEST:: SOT 14711 SOS 6886 HAS SOPS 6886 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3043.886
AT ITER 6574 NEW BEST:: SOT 14728 SOS 6899 HAS SOPS 6899 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.899
AT ITER 6587 NEW BEST:: SOT 14725 SOS 6896 HAS SOPS 6896 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.896
AT ITER 6619 NEW BEST:: SOT 14704 SOS 6860 HAS SOPS 6860 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3023.86
AT ITER 6632 NEW BEST:: SOT 14669 SOS 6808 HAS SOPS 6808 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2971.808
AT ITER 6662 NEW BEST:: SOT 14652 SOS 6758 HAS SOPS 6758 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2960.758
AT ITER 6734 NEW BEST:: SOT 14644 SOS 6746 HAS SOPS 6746 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2960.746
AT ITER 6766 NEW BEST:: SOT 14643 SOS 6745 HAS SOPS 6745 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2957.745
AT ITER 6833 NEW BEST:: SOT 14626 SOS 6734 HAS SOPS 6734 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2951.734
AT ITER 6969 NEW BEST:: SOT 14622 SOS 6733 HAS SOPS 6733 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2946.733
AT ITER 7112 NEW BEST:: SOT 14627 SOS 6721 HAS SOPS 6721 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2939.721
AT ITER 7244 NEW BEST:: SOT 14631 SOS 6714 HAS SOPS 6714 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2931.714
AT ITER 7245 NEW BEST:: SOT 14629 SOS 6710 HAS SOPS 6710 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2929.71
AT ITER 7369 NEW BEST:: SOT 14626 SOS 6714 HAS SOPS 6714 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2924.714
AT ITER 7482 NEW BEST:: SOT 14626 SOS 6876 HAS SOPS 6876 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2916.876
AT ITER 7492 NEW BEST:: SOT 14623 SOS 6870 HAS SOPS 6870 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2911.87
AT ITER 7517 NEW BEST:: SOT 14613 SOS 6863 HAS SOPS 6863 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2904.863
AT ITER 7553 NEW BEST:: SOT 14612 SOS 6862 HAS SOPS 6862 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2902.862
AT ITER 7627 NEW BEST:: SOT 14612 SOS 6862 HAS SOPS 6862 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2900.862
AT ITER 7689 NEW BEST:: SOT 14608 SOS 6859 HAS SOPS 6859 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2897.859
AT ITER 7728 NEW BEST:: SOT 14603 SOS 6855 HAS SOPS 6855 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2893.855
AT ITER 7765 NEW BEST:: SOT 14617 SOS 6867 HAS SOPS 6867 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2886.867
AT ITER 7781 NEW BEST:: SOT 14616 SOS 6866 HAS SOPS 6866 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2886.866
AT ITER 7785 NEW BEST:: SOT 14612 SOS 6859 HAS SOPS 6859 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2883.859
AT ITER 7806 NEW BEST:: SOT 14606 SOS 6847 HAS SOPS 6847 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2877.847
AT ITER 8156 NEW BEST:: SOT 14605 SOS 6844 HAS SOPS 6844 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2870.844
AT ITER 8195 NEW BEST:: SOT 14593 SOS 6832 HAS SOPS 6832 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2870.832
AT ITER 8250 NEW BEST:: SOT 14612 SOS 6843 HAS SOPS 6843 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2869.843
AT ITER 8424 NEW BEST:: SOT 14610 SOS 6839 HAS SOPS 6839 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2867.839
AT ITER 8517 NEW BEST:: SOT 14586 SOS 6815 HAS SOPS 6815 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2859.815
AT ITER 8748 NEW BEST:: SOT 14586 SOS 6682 HAS SOPS 6682 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2859.682
AT ITER 8868 NEW BEST:: SOT 14579 SOS 6668 HAS SOPS 6668 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2852.668
AT ITER 9082 NEW BEST:: SOT 14582 SOS 6678 HAS SOPS 6678 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2848.678
AT ITER 9130 NEW BEST:: SOT 14581 SOS 6677 HAS SOPS 6677 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2846.677
AT ITER 9170 NEW BEST:: SOT 14580 SOS 6676 HAS SOPS 6676 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2844.676
AT ITER 9253 NEW BEST:: SOT 14578 SOS 6674 HAS SOPS 6674 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2844.674
AT ITER 9434 NEW BEST:: SOT 14578 SOS 6672 HAS SOPS 6672 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2842.672
AT ITER 9439 NEW BEST:: SOT 14576 SOS 6670 HAS SOPS 6670 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2838.67
AT ITER 9440 NEW BEST:: SOT 14570 SOS 6659 HAS SOPS 6659 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.659
AT ITER 9442 NEW BEST:: SOT 14565 SOS 6654 HAS SOPS 6654 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2821.654
AT ITER 9448 NEW BEST:: SOT 14565 SOS 6654 HAS SOPS 6654 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2810.654
AT ITER 9456 NEW BEST:: SOT 14553 SOS 6642 HAS SOPS 6642 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2804.642
AT ITER 9543 NEW BEST:: SOT 14532 SOS 6531 HAS SOPS 6531 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2803.531
AT ITER 9617 NEW BEST:: SOT 14529 SOS 6528 HAS SOPS 6528 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2800.528
AT ITER 9629 NEW BEST:: SOT 14529 SOS 6527 HAS SOPS 6527 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2799.527
AT ITER 9690 NEW BEST:: SOT 14528 SOS 6526 HAS SOPS 6526 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2799.526
AT ITER 9696 NEW BEST:: SOT 14528 SOS 6526 HAS SOPS 6526 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2796.526
AT ITER 9738 NEW BEST:: SOT 14537 SOS 6533 HAS SOPS 6533 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2791.533
AT ITER 9758 NEW BEST:: SOT 14535 SOS 6531 HAS SOPS 6531 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2778.531
AT ITER 9774 NEW BEST:: SOT 14535 SOS 6352 HAS SOPS 6352 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2771.352
AT ITER 9780 NEW BEST:: SOT 14530 SOS 6342 HAS SOPS 6342 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2766.342
AT ITER 9886 NEW BEST:: SOT 14530 SOS 6341 HAS SOPS 6341 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2766.341
AT ITER 9948 NEW BEST:: SOT 14529 SOS 6338 HAS SOPS 6338 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2763.338
AT ITER 9980 NEW BEST:: SOT 14529 SOS 6328 HAS SOPS 6328 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2758.328
STATE_SPACE STATES 7969347823493 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 96542360416691 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589107557254

--------------------
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-20a"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DES-PT-20a, 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 r048-ebro-158902541900264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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