Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973500256.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973500256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 7.2K Feb 25 23:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 23:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 23:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 23:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 25 23:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 23:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 23:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 60K Mar 5 18:23 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 1679088577307

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVt-PT-005B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 005B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 253 places, 253 transitions, 596 arcs.
AT ITER 0 NEW BEST:: SOT 34859 SOS 9888 HAS SOPS 9888 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.888
AT ITER 2 NEW BEST:: SOT 34830 SOS 9740 HAS SOPS 9740 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8820.74
AT ITER 9 NEW BEST:: SOT 34809 SOS 9698 HAS SOPS 9698 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8755.698
AT ITER 21 NEW BEST:: SOT 34809 SOS 9695 HAS SOPS 9695 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8752.695
AT ITER 25 NEW BEST:: SOT 34809 SOS 9691 HAS SOPS 9691 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8752.691
AT ITER 29 NEW BEST:: SOT 34780 SOS 9615 HAS SOPS 9615 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8667.615
AT ITER 43 NEW BEST:: SOT 34770 SOS 9585 HAS SOPS 9585 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8647.585
AT ITER 46 NEW BEST:: SOT 34751 SOS 9586 HAS SOPS 9586 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8642.586
AT ITER 57 NEW BEST:: SOT 34734 SOS 9534 HAS SOPS 9534 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8601.534
AT ITER 66 NEW BEST:: SOT 34716 SOS 9465 HAS SOPS 9465 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.465
AT ITER 79 NEW BEST:: SOT 34695 SOS 9452 HAS SOPS 9452 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8564.452
AT ITER 86 NEW BEST:: SOT 34694 SOS 9396 HAS SOPS 9396 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8535.396
AT ITER 90 NEW BEST:: SOT 34693 SOS 9394 HAS SOPS 9394 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8533.394
AT ITER 95 NEW BEST:: SOT 34677 SOS 9330 HAS SOPS 9330 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8485.33
AT ITER 98 NEW BEST:: SOT 34677 SOS 9328 HAS SOPS 9328 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8485.328
AT ITER 138 NEW BEST:: SOT 34594 SOS 9306 HAS SOPS 9306 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8458.306
AT ITER 151 NEW BEST:: SOT 34602 SOS 9311 HAS SOPS 9311 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8455.311
AT ITER 157 NEW BEST:: SOT 34602 SOS 9308 HAS SOPS 9308 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8455.308
AT ITER 167 NEW BEST:: SOT 34622 SOS 9305 HAS SOPS 9305 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.305
AT ITER 176 NEW BEST:: SOT 34683 SOS 9282 HAS SOPS 9282 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.282
AT ITER 181 NEW BEST:: SOT 34683 SOS 9282 HAS SOPS 9282 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8451.282
AT ITER 200 NEW BEST:: SOT 34647 SOS 9168 HAS SOPS 9168 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8337.168
AT ITER 206 NEW BEST:: SOT 34646 SOS 9151 HAS SOPS 9151 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8320.151
AT ITER 215 NEW BEST:: SOT 34643 SOS 9145 HAS SOPS 9145 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8317.145
AT ITER 223 NEW BEST:: SOT 34643 SOS 9145 HAS SOPS 9145 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8314.145
AT ITER 229 NEW BEST:: SOT 34643 SOS 9139 HAS SOPS 9139 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8308.139
AT ITER 233 NEW BEST:: SOT 34582 SOS 9085 HAS SOPS 9085 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8244.085
AT ITER 269 NEW BEST:: SOT 34582 SOS 9083 HAS SOPS 9083 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8242.083
AT ITER 270 NEW BEST:: SOT 34541 SOS 9103 HAS SOPS 9103 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.103
AT ITER 288 NEW BEST:: SOT 34541 SOS 9103 HAS SOPS 9103 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.103
AT ITER 316 NEW BEST:: SOT 34540 SOS 9101 HAS SOPS 9101 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8113.101
AT ITER 337 NEW BEST:: SOT 34548 SOS 9117 HAS SOPS 9117 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8090.117
AT ITER 345 NEW BEST:: SOT 34547 SOS 9115 HAS SOPS 9115 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8089.115
AT ITER 354 NEW BEST:: SOT 34535 SOS 9101 HAS SOPS 9101 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8085.101
AT ITER 362 NEW BEST:: SOT 34518 SOS 9076 HAS SOPS 9076 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8060.076
AT ITER 367 NEW BEST:: SOT 34535 SOS 9110 HAS SOPS 9110 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8047.11
AT ITER 378 NEW BEST:: SOT 34525 SOS 9100 HAS SOPS 9100 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8027.1
AT ITER 391 NEW BEST:: SOT 34520 SOS 9090 HAS SOPS 9090 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8017.09
AT ITER 396 NEW BEST:: SOT 34519 SOS 9050 HAS SOPS 9050 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8015.05
AT ITER 417 NEW BEST:: SOT 34513 SOS 9038 HAS SOPS 9038 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8005.038
AT ITER 419 NEW BEST:: SOT 34505 SOS 9030 HAS SOPS 9030 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.03
AT ITER 421 NEW BEST:: SOT 34507 SOS 9031 HAS SOPS 9031 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7976.031
AT ITER 435 NEW BEST:: SOT 34543 SOS 9023 HAS SOPS 9023 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7968.023
AT ITER 447 NEW BEST:: SOT 34523 SOS 8983 HAS SOPS 8983 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7947.983
AT ITER 462 NEW BEST:: SOT 34523 SOS 8980 HAS SOPS 8980 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7944.98
AT ITER 465 NEW BEST:: SOT 34510 SOS 9028 HAS SOPS 9028 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7932.028
AT ITER 467 NEW BEST:: SOT 34510 SOS 9010 HAS SOPS 9010 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7930.01
AT ITER 478 NEW BEST:: SOT 34493 SOS 8976 HAS SOPS 8976 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7919.976
AT ITER 480 NEW BEST:: SOT 34488 SOS 8980 HAS SOPS 8980 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7909.98
AT ITER 488 NEW BEST:: SOT 34488 SOS 8958 HAS SOPS 8958 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7909.958
AT ITER 544 NEW BEST:: SOT 34488 SOS 8955 HAS SOPS 8955 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7906.955
AT ITER 546 NEW BEST:: SOT 34471 SOS 8882 HAS SOPS 8882 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7855.882
AT ITER 559 NEW BEST:: SOT 34471 SOS 8882 HAS SOPS 8882 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7853.882
AT ITER 566 NEW BEST:: SOT 34471 SOS 8882 HAS SOPS 8882 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7849.882
AT ITER 580 NEW BEST:: SOT 34460 SOS 8857 HAS SOPS 8857 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7824.857
AT ITER 588 NEW BEST:: SOT 34460 SOS 8853 HAS SOPS 8853 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7820.853
AT ITER 594 NEW BEST:: SOT 34459 SOS 8851 HAS SOPS 8851 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7818.851
AT ITER 595 NEW BEST:: SOT 34440 SOS 8764 HAS SOPS 8764 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7799.764
AT ITER 597 NEW BEST:: SOT 34433 SOS 8750 HAS SOPS 8750 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7785.75
AT ITER 599 NEW BEST:: SOT 34429 SOS 8737 HAS SOPS 8737 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7777.737
AT ITER 607 NEW BEST:: SOT 34434 SOS 8722 HAS SOPS 8722 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7762.722
AT ITER 621 NEW BEST:: SOT 34428 SOS 8716 HAS SOPS 8716 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7762.716
AT ITER 627 NEW BEST:: SOT 34385 SOS 8690 HAS SOPS 8690 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7728.69
AT ITER 630 NEW BEST:: SOT 34385 SOS 8661 HAS SOPS 8661 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.661
AT ITER 649 NEW BEST:: SOT 34395 SOS 8669 HAS SOPS 8669 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7685.669
AT ITER 677 NEW BEST:: SOT 34392 SOS 8663 HAS SOPS 8663 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7679.663
AT ITER 685 NEW BEST:: SOT 34392 SOS 8653 HAS SOPS 8653 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.653
AT ITER 687 NEW BEST:: SOT 34362 SOS 8593 HAS SOPS 8593 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7597.593
AT ITER 695 NEW BEST:: SOT 34351 SOS 8572 HAS SOPS 8572 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.572
AT ITER 697 NEW BEST:: SOT 34339 SOS 8595 HAS SOPS 8595 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.595
AT ITER 717 NEW BEST:: SOT 34334 SOS 8585 HAS SOPS 8585 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7576.585
AT ITER 730 NEW BEST:: SOT 34309 SOS 8587 HAS SOPS 8587 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7565.587
AT ITER 778 NEW BEST:: SOT 34311 SOS 8556 HAS SOPS 8556 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.556
AT ITER 784 NEW BEST:: SOT 34299 SOS 8532 HAS SOPS 8532 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7535.532
AT ITER 791 NEW BEST:: SOT 34297 SOS 8528 HAS SOPS 8528 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7531.528
AT ITER 797 NEW BEST:: SOT 34294 SOS 8507 HAS SOPS 8507 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7525.507
AT ITER 819 NEW BEST:: SOT 34278 SOS 8467 HAS SOPS 8467 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7501.467
AT ITER 833 NEW BEST:: SOT 34271 SOS 8453 HAS SOPS 8453 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.453
AT ITER 853 NEW BEST:: SOT 34271 SOS 8453 HAS SOPS 8453 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.453
AT ITER 867 NEW BEST:: SOT 34274 SOS 8459 HAS SOPS 8459 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7482.459
AT ITER 883 NEW BEST:: SOT 34240 SOS 8332 HAS SOPS 8332 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7392.332
AT ITER 887 NEW BEST:: SOT 34237 SOS 8284 HAS SOPS 8284 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7331.284
AT ITER 915 NEW BEST:: SOT 34208 SOS 8226 HAS SOPS 8226 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7302.226
AT ITER 926 NEW BEST:: SOT 34208 SOS 8224 HAS SOPS 8224 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7302.224
AT ITER 928 NEW BEST:: SOT 34180 SOS 8164 HAS SOPS 8164 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7248.164
AT ITER 933 NEW BEST:: SOT 34176 SOS 8116 HAS SOPS 8116 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7237.116
AT ITER 949 NEW BEST:: SOT 34176 SOS 8111 HAS SOPS 8111 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7232.111
AT ITER 967 NEW BEST:: SOT 34171 SOS 8101 HAS SOPS 8101 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.101
AT ITER 971 NEW BEST:: SOT 34164 SOS 8080 HAS SOPS 8080 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.08
AT ITER 972 NEW BEST:: SOT 34167 SOS 8086 HAS SOPS 8086 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7127.086
AT ITER 996 NEW BEST:: SOT 34167 SOS 8082 HAS SOPS 8082 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.082
AT ITER 998 NEW BEST:: SOT 34167 SOS 8076 HAS SOPS 8076 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.076
AT ITER 1000 NEW BEST:: SOT 34160 SOS 8050 HAS SOPS 8050 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7116.05
AT ITER 1025 NEW BEST:: SOT 34160 SOS 8008 HAS SOPS 8008 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7095.008
AT ITER 1046 NEW BEST:: SOT 34160 SOS 7974 HAS SOPS 7974 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7077.974
AT ITER 1047 NEW BEST:: SOT 34160 SOS 7920 HAS SOPS 7920 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7077.92
AT ITER 1058 NEW BEST:: SOT 34160 SOS 7944 HAS SOPS 7944 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7074.944
AT ITER 1063 NEW BEST:: SOT 34153 SOS 7930 HAS SOPS 7930 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7058.93
AT ITER 1069 NEW BEST:: SOT 34184 SOS 7992 HAS SOPS 7992 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.992
AT ITER 1070 NEW BEST:: SOT 34184 SOS 7978 HAS SOPS 7978 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7011.978
AT ITER 1078 NEW BEST:: SOT 34185 SOS 7946 HAS SOPS 7946 HAS SOUS 6979 HAS SOUPS 6979 WITH SCORE 6986.946
AT ITER 1174 NEW BEST:: SOT 34181 SOS 7944 HAS SOPS 7944 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6984.944
AT ITER 1187 NEW BEST:: SOT 34166 SOS 7914 HAS SOPS 7914 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6954.914
AT ITER 1188 NEW BEST:: SOT 34159 SOS 7896 HAS SOPS 7896 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6947.896
AT ITER 1189 NEW BEST:: SOT 34159 SOS 7903 HAS SOPS 7903 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6933.903
AT ITER 1191 NEW BEST:: SOT 34168 SOS 7879 HAS SOPS 7879 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6918.879
AT ITER 1229 NEW BEST:: SOT 34155 SOS 7883 HAS SOPS 7883 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6905.883
AT ITER 1232 NEW BEST:: SOT 34160 SOS 7893 HAS SOPS 7893 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.893
AT ITER 1245 NEW BEST:: SOT 34160 SOS 7813 HAS SOPS 7813 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.813
AT ITER 1257 NEW BEST:: SOT 34164 SOS 7835 HAS SOPS 7835 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6896.835
AT ITER 1270 NEW BEST:: SOT 34161 SOS 7851 HAS SOPS 7851 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6891.851
AT ITER 1297 NEW BEST:: SOT 34166 SOS 7856 HAS SOPS 7856 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.856
AT ITER 1299 NEW BEST:: SOT 34160 SOS 7837 HAS SOPS 7837 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.837
AT ITER 1312 NEW BEST:: SOT 34149 SOS 7780 HAS SOPS 7780 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6818.78
AT ITER 1314 NEW BEST:: SOT 34148 SOS 7756 HAS SOPS 7756 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6816.756
AT ITER 1387 NEW BEST:: SOT 34157 SOS 7774 HAS SOPS 7774 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6815.774
AT ITER 1412 NEW BEST:: SOT 34180 SOS 7770 HAS SOPS 7770 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6811.77
AT ITER 1419 NEW BEST:: SOT 34180 SOS 7770 HAS SOPS 7770 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.77
AT ITER 1451 NEW BEST:: SOT 34190 SOS 7758 HAS SOPS 7758 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.758
AT ITER 1455 NEW BEST:: SOT 34181 SOS 7749 HAS SOPS 7749 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.749
AT ITER 1458 NEW BEST:: SOT 34169 SOS 7721 HAS SOPS 7721 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6750.721
AT ITER 1469 NEW BEST:: SOT 34161 SOS 7669 HAS SOPS 7669 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6729.669
AT ITER 1473 NEW BEST:: SOT 34166 SOS 7647 HAS SOPS 7647 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6723.647
AT ITER 1477 NEW BEST:: SOT 34166 SOS 7619 HAS SOPS 7619 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6709.619
AT ITER 1479 NEW BEST:: SOT 34141 SOS 7480 HAS SOPS 7480 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6669.48
AT ITER 1486 NEW BEST:: SOT 34141 SOS 7479 HAS SOPS 7479 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6668.479
AT ITER 1490 NEW BEST:: SOT 34091 SOS 7438 HAS SOPS 7438 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6635.438
AT ITER 1516 NEW BEST:: SOT 34091 SOS 7420 HAS SOPS 7420 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.42
AT ITER 1537 NEW BEST:: SOT 34102 SOS 7442 HAS SOPS 7442 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6619.442
AT ITER 1579 NEW BEST:: SOT 34099 SOS 7436 HAS SOPS 7436 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.436
AT ITER 1605 NEW BEST:: SOT 34096 SOS 7433 HAS SOPS 7433 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.433
AT ITER 1630 NEW BEST:: SOT 34093 SOS 7427 HAS SOPS 7427 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6613.427
AT ITER 1635 NEW BEST:: SOT 34092 SOS 7418 HAS SOPS 7418 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.418
AT ITER 1660 NEW BEST:: SOT 34092 SOS 7408 HAS SOPS 7408 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.408
AT ITER 1671 NEW BEST:: SOT 34092 SOS 7388 HAS SOPS 7388 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6594.388
AT ITER 1690 NEW BEST:: SOT 34078 SOS 7380 HAS SOPS 7380 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.38
AT ITER 1700 NEW BEST:: SOT 34071 SOS 7372 HAS SOPS 7372 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6573.372
AT ITER 1711 NEW BEST:: SOT 34061 SOS 7366 HAS SOPS 7366 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.366
AT ITER 1712 NEW BEST:: SOT 34059 SOS 7362 HAS SOPS 7362 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6545.362
AT ITER 1727 NEW BEST:: SOT 34047 SOS 7298 HAS SOPS 7298 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.298
AT ITER 1742 NEW BEST:: SOT 34037 SOS 7278 HAS SOPS 7278 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.278
AT ITER 1745 NEW BEST:: SOT 34016 SOS 7257 HAS SOPS 7257 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.257
AT ITER 1749 NEW BEST:: SOT 34022 SOS 7220 HAS SOPS 7220 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6473.22
AT ITER 1764 NEW BEST:: SOT 34051 SOS 7219 HAS SOPS 7219 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.219
AT ITER 1766 NEW BEST:: SOT 34047 SOS 7219 HAS SOPS 7219 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.219
AT ITER 1775 NEW BEST:: SOT 34045 SOS 7257 HAS SOPS 7257 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.257
AT ITER 1779 NEW BEST:: SOT 34056 SOS 7279 HAS SOPS 7279 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6448.279
AT ITER 1788 NEW BEST:: SOT 34054 SOS 7275 HAS SOPS 7275 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.275
AT ITER 1838 NEW BEST:: SOT 34049 SOS 7240 HAS SOPS 7240 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.24
AT ITER 1841 NEW BEST:: SOT 34048 SOS 7238 HAS SOPS 7238 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6440.238
AT ITER 1853 NEW BEST:: SOT 34043 SOS 7218 HAS SOPS 7218 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.218
AT ITER 1856 NEW BEST:: SOT 34035 SOS 7198 HAS SOPS 7198 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.198
AT ITER 1864 NEW BEST:: SOT 34033 SOS 7185 HAS SOPS 7185 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.185
AT ITER 1879 NEW BEST:: SOT 34020 SOS 7159 HAS SOPS 7159 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6367.159
AT ITER 1897 NEW BEST:: SOT 34014 SOS 7157 HAS SOPS 7157 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6365.157
AT ITER 1914 NEW BEST:: SOT 34014 SOS 7155 HAS SOPS 7155 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6363.155
AT ITER 1921 NEW BEST:: SOT 34022 SOS 7171 HAS SOPS 7171 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6361.171
AT ITER 1922 NEW BEST:: SOT 34033 SOS 7174 HAS SOPS 7174 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6353.174
AT ITER 1930 NEW BEST:: SOT 34002 SOS 7068 HAS SOPS 7068 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.068
AT ITER 1933 NEW BEST:: SOT 33998 SOS 7038 HAS SOPS 7038 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6260.038
AT ITER 1961 NEW BEST:: SOT 33992 SOS 6931 HAS SOPS 6931 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6242.931
AT ITER 2024 NEW BEST:: SOT 33992 SOS 6914 HAS SOPS 6914 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6225.914
AT ITER 2046 NEW BEST:: SOT 33964 SOS 6858 HAS SOPS 6858 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6142.858
AT ITER 2071 NEW BEST:: SOT 33967 SOS 6840 HAS SOPS 6840 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6133.84
AT ITER 2103 NEW BEST:: SOT 33966 SOS 6825 HAS SOPS 6825 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6131.825
AT ITER 2123 NEW BEST:: SOT 33966 SOS 6825 HAS SOPS 6825 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6128.825
AT ITER 2141 NEW BEST:: SOT 33944 SOS 6823 HAS SOPS 6823 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6126.823
AT ITER 2157 NEW BEST:: SOT 33918 SOS 6794 HAS SOPS 6794 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6114.794
AT ITER 2167 NEW BEST:: SOT 33898 SOS 6734 HAS SOPS 6734 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6074.734
AT ITER 2207 NEW BEST:: SOT 33898 SOS 6691 HAS SOPS 6691 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.691
AT ITER 2213 NEW BEST:: SOT 33880 SOS 6655 HAS SOPS 6655 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5995.655
AT ITER 2251 NEW BEST:: SOT 33869 SOS 6593 HAS SOPS 6593 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5944.593
AT ITER 2320 NEW BEST:: SOT 33924 SOS 6703 HAS SOPS 6703 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5942.703
AT ITER 2321 NEW BEST:: SOT 33923 SOS 6706 HAS SOPS 6706 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5940.706
AT ITER 2326 NEW BEST:: SOT 33885 SOS 6630 HAS SOPS 6630 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5879.63
AT ITER 2327 NEW BEST:: SOT 33931 SOS 6668 HAS SOPS 6668 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5853.668
AT ITER 2359 NEW BEST:: SOT 33931 SOS 6663 HAS SOPS 6663 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5853.663
AT ITER 2364 NEW BEST:: SOT 33931 SOS 6660 HAS SOPS 6660 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5850.66
AT ITER 2368 NEW BEST:: SOT 33930 SOS 6672 HAS SOPS 6672 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.672
AT ITER 2407 NEW BEST:: SOT 33930 SOS 6672 HAS SOPS 6672 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5845.672
AT ITER 2433 NEW BEST:: SOT 33930 SOS 6658 HAS SOPS 6658 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5820.658
AT ITER 2447 NEW BEST:: SOT 33930 SOS 6658 HAS SOPS 6658 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.658
AT ITER 2513 NEW BEST:: SOT 33924 SOS 6657 HAS SOPS 6657 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5808.657
AT ITER 2515 NEW BEST:: SOT 33925 SOS 6656 HAS SOPS 6656 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.656
AT ITER 2545 NEW BEST:: SOT 33925 SOS 6572 HAS SOPS 6572 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.572
AT ITER 2547 NEW BEST:: SOT 33881 SOS 6494 HAS SOPS 6494 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.494
AT ITER 2555 NEW BEST:: SOT 33868 SOS 6424 HAS SOPS 6424 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5703.424
AT ITER 2559 NEW BEST:: SOT 33877 SOS 6442 HAS SOPS 6442 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.442
AT ITER 2577 NEW BEST:: SOT 33875 SOS 6441 HAS SOPS 6441 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.441
AT ITER 2595 NEW BEST:: SOT 33872 SOS 6438 HAS SOPS 6438 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5694.438
AT ITER 2607 NEW BEST:: SOT 33882 SOS 6412 HAS SOPS 6412 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.412
AT ITER 2628 NEW BEST:: SOT 33876 SOS 6405 HAS SOPS 6405 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5681.405
AT ITER 2644 NEW BEST:: SOT 33875 SOS 6417 HAS SOPS 6417 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5679.417
AT ITER 2661 NEW BEST:: SOT 33866 SOS 6399 HAS SOPS 6399 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5661.399
AT ITER 2672 NEW BEST:: SOT 33864 SOS 6392 HAS SOPS 6392 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5654.392
AT ITER 2691 NEW BEST:: SOT 33858 SOS 6380 HAS SOPS 6380 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.38
AT ITER 2723 NEW BEST:: SOT 33855 SOS 6371 HAS SOPS 6371 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5642.371
AT ITER 2727 NEW BEST:: SOT 33853 SOS 6367 HAS SOPS 6367 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.367
AT ITER 2758 NEW BEST:: SOT 33845 SOS 6375 HAS SOPS 6375 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5630.375
AT ITER 2837 NEW BEST:: SOT 33846 SOS 6374 HAS SOPS 6374 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.374
AT ITER 2840 NEW BEST:: SOT 33843 SOS 6361 HAS SOPS 6361 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.361
AT ITER 2843 NEW BEST:: SOT 33836 SOS 6362 HAS SOPS 6362 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5601.362
AT ITER 2845 NEW BEST:: SOT 33831 SOS 6361 HAS SOPS 6361 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5591.361
AT ITER 2861 NEW BEST:: SOT 33824 SOS 6347 HAS SOPS 6347 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5584.347
AT ITER 2871 NEW BEST:: SOT 33822 SOS 6343 HAS SOPS 6343 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5580.343
AT ITER 2872 NEW BEST:: SOT 33826 SOS 6341 HAS SOPS 6341 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.341
AT ITER 2887 NEW BEST:: SOT 33820 SOS 6335 HAS SOPS 6335 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.335
AT ITER 2894 NEW BEST:: SOT 33812 SOS 6327 HAS SOPS 6327 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.327
AT ITER 2911 NEW BEST:: SOT 33813 SOS 6315 HAS SOPS 6315 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5560.315
AT ITER 2931 NEW BEST:: SOT 33799 SOS 6274 HAS SOPS 6274 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5549.274
AT ITER 2962 NEW BEST:: SOT 33799 SOS 6288 HAS SOPS 6288 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.288
AT ITER 2968 NEW BEST:: SOT 33795 SOS 6278 HAS SOPS 6278 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.278
AT ITER 3006 NEW BEST:: SOT 33788 SOS 6264 HAS SOPS 6264 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.264
AT ITER 3009 NEW BEST:: SOT 33785 SOS 6261 HAS SOPS 6261 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.261
AT ITER 3076 NEW BEST:: SOT 33795 SOS 6232 HAS SOPS 6232 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.232
AT ITER 3111 NEW BEST:: SOT 33795 SOS 6221 HAS SOPS 6221 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.221
AT ITER 3121 NEW BEST:: SOT 33783 SOS 6197 HAS SOPS 6197 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.197
AT ITER 3137 NEW BEST:: SOT 33762 SOS 6113 HAS SOPS 6113 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.113
AT ITER 3147 NEW BEST:: SOT 33759 SOS 6104 HAS SOPS 6104 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.104
AT ITER 3171 NEW BEST:: SOT 33752 SOS 6080 HAS SOPS 6080 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.08
AT ITER 3190 NEW BEST:: SOT 33752 SOS 6078 HAS SOPS 6078 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.078
AT ITER 3241 NEW BEST:: SOT 33752 SOS 6076 HAS SOPS 6076 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.076
AT ITER 3268 NEW BEST:: SOT 33746 SOS 6064 HAS SOPS 6064 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5444.064
AT ITER 3274 NEW BEST:: SOT 33746 SOS 6062 HAS SOPS 6062 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5444.062
AT ITER 3292 NEW BEST:: SOT 33735 SOS 6040 HAS SOPS 6040 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5424.04
AT ITER 3297 NEW BEST:: SOT 33735 SOS 6039 HAS SOPS 6039 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.039
AT ITER 3332 NEW BEST:: SOT 33735 SOS 6042 HAS SOPS 6042 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5422.042
AT ITER 3349 NEW BEST:: SOT 33735 SOS 6037 HAS SOPS 6037 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5417.037
AT ITER 3357 NEW BEST:: SOT 33735 SOS 6035 HAS SOPS 6035 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.035
AT ITER 3388 NEW BEST:: SOT 33735 SOS 6033 HAS SOPS 6033 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5411.033
AT ITER 3425 NEW BEST:: SOT 33735 SOS 6026 HAS SOPS 6026 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.026
AT ITER 3428 NEW BEST:: SOT 33742 SOS 6058 HAS SOPS 6058 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5402.058
AT ITER 3517 NEW BEST:: SOT 33738 SOS 6050 HAS SOPS 6050 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5398.05
AT ITER 3556 NEW BEST:: SOT 33756 SOS 6012 HAS SOPS 6012 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.012
AT ITER 3560 NEW BEST:: SOT 33756 SOS 6003 HAS SOPS 6003 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.003
AT ITER 3572 NEW BEST:: SOT 33741 SOS 6000 HAS SOPS 6000 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5386.0
AT ITER 3600 NEW BEST:: SOT 33741 SOS 5990 HAS SOPS 5990 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5385.99
AT ITER 3685 NEW BEST:: SOT 33741 SOS 5954 HAS SOPS 5954 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.954
AT ITER 3735 NEW BEST:: SOT 33741 SOS 5947 HAS SOPS 5947 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5354.947
AT ITER 3744 NEW BEST:: SOT 33742 SOS 5949 HAS SOPS 5949 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5353.949
AT ITER 3748 NEW BEST:: SOT 33741 SOS 5948 HAS SOPS 5948 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5352.948
AT ITER 3812 NEW BEST:: SOT 33741 SOS 5947 HAS SOPS 5947 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5351.947
AT ITER 3880 NEW BEST:: SOT 33736 SOS 5959 HAS SOPS 5959 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5341.959
AT ITER 3911 NEW BEST:: SOT 33748 SOS 5962 HAS SOPS 5962 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.962
AT ITER 3939 NEW BEST:: SOT 33743 SOS 5955 HAS SOPS 5955 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5325.955
AT ITER 4021 NEW BEST:: SOT 33739 SOS 5947 HAS SOPS 5947 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5317.947
AT ITER 4057 NEW BEST:: SOT 33741 SOS 5941 HAS SOPS 5941 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5314.941
AT ITER 4059 NEW BEST:: SOT 33741 SOS 5941 HAS SOPS 5941 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5312.941
AT ITER 4097 NEW BEST:: SOT 33741 SOS 5935 HAS SOPS 5935 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5306.935
AT ITER 4098 NEW BEST:: SOT 33736 SOS 5947 HAS SOPS 5947 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5300.947
AT ITER 4126 NEW BEST:: SOT 33736 SOS 5931 HAS SOPS 5931 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5284.931
AT ITER 4142 NEW BEST:: SOT 33730 SOS 5919 HAS SOPS 5919 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5273.919
AT ITER 4221 NEW BEST:: SOT 33725 SOS 5919 HAS SOPS 5919 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5271.919
AT ITER 4228 NEW BEST:: SOT 33727 SOS 5912 HAS SOPS 5912 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5264.912
AT ITER 4234 NEW BEST:: SOT 33722 SOS 5902 HAS SOPS 5902 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.902
AT ITER 4246 NEW BEST:: SOT 33721 SOS 5900 HAS SOPS 5900 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.9
AT ITER 4363 NEW BEST:: SOT 33717 SOS 5892 HAS SOPS 5892 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.892
AT ITER 4424 NEW BEST:: SOT 33717 SOS 5862 HAS SOPS 5862 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.862
AT ITER 4463 NEW BEST:: SOT 33717 SOS 5861 HAS SOPS 5861 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5243.861
AT ITER 4474 NEW BEST:: SOT 33711 SOS 5852 HAS SOPS 5852 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5234.852
AT ITER 4568 NEW BEST:: SOT 33709 SOS 5844 HAS SOPS 5844 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.844
AT ITER 4569 NEW BEST:: SOT 33709 SOS 5843 HAS SOPS 5843 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.843
AT ITER 4609 NEW BEST:: SOT 33701 SOS 5795 HAS SOPS 5795 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5199.795
AT ITER 4655 NEW BEST:: SOT 33702 SOS 5789 HAS SOPS 5789 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5197.789
AT ITER 4677 NEW BEST:: SOT 33701 SOS 5787 HAS SOPS 5787 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5195.787
AT ITER 4685 NEW BEST:: SOT 33707 SOS 5789 HAS SOPS 5789 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5191.789
AT ITER 4719 NEW BEST:: SOT 33704 SOS 5788 HAS SOPS 5788 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5177.788
AT ITER 4729 NEW BEST:: SOT 33703 SOS 5786 HAS SOPS 5786 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5175.786
AT ITER 4757 NEW BEST:: SOT 33700 SOS 5786 HAS SOPS 5786 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5169.786
AT ITER 4824 NEW BEST:: SOT 33700 SOS 5769 HAS SOPS 5769 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5168.769
AT ITER 4836 NEW BEST:: SOT 33698 SOS 5767 HAS SOPS 5767 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5164.767
AT ITER 4837 NEW BEST:: SOT 33687 SOS 5745 HAS SOPS 5745 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.745
AT ITER 4850 NEW BEST:: SOT 33685 SOS 5714 HAS SOPS 5714 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.714
AT ITER 4898 NEW BEST:: SOT 33684 SOS 5712 HAS SOPS 5712 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5133.712
AT ITER 4910 NEW BEST:: SOT 33666 SOS 5676 HAS SOPS 5676 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5120.676
AT ITER 5064 NEW BEST:: SOT 33668 SOS 5660 HAS SOPS 5660 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5117.66
AT ITER 5190 NEW BEST:: SOT 33676 SOS 5676 HAS SOPS 5676 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5116.676
AT ITER 5203 NEW BEST:: SOT 33655 SOS 5655 HAS SOPS 5655 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5116.655
AT ITER 5291 NEW BEST:: SOT 33655 SOS 5654 HAS SOPS 5654 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5115.654
AT ITER 5342 NEW BEST:: SOT 33655 SOS 5650 HAS SOPS 5650 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5115.65
AT ITER 5358 NEW BEST:: SOT 33655 SOS 5649 HAS SOPS 5649 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5114.649
AT ITER 5394 NEW BEST:: SOT 33632 SOS 5692 HAS SOPS 5692 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.692
AT ITER 5429 NEW BEST:: SOT 33632 SOS 5691 HAS SOPS 5691 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.691
AT ITER 5457 NEW BEST:: SOT 33634 SOS 5674 HAS SOPS 5674 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5093.674
AT ITER 5463 NEW BEST:: SOT 33619 SOS 5633 HAS SOPS 5633 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5077.633
AT ITER 5482 NEW BEST:: SOT 33614 SOS 5618 HAS SOPS 5618 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.618
AT ITER 5492 NEW BEST:: SOT 33614 SOS 5612 HAS SOPS 5612 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.612
AT ITER 5501 NEW BEST:: SOT 33614 SOS 5608 HAS SOPS 5608 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5060.608
AT ITER 5524 NEW BEST:: SOT 33611 SOS 5602 HAS SOPS 5602 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5057.602
AT ITER 5543 NEW BEST:: SOT 33604 SOS 5588 HAS SOPS 5588 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.588
AT ITER 5588 NEW BEST:: SOT 33595 SOS 5565 HAS SOPS 5565 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5033.565
AT ITER 5666 NEW BEST:: SOT 33604 SOS 5613 HAS SOPS 5613 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5032.613
AT ITER 5788 NEW BEST:: SOT 33602 SOS 5605 HAS SOPS 5605 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.605
AT ITER 5842 NEW BEST:: SOT 33602 SOS 5600 HAS SOPS 5600 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.6
AT ITER 5906 NEW BEST:: SOT 33601 SOS 5598 HAS SOPS 5598 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5026.598
AT ITER 5964 NEW BEST:: SOT 33601 SOS 5598 HAS SOPS 5598 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.598
AT ITER 5986 NEW BEST:: SOT 33600 SOS 5596 HAS SOPS 5596 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5021.596
AT ITER 5989 NEW BEST:: SOT 33600 SOS 5595 HAS SOPS 5595 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.595
AT ITER 6043 NEW BEST:: SOT 33600 SOS 5589 HAS SOPS 5589 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.589
AT ITER 6080 NEW BEST:: SOT 33595 SOS 5582 HAS SOPS 5582 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5007.582
AT ITER 6092 NEW BEST:: SOT 33595 SOS 5576 HAS SOPS 5576 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4998.576
AT ITER 6110 NEW BEST:: SOT 33586 SOS 5546 HAS SOPS 5546 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4996.546
AT ITER 6117 NEW BEST:: SOT 33573 SOS 5494 HAS SOPS 5494 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.494
AT ITER 6160 NEW BEST:: SOT 33566 SOS 5487 HAS SOPS 5487 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.487
AT ITER 6334 NEW BEST:: SOT 33566 SOS 5483 HAS SOPS 5483 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.483
AT ITER 6344 NEW BEST:: SOT 33566 SOS 5486 HAS SOPS 5486 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4963.486
AT ITER 6345 NEW BEST:: SOT 33566 SOS 5483 HAS SOPS 5483 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.483
AT ITER 6389 NEW BEST:: SOT 33566 SOS 5465 HAS SOPS 5465 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4946.465
AT ITER 6438 NEW BEST:: SOT 33565 SOS 5449 HAS SOPS 5449 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4938.449
AT ITER 6460 NEW BEST:: SOT 33563 SOS 5448 HAS SOPS 5448 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4937.448
AT ITER 6478 NEW BEST:: SOT 33563 SOS 5444 HAS SOPS 5444 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4933.444
AT ITER 6492 NEW BEST:: SOT 33563 SOS 5443 HAS SOPS 5443 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4932.443
AT ITER 6550 NEW BEST:: SOT 33563 SOS 5441 HAS SOPS 5441 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.441
AT ITER 6641 NEW BEST:: SOT 33561 SOS 5437 HAS SOPS 5437 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4929.437
AT ITER 6653 NEW BEST:: SOT 33561 SOS 5436 HAS SOPS 5436 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4928.436
AT ITER 6665 NEW BEST:: SOT 33548 SOS 5426 HAS SOPS 5426 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4918.426
AT ITER 6700 NEW BEST:: SOT 33536 SOS 5451 HAS SOPS 5451 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4910.451
AT ITER 6730 NEW BEST:: SOT 33535 SOS 5450 HAS SOPS 5450 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.45
AT ITER 6789 NEW BEST:: SOT 33530 SOS 5445 HAS SOPS 5445 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.445
AT ITER 6865 NEW BEST:: SOT 33536 SOS 5451 HAS SOPS 5451 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.451
AT ITER 6910 NEW BEST:: SOT 33535 SOS 5449 HAS SOPS 5449 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4897.449
AT ITER 6925 NEW BEST:: SOT 33532 SOS 5446 HAS SOPS 5446 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.446
AT ITER 6932 NEW BEST:: SOT 33518 SOS 5444 HAS SOPS 5444 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4892.444
AT ITER 7145 NEW BEST:: SOT 33521 SOS 5446 HAS SOPS 5446 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4891.446
AT ITER 7211 NEW BEST:: SOT 33519 SOS 5440 HAS SOPS 5440 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4891.44
AT ITER 7319 NEW BEST:: SOT 33522 SOS 5420 HAS SOPS 5420 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.42
AT ITER 7333 NEW BEST:: SOT 33512 SOS 5375 HAS SOPS 5375 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4872.375
AT ITER 7349 NEW BEST:: SOT 33516 SOS 5371 HAS SOPS 5371 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4864.371
AT ITER 7364 NEW BEST:: SOT 33503 SOS 5345 HAS SOPS 5345 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4839.345
AT ITER 7460 NEW BEST:: SOT 33506 SOS 5377 HAS SOPS 5377 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4838.377
AT ITER 7504 NEW BEST:: SOT 33506 SOS 5373 HAS SOPS 5373 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.373
AT ITER 7522 NEW BEST:: SOT 33505 SOS 5371 HAS SOPS 5371 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4832.371
AT ITER 7670 NEW BEST:: SOT 33505 SOS 5370 HAS SOPS 5370 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4831.37
AT ITER 7781 NEW BEST:: SOT 33505 SOS 5368 HAS SOPS 5368 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4831.368
AT ITER 7804 NEW BEST:: SOT 33508 SOS 5365 HAS SOPS 5365 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4831.365
AT ITER 7827 NEW BEST:: SOT 33507 SOS 5363 HAS SOPS 5363 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4825.363
AT ITER 7858 NEW BEST:: SOT 33502 SOS 5342 HAS SOPS 5342 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4804.342
AT ITER 7954 NEW BEST:: SOT 33497 SOS 5332 HAS SOPS 5332 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.332
AT ITER 8056 NEW BEST:: SOT 33497 SOS 5322 HAS SOPS 5322 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.322
AT ITER 8065 NEW BEST:: SOT 33497 SOS 5317 HAS SOPS 5317 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.317
AT ITER 8084 NEW BEST:: SOT 33497 SOS 5317 HAS SOPS 5317 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4786.317
AT ITER 8121 NEW BEST:: SOT 33487 SOS 5297 HAS SOPS 5297 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4771.297
AT ITER 8168 NEW BEST:: SOT 33485 SOS 5287 HAS SOPS 5287 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4757.287
AT ITER 8219 NEW BEST:: SOT 33483 SOS 5282 HAS SOPS 5282 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4757.282
AT ITER 8243 NEW BEST:: SOT 33478 SOS 5272 HAS SOPS 5272 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.272
AT ITER 8248 NEW BEST:: SOT 33477 SOS 5264 HAS SOPS 5264 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4740.264
AT ITER 8336 NEW BEST:: SOT 33477 SOS 5263 HAS SOPS 5263 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4740.263
AT ITER 8341 NEW BEST:: SOT 33474 SOS 5257 HAS SOPS 5257 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.257
AT ITER 8417 NEW BEST:: SOT 33474 SOS 5253 HAS SOPS 5253 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.253
AT ITER 8469 NEW BEST:: SOT 33474 SOS 5257 HAS SOPS 5257 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4733.257
AT ITER 8480 NEW BEST:: SOT 33471 SOS 5251 HAS SOPS 5251 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.251
AT ITER 8555 NEW BEST:: SOT 33469 SOS 5247 HAS SOPS 5247 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4725.247
AT ITER 8599 NEW BEST:: SOT 33466 SOS 5249 HAS SOPS 5249 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.249
AT ITER 8615 NEW BEST:: SOT 33462 SOS 5249 HAS SOPS 5249 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4720.249
AT ITER 8643 NEW BEST:: SOT 33461 SOS 5247 HAS SOPS 5247 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4718.247
AT ITER 8663 NEW BEST:: SOT 33461 SOS 5278 HAS SOPS 5278 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.278
AT ITER 8665 NEW BEST:: SOT 33482 SOS 5320 HAS SOPS 5320 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.32
AT ITER 8705 NEW BEST:: SOT 33476 SOS 5267 HAS SOPS 5267 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.267
AT ITER 8719 NEW BEST:: SOT 33474 SOS 5262 HAS SOPS 5262 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.262
AT ITER 8733 NEW BEST:: SOT 33473 SOS 5260 HAS SOPS 5260 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.26
AT ITER 8788 NEW BEST:: SOT 33472 SOS 5260 HAS SOPS 5260 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4702.26
AT ITER 8998 NEW BEST:: SOT 33475 SOS 5252 HAS SOPS 5252 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4702.252
AT ITER 9136 NEW BEST:: SOT 33474 SOS 5243 HAS SOPS 5243 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.243
AT ITER 9145 NEW BEST:: SOT 33469 SOS 5238 HAS SOPS 5238 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.238
AT ITER 9205 NEW BEST:: SOT 33465 SOS 5206 HAS SOPS 5206 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4686.206
AT ITER 9230 NEW BEST:: SOT 33465 SOS 5188 HAS SOPS 5188 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4686.188
AT ITER 9271 NEW BEST:: SOT 33460 SOS 5181 HAS SOPS 5181 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4682.181
AT ITER 9339 NEW BEST:: SOT 33457 SOS 5175 HAS SOPS 5175 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.175
AT ITER 9348 NEW BEST:: SOT 33456 SOS 5177 HAS SOPS 5177 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.177
AT ITER 9361 NEW BEST:: SOT 33457 SOS 5175 HAS SOPS 5175 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.175
AT ITER 9372 NEW BEST:: SOT 33457 SOS 5175 HAS SOPS 5175 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4675.175
AT ITER 9375 NEW BEST:: SOT 33458 SOS 5174 HAS SOPS 5174 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.174
AT ITER 9612 NEW BEST:: SOT 33452 SOS 5170 HAS SOPS 5170 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4670.17
AT ITER 9636 NEW BEST:: SOT 33452 SOS 5170 HAS SOPS 5170 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.17
AT ITER 9692 NEW BEST:: SOT 33454 SOS 5174 HAS SOPS 5174 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4666.174
AT ITER 9790 NEW BEST:: SOT 33451 SOS 5168 HAS SOPS 5168 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.168
AT ITER 9794 NEW BEST:: SOT 33447 SOS 5160 HAS SOPS 5160 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4659.16
AT ITER 9830 NEW BEST:: SOT 33454 SOS 5158 HAS SOPS 5158 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4659.158
AT ITER 9897 NEW BEST:: SOT 33451 SOS 5160 HAS SOPS 5160 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.16
AT ITER 9995 NEW BEST:: SOT 33457 SOS 5172 HAS SOPS 5172 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4653.172
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 5787860 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16154804 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-005B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldRVt-PT-005B, 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 r419-tajo-167905973500256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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