Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100136.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NQueens-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.0K Apr 8 13:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 13:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 16:38 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 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 90K 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 1589637818384

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

Filename model.pnml
Petri model created: 160 places, 100 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 12143 SOS 7405 HAS SOPS 7405 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6969.405
AT ITER 7 NEW BEST:: SOT 12140 SOS 7384 HAS SOPS 7384 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6963.384
AT ITER 10 NEW BEST:: SOT 12140 SOS 7164 HAS SOPS 7164 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6963.164
AT ITER 14 NEW BEST:: SOT 12108 SOS 7142 HAS SOPS 7142 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6929.142
AT ITER 16 NEW BEST:: SOT 12108 SOS 7116 HAS SOPS 7116 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6922.116
AT ITER 18 NEW BEST:: SOT 12104 SOS 7100 HAS SOPS 7100 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6912.1
AT ITER 19 NEW BEST:: SOT 12088 SOS 7080 HAS SOPS 7080 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6885.08
AT ITER 27 NEW BEST:: SOT 12063 SOS 7104 HAS SOPS 7104 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6852.104
AT ITER 28 NEW BEST:: SOT 12063 SOS 7016 HAS SOPS 7016 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6852.016
AT ITER 33 NEW BEST:: SOT 12041 SOS 7013 HAS SOPS 7013 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6816.013
AT ITER 38 NEW BEST:: SOT 12000 SOS 7091 HAS SOPS 7091 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6775.091
AT ITER 39 NEW BEST:: SOT 11990 SOS 7100 HAS SOPS 7100 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6774.1
AT ITER 44 NEW BEST:: SOT 11946 SOS 7065 HAS SOPS 7065 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.065
AT ITER 46 NEW BEST:: SOT 11946 SOS 7064 HAS SOPS 7064 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.064
AT ITER 60 NEW BEST:: SOT 11946 SOS 7036 HAS SOPS 7036 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.036
AT ITER 72 NEW BEST:: SOT 11946 SOS 7030 HAS SOPS 7030 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.03
AT ITER 74 NEW BEST:: SOT 11944 SOS 7028 HAS SOPS 7028 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6737.028
AT ITER 82 NEW BEST:: SOT 11911 SOS 6995 HAS SOPS 6995 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6698.995
AT ITER 93 NEW BEST:: SOT 11899 SOS 6991 HAS SOPS 6991 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6686.991
AT ITER 98 NEW BEST:: SOT 11864 SOS 7011 HAS SOPS 7011 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6649.011
AT ITER 99 NEW BEST:: SOT 11856 SOS 7003 HAS SOPS 7003 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6641.003
AT ITER 101 NEW BEST:: SOT 11856 SOS 7002 HAS SOPS 7002 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6633.002
AT ITER 103 NEW BEST:: SOT 11787 SOS 7022 HAS SOPS 7022 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.022
AT ITER 117 NEW BEST:: SOT 11649 SOS 7057 HAS SOPS 7057 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6543.057
AT ITER 120 NEW BEST:: SOT 11634 SOS 7042 HAS SOPS 7042 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.042
AT ITER 128 NEW BEST:: SOT 11634 SOS 7039 HAS SOPS 7039 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.039
AT ITER 131 NEW BEST:: SOT 11631 SOS 7018 HAS SOPS 7018 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.018
AT ITER 134 NEW BEST:: SOT 11631 SOS 6993 HAS SOPS 6993 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6523.993
AT ITER 135 NEW BEST:: SOT 11616 SOS 7004 HAS SOPS 7004 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6519.004
AT ITER 136 NEW BEST:: SOT 11572 SOS 6965 HAS SOPS 6965 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6490.965
AT ITER 137 NEW BEST:: SOT 11571 SOS 6964 HAS SOPS 6964 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6489.964
AT ITER 140 NEW BEST:: SOT 11571 SOS 6944 HAS SOPS 6944 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6489.944
AT ITER 149 NEW BEST:: SOT 11566 SOS 6939 HAS SOPS 6939 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6484.939
AT ITER 150 NEW BEST:: SOT 11516 SOS 6907 HAS SOPS 6907 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6431.907
AT ITER 151 NEW BEST:: SOT 11516 SOS 6894 HAS SOPS 6894 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6431.894
AT ITER 157 NEW BEST:: SOT 11493 SOS 6871 HAS SOPS 6871 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6401.871
AT ITER 178 NEW BEST:: SOT 11493 SOS 6856 HAS SOPS 6856 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6401.856
AT ITER 190 NEW BEST:: SOT 11426 SOS 6947 HAS SOPS 6947 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6355.947
AT ITER 210 NEW BEST:: SOT 11399 SOS 6975 HAS SOPS 6975 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6344.975
AT ITER 215 NEW BEST:: SOT 11399 SOS 6926 HAS SOPS 6926 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6344.926
AT ITER 216 NEW BEST:: SOT 11399 SOS 6914 HAS SOPS 6914 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6344.914
AT ITER 235 NEW BEST:: SOT 11399 SOS 6898 HAS SOPS 6898 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6344.898
AT ITER 239 NEW BEST:: SOT 11399 SOS 6874 HAS SOPS 6874 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6344.874
AT ITER 251 NEW BEST:: SOT 11393 SOS 6868 HAS SOPS 6868 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.868
AT ITER 265 NEW BEST:: SOT 11393 SOS 6856 HAS SOPS 6856 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6326.856
AT ITER 271 NEW BEST:: SOT 11393 SOS 6843 HAS SOPS 6843 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6326.843
AT ITER 279 NEW BEST:: SOT 11393 SOS 6828 HAS SOPS 6828 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6326.828
AT ITER 285 NEW BEST:: SOT 11384 SOS 6811 HAS SOPS 6811 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6303.811
AT ITER 301 NEW BEST:: SOT 11370 SOS 6799 HAS SOPS 6799 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6290.799
AT ITER 312 NEW BEST:: SOT 11368 SOS 6797 HAS SOPS 6797 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6290.797
AT ITER 314 NEW BEST:: SOT 11368 SOS 6773 HAS SOPS 6773 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6290.773
AT ITER 320 NEW BEST:: SOT 11340 SOS 6946 HAS SOPS 6946 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6282.946
AT ITER 321 NEW BEST:: SOT 11340 SOS 6916 HAS SOPS 6916 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6282.916
AT ITER 322 NEW BEST:: SOT 11337 SOS 6913 HAS SOPS 6913 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6279.913
AT ITER 336 NEW BEST:: SOT 11337 SOS 6913 HAS SOPS 6913 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6276.913
AT ITER 342 NEW BEST:: SOT 11337 SOS 6909 HAS SOPS 6909 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6276.909
AT ITER 346 NEW BEST:: SOT 11337 SOS 6844 HAS SOPS 6844 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6276.844
AT ITER 347 NEW BEST:: SOT 11327 SOS 6820 HAS SOPS 6820 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6262.82
AT ITER 362 NEW BEST:: SOT 11322 SOS 6815 HAS SOPS 6815 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6257.815
AT ITER 374 NEW BEST:: SOT 11258 SOS 6753 HAS SOPS 6753 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6201.753
AT ITER 387 NEW BEST:: SOT 11256 SOS 6751 HAS SOPS 6751 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6199.751
AT ITER 393 NEW BEST:: SOT 11247 SOS 6742 HAS SOPS 6742 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6190.742
AT ITER 399 NEW BEST:: SOT 11247 SOS 6714 HAS SOPS 6714 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6190.714
AT ITER 403 NEW BEST:: SOT 11247 SOS 6695 HAS SOPS 6695 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6190.695
AT ITER 410 NEW BEST:: SOT 11243 SOS 6699 HAS SOPS 6699 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6181.699
AT ITER 430 NEW BEST:: SOT 11235 SOS 6693 HAS SOPS 6693 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6179.693
AT ITER 438 NEW BEST:: SOT 11235 SOS 6691 HAS SOPS 6691 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6177.691
AT ITER 456 NEW BEST:: SOT 11263 SOS 6679 HAS SOPS 6679 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6177.679
AT ITER 457 NEW BEST:: SOT 11256 SOS 6672 HAS SOPS 6672 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6170.672
AT ITER 461 NEW BEST:: SOT 11256 SOS 6672 HAS SOPS 6672 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6165.672
AT ITER 466 NEW BEST:: SOT 11207 SOS 6726 HAS SOPS 6726 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.726
AT ITER 468 NEW BEST:: SOT 11207 SOS 6684 HAS SOPS 6684 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.684
AT ITER 482 NEW BEST:: SOT 11207 SOS 6680 HAS SOPS 6680 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.68
AT ITER 488 NEW BEST:: SOT 11207 SOS 6673 HAS SOPS 6673 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.673
AT ITER 494 NEW BEST:: SOT 11207 SOS 6671 HAS SOPS 6671 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.671
AT ITER 497 NEW BEST:: SOT 11185 SOS 6649 HAS SOPS 6649 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6125.649
AT ITER 514 NEW BEST:: SOT 11185 SOS 6640 HAS SOPS 6640 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6125.64
AT ITER 549 NEW BEST:: SOT 11158 SOS 6613 HAS SOPS 6613 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6098.613
AT ITER 561 NEW BEST:: SOT 11157 SOS 6612 HAS SOPS 6612 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6097.612
AT ITER 573 NEW BEST:: SOT 11157 SOS 6609 HAS SOPS 6609 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6097.609
AT ITER 582 NEW BEST:: SOT 11157 SOS 6616 HAS SOPS 6616 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6096.616
AT ITER 585 NEW BEST:: SOT 11157 SOS 6612 HAS SOPS 6612 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6096.612
AT ITER 593 NEW BEST:: SOT 11153 SOS 6610 HAS SOPS 6610 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6073.61
AT ITER 595 NEW BEST:: SOT 11140 SOS 6596 HAS SOPS 6596 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6059.596
AT ITER 597 NEW BEST:: SOT 11124 SOS 6595 HAS SOPS 6595 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6059.595
AT ITER 599 NEW BEST:: SOT 11084 SOS 6676 HAS SOPS 6676 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6040.676
AT ITER 603 NEW BEST:: SOT 11084 SOS 6679 HAS SOPS 6679 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6028.679
AT ITER 611 NEW BEST:: SOT 11083 SOS 6678 HAS SOPS 6678 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6027.678
AT ITER 613 NEW BEST:: SOT 11066 SOS 6661 HAS SOPS 6661 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6010.661
AT ITER 617 NEW BEST:: SOT 11067 SOS 6656 HAS SOPS 6656 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6009.656
AT ITER 621 NEW BEST:: SOT 11067 SOS 6636 HAS SOPS 6636 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6006.636
AT ITER 638 NEW BEST:: SOT 11052 SOS 6621 HAS SOPS 6621 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.621
AT ITER 653 NEW BEST:: SOT 11052 SOS 6602 HAS SOPS 6602 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.602
AT ITER 662 NEW BEST:: SOT 11045 SOS 6566 HAS SOPS 6566 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.566
AT ITER 672 NEW BEST:: SOT 11045 SOS 6581 HAS SOPS 6581 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5971.581
AT ITER 677 NEW BEST:: SOT 11029 SOS 6573 HAS SOPS 6573 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5953.573
AT ITER 681 NEW BEST:: SOT 11029 SOS 6552 HAS SOPS 6552 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5953.552
AT ITER 687 NEW BEST:: SOT 10967 SOS 6490 HAS SOPS 6490 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5891.49
AT ITER 694 NEW BEST:: SOT 10963 SOS 6492 HAS SOPS 6492 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5879.492
AT ITER 705 NEW BEST:: SOT 10924 SOS 6522 HAS SOPS 6522 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5854.522
AT ITER 706 NEW BEST:: SOT 10924 SOS 6508 HAS SOPS 6508 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5854.508
AT ITER 711 NEW BEST:: SOT 10924 SOS 6494 HAS SOPS 6494 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5854.494
AT ITER 720 NEW BEST:: SOT 10913 SOS 6681 HAS SOPS 6681 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5852.681
AT ITER 723 NEW BEST:: SOT 10818 SOS 6638 HAS SOPS 6638 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.638
AT ITER 729 NEW BEST:: SOT 10818 SOS 6615 HAS SOPS 6615 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.615
AT ITER 734 NEW BEST:: SOT 10818 SOS 6580 HAS SOPS 6580 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.58
AT ITER 759 NEW BEST:: SOT 10711 SOS 6529 HAS SOPS 6529 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5763.529
AT ITER 772 NEW BEST:: SOT 10711 SOS 6529 HAS SOPS 6529 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.529
AT ITER 777 NEW BEST:: SOT 10711 SOS 6477 HAS SOPS 6477 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.477
AT ITER 798 NEW BEST:: SOT 10711 SOS 6463 HAS SOPS 6463 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.463
AT ITER 807 NEW BEST:: SOT 10683 SOS 6449 HAS SOPS 6449 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5716.449
AT ITER 813 NEW BEST:: SOT 10668 SOS 6434 HAS SOPS 6434 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.434
AT ITER 821 NEW BEST:: SOT 10668 SOS 6450 HAS SOPS 6450 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.45
AT ITER 827 NEW BEST:: SOT 10665 SOS 6447 HAS SOPS 6447 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5674.447
AT ITER 828 NEW BEST:: SOT 10659 SOS 6439 HAS SOPS 6439 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.439
AT ITER 834 NEW BEST:: SOT 10659 SOS 6456 HAS SOPS 6456 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5670.456
AT ITER 846 NEW BEST:: SOT 10656 SOS 6453 HAS SOPS 6453 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.453
AT ITER 847 NEW BEST:: SOT 10649 SOS 6446 HAS SOPS 6446 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.446
AT ITER 855 NEW BEST:: SOT 10642 SOS 6434 HAS SOPS 6434 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5658.434
AT ITER 865 NEW BEST:: SOT 10638 SOS 6430 HAS SOPS 6430 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5654.43
AT ITER 889 NEW BEST:: SOT 10660 SOS 6371 HAS SOPS 6371 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.371
AT ITER 897 NEW BEST:: SOT 10643 SOS 6361 HAS SOPS 6361 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.361
AT ITER 919 NEW BEST:: SOT 10643 SOS 6349 HAS SOPS 6349 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.349
AT ITER 954 NEW BEST:: SOT 10618 SOS 6304 HAS SOPS 6304 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.304
AT ITER 961 NEW BEST:: SOT 10618 SOS 6305 HAS SOPS 6305 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.305
AT ITER 967 NEW BEST:: SOT 10618 SOS 6262 HAS SOPS 6262 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5593.262
AT ITER 984 NEW BEST:: SOT 10618 SOS 6268 HAS SOPS 6268 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5584.268
AT ITER 1018 NEW BEST:: SOT 10618 SOS 6219 HAS SOPS 6219 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.219
AT ITER 1025 NEW BEST:: SOT 10594 SOS 6283 HAS SOPS 6283 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5565.283
AT ITER 1028 NEW BEST:: SOT 10604 SOS 6280 HAS SOPS 6280 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.28
AT ITER 1033 NEW BEST:: SOT 10604 SOS 6275 HAS SOPS 6275 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.275
AT ITER 1042 NEW BEST:: SOT 10594 SOS 6265 HAS SOPS 6265 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.265
AT ITER 1046 NEW BEST:: SOT 10546 SOS 6287 HAS SOPS 6287 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5520.287
AT ITER 1047 NEW BEST:: SOT 10545 SOS 6288 HAS SOPS 6288 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.288
AT ITER 1048 NEW BEST:: SOT 10545 SOS 6279 HAS SOPS 6279 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5475.279
AT ITER 1049 NEW BEST:: SOT 10541 SOS 6275 HAS SOPS 6275 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5471.275
AT ITER 1053 NEW BEST:: SOT 10541 SOS 6274 HAS SOPS 6274 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.274
AT ITER 1058 NEW BEST:: SOT 10541 SOS 6268 HAS SOPS 6268 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.268
AT ITER 1083 NEW BEST:: SOT 10519 SOS 6265 HAS SOPS 6265 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5449.265
AT ITER 1091 NEW BEST:: SOT 10506 SOS 6395 HAS SOPS 6395 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.395
AT ITER 1104 NEW BEST:: SOT 10517 SOS 6406 HAS SOPS 6406 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.406
AT ITER 1127 NEW BEST:: SOT 10514 SOS 6497 HAS SOPS 6497 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.497
AT ITER 1141 NEW BEST:: SOT 10509 SOS 6492 HAS SOPS 6492 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.492
AT ITER 1145 NEW BEST:: SOT 10505 SOS 6488 HAS SOPS 6488 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.488
AT ITER 1150 NEW BEST:: SOT 10505 SOS 6439 HAS SOPS 6439 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.439
AT ITER 1156 NEW BEST:: SOT 10505 SOS 6401 HAS SOPS 6401 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.401
AT ITER 1173 NEW BEST:: SOT 10505 SOS 6371 HAS SOPS 6371 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5386.371
AT ITER 1183 NEW BEST:: SOT 10483 SOS 6349 HAS SOPS 6349 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.349
AT ITER 1187 NEW BEST:: SOT 10483 SOS 6325 HAS SOPS 6325 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.325
AT ITER 1225 NEW BEST:: SOT 10483 SOS 6313 HAS SOPS 6313 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.313
AT ITER 1226 NEW BEST:: SOT 10483 SOS 6325 HAS SOPS 6325 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5378.325
AT ITER 1232 NEW BEST:: SOT 10481 SOS 6323 HAS SOPS 6323 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5376.323
AT ITER 1243 NEW BEST:: SOT 10481 SOS 6323 HAS SOPS 6323 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5372.323
AT ITER 1246 NEW BEST:: SOT 10478 SOS 6320 HAS SOPS 6320 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5369.32
AT ITER 1262 NEW BEST:: SOT 10466 SOS 6446 HAS SOPS 6446 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5357.446
AT ITER 1277 NEW BEST:: SOT 10477 SOS 6461 HAS SOPS 6461 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5351.461
AT ITER 1281 NEW BEST:: SOT 10472 SOS 6456 HAS SOPS 6456 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5351.456
AT ITER 1285 NEW BEST:: SOT 10471 SOS 6455 HAS SOPS 6455 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.455
AT ITER 1292 NEW BEST:: SOT 10458 SOS 6466 HAS SOPS 6466 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5347.466
AT ITER 1302 NEW BEST:: SOT 10456 SOS 6464 HAS SOPS 6464 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5345.464
AT ITER 1310 NEW BEST:: SOT 10456 SOS 6457 HAS SOPS 6457 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.457
AT ITER 1320 NEW BEST:: SOT 10447 SOS 6448 HAS SOPS 6448 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.448
AT ITER 1354 NEW BEST:: SOT 10430 SOS 6459 HAS SOPS 6459 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.459
AT ITER 1371 NEW BEST:: SOT 10430 SOS 6443 HAS SOPS 6443 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.443
AT ITER 1383 NEW BEST:: SOT 10423 SOS 6491 HAS SOPS 6491 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5310.491
AT ITER 1388 NEW BEST:: SOT 10423 SOS 6490 HAS SOPS 6490 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5310.49
AT ITER 1402 NEW BEST:: SOT 10423 SOS 6482 HAS SOPS 6482 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5310.482
AT ITER 1420 NEW BEST:: SOT 10423 SOS 6482 HAS SOPS 6482 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5306.482
AT ITER 1465 NEW BEST:: SOT 10427 SOS 6486 HAS SOPS 6486 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5301.486
AT ITER 1487 NEW BEST:: SOT 10427 SOS 6474 HAS SOPS 6474 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5301.474
AT ITER 1493 NEW BEST:: SOT 10428 SOS 6475 HAS SOPS 6475 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.475
AT ITER 1501 NEW BEST:: SOT 10428 SOS 6464 HAS SOPS 6464 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.464
AT ITER 1517 NEW BEST:: SOT 10428 SOS 6471 HAS SOPS 6471 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.471
AT ITER 1519 NEW BEST:: SOT 10428 SOS 6452 HAS SOPS 6452 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.452
AT ITER 1565 NEW BEST:: SOT 10422 SOS 6446 HAS SOPS 6446 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5286.446
AT ITER 1570 NEW BEST:: SOT 10413 SOS 6475 HAS SOPS 6475 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5280.475
AT ITER 1572 NEW BEST:: SOT 10413 SOS 6473 HAS SOPS 6473 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5280.473
AT ITER 1581 NEW BEST:: SOT 10413 SOS 6453 HAS SOPS 6453 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5280.453
AT ITER 1584 NEW BEST:: SOT 10410 SOS 6553 HAS SOPS 6553 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.553
AT ITER 1597 NEW BEST:: SOT 10405 SOS 6548 HAS SOPS 6548 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.548
AT ITER 1621 NEW BEST:: SOT 10404 SOS 6547 HAS SOPS 6547 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.547
AT ITER 1681 NEW BEST:: SOT 10400 SOS 6551 HAS SOPS 6551 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5271.551
AT ITER 1700 NEW BEST:: SOT 10400 SOS 6543 HAS SOPS 6543 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.543
AT ITER 1747 NEW BEST:: SOT 10382 SOS 6514 HAS SOPS 6514 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.514
AT ITER 1752 NEW BEST:: SOT 10382 SOS 6502 HAS SOPS 6502 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.502
AT ITER 1778 NEW BEST:: SOT 10382 SOS 6499 HAS SOPS 6499 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.499
AT ITER 1789 NEW BEST:: SOT 10375 SOS 6488 HAS SOPS 6488 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.488
AT ITER 1815 NEW BEST:: SOT 10375 SOS 6479 HAS SOPS 6479 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5219.479
AT ITER 1820 NEW BEST:: SOT 10375 SOS 6467 HAS SOPS 6467 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5219.467
AT ITER 1841 NEW BEST:: SOT 10374 SOS 6466 HAS SOPS 6466 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5218.466
AT ITER 1847 NEW BEST:: SOT 10361 SOS 6453 HAS SOPS 6453 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.453
AT ITER 1853 NEW BEST:: SOT 10356 SOS 6448 HAS SOPS 6448 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.448
AT ITER 1854 NEW BEST:: SOT 10349 SOS 6441 HAS SOPS 6441 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.441
AT ITER 1859 NEW BEST:: SOT 10344 SOS 6436 HAS SOPS 6436 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5174.436
AT ITER 1875 NEW BEST:: SOT 10344 SOS 6433 HAS SOPS 6433 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5174.433
AT ITER 1884 NEW BEST:: SOT 10344 SOS 6421 HAS SOPS 6421 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5172.421
AT ITER 1910 NEW BEST:: SOT 10340 SOS 6417 HAS SOPS 6417 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5168.417
AT ITER 1929 NEW BEST:: SOT 10335 SOS 6412 HAS SOPS 6412 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5159.412
AT ITER 1943 NEW BEST:: SOT 10334 SOS 6411 HAS SOPS 6411 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.411
AT ITER 1944 NEW BEST:: SOT 10334 SOS 6408 HAS SOPS 6408 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.408
AT ITER 1954 NEW BEST:: SOT 10330 SOS 6404 HAS SOPS 6404 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5154.404
AT ITER 1969 NEW BEST:: SOT 10311 SOS 6442 HAS SOPS 6442 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5153.442
AT ITER 1975 NEW BEST:: SOT 10308 SOS 6473 HAS SOPS 6473 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5140.473
AT ITER 1990 NEW BEST:: SOT 10308 SOS 6393 HAS SOPS 6393 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5140.393
AT ITER 2035 NEW BEST:: SOT 10308 SOS 6388 HAS SOPS 6388 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5135.388
AT ITER 2077 NEW BEST:: SOT 10303 SOS 6383 HAS SOPS 6383 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5130.383
AT ITER 2079 NEW BEST:: SOT 10301 SOS 6381 HAS SOPS 6381 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5126.381
AT ITER 2117 NEW BEST:: SOT 10301 SOS 6381 HAS SOPS 6381 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5124.381
AT ITER 2155 NEW BEST:: SOT 10313 SOS 6393 HAS SOPS 6393 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5116.393
AT ITER 2156 NEW BEST:: SOT 10309 SOS 6501 HAS SOPS 6501 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.501
AT ITER 2161 NEW BEST:: SOT 10294 SOS 6500 HAS SOPS 6500 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5099.5
AT ITER 2174 NEW BEST:: SOT 10298 SOS 6492 HAS SOPS 6492 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5097.492
AT ITER 2188 NEW BEST:: SOT 10292 SOS 6486 HAS SOPS 6486 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.486
AT ITER 2204 NEW BEST:: SOT 10281 SOS 6475 HAS SOPS 6475 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5080.475
AT ITER 2213 NEW BEST:: SOT 10281 SOS 6473 HAS SOPS 6473 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5080.473
AT ITER 2233 NEW BEST:: SOT 10282 SOS 6474 HAS SOPS 6474 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5078.474
AT ITER 2273 NEW BEST:: SOT 10282 SOS 6474 HAS SOPS 6474 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.474
AT ITER 2286 NEW BEST:: SOT 10279 SOS 6471 HAS SOPS 6471 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5073.471
AT ITER 2290 NEW BEST:: SOT 10278 SOS 6470 HAS SOPS 6470 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5072.47
AT ITER 2293 NEW BEST:: SOT 10269 SOS 6461 HAS SOPS 6461 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5067.461
AT ITER 2321 NEW BEST:: SOT 10268 SOS 6460 HAS SOPS 6460 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.46
AT ITER 2410 NEW BEST:: SOT 10203 SOS 6637 HAS SOPS 6637 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5059.637
AT ITER 2416 NEW BEST:: SOT 10202 SOS 6636 HAS SOPS 6636 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5058.636
AT ITER 2453 NEW BEST:: SOT 10185 SOS 6619 HAS SOPS 6619 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5044.619
AT ITER 2465 NEW BEST:: SOT 10175 SOS 6609 HAS SOPS 6609 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5043.609
AT ITER 2468 NEW BEST:: SOT 10174 SOS 6608 HAS SOPS 6608 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5042.608
AT ITER 2479 NEW BEST:: SOT 10173 SOS 6607 HAS SOPS 6607 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.607
AT ITER 2557 NEW BEST:: SOT 10173 SOS 6602 HAS SOPS 6602 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.602
AT ITER 2559 NEW BEST:: SOT 10166 SOS 6597 HAS SOPS 6597 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5036.597
AT ITER 2563 NEW BEST:: SOT 10151 SOS 6582 HAS SOPS 6582 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5025.582
AT ITER 2566 NEW BEST:: SOT 10141 SOS 6577 HAS SOPS 6577 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.577
AT ITER 2572 NEW BEST:: SOT 10140 SOS 6576 HAS SOPS 6576 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5023.576
AT ITER 2699 NEW BEST:: SOT 10139 SOS 6575 HAS SOPS 6575 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5022.575
AT ITER 2748 NEW BEST:: SOT 10139 SOS 6573 HAS SOPS 6573 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.573
AT ITER 2785 NEW BEST:: SOT 10138 SOS 6572 HAS SOPS 6572 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.572
AT ITER 2888 NEW BEST:: SOT 10130 SOS 6594 HAS SOPS 6594 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5011.594
AT ITER 2953 NEW BEST:: SOT 10130 SOS 6597 HAS SOPS 6597 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5002.597
AT ITER 2956 NEW BEST:: SOT 10129 SOS 6584 HAS SOPS 6584 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5001.584
AT ITER 2967 NEW BEST:: SOT 10103 SOS 6563 HAS SOPS 6563 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4992.563
AT ITER 2970 NEW BEST:: SOT 10101 SOS 6561 HAS SOPS 6561 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4990.561
AT ITER 2978 NEW BEST:: SOT 10101 SOS 6548 HAS SOPS 6548 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4990.548
AT ITER 2986 NEW BEST:: SOT 10089 SOS 6542 HAS SOPS 6542 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4987.542
AT ITER 2992 NEW BEST:: SOT 10089 SOS 6536 HAS SOPS 6536 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4987.536
AT ITER 2998 NEW BEST:: SOT 10089 SOS 6533 HAS SOPS 6533 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4984.533
AT ITER 3030 NEW BEST:: SOT 10079 SOS 6523 HAS SOPS 6523 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4984.523
AT ITER 3038 NEW BEST:: SOT 10079 SOS 6521 HAS SOPS 6521 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4984.521
AT ITER 3040 NEW BEST:: SOT 10075 SOS 6528 HAS SOPS 6528 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4958.528
AT ITER 3068 NEW BEST:: SOT 10075 SOS 6528 HAS SOPS 6528 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4957.528
AT ITER 3072 NEW BEST:: SOT 10049 SOS 6576 HAS SOPS 6576 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4954.576
AT ITER 3106 NEW BEST:: SOT 10047 SOS 6574 HAS SOPS 6574 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4952.574
AT ITER 3114 NEW BEST:: SOT 10046 SOS 6573 HAS SOPS 6573 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.573
AT ITER 3131 NEW BEST:: SOT 10044 SOS 6571 HAS SOPS 6571 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4949.571
AT ITER 3143 NEW BEST:: SOT 10044 SOS 6562 HAS SOPS 6562 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4949.562
AT ITER 3159 NEW BEST:: SOT 10043 SOS 6561 HAS SOPS 6561 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4948.561
AT ITER 3182 NEW BEST:: SOT 10043 SOS 6559 HAS SOPS 6559 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4937.559
AT ITER 3214 NEW BEST:: SOT 10039 SOS 6555 HAS SOPS 6555 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4935.555
AT ITER 3283 NEW BEST:: SOT 10034 SOS 6550 HAS SOPS 6550 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4933.55
AT ITER 3308 NEW BEST:: SOT 10034 SOS 6550 HAS SOPS 6550 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4931.55
AT ITER 3329 NEW BEST:: SOT 10028 SOS 6544 HAS SOPS 6544 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4931.544
AT ITER 3346 NEW BEST:: SOT 10028 SOS 6534 HAS SOPS 6534 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4920.534
AT ITER 3355 NEW BEST:: SOT 10004 SOS 6646 HAS SOPS 6646 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4914.646
AT ITER 3385 NEW BEST:: SOT 10002 SOS 6842 HAS SOPS 6842 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4912.842
AT ITER 3429 NEW BEST:: SOT 10005 SOS 6835 HAS SOPS 6835 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4911.835
AT ITER 3443 NEW BEST:: SOT 10006 SOS 6806 HAS SOPS 6806 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4903.806
AT ITER 3456 NEW BEST:: SOT 10004 SOS 6804 HAS SOPS 6804 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4901.804
AT ITER 3467 NEW BEST:: SOT 10003 SOS 6805 HAS SOPS 6805 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4900.805
AT ITER 3498 NEW BEST:: SOT 10003 SOS 6716 HAS SOPS 6716 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4900.716
AT ITER 3539 NEW BEST:: SOT 10003 SOS 6712 HAS SOPS 6712 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4899.712
AT ITER 3550 NEW BEST:: SOT 10003 SOS 6712 HAS SOPS 6712 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4893.712
AT ITER 3569 NEW BEST:: SOT 10003 SOS 6697 HAS SOPS 6697 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4893.697
AT ITER 3591 NEW BEST:: SOT 10002 SOS 6696 HAS SOPS 6696 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4892.696
AT ITER 3612 NEW BEST:: SOT 9987 SOS 6735 HAS SOPS 6735 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4877.735
AT ITER 3630 NEW BEST:: SOT 10007 SOS 6755 HAS SOPS 6755 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4873.755
AT ITER 3644 NEW BEST:: SOT 10007 SOS 6744 HAS SOPS 6744 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4857.744
AT ITER 3645 NEW BEST:: SOT 10003 SOS 6740 HAS SOPS 6740 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4853.74
AT ITER 3725 NEW BEST:: SOT 10001 SOS 6738 HAS SOPS 6738 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4844.738
AT ITER 3745 NEW BEST:: SOT 9999 SOS 6736 HAS SOPS 6736 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4841.736
AT ITER 3746 NEW BEST:: SOT 9996 SOS 6733 HAS SOPS 6733 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.733
AT ITER 3799 NEW BEST:: SOT 9996 SOS 6732 HAS SOPS 6732 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.732
AT ITER 3801 NEW BEST:: SOT 9992 SOS 6728 HAS SOPS 6728 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4834.728
AT ITER 3814 NEW BEST:: SOT 9975 SOS 6765 HAS SOPS 6765 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4825.765
AT ITER 3859 NEW BEST:: SOT 9973 SOS 6763 HAS SOPS 6763 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.763
AT ITER 3877 NEW BEST:: SOT 9973 SOS 6758 HAS SOPS 6758 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.758
AT ITER 3929 NEW BEST:: SOT 9981 SOS 6734 HAS SOPS 6734 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.734
AT ITER 3982 NEW BEST:: SOT 9981 SOS 6734 HAS SOPS 6734 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4822.734
AT ITER 4228 NEW BEST:: SOT 9982 SOS 6732 HAS SOPS 6732 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4822.732
AT ITER 4233 NEW BEST:: SOT 9982 SOS 6732 HAS SOPS 6732 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4820.732
AT ITER 4273 NEW BEST:: SOT 9982 SOS 6732 HAS SOPS 6732 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4818.732
AT ITER 4364 NEW BEST:: SOT 9977 SOS 6729 HAS SOPS 6729 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4813.729
AT ITER 4373 NEW BEST:: SOT 9975 SOS 6728 HAS SOPS 6728 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4813.728
AT ITER 4374 NEW BEST:: SOT 9975 SOS 6728 HAS SOPS 6728 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4809.728
AT ITER 4461 NEW BEST:: SOT 9975 SOS 6727 HAS SOPS 6727 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4808.727
AT ITER 4818 NEW BEST:: SOT 9975 SOS 6727 HAS SOPS 6727 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4805.727
AT ITER 4898 NEW BEST:: SOT 9974 SOS 6726 HAS SOPS 6726 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4803.726
AT ITER 4987 NEW BEST:: SOT 9974 SOS 6724 HAS SOPS 6724 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4801.724
AT ITER 5065 NEW BEST:: SOT 9980 SOS 6726 HAS SOPS 6726 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4797.726
AT ITER 5126 NEW BEST:: SOT 9980 SOS 6726 HAS SOPS 6726 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4796.726
AT ITER 5145 NEW BEST:: SOT 9971 SOS 6735 HAS SOPS 6735 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4794.735
AT ITER 5151 NEW BEST:: SOT 9971 SOS 6741 HAS SOPS 6741 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4793.741
AT ITER 5172 NEW BEST:: SOT 9971 SOS 6741 HAS SOPS 6741 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4789.741
AT ITER 5206 NEW BEST:: SOT 9970 SOS 6740 HAS SOPS 6740 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4788.74
AT ITER 5225 NEW BEST:: SOT 9958 SOS 6764 HAS SOPS 6764 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4784.764
AT ITER 5233 NEW BEST:: SOT 9955 SOS 6785 HAS SOPS 6785 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.785
AT ITER 5296 NEW BEST:: SOT 9955 SOS 6773 HAS SOPS 6773 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.773
AT ITER 5389 NEW BEST:: SOT 9954 SOS 6772 HAS SOPS 6772 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4782.772
AT ITER 5407 NEW BEST:: SOT 9956 SOS 6768 HAS SOPS 6768 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.768
AT ITER 5434 NEW BEST:: SOT 9951 SOS 6823 HAS SOPS 6823 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4778.823
AT ITER 5493 NEW BEST:: SOT 9950 SOS 6822 HAS SOPS 6822 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4777.822
AT ITER 5543 NEW BEST:: SOT 9951 SOS 6820 HAS SOPS 6820 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4777.82
AT ITER 5589 NEW BEST:: SOT 9951 SOS 6820 HAS SOPS 6820 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4776.82
AT ITER 5599 NEW BEST:: SOT 9950 SOS 6819 HAS SOPS 6819 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4775.819
AT ITER 5602 NEW BEST:: SOT 9949 SOS 6818 HAS SOPS 6818 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4774.818
AT ITER 5638 NEW BEST:: SOT 9948 SOS 6817 HAS SOPS 6817 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4773.817
AT ITER 5718 NEW BEST:: SOT 9942 SOS 6811 HAS SOPS 6811 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4767.811
AT ITER 5847 NEW BEST:: SOT 9942 SOS 6811 HAS SOPS 6811 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4763.811
AT ITER 5957 NEW BEST:: SOT 9941 SOS 6810 HAS SOPS 6810 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4762.81
AT ITER 5965 NEW BEST:: SOT 9941 SOS 6809 HAS SOPS 6809 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4762.809
AT ITER 6010 NEW BEST:: SOT 9941 SOS 6809 HAS SOPS 6809 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4761.809
AT ITER 6072 NEW BEST:: SOT 9940 SOS 6808 HAS SOPS 6808 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4760.808
AT ITER 6086 NEW BEST:: SOT 9938 SOS 6806 HAS SOPS 6806 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4757.806
AT ITER 6213 NEW BEST:: SOT 9938 SOS 6805 HAS SOPS 6805 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4756.805
AT ITER 6277 NEW BEST:: SOT 9934 SOS 6907 HAS SOPS 6907 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4752.907
AT ITER 6340 NEW BEST:: SOT 9933 SOS 6906 HAS SOPS 6906 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4751.906
AT ITER 6357 NEW BEST:: SOT 9932 SOS 6905 HAS SOPS 6905 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4750.905
AT ITER 6485 NEW BEST:: SOT 9928 SOS 6913 HAS SOPS 6913 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4746.913
AT ITER 6488 NEW BEST:: SOT 9927 SOS 6912 HAS SOPS 6912 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.912
AT ITER 6498 NEW BEST:: SOT 9916 SOS 6925 HAS SOPS 6925 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.925
AT ITER 6529 NEW BEST:: SOT 9916 SOS 6924 HAS SOPS 6924 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.924
AT ITER 6561 NEW BEST:: SOT 9917 SOS 6925 HAS SOPS 6925 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.925
AT ITER 6626 NEW BEST:: SOT 9911 SOS 6919 HAS SOPS 6919 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4728.919
AT ITER 6629 NEW BEST:: SOT 9904 SOS 6982 HAS SOPS 6982 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4727.982
AT ITER 6702 NEW BEST:: SOT 9903 SOS 6986 HAS SOPS 6986 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.986
AT ITER 6784 NEW BEST:: SOT 9900 SOS 6983 HAS SOPS 6983 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4725.983
AT ITER 6869 NEW BEST:: SOT 9899 SOS 6988 HAS SOPS 6988 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4724.988
AT ITER 7038 NEW BEST:: SOT 9897 SOS 6986 HAS SOPS 6986 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4724.986
AT ITER 7239 NEW BEST:: SOT 9896 SOS 6997 HAS SOPS 6997 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4723.997
AT ITER 7427 NEW BEST:: SOT 9893 SOS 6994 HAS SOPS 6994 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4720.994
AT ITER 7609 NEW BEST:: SOT 9887 SOS 6991 HAS SOPS 6991 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4720.991
AT ITER 7646 NEW BEST:: SOT 9884 SOS 6988 HAS SOPS 6988 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4717.988
AT ITER 7734 NEW BEST:: SOT 9885 SOS 6987 HAS SOPS 6987 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4717.987
AT ITER 7769 NEW BEST:: SOT 9886 SOS 6986 HAS SOPS 6986 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4717.986
AT ITER 7811 NEW BEST:: SOT 9885 SOS 6985 HAS SOPS 6985 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4716.985
AT ITER 7940 NEW BEST:: SOT 9885 SOS 6985 HAS SOPS 6985 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4714.985
AT ITER 7946 NEW BEST:: SOT 9884 SOS 6984 HAS SOPS 6984 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4713.984
AT ITER 8000 NEW BEST:: SOT 9884 SOS 6984 HAS SOPS 6984 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4712.984
AT ITER 8070 NEW BEST:: SOT 9883 SOS 6983 HAS SOPS 6983 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4711.983
AT ITER 8093 NEW BEST:: SOT 9881 SOS 6985 HAS SOPS 6985 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4710.985
AT ITER 8153 NEW BEST:: SOT 9882 SOS 6982 HAS SOPS 6982 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4709.982
AT ITER 8164 NEW BEST:: SOT 9882 SOS 6987 HAS SOPS 6987 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4708.987
AT ITER 8297 NEW BEST:: SOT 9878 SOS 6991 HAS SOPS 6991 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.991
AT ITER 8361 NEW BEST:: SOT 9878 SOS 6984 HAS SOPS 6984 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.984
AT ITER 8402 NEW BEST:: SOT 9876 SOS 6982 HAS SOPS 6982 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4704.982
AT ITER 8561 NEW BEST:: SOT 9877 SOS 6976 HAS SOPS 6976 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4704.976
AT ITER 8665 NEW BEST:: SOT 9875 SOS 6974 HAS SOPS 6974 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4702.974
AT ITER 8668 NEW BEST:: SOT 9875 SOS 6972 HAS SOPS 6972 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4702.972
AT ITER 8673 NEW BEST:: SOT 9875 SOS 6967 HAS SOPS 6967 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.967
AT ITER 8686 NEW BEST:: SOT 9878 SOS 6961 HAS SOPS 6961 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.961
AT ITER 8730 NEW BEST:: SOT 9878 SOS 6960 HAS SOPS 6960 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.96
AT ITER 8831 NEW BEST:: SOT 9878 SOS 6958 HAS SOPS 6958 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.958
AT ITER 8875 NEW BEST:: SOT 9877 SOS 6957 HAS SOPS 6957 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4699.957
AT ITER 8974 NEW BEST:: SOT 9877 SOS 6955 HAS SOPS 6955 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4699.955
AT ITER 8996 NEW BEST:: SOT 9877 SOS 6954 HAS SOPS 6954 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4699.954
AT ITER 9004 NEW BEST:: SOT 9874 SOS 6982 HAS SOPS 6982 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4698.982
AT ITER 9018 NEW BEST:: SOT 9874 SOS 6982 HAS SOPS 6982 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4696.982
AT ITER 9061 NEW BEST:: SOT 9874 SOS 6980 HAS SOPS 6980 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4696.98
AT ITER 9091 NEW BEST:: SOT 9874 SOS 6980 HAS SOPS 6980 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4692.98
AT ITER 9150 NEW BEST:: SOT 9874 SOS 6980 HAS SOPS 6980 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4691.98
AT ITER 9214 NEW BEST:: SOT 9873 SOS 6979 HAS SOPS 6979 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4690.979
AT ITER 9529 NEW BEST:: SOT 9874 SOS 6976 HAS SOPS 6976 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4689.976
AT ITER 9576 NEW BEST:: SOT 9874 SOS 6962 HAS SOPS 6962 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4688.962
AT ITER 9745 NEW BEST:: SOT 9873 SOS 6961 HAS SOPS 6961 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.961
AT ITER 9805 NEW BEST:: SOT 9873 SOS 6958 HAS SOPS 6958 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.958
AT ITER 9840 NEW BEST:: SOT 9872 SOS 6957 HAS SOPS 6957 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4686.957
AT ITER 9868 NEW BEST:: SOT 9871 SOS 6991 HAS SOPS 6991 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4685.991
AT ITER 9976 NEW BEST:: SOT 9872 SOS 6990 HAS SOPS 6990 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4685.99
STATE_SPACE STATES 7535369 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 60 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 46239572 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589639209639

--------------------
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="NQueens-PT-10"
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 NQueens-PT-10, 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 r108-csrt-158961250100136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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