Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538200048.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 SmartHome-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538200048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.1K May 14 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 56K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590469750569

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

Filename model.pnml
Petri model created: 219 places, 254 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 33184 SOS 8188 HAS SOPS 8188 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.188
AT ITER 1 NEW BEST:: SOT 33184 SOS 8183 HAS SOPS 8183 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7898.183
AT ITER 2 NEW BEST:: SOT 33031 SOS 8477 HAS SOPS 8477 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7804.477
AT ITER 10 NEW BEST:: SOT 33031 SOS 8476 HAS SOPS 8476 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7803.476
AT ITER 20 NEW BEST:: SOT 32806 SOS 9734 HAS SOPS 9734 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7802.734
AT ITER 26 NEW BEST:: SOT 32627 SOS 9772 HAS SOPS 9772 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7660.772
AT ITER 37 NEW BEST:: SOT 32627 SOS 9766 HAS SOPS 9766 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7654.766
AT ITER 53 NEW BEST:: SOT 32624 SOS 9762 HAS SOPS 9762 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7650.762
AT ITER 79 NEW BEST:: SOT 32349 SOS 10350 HAS SOPS 10350 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7471.35
AT ITER 86 NEW BEST:: SOT 32333 SOS 10318 HAS SOPS 10318 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7471.318
AT ITER 100 NEW BEST:: SOT 32297 SOS 10246 HAS SOPS 10246 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7403.246
AT ITER 104 NEW BEST:: SOT 32296 SOS 10245 HAS SOPS 10245 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7402.245
AT ITER 120 NEW BEST:: SOT 32290 SOS 10233 HAS SOPS 10233 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7390.233
AT ITER 124 NEW BEST:: SOT 32286 SOS 10229 HAS SOPS 10229 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7385.229
AT ITER 132 NEW BEST:: SOT 32266 SOS 9916 HAS SOPS 9916 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7344.916
AT ITER 134 NEW BEST:: SOT 32230 SOS 9876 HAS SOPS 9876 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7326.876
AT ITER 137 NEW BEST:: SOT 32113 SOS 9815 HAS SOPS 9815 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7251.815
AT ITER 139 NEW BEST:: SOT 32058 SOS 9705 HAS SOPS 9705 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7249.705
AT ITER 144 NEW BEST:: SOT 32058 SOS 9697 HAS SOPS 9697 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7249.697
AT ITER 148 NEW BEST:: SOT 32052 SOS 9685 HAS SOPS 9685 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7237.685
AT ITER 150 NEW BEST:: SOT 32034 SOS 9649 HAS SOPS 9649 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7225.649
AT ITER 167 NEW BEST:: SOT 32034 SOS 9644 HAS SOPS 9644 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7220.644
AT ITER 190 NEW BEST:: SOT 32020 SOS 9602 HAS SOPS 9602 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7206.602
AT ITER 204 NEW BEST:: SOT 32020 SOS 9598 HAS SOPS 9598 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7202.598
AT ITER 205 NEW BEST:: SOT 32006 SOS 9570 HAS SOPS 9570 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7199.57
AT ITER 242 NEW BEST:: SOT 31972 SOS 9535 HAS SOPS 9535 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7163.535
AT ITER 249 NEW BEST:: SOT 31963 SOS 9526 HAS SOPS 9526 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7154.526
AT ITER 250 NEW BEST:: SOT 31938 SOS 9476 HAS SOPS 9476 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7091.476
AT ITER 267 NEW BEST:: SOT 31928 SOS 9466 HAS SOPS 9466 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7081.466
AT ITER 268 NEW BEST:: SOT 31948 SOS 9506 HAS SOPS 9506 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6997.506
AT ITER 269 NEW BEST:: SOT 31946 SOS 9502 HAS SOPS 9502 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6995.502
AT ITER 277 NEW BEST:: SOT 31896 SOS 9464 HAS SOPS 9464 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6954.464
AT ITER 298 NEW BEST:: SOT 31831 SOS 9443 HAS SOPS 9443 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6935.443
AT ITER 302 NEW BEST:: SOT 31726 SOS 9935 HAS SOPS 9935 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6907.935
AT ITER 326 NEW BEST:: SOT 31721 SOS 9925 HAS SOPS 9925 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6897.925
AT ITER 328 NEW BEST:: SOT 31708 SOS 9899 HAS SOPS 9899 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6890.899
AT ITER 339 NEW BEST:: SOT 31707 SOS 9897 HAS SOPS 9897 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6888.897
AT ITER 345 NEW BEST:: SOT 31696 SOS 9875 HAS SOPS 9875 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6888.875
AT ITER 354 NEW BEST:: SOT 31700 SOS 9853 HAS SOPS 9853 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6880.853
AT ITER 364 NEW BEST:: SOT 31693 SOS 9839 HAS SOPS 9839 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6858.839
AT ITER 381 NEW BEST:: SOT 31689 SOS 9835 HAS SOPS 9835 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6854.835
AT ITER 416 NEW BEST:: SOT 31648 SOS 9753 HAS SOPS 9753 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6820.753
AT ITER 427 NEW BEST:: SOT 31648 SOS 9753 HAS SOPS 9753 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6795.753
AT ITER 434 NEW BEST:: SOT 31629 SOS 9734 HAS SOPS 9734 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6776.734
AT ITER 444 NEW BEST:: SOT 31625 SOS 9730 HAS SOPS 9730 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6776.73
AT ITER 448 NEW BEST:: SOT 31637 SOS 9719 HAS SOPS 9719 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6765.719
AT ITER 449 NEW BEST:: SOT 31624 SOS 9706 HAS SOPS 9706 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6752.706
AT ITER 453 NEW BEST:: SOT 31622 SOS 9714 HAS SOPS 9714 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6749.714
AT ITER 458 NEW BEST:: SOT 31621 SOS 9712 HAS SOPS 9712 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6747.712
AT ITER 463 NEW BEST:: SOT 31599 SOS 9690 HAS SOPS 9690 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6726.69
AT ITER 474 NEW BEST:: SOT 31599 SOS 9669 HAS SOPS 9669 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6705.669
AT ITER 481 NEW BEST:: SOT 31568 SOS 9634 HAS SOPS 9634 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6690.634
AT ITER 486 NEW BEST:: SOT 31568 SOS 9607 HAS SOPS 9607 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6597.607
AT ITER 503 NEW BEST:: SOT 31559 SOS 9589 HAS SOPS 9589 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6579.589
AT ITER 508 NEW BEST:: SOT 31545 SOS 9370 HAS SOPS 9370 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6538.37
AT ITER 514 NEW BEST:: SOT 31531 SOS 9314 HAS SOPS 9314 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6524.314
AT ITER 515 NEW BEST:: SOT 31512 SOS 9251 HAS SOPS 9251 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6486.251
AT ITER 524 NEW BEST:: SOT 31510 SOS 9245 HAS SOPS 9245 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6486.245
AT ITER 542 NEW BEST:: SOT 31506 SOS 9237 HAS SOPS 9237 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6478.237
AT ITER 546 NEW BEST:: SOT 31448 SOS 9121 HAS SOPS 9121 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6429.121
AT ITER 560 NEW BEST:: SOT 31446 SOS 9121 HAS SOPS 9121 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6427.121
AT ITER 567 NEW BEST:: SOT 31414 SOS 9020 HAS SOPS 9020 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6370.02
AT ITER 621 NEW BEST:: SOT 31404 SOS 8994 HAS SOPS 8994 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6365.994
AT ITER 625 NEW BEST:: SOT 31401 SOS 8988 HAS SOPS 8988 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6359.988
AT ITER 655 NEW BEST:: SOT 31401 SOS 8982 HAS SOPS 8982 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6353.982
AT ITER 666 NEW BEST:: SOT 31415 SOS 9010 HAS SOPS 9010 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6353.01
AT ITER 676 NEW BEST:: SOT 31402 SOS 8984 HAS SOPS 8984 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6336.984
AT ITER 690 NEW BEST:: SOT 31398 SOS 8980 HAS SOPS 8980 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6332.98
AT ITER 691 NEW BEST:: SOT 31340 SOS 9333 HAS SOPS 9333 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6319.333
AT ITER 696 NEW BEST:: SOT 31308 SOS 9269 HAS SOPS 9269 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6287.269
AT ITER 711 NEW BEST:: SOT 31307 SOS 9267 HAS SOPS 9267 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6285.267
AT ITER 724 NEW BEST:: SOT 31301 SOS 9255 HAS SOPS 9255 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.255
AT ITER 730 NEW BEST:: SOT 31290 SOS 9255 HAS SOPS 9255 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6259.255
AT ITER 734 NEW BEST:: SOT 31283 SOS 9242 HAS SOPS 9242 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6246.242
AT ITER 742 NEW BEST:: SOT 31289 SOS 9248 HAS SOPS 9248 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6240.248
AT ITER 747 NEW BEST:: SOT 31285 SOS 9193 HAS SOPS 9193 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6227.193
AT ITER 787 NEW BEST:: SOT 31164 SOS 9555 HAS SOPS 9555 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6152.555
AT ITER 804 NEW BEST:: SOT 31143 SOS 9513 HAS SOPS 9513 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6131.513
AT ITER 805 NEW BEST:: SOT 31092 SOS 9411 HAS SOPS 9411 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6080.411
AT ITER 806 NEW BEST:: SOT 31053 SOS 9333 HAS SOPS 9333 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6056.333
AT ITER 823 NEW BEST:: SOT 31035 SOS 9288 HAS SOPS 9288 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6029.288
AT ITER 849 NEW BEST:: SOT 30958 SOS 9175 HAS SOPS 9175 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5916.175
AT ITER 862 NEW BEST:: SOT 30954 SOS 9167 HAS SOPS 9167 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5908.167
AT ITER 863 NEW BEST:: SOT 30954 SOS 9158 HAS SOPS 9158 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5899.158
AT ITER 870 NEW BEST:: SOT 30941 SOS 9145 HAS SOPS 9145 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.145
AT ITER 885 NEW BEST:: SOT 30925 SOS 9113 HAS SOPS 9113 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5857.113
AT ITER 906 NEW BEST:: SOT 30943 SOS 9131 HAS SOPS 9131 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5856.131
AT ITER 908 NEW BEST:: SOT 30941 SOS 9129 HAS SOPS 9129 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5854.129
AT ITER 922 NEW BEST:: SOT 30932 SOS 9111 HAS SOPS 9111 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5846.111
AT ITER 940 NEW BEST:: SOT 30931 SOS 9109 HAS SOPS 9109 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5844.109
AT ITER 943 NEW BEST:: SOT 30932 SOS 9072 HAS SOPS 9072 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5825.072
AT ITER 945 NEW BEST:: SOT 30985 SOS 9125 HAS SOPS 9125 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5821.125
AT ITER 948 NEW BEST:: SOT 30955 SOS 9080 HAS SOPS 9080 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5754.08
AT ITER 949 NEW BEST:: SOT 30947 SOS 9019 HAS SOPS 9019 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5746.019
AT ITER 955 NEW BEST:: SOT 30949 SOS 9007 HAS SOPS 9007 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5734.007
AT ITER 959 NEW BEST:: SOT 30947 SOS 9003 HAS SOPS 9003 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5730.003
AT ITER 962 NEW BEST:: SOT 30932 SOS 8973 HAS SOPS 8973 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5699.973
AT ITER 983 NEW BEST:: SOT 30917 SOS 8943 HAS SOPS 8943 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5678.943
AT ITER 989 NEW BEST:: SOT 30916 SOS 8941 HAS SOPS 8941 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5676.941
AT ITER 994 NEW BEST:: SOT 30916 SOS 8931 HAS SOPS 8931 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5676.931
AT ITER 1057 NEW BEST:: SOT 30909 SOS 8917 HAS SOPS 8917 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5662.917
AT ITER 1060 NEW BEST:: SOT 30908 SOS 8952 HAS SOPS 8952 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5660.952
AT ITER 1062 NEW BEST:: SOT 30879 SOS 8933 HAS SOPS 8933 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5638.933
AT ITER 1072 NEW BEST:: SOT 30857 SOS 8924 HAS SOPS 8924 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5629.924
AT ITER 1073 NEW BEST:: SOT 30847 SOS 8915 HAS SOPS 8915 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5609.915
AT ITER 1080 NEW BEST:: SOT 30845 SOS 8914 HAS SOPS 8914 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5605.914
AT ITER 1089 NEW BEST:: SOT 30820 SOS 8929 HAS SOPS 8929 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5580.929
AT ITER 1112 NEW BEST:: SOT 30825 SOS 8926 HAS SOPS 8926 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5577.926
AT ITER 1151 NEW BEST:: SOT 30794 SOS 8885 HAS SOPS 8885 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5557.885
AT ITER 1154 NEW BEST:: SOT 30794 SOS 8882 HAS SOPS 8882 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5557.882
AT ITER 1159 NEW BEST:: SOT 30782 SOS 8862 HAS SOPS 8862 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5549.862
AT ITER 1182 NEW BEST:: SOT 30766 SOS 8773 HAS SOPS 8773 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5501.773
AT ITER 1204 NEW BEST:: SOT 30764 SOS 8769 HAS SOPS 8769 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5497.769
AT ITER 1215 NEW BEST:: SOT 30751 SOS 8727 HAS SOPS 8727 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5484.727
AT ITER 1217 NEW BEST:: SOT 30752 SOS 8712 HAS SOPS 8712 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5469.712
AT ITER 1235 NEW BEST:: SOT 30758 SOS 8547 HAS SOPS 8547 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5444.547
AT ITER 1249 NEW BEST:: SOT 30761 SOS 8505 HAS SOPS 8505 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5402.505
AT ITER 1261 NEW BEST:: SOT 30762 SOS 8506 HAS SOPS 8506 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5390.506
AT ITER 1303 NEW BEST:: SOT 30761 SOS 8496 HAS SOPS 8496 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5381.496
AT ITER 1349 NEW BEST:: SOT 30758 SOS 8487 HAS SOPS 8487 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5372.487
AT ITER 1356 NEW BEST:: SOT 30724 SOS 8433 HAS SOPS 8433 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5344.433
AT ITER 1374 NEW BEST:: SOT 30740 SOS 8418 HAS SOPS 8418 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5329.418
AT ITER 1379 NEW BEST:: SOT 30736 SOS 8414 HAS SOPS 8414 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5325.414
AT ITER 1384 NEW BEST:: SOT 30736 SOS 8414 HAS SOPS 8414 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5316.414
AT ITER 1387 NEW BEST:: SOT 30736 SOS 8395 HAS SOPS 8395 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5297.395
AT ITER 1417 NEW BEST:: SOT 30735 SOS 8380 HAS SOPS 8380 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5295.38
AT ITER 1438 NEW BEST:: SOT 30727 SOS 8365 HAS SOPS 8365 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5287.365
AT ITER 1446 NEW BEST:: SOT 30729 SOS 8369 HAS SOPS 8369 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5286.369
AT ITER 1457 NEW BEST:: SOT 30717 SOS 8346 HAS SOPS 8346 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5257.346
AT ITER 1502 NEW BEST:: SOT 30711 SOS 8340 HAS SOPS 8340 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5257.34
AT ITER 1531 NEW BEST:: SOT 30688 SOS 8294 HAS SOPS 8294 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5234.294
AT ITER 1533 NEW BEST:: SOT 30687 SOS 8292 HAS SOPS 8292 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5231.292
AT ITER 1565 NEW BEST:: SOT 30682 SOS 8282 HAS SOPS 8282 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5221.282
AT ITER 1572 NEW BEST:: SOT 30682 SOS 8280 HAS SOPS 8280 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5219.28
AT ITER 1611 NEW BEST:: SOT 30682 SOS 8289 HAS SOPS 8289 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5210.289
AT ITER 1652 NEW BEST:: SOT 30665 SOS 8255 HAS SOPS 8255 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5193.255
AT ITER 1671 NEW BEST:: SOT 30665 SOS 8255 HAS SOPS 8255 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5192.255
AT ITER 1673 NEW BEST:: SOT 30665 SOS 8237 HAS SOPS 8237 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5192.237
AT ITER 1685 NEW BEST:: SOT 30657 SOS 8224 HAS SOPS 8224 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5184.224
AT ITER 1745 NEW BEST:: SOT 30583 SOS 8154 HAS SOPS 8154 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5138.154
AT ITER 1761 NEW BEST:: SOT 30569 SOS 8126 HAS SOPS 8126 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5131.126
AT ITER 1762 NEW BEST:: SOT 30547 SOS 8090 HAS SOPS 8090 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5117.09
AT ITER 1768 NEW BEST:: SOT 30545 SOS 8088 HAS SOPS 8088 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5117.088
AT ITER 1778 NEW BEST:: SOT 30544 SOS 8086 HAS SOPS 8086 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5115.086
AT ITER 1789 NEW BEST:: SOT 30510 SOS 8052 HAS SOPS 8052 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5081.052
AT ITER 1810 NEW BEST:: SOT 30500 SOS 8042 HAS SOPS 8042 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5079.042
AT ITER 1843 NEW BEST:: SOT 30500 SOS 8039 HAS SOPS 8039 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5079.039
AT ITER 1848 NEW BEST:: SOT 30488 SOS 8591 HAS SOPS 8591 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5068.591
AT ITER 1894 NEW BEST:: SOT 30475 SOS 8586 HAS SOPS 8586 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5063.586
AT ITER 1898 NEW BEST:: SOT 30474 SOS 8584 HAS SOPS 8584 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5061.584
AT ITER 1909 NEW BEST:: SOT 30464 SOS 8574 HAS SOPS 8574 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5051.574
AT ITER 1913 NEW BEST:: SOT 30455 SOS 8543 HAS SOPS 8543 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5046.543
AT ITER 1947 NEW BEST:: SOT 30443 SOS 8532 HAS SOPS 8532 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5035.532
AT ITER 1955 NEW BEST:: SOT 30439 SOS 8529 HAS SOPS 8529 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5027.529
AT ITER 1968 NEW BEST:: SOT 30434 SOS 8519 HAS SOPS 8519 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5022.519
AT ITER 1971 NEW BEST:: SOT 30437 SOS 8519 HAS SOPS 8519 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5019.519
AT ITER 1990 NEW BEST:: SOT 30385 SOS 8441 HAS SOPS 8441 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4967.441
AT ITER 2005 NEW BEST:: SOT 30382 SOS 8435 HAS SOPS 8435 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4961.435
AT ITER 2013 NEW BEST:: SOT 30378 SOS 8427 HAS SOPS 8427 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4953.427
AT ITER 2040 NEW BEST:: SOT 30374 SOS 8382 HAS SOPS 8382 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4935.382
AT ITER 2057 NEW BEST:: SOT 30374 SOS 8382 HAS SOPS 8382 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4934.382
AT ITER 2066 NEW BEST:: SOT 30355 SOS 8737 HAS SOPS 8737 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4933.737
AT ITER 2076 NEW BEST:: SOT 30365 SOS 8733 HAS SOPS 8733 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4931.733
AT ITER 2086 NEW BEST:: SOT 30364 SOS 8732 HAS SOPS 8732 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4927.732
AT ITER 2087 NEW BEST:: SOT 30392 SOS 8783 HAS SOPS 8783 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4926.783
AT ITER 2129 NEW BEST:: SOT 30390 SOS 8803 HAS SOPS 8803 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4924.803
AT ITER 2185 NEW BEST:: SOT 30389 SOS 8801 HAS SOPS 8801 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4923.801
AT ITER 2276 NEW BEST:: SOT 30404 SOS 8576 HAS SOPS 8576 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4912.576
AT ITER 2300 NEW BEST:: SOT 30405 SOS 8575 HAS SOPS 8575 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4911.575
AT ITER 2323 NEW BEST:: SOT 30404 SOS 8573 HAS SOPS 8573 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4911.573
AT ITER 2329 NEW BEST:: SOT 30402 SOS 8570 HAS SOPS 8570 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4908.57
AT ITER 2345 NEW BEST:: SOT 30394 SOS 8554 HAS SOPS 8554 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4892.554
AT ITER 2371 NEW BEST:: SOT 30382 SOS 8541 HAS SOPS 8541 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4885.541
AT ITER 2383 NEW BEST:: SOT 30371 SOS 8530 HAS SOPS 8530 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4874.53
AT ITER 2399 NEW BEST:: SOT 30381 SOS 8319 HAS SOPS 8319 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4873.319
AT ITER 2434 NEW BEST:: SOT 30380 SOS 8313 HAS SOPS 8313 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4867.313
AT ITER 2442 NEW BEST:: SOT 30365 SOS 8283 HAS SOPS 8283 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4847.283
AT ITER 2479 NEW BEST:: SOT 30365 SOS 8262 HAS SOPS 8262 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4847.262
AT ITER 2489 NEW BEST:: SOT 30360 SOS 8252 HAS SOPS 8252 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4842.252
AT ITER 2497 NEW BEST:: SOT 30356 SOS 8246 HAS SOPS 8246 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4836.246
AT ITER 2526 NEW BEST:: SOT 30351 SOS 8236 HAS SOPS 8236 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4826.236
AT ITER 2537 NEW BEST:: SOT 30347 SOS 8217 HAS SOPS 8217 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4807.217
AT ITER 2562 NEW BEST:: SOT 30347 SOS 8217 HAS SOPS 8217 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4787.217
AT ITER 2563 NEW BEST:: SOT 30320 SOS 8189 HAS SOPS 8189 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4759.189
AT ITER 2565 NEW BEST:: SOT 30298 SOS 8165 HAS SOPS 8165 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4735.165
AT ITER 2597 NEW BEST:: SOT 30284 SOS 8150 HAS SOPS 8150 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4720.15
AT ITER 2612 NEW BEST:: SOT 30280 SOS 8146 HAS SOPS 8146 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4716.146
AT ITER 2613 NEW BEST:: SOT 30272 SOS 8130 HAS SOPS 8130 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4708.13
AT ITER 2636 NEW BEST:: SOT 30274 SOS 8128 HAS SOPS 8128 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4702.128
AT ITER 2658 NEW BEST:: SOT 30269 SOS 8118 HAS SOPS 8118 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4692.118
AT ITER 2660 NEW BEST:: SOT 30265 SOS 8112 HAS SOPS 8112 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4688.112
AT ITER 2669 NEW BEST:: SOT 30262 SOS 8109 HAS SOPS 8109 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4685.109
AT ITER 2742 NEW BEST:: SOT 30261 SOS 8107 HAS SOPS 8107 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4683.107
AT ITER 2765 NEW BEST:: SOT 30254 SOS 8100 HAS SOPS 8100 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4680.1
AT ITER 2782 NEW BEST:: SOT 30254 SOS 8099 HAS SOPS 8099 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4679.099
AT ITER 2783 NEW BEST:: SOT 30248 SOS 8083 HAS SOPS 8083 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4663.083
AT ITER 2850 NEW BEST:: SOT 30244 SOS 8075 HAS SOPS 8075 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4655.075
AT ITER 2859 NEW BEST:: SOT 30244 SOS 8075 HAS SOPS 8075 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4654.075
AT ITER 2922 NEW BEST:: SOT 30236 SOS 8059 HAS SOPS 8059 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4649.059
AT ITER 3002 NEW BEST:: SOT 30239 SOS 8050 HAS SOPS 8050 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4639.05
AT ITER 3008 NEW BEST:: SOT 30239 SOS 8026 HAS SOPS 8026 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4639.026
AT ITER 3037 NEW BEST:: SOT 30237 SOS 8024 HAS SOPS 8024 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4637.024
AT ITER 3043 NEW BEST:: SOT 30234 SOS 8021 HAS SOPS 8021 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4631.021
AT ITER 3064 NEW BEST:: SOT 30194 SOS 7967 HAS SOPS 7967 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4578.967
AT ITER 3093 NEW BEST:: SOT 30191 SOS 7961 HAS SOPS 7961 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4572.961
AT ITER 3095 NEW BEST:: SOT 30192 SOS 7963 HAS SOPS 7963 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4555.963
AT ITER 3136 NEW BEST:: SOT 30154 SOS 7887 HAS SOPS 7887 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4510.887
AT ITER 3148 NEW BEST:: SOT 30150 SOS 7879 HAS SOPS 7879 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4502.879
AT ITER 3151 NEW BEST:: SOT 30148 SOS 7875 HAS SOPS 7875 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4498.875
AT ITER 3180 NEW BEST:: SOT 30091 SOS 7747 HAS SOPS 7747 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4470.747
AT ITER 3187 NEW BEST:: SOT 30078 SOS 7721 HAS SOPS 7721 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4459.721
AT ITER 3212 NEW BEST:: SOT 30077 SOS 7720 HAS SOPS 7720 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4459.72
AT ITER 3269 NEW BEST:: SOT 30090 SOS 7746 HAS SOPS 7746 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4457.746
AT ITER 3307 NEW BEST:: SOT 30084 SOS 7713 HAS SOPS 7713 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4451.713
AT ITER 3311 NEW BEST:: SOT 30069 SOS 7683 HAS SOPS 7683 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4451.683
AT ITER 3312 NEW BEST:: SOT 30062 SOS 7669 HAS SOPS 7669 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4451.669
AT ITER 3332 NEW BEST:: SOT 30054 SOS 7657 HAS SOPS 7657 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4443.657
AT ITER 3365 NEW BEST:: SOT 30036 SOS 7630 HAS SOPS 7630 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4433.63
AT ITER 3371 NEW BEST:: SOT 30033 SOS 7624 HAS SOPS 7624 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4427.624
AT ITER 3378 NEW BEST:: SOT 30017 SOS 7592 HAS SOPS 7592 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4426.592
AT ITER 3379 NEW BEST:: SOT 30017 SOS 7613 HAS SOPS 7613 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4410.613
AT ITER 3380 NEW BEST:: SOT 30006 SOS 7591 HAS SOPS 7591 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4397.591
AT ITER 3392 NEW BEST:: SOT 29989 SOS 7557 HAS SOPS 7557 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4384.557
AT ITER 3415 NEW BEST:: SOT 29982 SOS 7553 HAS SOPS 7553 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4380.553
AT ITER 3425 NEW BEST:: SOT 29969 SOS 7567 HAS SOPS 7567 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4374.567
AT ITER 3427 NEW BEST:: SOT 29969 SOS 7567 HAS SOPS 7567 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4373.567
AT ITER 3447 NEW BEST:: SOT 29961 SOS 7551 HAS SOPS 7551 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4357.551
AT ITER 3462 NEW BEST:: SOT 29961 SOS 7550 HAS SOPS 7550 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4357.55
AT ITER 3480 NEW BEST:: SOT 29962 SOS 7552 HAS SOPS 7552 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4353.552
AT ITER 3491 NEW BEST:: SOT 29966 SOS 7446 HAS SOPS 7446 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4351.446
AT ITER 3540 NEW BEST:: SOT 29965 SOS 7444 HAS SOPS 7444 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4349.444
AT ITER 3542 NEW BEST:: SOT 29967 SOS 7447 HAS SOPS 7447 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4342.447
AT ITER 3591 NEW BEST:: SOT 29963 SOS 7439 HAS SOPS 7439 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4342.439
AT ITER 3611 NEW BEST:: SOT 29963 SOS 7438 HAS SOPS 7438 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4342.438
AT ITER 3631 NEW BEST:: SOT 29961 SOS 7431 HAS SOPS 7431 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4337.431
AT ITER 3638 NEW BEST:: SOT 29961 SOS 7422 HAS SOPS 7422 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4328.422
AT ITER 3683 NEW BEST:: SOT 29918 SOS 7336 HAS SOPS 7336 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4328.336
AT ITER 3690 NEW BEST:: SOT 29954 SOS 7461 HAS SOPS 7461 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4309.461
AT ITER 3744 NEW BEST:: SOT 29952 SOS 7415 HAS SOPS 7415 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4304.415
AT ITER 3805 NEW BEST:: SOT 29956 SOS 7414 HAS SOPS 7414 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4303.414
AT ITER 3868 NEW BEST:: SOT 29965 SOS 7405 HAS SOPS 7405 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4298.405
AT ITER 3877 NEW BEST:: SOT 29965 SOS 7398 HAS SOPS 7398 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4291.398
AT ITER 3908 NEW BEST:: SOT 29954 SOS 7376 HAS SOPS 7376 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4280.376
AT ITER 3920 NEW BEST:: SOT 29949 SOS 7371 HAS SOPS 7371 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4275.371
AT ITER 3965 NEW BEST:: SOT 29957 SOS 7366 HAS SOPS 7366 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.366
AT ITER 3973 NEW BEST:: SOT 29957 SOS 7236 HAS SOPS 7236 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.236
AT ITER 4032 NEW BEST:: SOT 29957 SOS 7200 HAS SOPS 7200 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.2
AT ITER 4048 NEW BEST:: SOT 29957 SOS 7191 HAS SOPS 7191 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.191
AT ITER 4075 NEW BEST:: SOT 29955 SOS 7187 HAS SOPS 7187 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4266.187
AT ITER 4077 NEW BEST:: SOT 29958 SOS 7193 HAS SOPS 7193 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4265.193
AT ITER 4094 NEW BEST:: SOT 29948 SOS 7383 HAS SOPS 7383 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4260.383
AT ITER 4112 NEW BEST:: SOT 29947 SOS 7381 HAS SOPS 7381 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4258.381
AT ITER 4120 NEW BEST:: SOT 29943 SOS 7377 HAS SOPS 7377 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4254.377
AT ITER 4134 NEW BEST:: SOT 29944 SOS 7372 HAS SOPS 7372 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4249.372
AT ITER 4135 NEW BEST:: SOT 29958 SOS 7162 HAS SOPS 7162 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4246.162
AT ITER 4150 NEW BEST:: SOT 29957 SOS 7159 HAS SOPS 7159 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4245.159
AT ITER 4239 NEW BEST:: SOT 29943 SOS 7131 HAS SOPS 7131 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4212.131
AT ITER 4247 NEW BEST:: SOT 29943 SOS 7131 HAS SOPS 7131 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.131
AT ITER 4283 NEW BEST:: SOT 29938 SOS 7121 HAS SOPS 7121 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.121
AT ITER 4431 NEW BEST:: SOT 29938 SOS 6991 HAS SOPS 6991 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4189.991
AT ITER 4486 NEW BEST:: SOT 29933 SOS 6986 HAS SOPS 6986 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4184.986
AT ITER 4504 NEW BEST:: SOT 29932 SOS 6984 HAS SOPS 6984 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4181.984
AT ITER 4538 NEW BEST:: SOT 29929 SOS 6978 HAS SOPS 6978 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4175.978
AT ITER 4554 NEW BEST:: SOT 29928 SOS 6976 HAS SOPS 6976 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4173.976
AT ITER 4559 NEW BEST:: SOT 29926 SOS 6972 HAS SOPS 6972 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4169.972
AT ITER 4663 NEW BEST:: SOT 29926 SOS 6972 HAS SOPS 6972 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4167.972
AT ITER 4668 NEW BEST:: SOT 29939 SOS 6985 HAS SOPS 6985 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4166.985
AT ITER 4685 NEW BEST:: SOT 29936 SOS 6979 HAS SOPS 6979 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4161.979
AT ITER 4800 NEW BEST:: SOT 29937 SOS 6979 HAS SOPS 6979 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4160.979
AT ITER 4802 NEW BEST:: SOT 29923 SOS 6951 HAS SOPS 6951 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4135.951
AT ITER 4813 NEW BEST:: SOT 29923 SOS 6950 HAS SOPS 6950 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4134.95
AT ITER 4877 NEW BEST:: SOT 29923 SOS 6950 HAS SOPS 6950 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4130.95
AT ITER 4886 NEW BEST:: SOT 29908 SOS 7037 HAS SOPS 7037 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4116.037
AT ITER 4948 NEW BEST:: SOT 29903 SOS 7027 HAS SOPS 7027 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4106.027
AT ITER 5022 NEW BEST:: SOT 29905 SOS 7019 HAS SOPS 7019 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4098.019
AT ITER 5030 NEW BEST:: SOT 29903 SOS 7017 HAS SOPS 7017 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4095.017
AT ITER 5064 NEW BEST:: SOT 29902 SOS 7015 HAS SOPS 7015 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4093.015
AT ITER 5068 NEW BEST:: SOT 29902 SOS 7007 HAS SOPS 7007 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4093.007
AT ITER 5080 NEW BEST:: SOT 29901 SOS 7005 HAS SOPS 7005 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4088.005
AT ITER 5161 NEW BEST:: SOT 29891 SOS 7003 HAS SOPS 7003 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4075.003
AT ITER 5209 NEW BEST:: SOT 29890 SOS 7001 HAS SOPS 7001 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4075.001
AT ITER 5251 NEW BEST:: SOT 29890 SOS 6999 HAS SOPS 6999 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4074.999
AT ITER 5412 NEW BEST:: SOT 29897 SOS 7006 HAS SOPS 7006 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4071.006
AT ITER 5418 NEW BEST:: SOT 29882 SOS 6994 HAS SOPS 6994 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4068.994
AT ITER 5444 NEW BEST:: SOT 29874 SOS 7018 HAS SOPS 7018 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4062.018
AT ITER 5487 NEW BEST:: SOT 29863 SOS 6996 HAS SOPS 6996 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4059.996
AT ITER 5491 NEW BEST:: SOT 29859 SOS 6962 HAS SOPS 6962 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4051.962
AT ITER 5572 NEW BEST:: SOT 29858 SOS 6961 HAS SOPS 6961 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4050.961
AT ITER 5593 NEW BEST:: SOT 29848 SOS 6951 HAS SOPS 6951 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4038.951
AT ITER 5610 NEW BEST:: SOT 29851 SOS 6957 HAS SOPS 6957 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4025.957
AT ITER 5614 NEW BEST:: SOT 29825 SOS 6905 HAS SOPS 6905 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3999.905
AT ITER 5660 NEW BEST:: SOT 29824 SOS 6903 HAS SOPS 6903 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3997.903
AT ITER 5707 NEW BEST:: SOT 29823 SOS 6900 HAS SOPS 6900 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3997.9
AT ITER 5748 NEW BEST:: SOT 29823 SOS 6888 HAS SOPS 6888 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3997.888
AT ITER 5770 NEW BEST:: SOT 29819 SOS 6880 HAS SOPS 6880 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3994.88
AT ITER 5798 NEW BEST:: SOT 29818 SOS 6891 HAS SOPS 6891 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3992.891
AT ITER 5876 NEW BEST:: SOT 29818 SOS 6879 HAS SOPS 6879 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3980.879
AT ITER 5880 NEW BEST:: SOT 29817 SOS 6878 HAS SOPS 6878 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3978.878
AT ITER 5884 NEW BEST:: SOT 29820 SOS 6877 HAS SOPS 6877 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3974.877
AT ITER 5933 NEW BEST:: SOT 29814 SOS 6869 HAS SOPS 6869 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3964.869
AT ITER 5937 NEW BEST:: SOT 29809 SOS 6859 HAS SOPS 6859 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3956.859
AT ITER 5958 NEW BEST:: SOT 29795 SOS 6831 HAS SOPS 6831 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3947.831
AT ITER 5991 NEW BEST:: SOT 29795 SOS 6823 HAS SOPS 6823 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3947.823
AT ITER 6037 NEW BEST:: SOT 29793 SOS 6819 HAS SOPS 6819 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3943.819
AT ITER 6050 NEW BEST:: SOT 29791 SOS 6815 HAS SOPS 6815 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3941.815
AT ITER 6111 NEW BEST:: SOT 29791 SOS 6771 HAS SOPS 6771 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3926.771
AT ITER 6258 NEW BEST:: SOT 29785 SOS 6822 HAS SOPS 6822 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3923.822
AT ITER 6263 NEW BEST:: SOT 29781 SOS 6817 HAS SOPS 6817 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3922.817
AT ITER 6265 NEW BEST:: SOT 29779 SOS 6815 HAS SOPS 6815 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3920.815
AT ITER 6341 NEW BEST:: SOT 29780 SOS 6817 HAS SOPS 6817 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.817
AT ITER 6362 NEW BEST:: SOT 29777 SOS 6811 HAS SOPS 6811 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.811
AT ITER 6365 NEW BEST:: SOT 29774 SOS 6805 HAS SOPS 6805 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.805
AT ITER 6375 NEW BEST:: SOT 29776 SOS 6801 HAS SOPS 6801 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.801
AT ITER 6428 NEW BEST:: SOT 29767 SOS 6746 HAS SOPS 6746 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3893.746
AT ITER 6528 NEW BEST:: SOT 29768 SOS 6748 HAS SOPS 6748 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3891.748
AT ITER 6537 NEW BEST:: SOT 29765 SOS 6742 HAS SOPS 6742 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3887.742
AT ITER 6580 NEW BEST:: SOT 29760 SOS 6723 HAS SOPS 6723 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3873.723
AT ITER 6633 NEW BEST:: SOT 29759 SOS 6721 HAS SOPS 6721 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3871.721
AT ITER 6638 NEW BEST:: SOT 29758 SOS 6719 HAS SOPS 6719 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3869.719
AT ITER 6706 NEW BEST:: SOT 29752 SOS 6713 HAS SOPS 6713 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3863.713
AT ITER 6710 NEW BEST:: SOT 29736 SOS 6793 HAS SOPS 6793 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.793
AT ITER 6732 NEW BEST:: SOT 29712 SOS 6769 HAS SOPS 6769 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.769
AT ITER 6735 NEW BEST:: SOT 29711 SOS 6767 HAS SOPS 6767 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3852.767
AT ITER 6771 NEW BEST:: SOT 29705 SOS 6791 HAS SOPS 6791 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3846.791
AT ITER 6776 NEW BEST:: SOT 29707 SOS 6795 HAS SOPS 6795 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.795
AT ITER 6800 NEW BEST:: SOT 29700 SOS 6788 HAS SOPS 6788 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.788
AT ITER 6873 NEW BEST:: SOT 29700 SOS 6787 HAS SOPS 6787 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3844.787
AT ITER 6939 NEW BEST:: SOT 29698 SOS 6783 HAS SOPS 6783 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3840.783
AT ITER 6960 NEW BEST:: SOT 29697 SOS 6782 HAS SOPS 6782 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3839.782
AT ITER 6991 NEW BEST:: SOT 29695 SOS 6781 HAS SOPS 6781 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3838.781
AT ITER 7056 NEW BEST:: SOT 29694 SOS 6779 HAS SOPS 6779 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3835.779
AT ITER 7081 NEW BEST:: SOT 29694 SOS 6767 HAS SOPS 6767 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3835.767
AT ITER 7096 NEW BEST:: SOT 29678 SOS 6735 HAS SOPS 6735 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3834.735
AT ITER 7195 NEW BEST:: SOT 29696 SOS 6393 HAS SOPS 6393 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3828.393
AT ITER 7227 NEW BEST:: SOT 29694 SOS 6389 HAS SOPS 6389 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3827.389
AT ITER 7293 NEW BEST:: SOT 29688 SOS 6515 HAS SOPS 6515 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3825.515
AT ITER 7342 NEW BEST:: SOT 29718 SOS 6545 HAS SOPS 6545 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3821.545
AT ITER 7347 NEW BEST:: SOT 29717 SOS 6543 HAS SOPS 6543 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3819.543
AT ITER 7354 NEW BEST:: SOT 29716 SOS 6541 HAS SOPS 6541 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3818.541
AT ITER 7424 NEW BEST:: SOT 29711 SOS 6531 HAS SOPS 6531 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3808.531
AT ITER 7450 NEW BEST:: SOT 29710 SOS 6530 HAS SOPS 6530 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3807.53
AT ITER 7452 NEW BEST:: SOT 29690 SOS 6510 HAS SOPS 6510 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3797.51
AT ITER 7485 NEW BEST:: SOT 29683 SOS 6496 HAS SOPS 6496 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3790.496
AT ITER 7519 NEW BEST:: SOT 29680 SOS 6490 HAS SOPS 6490 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3784.49
AT ITER 7536 NEW BEST:: SOT 29680 SOS 6489 HAS SOPS 6489 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3783.489
AT ITER 7604 NEW BEST:: SOT 29675 SOS 6483 HAS SOPS 6483 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3778.483
AT ITER 7623 NEW BEST:: SOT 29667 SOS 6537 HAS SOPS 6537 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3775.537
AT ITER 7653 NEW BEST:: SOT 29657 SOS 6517 HAS SOPS 6517 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3765.517
AT ITER 7690 NEW BEST:: SOT 29657 SOS 6517 HAS SOPS 6517 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3764.517
AT ITER 7718 NEW BEST:: SOT 29657 SOS 6516 HAS SOPS 6516 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3763.516
AT ITER 7769 NEW BEST:: SOT 29653 SOS 6508 HAS SOPS 6508 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3760.508
AT ITER 7784 NEW BEST:: SOT 29652 SOS 6506 HAS SOPS 6506 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3759.506
AT ITER 7837 NEW BEST:: SOT 29649 SOS 6500 HAS SOPS 6500 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3753.5
AT ITER 7853 NEW BEST:: SOT 29649 SOS 6496 HAS SOPS 6496 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3749.496
AT ITER 7945 NEW BEST:: SOT 29642 SOS 6482 HAS SOPS 6482 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3735.482
AT ITER 7985 NEW BEST:: SOT 29643 SOS 6484 HAS SOPS 6484 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3731.484
AT ITER 8010 NEW BEST:: SOT 29622 SOS 6453 HAS SOPS 6453 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3724.453
AT ITER 8078 NEW BEST:: SOT 29622 SOS 6451 HAS SOPS 6451 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3724.451
AT ITER 8197 NEW BEST:: SOT 29621 SOS 6449 HAS SOPS 6449 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3723.449
AT ITER 8214 NEW BEST:: SOT 29608 SOS 6423 HAS SOPS 6423 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3723.423
AT ITER 8278 NEW BEST:: SOT 29606 SOS 6432 HAS SOPS 6432 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3722.432
AT ITER 8305 NEW BEST:: SOT 29589 SOS 6734 HAS SOPS 6734 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3705.734
AT ITER 8313 NEW BEST:: SOT 29586 SOS 6728 HAS SOPS 6728 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3699.728
AT ITER 8346 NEW BEST:: SOT 29584 SOS 6728 HAS SOPS 6728 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3695.728
AT ITER 8377 NEW BEST:: SOT 29588 SOS 6714 HAS SOPS 6714 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3685.714
AT ITER 8522 NEW BEST:: SOT 29589 SOS 6716 HAS SOPS 6716 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3684.716
AT ITER 8550 NEW BEST:: SOT 29587 SOS 6719 HAS SOPS 6719 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3675.719
AT ITER 8633 NEW BEST:: SOT 29586 SOS 6718 HAS SOPS 6718 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3674.718
AT ITER 8692 NEW BEST:: SOT 29573 SOS 6705 HAS SOPS 6705 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3665.705
AT ITER 8740 NEW BEST:: SOT 29571 SOS 6701 HAS SOPS 6701 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3662.701
AT ITER 8782 NEW BEST:: SOT 29567 SOS 6685 HAS SOPS 6685 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3654.685
AT ITER 8818 NEW BEST:: SOT 29564 SOS 6673 HAS SOPS 6673 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3648.673
AT ITER 8836 NEW BEST:: SOT 29565 SOS 6674 HAS SOPS 6674 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3647.674
AT ITER 9004 NEW BEST:: SOT 29577 SOS 6698 HAS SOPS 6698 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3645.698
AT ITER 9306 NEW BEST:: SOT 29574 SOS 6699 HAS SOPS 6699 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3642.699
AT ITER 9406 NEW BEST:: SOT 29575 SOS 6701 HAS SOPS 6701 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3641.701
AT ITER 9506 NEW BEST:: SOT 29559 SOS 6685 HAS SOPS 6685 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3641.685
AT ITER 9729 NEW BEST:: SOT 29534 SOS 6617 HAS SOPS 6617 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3616.617
AT ITER 9744 NEW BEST:: SOT 29526 SOS 6597 HAS SOPS 6597 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3608.597
AT ITER 9758 NEW BEST:: SOT 29523 SOS 6591 HAS SOPS 6591 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3604.591
AT ITER 9764 NEW BEST:: SOT 29532 SOS 6601 HAS SOPS 6601 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3598.601
AT ITER 9794 NEW BEST:: SOT 29528 SOS 6596 HAS SOPS 6596 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3595.596
AT ITER 9805 NEW BEST:: SOT 29524 SOS 6588 HAS SOPS 6588 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3595.588
AT ITER 9809 NEW BEST:: SOT 29521 SOS 6582 HAS SOPS 6582 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3592.582
AT ITER 9819 NEW BEST:: SOT 29522 SOS 6585 HAS SOPS 6585 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3591.585
AT ITER 9943 NEW BEST:: SOT 29517 SOS 6575 HAS SOPS 6575 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3586.575
AT ITER 9972 NEW BEST:: SOT 29503 SOS 6547 HAS SOPS 6547 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3564.547
AT ITER 9990 NEW BEST:: SOT 29498 SOS 6535 HAS SOPS 6535 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3557.535
STATE_SPACE STATES 15082804223 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 121780332615 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590469781523

--------------------
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="SmartHome-PT-06"
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 SmartHome-PT-06, 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 r224-oct2-159033538200048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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