Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.7K May 14 02:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 02:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 20:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K 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 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.0K May 13 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:30 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 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 60K 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 1590454074136

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 005B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 12 NEW BEST:: SOT 34859 SOS 9866 HAS SOPS 9866 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8850.866
AT ITER 23 NEW BEST:: SOT 34855 SOS 9862 HAS SOPS 9862 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8846.862
AT ITER 26 NEW BEST:: SOT 34854 SOS 9780 HAS SOPS 9780 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8811.78
AT ITER 27 NEW BEST:: SOT 34893 SOS 9742 HAS SOPS 9742 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8792.742
AT ITER 47 NEW BEST:: SOT 34892 SOS 9695 HAS SOPS 9695 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8790.695
AT ITER 48 NEW BEST:: SOT 34875 SOS 9690 HAS SOPS 9690 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8785.69
AT ITER 50 NEW BEST:: SOT 34847 SOS 9603 HAS SOPS 9603 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.603
AT ITER 52 NEW BEST:: SOT 34801 SOS 9557 HAS SOPS 9557 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8680.557
AT ITER 62 NEW BEST:: SOT 34797 SOS 9549 HAS SOPS 9549 HAS SOUS 8603 HAS SOUPS 8603 WITH SCORE 8612.549
AT ITER 71 NEW BEST:: SOT 34797 SOS 9534 HAS SOPS 9534 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8597.534
AT ITER 72 NEW BEST:: SOT 34821 SOS 9502 HAS SOPS 9502 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8565.502
AT ITER 77 NEW BEST:: SOT 34812 SOS 9437 HAS SOPS 9437 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8518.437
AT ITER 80 NEW BEST:: SOT 34838 SOS 9405 HAS SOPS 9405 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8486.405
AT ITER 82 NEW BEST:: SOT 34837 SOS 9379 HAS SOPS 9379 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8484.379
AT ITER 88 NEW BEST:: SOT 34837 SOS 9376 HAS SOPS 9376 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8479.376
AT ITER 90 NEW BEST:: SOT 34847 SOS 9359 HAS SOPS 9359 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8462.359
AT ITER 100 NEW BEST:: SOT 34847 SOS 9334 HAS SOPS 9334 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.334
AT ITER 105 NEW BEST:: SOT 34830 SOS 9321 HAS SOPS 9321 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8424.321
AT ITER 118 NEW BEST:: SOT 34830 SOS 9320 HAS SOPS 9320 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8423.32
AT ITER 121 NEW BEST:: SOT 34826 SOS 9328 HAS SOPS 9328 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8419.328
AT ITER 131 NEW BEST:: SOT 34855 SOS 9386 HAS SOPS 9386 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8411.386
AT ITER 133 NEW BEST:: SOT 34885 SOS 9408 HAS SOPS 9408 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8405.408
AT ITER 158 NEW BEST:: SOT 34885 SOS 9405 HAS SOPS 9405 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.405
AT ITER 161 NEW BEST:: SOT 34885 SOS 9379 HAS SOPS 9379 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.379
AT ITER 167 NEW BEST:: SOT 34868 SOS 9345 HAS SOPS 9345 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.345
AT ITER 172 NEW BEST:: SOT 34867 SOS 9340 HAS SOPS 9340 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8400.34
AT ITER 179 NEW BEST:: SOT 34855 SOS 9315 HAS SOPS 9315 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.315
AT ITER 181 NEW BEST:: SOT 34855 SOS 9311 HAS SOPS 9311 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8373.311
AT ITER 189 NEW BEST:: SOT 34855 SOS 9291 HAS SOPS 9291 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8353.291
AT ITER 194 NEW BEST:: SOT 34814 SOS 9209 HAS SOPS 9209 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8312.209
AT ITER 200 NEW BEST:: SOT 34833 SOS 9155 HAS SOPS 9155 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.155
AT ITER 221 NEW BEST:: SOT 34838 SOS 9151 HAS SOPS 9151 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8304.151
AT ITER 228 NEW BEST:: SOT 34835 SOS 9145 HAS SOPS 9145 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8301.145
AT ITER 237 NEW BEST:: SOT 34824 SOS 9112 HAS SOPS 9112 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8279.112
AT ITER 250 NEW BEST:: SOT 34831 SOS 9126 HAS SOPS 9126 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8247.126
AT ITER 253 NEW BEST:: SOT 34825 SOS 9114 HAS SOPS 9114 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8235.114
AT ITER 272 NEW BEST:: SOT 34805 SOS 9054 HAS SOPS 9054 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8195.054
AT ITER 288 NEW BEST:: SOT 34796 SOS 9038 HAS SOPS 9038 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.038
AT ITER 298 NEW BEST:: SOT 34796 SOS 9020 HAS SOPS 9020 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.02
AT ITER 302 NEW BEST:: SOT 34791 SOS 9010 HAS SOPS 9010 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8183.01
AT ITER 318 NEW BEST:: SOT 34791 SOS 8992 HAS SOPS 8992 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8164.992
AT ITER 333 NEW BEST:: SOT 34833 SOS 9037 HAS SOPS 9037 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8151.037
AT ITER 385 NEW BEST:: SOT 34833 SOS 9022 HAS SOPS 9022 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8151.022
AT ITER 391 NEW BEST:: SOT 34830 SOS 9022 HAS SOPS 9022 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8146.022
AT ITER 392 NEW BEST:: SOT 34828 SOS 9017 HAS SOPS 9017 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8141.017
AT ITER 393 NEW BEST:: SOT 34824 SOS 8992 HAS SOPS 8992 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8129.992
AT ITER 403 NEW BEST:: SOT 34824 SOS 8991 HAS SOPS 8991 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8128.991
AT ITER 413 NEW BEST:: SOT 34824 SOS 8987 HAS SOPS 8987 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.987
AT ITER 420 NEW BEST:: SOT 34817 SOS 8984 HAS SOPS 8984 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8117.984
AT ITER 438 NEW BEST:: SOT 34810 SOS 8970 HAS SOPS 8970 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8112.97
AT ITER 442 NEW BEST:: SOT 34810 SOS 8898 HAS SOPS 8898 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8072.898
AT ITER 461 NEW BEST:: SOT 34814 SOS 8899 HAS SOPS 8899 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8069.899
AT ITER 480 NEW BEST:: SOT 34802 SOS 8875 HAS SOPS 8875 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8045.875
AT ITER 495 NEW BEST:: SOT 34783 SOS 8837 HAS SOPS 8837 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8021.837
AT ITER 524 NEW BEST:: SOT 34766 SOS 8803 HAS SOPS 8803 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8007.803
AT ITER 532 NEW BEST:: SOT 34749 SOS 8769 HAS SOPS 8769 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7973.769
AT ITER 540 NEW BEST:: SOT 34744 SOS 8756 HAS SOPS 8756 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7960.756
AT ITER 546 NEW BEST:: SOT 34665 SOS 8654 HAS SOPS 8654 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7849.654
AT ITER 548 NEW BEST:: SOT 34665 SOS 8636 HAS SOPS 8636 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7813.636
AT ITER 553 NEW BEST:: SOT 34665 SOS 8607 HAS SOPS 8607 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7755.607
AT ITER 578 NEW BEST:: SOT 34662 SOS 8551 HAS SOPS 8551 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7725.551
AT ITER 625 NEW BEST:: SOT 34662 SOS 8540 HAS SOPS 8540 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7714.54
AT ITER 636 NEW BEST:: SOT 34657 SOS 8520 HAS SOPS 8520 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.52
AT ITER 645 NEW BEST:: SOT 34643 SOS 8492 HAS SOPS 8492 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7688.492
AT ITER 647 NEW BEST:: SOT 34631 SOS 8478 HAS SOPS 8478 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.478
AT ITER 648 NEW BEST:: SOT 34627 SOS 8468 HAS SOPS 8468 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.468
AT ITER 654 NEW BEST:: SOT 34615 SOS 8432 HAS SOPS 8432 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.432
AT ITER 690 NEW BEST:: SOT 34616 SOS 8431 HAS SOPS 8431 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.431
AT ITER 700 NEW BEST:: SOT 34611 SOS 8419 HAS SOPS 8419 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7623.419
AT ITER 706 NEW BEST:: SOT 34616 SOS 8468 HAS SOPS 8468 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7618.468
AT ITER 712 NEW BEST:: SOT 34616 SOS 8449 HAS SOPS 8449 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7618.449
AT ITER 726 NEW BEST:: SOT 34616 SOS 8427 HAS SOPS 8427 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7607.427
AT ITER 727 NEW BEST:: SOT 34606 SOS 8417 HAS SOPS 8417 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7597.417
AT ITER 738 NEW BEST:: SOT 34622 SOS 8410 HAS SOPS 8410 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7589.41
AT ITER 746 NEW BEST:: SOT 34600 SOS 8377 HAS SOPS 8377 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7556.377
AT ITER 763 NEW BEST:: SOT 34600 SOS 8376 HAS SOPS 8376 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7556.376
AT ITER 775 NEW BEST:: SOT 34589 SOS 8365 HAS SOPS 8365 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7545.365
AT ITER 784 NEW BEST:: SOT 34586 SOS 8359 HAS SOPS 8359 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.359
AT ITER 796 NEW BEST:: SOT 34586 SOS 8359 HAS SOPS 8359 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7536.359
AT ITER 814 NEW BEST:: SOT 34563 SOS 8283 HAS SOPS 8283 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.283
AT ITER 835 NEW BEST:: SOT 34563 SOS 8280 HAS SOPS 8280 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.28
AT ITER 841 NEW BEST:: SOT 34563 SOS 8277 HAS SOPS 8277 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.277
AT ITER 842 NEW BEST:: SOT 34548 SOS 8229 HAS SOPS 8229 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7468.229
AT ITER 852 NEW BEST:: SOT 34543 SOS 8219 HAS SOPS 8219 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7463.219
AT ITER 859 NEW BEST:: SOT 34509 SOS 8208 HAS SOPS 8208 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7426.208
AT ITER 865 NEW BEST:: SOT 34507 SOS 8194 HAS SOPS 8194 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7417.194
AT ITER 891 NEW BEST:: SOT 34427 SOS 8149 HAS SOPS 8149 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7337.149
AT ITER 893 NEW BEST:: SOT 34415 SOS 8125 HAS SOPS 8125 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7326.125
AT ITER 895 NEW BEST:: SOT 34415 SOS 8124 HAS SOPS 8124 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7325.124
AT ITER 912 NEW BEST:: SOT 34427 SOS 8093 HAS SOPS 8093 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.093
AT ITER 915 NEW BEST:: SOT 34427 SOS 8086 HAS SOPS 8086 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7252.086
AT ITER 929 NEW BEST:: SOT 34414 SOS 8076 HAS SOPS 8076 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7240.076
AT ITER 933 NEW BEST:: SOT 34403 SOS 8065 HAS SOPS 8065 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7229.065
AT ITER 963 NEW BEST:: SOT 34421 SOS 8023 HAS SOPS 8023 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.023
AT ITER 999 NEW BEST:: SOT 34421 SOS 8020 HAS SOPS 8020 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.02
AT ITER 1006 NEW BEST:: SOT 34403 SOS 7944 HAS SOPS 7944 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7158.944
AT ITER 1031 NEW BEST:: SOT 34403 SOS 7938 HAS SOPS 7938 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7146.938
AT ITER 1054 NEW BEST:: SOT 34396 SOS 7944 HAS SOPS 7944 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7144.944
AT ITER 1065 NEW BEST:: SOT 34427 SOS 7965 HAS SOPS 7965 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7130.965
AT ITER 1073 NEW BEST:: SOT 34427 SOS 7963 HAS SOPS 7963 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7130.963
AT ITER 1078 NEW BEST:: SOT 34427 SOS 7962 HAS SOPS 7962 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7130.962
AT ITER 1086 NEW BEST:: SOT 34412 SOS 7906 HAS SOPS 7906 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7089.906
AT ITER 1099 NEW BEST:: SOT 34412 SOS 7903 HAS SOPS 7903 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7083.903
AT ITER 1102 NEW BEST:: SOT 34412 SOS 7902 HAS SOPS 7902 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7082.902
AT ITER 1115 NEW BEST:: SOT 34427 SOS 7905 HAS SOPS 7905 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7081.905
AT ITER 1135 NEW BEST:: SOT 34427 SOS 7905 HAS SOPS 7905 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7078.905
AT ITER 1182 NEW BEST:: SOT 34427 SOS 7904 HAS SOPS 7904 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7077.904
AT ITER 1184 NEW BEST:: SOT 34427 SOS 7902 HAS SOPS 7902 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7075.902
AT ITER 1232 NEW BEST:: SOT 34426 SOS 7926 HAS SOPS 7926 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7054.926
AT ITER 1240 NEW BEST:: SOT 34426 SOS 7925 HAS SOPS 7925 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7053.925
AT ITER 1272 NEW BEST:: SOT 34425 SOS 7920 HAS SOPS 7920 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7052.92
AT ITER 1276 NEW BEST:: SOT 34420 SOS 7910 HAS SOPS 7910 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7042.91
AT ITER 1328 NEW BEST:: SOT 34420 SOS 7953 HAS SOPS 7953 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7040.953
AT ITER 1337 NEW BEST:: SOT 34418 SOS 7949 HAS SOPS 7949 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7032.949
AT ITER 1341 NEW BEST:: SOT 34407 SOS 7927 HAS SOPS 7927 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7008.927
AT ITER 1378 NEW BEST:: SOT 34407 SOS 7927 HAS SOPS 7927 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7006.927
AT ITER 1384 NEW BEST:: SOT 34392 SOS 7828 HAS SOPS 7828 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6991.828
AT ITER 1390 NEW BEST:: SOT 34389 SOS 7822 HAS SOPS 7822 HAS SOUS 6979 HAS SOUPS 6979 WITH SCORE 6986.822
AT ITER 1413 NEW BEST:: SOT 34389 SOS 7804 HAS SOPS 7804 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6968.804
AT ITER 1416 NEW BEST:: SOT 34387 SOS 7809 HAS SOPS 7809 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6966.809
AT ITER 1434 NEW BEST:: SOT 34387 SOS 7807 HAS SOPS 7807 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6964.807
AT ITER 1461 NEW BEST:: SOT 34383 SOS 7781 HAS SOPS 7781 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6942.781
AT ITER 1471 NEW BEST:: SOT 34418 SOS 7768 HAS SOPS 7768 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6938.768
AT ITER 1477 NEW BEST:: SOT 34414 SOS 7760 HAS SOPS 7760 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6930.76
AT ITER 1489 NEW BEST:: SOT 34414 SOS 7744 HAS SOPS 7744 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6930.744
AT ITER 1517 NEW BEST:: SOT 34414 SOS 7723 HAS SOPS 7723 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6909.723
AT ITER 1518 NEW BEST:: SOT 34414 SOS 7703 HAS SOPS 7703 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6907.703
AT ITER 1524 NEW BEST:: SOT 34382 SOS 7639 HAS SOPS 7639 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6854.639
AT ITER 1526 NEW BEST:: SOT 34379 SOS 7633 HAS SOPS 7633 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.633
AT ITER 1527 NEW BEST:: SOT 34378 SOS 7631 HAS SOPS 7631 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6849.631
AT ITER 1539 NEW BEST:: SOT 34381 SOS 7663 HAS SOPS 7663 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6836.663
AT ITER 1547 NEW BEST:: SOT 34377 SOS 7647 HAS SOPS 7647 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6824.647
AT ITER 1556 NEW BEST:: SOT 34364 SOS 7582 HAS SOPS 7582 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.582
AT ITER 1563 NEW BEST:: SOT 34345 SOS 7563 HAS SOPS 7563 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6779.563
AT ITER 1574 NEW BEST:: SOT 34343 SOS 7559 HAS SOPS 7559 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6777.559
AT ITER 1576 NEW BEST:: SOT 34342 SOS 7554 HAS SOPS 7554 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6775.554
AT ITER 1702 NEW BEST:: SOT 34342 SOS 7553 HAS SOPS 7553 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6774.553
AT ITER 1704 NEW BEST:: SOT 34332 SOS 7557 HAS SOPS 7557 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6766.557
AT ITER 1712 NEW BEST:: SOT 34306 SOS 7528 HAS SOPS 7528 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6737.528
AT ITER 1728 NEW BEST:: SOT 34306 SOS 7524 HAS SOPS 7524 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6737.524
AT ITER 1734 NEW BEST:: SOT 34310 SOS 7515 HAS SOPS 7515 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6728.515
AT ITER 1753 NEW BEST:: SOT 34314 SOS 7568 HAS SOPS 7568 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6719.568
AT ITER 1755 NEW BEST:: SOT 34314 SOS 7567 HAS SOPS 7567 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.567
AT ITER 1774 NEW BEST:: SOT 34314 SOS 7563 HAS SOPS 7563 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.563
AT ITER 1782 NEW BEST:: SOT 34314 SOS 7551 HAS SOPS 7551 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.551
AT ITER 1806 NEW BEST:: SOT 34289 SOS 7471 HAS SOPS 7471 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.471
AT ITER 1807 NEW BEST:: SOT 34289 SOS 7471 HAS SOPS 7471 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6668.471
AT ITER 1829 NEW BEST:: SOT 34278 SOS 7449 HAS SOPS 7449 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6646.449
AT ITER 1832 NEW BEST:: SOT 34311 SOS 7397 HAS SOPS 7397 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.397
AT ITER 1881 NEW BEST:: SOT 34311 SOS 7397 HAS SOPS 7397 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6610.397
AT ITER 1883 NEW BEST:: SOT 34282 SOS 7359 HAS SOPS 7359 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.359
AT ITER 1898 NEW BEST:: SOT 34277 SOS 7339 HAS SOPS 7339 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.339
AT ITER 1957 NEW BEST:: SOT 34275 SOS 7343 HAS SOPS 7343 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6553.343
AT ITER 1959 NEW BEST:: SOT 34275 SOS 7341 HAS SOPS 7341 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6553.341
AT ITER 1983 NEW BEST:: SOT 34273 SOS 7337 HAS SOPS 7337 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.337
AT ITER 1986 NEW BEST:: SOT 34274 SOS 7331 HAS SOPS 7331 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.331
AT ITER 1988 NEW BEST:: SOT 34272 SOS 7331 HAS SOPS 7331 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.331
AT ITER 2002 NEW BEST:: SOT 34313 SOS 7413 HAS SOPS 7413 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6540.413
AT ITER 2034 NEW BEST:: SOT 34313 SOS 7413 HAS SOPS 7413 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.413
AT ITER 2074 NEW BEST:: SOT 34302 SOS 7405 HAS SOPS 7405 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6515.405
AT ITER 2107 NEW BEST:: SOT 34294 SOS 7389 HAS SOPS 7389 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.389
AT ITER 2109 NEW BEST:: SOT 34290 SOS 7377 HAS SOPS 7377 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6495.377
AT ITER 2118 NEW BEST:: SOT 34287 SOS 7374 HAS SOPS 7374 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6492.374
AT ITER 2130 NEW BEST:: SOT 34287 SOS 7374 HAS SOPS 7374 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.374
AT ITER 2133 NEW BEST:: SOT 34284 SOS 7352 HAS SOPS 7352 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6484.352
AT ITER 2174 NEW BEST:: SOT 34284 SOS 7334 HAS SOPS 7334 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.334
AT ITER 2180 NEW BEST:: SOT 34284 SOS 7317 HAS SOPS 7317 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.317
AT ITER 2201 NEW BEST:: SOT 34263 SOS 7310 HAS SOPS 7310 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6443.31
AT ITER 2224 NEW BEST:: SOT 34259 SOS 7306 HAS SOPS 7306 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6439.306
AT ITER 2242 NEW BEST:: SOT 34259 SOS 7297 HAS SOPS 7297 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6439.297
AT ITER 2261 NEW BEST:: SOT 34259 SOS 7297 HAS SOPS 7297 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6436.297
AT ITER 2265 NEW BEST:: SOT 34252 SOS 7291 HAS SOPS 7291 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6429.291
AT ITER 2287 NEW BEST:: SOT 34260 SOS 7277 HAS SOPS 7277 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6424.277
AT ITER 2355 NEW BEST:: SOT 34263 SOS 7262 HAS SOPS 7262 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6409.262
AT ITER 2363 NEW BEST:: SOT 34263 SOS 7262 HAS SOPS 7262 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.262
AT ITER 2375 NEW BEST:: SOT 34262 SOS 7260 HAS SOPS 7260 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.26
AT ITER 2389 NEW BEST:: SOT 34256 SOS 7256 HAS SOPS 7256 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.256
AT ITER 2409 NEW BEST:: SOT 34257 SOS 7239 HAS SOPS 7239 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6376.239
AT ITER 2418 NEW BEST:: SOT 34191 SOS 7040 HAS SOPS 7040 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.04
AT ITER 2460 NEW BEST:: SOT 34176 SOS 7010 HAS SOPS 7010 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6264.01
AT ITER 2476 NEW BEST:: SOT 34170 SOS 7010 HAS SOPS 7010 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6262.01
AT ITER 2503 NEW BEST:: SOT 34170 SOS 7038 HAS SOPS 7038 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6234.038
AT ITER 2515 NEW BEST:: SOT 34148 SOS 7016 HAS SOPS 7016 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6234.016
AT ITER 2536 NEW BEST:: SOT 34133 SOS 7021 HAS SOPS 7021 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6228.021
AT ITER 2540 NEW BEST:: SOT 34133 SOS 7021 HAS SOPS 7021 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.021
AT ITER 2541 NEW BEST:: SOT 34133 SOS 7006 HAS SOPS 7006 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6203.006
AT ITER 2542 NEW BEST:: SOT 34131 SOS 7002 HAS SOPS 7002 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6199.002
AT ITER 2543 NEW BEST:: SOT 34130 SOS 7012 HAS SOPS 7012 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.012
AT ITER 2553 NEW BEST:: SOT 34130 SOS 7002 HAS SOPS 7002 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6188.002
AT ITER 2563 NEW BEST:: SOT 34144 SOS 6990 HAS SOPS 6990 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6179.99
AT ITER 2580 NEW BEST:: SOT 34142 SOS 6976 HAS SOPS 6976 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6175.976
AT ITER 2585 NEW BEST:: SOT 34122 SOS 6936 HAS SOPS 6936 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6127.936
AT ITER 2604 NEW BEST:: SOT 34123 SOS 6935 HAS SOPS 6935 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6127.935
AT ITER 2609 NEW BEST:: SOT 34118 SOS 6925 HAS SOPS 6925 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6119.925
AT ITER 2617 NEW BEST:: SOT 34124 SOS 6890 HAS SOPS 6890 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6116.89
AT ITER 2622 NEW BEST:: SOT 34107 SOS 6847 HAS SOPS 6847 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6090.847
AT ITER 2637 NEW BEST:: SOT 34099 SOS 6831 HAS SOPS 6831 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6083.831
AT ITER 2657 NEW BEST:: SOT 34091 SOS 6823 HAS SOPS 6823 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6075.823
AT ITER 2729 NEW BEST:: SOT 34091 SOS 6819 HAS SOPS 6819 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6070.819
AT ITER 2749 NEW BEST:: SOT 34085 SOS 6819 HAS SOPS 6819 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6065.819
AT ITER 2766 NEW BEST:: SOT 34083 SOS 6815 HAS SOPS 6815 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6061.815
AT ITER 2787 NEW BEST:: SOT 34080 SOS 6809 HAS SOPS 6809 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.809
AT ITER 2813 NEW BEST:: SOT 34080 SOS 6786 HAS SOPS 6786 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.786
AT ITER 2831 NEW BEST:: SOT 34079 SOS 6785 HAS SOPS 6785 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.785
AT ITER 2832 NEW BEST:: SOT 34079 SOS 6785 HAS SOPS 6785 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6048.785
AT ITER 2853 NEW BEST:: SOT 34067 SOS 6737 HAS SOPS 6737 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6036.737
AT ITER 2888 NEW BEST:: SOT 34065 SOS 6741 HAS SOPS 6741 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6032.741
AT ITER 2910 NEW BEST:: SOT 34066 SOS 6728 HAS SOPS 6728 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6029.728
AT ITER 2916 NEW BEST:: SOT 34066 SOS 6720 HAS SOPS 6720 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6008.72
AT ITER 2938 NEW BEST:: SOT 34080 SOS 6694 HAS SOPS 6694 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5995.694
AT ITER 2983 NEW BEST:: SOT 34081 SOS 6696 HAS SOPS 6696 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5993.696
AT ITER 2987 NEW BEST:: SOT 34080 SOS 6694 HAS SOPS 6694 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5992.694
AT ITER 2992 NEW BEST:: SOT 34087 SOS 6684 HAS SOPS 6684 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5989.684
AT ITER 3040 NEW BEST:: SOT 34060 SOS 6657 HAS SOPS 6657 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5962.657
AT ITER 3046 NEW BEST:: SOT 34049 SOS 6661 HAS SOPS 6661 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5960.661
AT ITER 3050 NEW BEST:: SOT 34047 SOS 6659 HAS SOPS 6659 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.659
AT ITER 3136 NEW BEST:: SOT 34036 SOS 6659 HAS SOPS 6659 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5939.659
AT ITER 3146 NEW BEST:: SOT 34030 SOS 6637 HAS SOPS 6637 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5927.637
AT ITER 3147 NEW BEST:: SOT 34026 SOS 6603 HAS SOPS 6603 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5919.603
AT ITER 3192 NEW BEST:: SOT 34006 SOS 6595 HAS SOPS 6595 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.595
AT ITER 3197 NEW BEST:: SOT 34018 SOS 6585 HAS SOPS 6585 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5901.585
AT ITER 3205 NEW BEST:: SOT 34017 SOS 6583 HAS SOPS 6583 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5899.583
AT ITER 3216 NEW BEST:: SOT 34016 SOS 6573 HAS SOPS 6573 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5893.573
AT ITER 3230 NEW BEST:: SOT 34016 SOS 6568 HAS SOPS 6568 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5893.568
AT ITER 3241 NEW BEST:: SOT 34016 SOS 6567 HAS SOPS 6567 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5892.567
AT ITER 3262 NEW BEST:: SOT 34016 SOS 6562 HAS SOPS 6562 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5887.562
AT ITER 3266 NEW BEST:: SOT 34015 SOS 6558 HAS SOPS 6558 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5885.558
AT ITER 3269 NEW BEST:: SOT 34015 SOS 6554 HAS SOPS 6554 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.554
AT ITER 3317 NEW BEST:: SOT 34005 SOS 6524 HAS SOPS 6524 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5861.524
AT ITER 3320 NEW BEST:: SOT 34005 SOS 6524 HAS SOPS 6524 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5859.524
AT ITER 3363 NEW BEST:: SOT 34001 SOS 6516 HAS SOPS 6516 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5851.516
AT ITER 3386 NEW BEST:: SOT 33982 SOS 6515 HAS SOPS 6515 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5842.515
AT ITER 3444 NEW BEST:: SOT 33982 SOS 6522 HAS SOPS 6522 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5841.522
AT ITER 3463 NEW BEST:: SOT 33972 SOS 6502 HAS SOPS 6502 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5821.502
AT ITER 3464 NEW BEST:: SOT 33964 SOS 6463 HAS SOPS 6463 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5799.463
AT ITER 3492 NEW BEST:: SOT 33944 SOS 6459 HAS SOPS 6459 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5786.459
AT ITER 3589 NEW BEST:: SOT 33941 SOS 6453 HAS SOPS 6453 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5780.453
AT ITER 3591 NEW BEST:: SOT 33939 SOS 6449 HAS SOPS 6449 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.449
AT ITER 3607 NEW BEST:: SOT 33927 SOS 6446 HAS SOPS 6446 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5773.446
AT ITER 3610 NEW BEST:: SOT 33931 SOS 6433 HAS SOPS 6433 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5760.433
AT ITER 3688 NEW BEST:: SOT 33929 SOS 6415 HAS SOPS 6415 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.415
AT ITER 3703 NEW BEST:: SOT 33929 SOS 6412 HAS SOPS 6412 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.412
AT ITER 3747 NEW BEST:: SOT 33923 SOS 6400 HAS SOPS 6400 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.4
AT ITER 3774 NEW BEST:: SOT 33922 SOS 6398 HAS SOPS 6398 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5731.398
AT ITER 3821 NEW BEST:: SOT 33922 SOS 6392 HAS SOPS 6392 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5731.392
AT ITER 3826 NEW BEST:: SOT 33898 SOS 6391 HAS SOPS 6391 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5718.391
AT ITER 3827 NEW BEST:: SOT 33898 SOS 6390 HAS SOPS 6390 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5717.39
AT ITER 3868 NEW BEST:: SOT 33895 SOS 6384 HAS SOPS 6384 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5717.384
AT ITER 3870 NEW BEST:: SOT 33889 SOS 6384 HAS SOPS 6384 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5711.384
AT ITER 3904 NEW BEST:: SOT 33873 SOS 6379 HAS SOPS 6379 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5706.379
AT ITER 3909 NEW BEST:: SOT 33873 SOS 6377 HAS SOPS 6377 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5706.377
AT ITER 3931 NEW BEST:: SOT 33871 SOS 6374 HAS SOPS 6374 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5704.374
AT ITER 3939 NEW BEST:: SOT 33877 SOS 6351 HAS SOPS 6351 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.351
AT ITER 3960 NEW BEST:: SOT 33875 SOS 6330 HAS SOPS 6330 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5689.33
AT ITER 4069 NEW BEST:: SOT 33881 SOS 6326 HAS SOPS 6326 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.326
AT ITER 4122 NEW BEST:: SOT 33881 SOS 6325 HAS SOPS 6325 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5684.325
AT ITER 4127 NEW BEST:: SOT 33871 SOS 6305 HAS SOPS 6305 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.305
AT ITER 4131 NEW BEST:: SOT 33867 SOS 6297 HAS SOPS 6297 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5658.297
AT ITER 4135 NEW BEST:: SOT 33867 SOS 6295 HAS SOPS 6295 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5656.295
AT ITER 4141 NEW BEST:: SOT 33867 SOS 6294 HAS SOPS 6294 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5655.294
AT ITER 4150 NEW BEST:: SOT 33872 SOS 6292 HAS SOPS 6292 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5655.292
AT ITER 4153 NEW BEST:: SOT 33872 SOS 6292 HAS SOPS 6292 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5631.292
AT ITER 4156 NEW BEST:: SOT 33872 SOS 6288 HAS SOPS 6288 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5628.288
AT ITER 4177 NEW BEST:: SOT 33871 SOS 6284 HAS SOPS 6284 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.284
AT ITER 4179 NEW BEST:: SOT 33870 SOS 6283 HAS SOPS 6283 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.283
AT ITER 4192 NEW BEST:: SOT 33869 SOS 6279 HAS SOPS 6279 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.279
AT ITER 4220 NEW BEST:: SOT 33869 SOS 6279 HAS SOPS 6279 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.279
AT ITER 4222 NEW BEST:: SOT 33865 SOS 6263 HAS SOPS 6263 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.263
AT ITER 4224 NEW BEST:: SOT 33848 SOS 6174 HAS SOPS 6174 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.174
AT ITER 4235 NEW BEST:: SOT 33847 SOS 6173 HAS SOPS 6173 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.173
AT ITER 4277 NEW BEST:: SOT 33847 SOS 6163 HAS SOPS 6163 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.163
AT ITER 4309 NEW BEST:: SOT 33838 SOS 6136 HAS SOPS 6136 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.136
AT ITER 4434 NEW BEST:: SOT 33838 SOS 6122 HAS SOPS 6122 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5553.122
AT ITER 4443 NEW BEST:: SOT 33835 SOS 6118 HAS SOPS 6118 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.118
AT ITER 4454 NEW BEST:: SOT 33836 SOS 6119 HAS SOPS 6119 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5539.119
AT ITER 4472 NEW BEST:: SOT 33825 SOS 6097 HAS SOPS 6097 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.097
AT ITER 4490 NEW BEST:: SOT 33835 SOS 6110 HAS SOPS 6110 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.11
AT ITER 4569 NEW BEST:: SOT 33835 SOS 6109 HAS SOPS 6109 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5510.109
AT ITER 4572 NEW BEST:: SOT 33834 SOS 6102 HAS SOPS 6102 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5504.102
AT ITER 4593 NEW BEST:: SOT 33825 SOS 6089 HAS SOPS 6089 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.089
AT ITER 4612 NEW BEST:: SOT 33817 SOS 6073 HAS SOPS 6073 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5475.073
AT ITER 4644 NEW BEST:: SOT 33808 SOS 6075 HAS SOPS 6075 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.075
AT ITER 4649 NEW BEST:: SOT 33798 SOS 6042 HAS SOPS 6042 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5453.042
AT ITER 4719 NEW BEST:: SOT 33798 SOS 6036 HAS SOPS 6036 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5453.036
AT ITER 4737 NEW BEST:: SOT 33784 SOS 6026 HAS SOPS 6026 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5439.026
AT ITER 4756 NEW BEST:: SOT 33784 SOS 6026 HAS SOPS 6026 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.026
AT ITER 4767 NEW BEST:: SOT 33775 SOS 6008 HAS SOPS 6008 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.008
AT ITER 4769 NEW BEST:: SOT 33773 SOS 6000 HAS SOPS 6000 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.0
AT ITER 4772 NEW BEST:: SOT 33773 SOS 5998 HAS SOPS 5998 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5418.998
AT ITER 4777 NEW BEST:: SOT 33773 SOS 5994 HAS SOPS 5994 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5418.994
AT ITER 4859 NEW BEST:: SOT 33768 SOS 5989 HAS SOPS 5989 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5413.989
AT ITER 4869 NEW BEST:: SOT 33768 SOS 5984 HAS SOPS 5984 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5408.984
AT ITER 4910 NEW BEST:: SOT 33784 SOS 5999 HAS SOPS 5999 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5407.999
AT ITER 4927 NEW BEST:: SOT 33806 SOS 6021 HAS SOPS 6021 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.021
AT ITER 4972 NEW BEST:: SOT 33806 SOS 6021 HAS SOPS 6021 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5402.021
AT ITER 4994 NEW BEST:: SOT 33808 SOS 6017 HAS SOPS 6017 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.017
AT ITER 4996 NEW BEST:: SOT 33798 SOS 5997 HAS SOPS 5997 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5375.997
AT ITER 5031 NEW BEST:: SOT 33808 SOS 5991 HAS SOPS 5991 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5355.991
AT ITER 5056 NEW BEST:: SOT 33808 SOS 5979 HAS SOPS 5979 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5351.979
AT ITER 5115 NEW BEST:: SOT 33802 SOS 5967 HAS SOPS 5967 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5345.967
AT ITER 5198 NEW BEST:: SOT 33791 SOS 5945 HAS SOPS 5945 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5323.945
AT ITER 5219 NEW BEST:: SOT 33783 SOS 5966 HAS SOPS 5966 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5315.966
AT ITER 5224 NEW BEST:: SOT 33781 SOS 5956 HAS SOPS 5956 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5313.956
AT ITER 5283 NEW BEST:: SOT 33777 SOS 5952 HAS SOPS 5952 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.952
AT ITER 5348 NEW BEST:: SOT 33761 SOS 5944 HAS SOPS 5944 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.944
AT ITER 5351 NEW BEST:: SOT 33774 SOS 5937 HAS SOPS 5937 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5284.937
AT ITER 5363 NEW BEST:: SOT 33773 SOS 5916 HAS SOPS 5916 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5282.916
AT ITER 5393 NEW BEST:: SOT 33797 SOS 5964 HAS SOPS 5964 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5275.964
AT ITER 5468 NEW BEST:: SOT 33800 SOS 5966 HAS SOPS 5966 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5273.966
AT ITER 5475 NEW BEST:: SOT 33776 SOS 5966 HAS SOPS 5966 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5253.966
AT ITER 5517 NEW BEST:: SOT 33774 SOS 5960 HAS SOPS 5960 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5253.96
AT ITER 5549 NEW BEST:: SOT 33769 SOS 5955 HAS SOPS 5955 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5248.955
AT ITER 5558 NEW BEST:: SOT 33769 SOS 5951 HAS SOPS 5951 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.951
AT ITER 5594 NEW BEST:: SOT 33769 SOS 5950 HAS SOPS 5950 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.95
AT ITER 5609 NEW BEST:: SOT 33762 SOS 5929 HAS SOPS 5929 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.929
AT ITER 5659 NEW BEST:: SOT 33745 SOS 5917 HAS SOPS 5917 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5218.917
AT ITER 5719 NEW BEST:: SOT 33747 SOS 5914 HAS SOPS 5914 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5215.914
AT ITER 5728 NEW BEST:: SOT 33742 SOS 5904 HAS SOPS 5904 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5205.904
AT ITER 5750 NEW BEST:: SOT 33729 SOS 5898 HAS SOPS 5898 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5199.898
AT ITER 5775 NEW BEST:: SOT 33729 SOS 5898 HAS SOPS 5898 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5198.898
AT ITER 5804 NEW BEST:: SOT 33726 SOS 5871 HAS SOPS 5871 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5195.871
AT ITER 5808 NEW BEST:: SOT 33726 SOS 5863 HAS SOPS 5863 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5187.863
AT ITER 5826 NEW BEST:: SOT 33718 SOS 5833 HAS SOPS 5833 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5173.833
AT ITER 5830 NEW BEST:: SOT 33718 SOS 5804 HAS SOPS 5804 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5173.804
AT ITER 5949 NEW BEST:: SOT 33715 SOS 5798 HAS SOPS 5798 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5167.798
AT ITER 5973 NEW BEST:: SOT 33715 SOS 5795 HAS SOPS 5795 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5167.795
AT ITER 6017 NEW BEST:: SOT 33728 SOS 5821 HAS SOPS 5821 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5162.821
AT ITER 6087 NEW BEST:: SOT 33727 SOS 5819 HAS SOPS 5819 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.819
AT ITER 6128 NEW BEST:: SOT 33706 SOS 5777 HAS SOPS 5777 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5141.777
AT ITER 6217 NEW BEST:: SOT 33707 SOS 5763 HAS SOPS 5763 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5134.763
AT ITER 6306 NEW BEST:: SOT 33697 SOS 5743 HAS SOPS 5743 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5121.743
AT ITER 6536 NEW BEST:: SOT 33695 SOS 5744 HAS SOPS 5744 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5117.744
AT ITER 6574 NEW BEST:: SOT 33690 SOS 5738 HAS SOPS 5738 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5115.738
AT ITER 6603 NEW BEST:: SOT 33679 SOS 5720 HAS SOPS 5720 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5104.72
AT ITER 6663 NEW BEST:: SOT 33683 SOS 5718 HAS SOPS 5718 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5104.718
AT ITER 6894 NEW BEST:: SOT 33682 SOS 5716 HAS SOPS 5716 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5102.716
AT ITER 6897 NEW BEST:: SOT 33655 SOS 5678 HAS SOPS 5678 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5075.678
AT ITER 6939 NEW BEST:: SOT 33651 SOS 5670 HAS SOPS 5670 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5069.67
AT ITER 6972 NEW BEST:: SOT 33651 SOS 5662 HAS SOPS 5662 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5069.662
AT ITER 7025 NEW BEST:: SOT 33653 SOS 5687 HAS SOPS 5687 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5065.687
AT ITER 7036 NEW BEST:: SOT 33651 SOS 5685 HAS SOPS 5685 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5063.685
AT ITER 7138 NEW BEST:: SOT 33655 SOS 5693 HAS SOPS 5693 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.693
AT ITER 7164 NEW BEST:: SOT 33653 SOS 5684 HAS SOPS 5684 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5055.684
AT ITER 7210 NEW BEST:: SOT 33640 SOS 5671 HAS SOPS 5671 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5042.671
AT ITER 7219 NEW BEST:: SOT 33636 SOS 5663 HAS SOPS 5663 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5038.663
AT ITER 7290 NEW BEST:: SOT 33635 SOS 5668 HAS SOPS 5668 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5034.668
AT ITER 7356 NEW BEST:: SOT 33632 SOS 5665 HAS SOPS 5665 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5031.665
AT ITER 7512 NEW BEST:: SOT 33632 SOS 5659 HAS SOPS 5659 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5031.659
AT ITER 7555 NEW BEST:: SOT 33632 SOS 5656 HAS SOPS 5656 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5024.656
AT ITER 7578 NEW BEST:: SOT 33622 SOS 5646 HAS SOPS 5646 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.646
AT ITER 7682 NEW BEST:: SOT 33611 SOS 5602 HAS SOPS 5602 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5003.602
AT ITER 7704 NEW BEST:: SOT 33612 SOS 5600 HAS SOPS 5600 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5001.6
AT ITER 7714 NEW BEST:: SOT 33607 SOS 5595 HAS SOPS 5595 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4996.595
AT ITER 7768 NEW BEST:: SOT 33604 SOS 5599 HAS SOPS 5599 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4993.599
AT ITER 7783 NEW BEST:: SOT 33604 SOS 5598 HAS SOPS 5598 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.598
AT ITER 7808 NEW BEST:: SOT 33604 SOS 5592 HAS SOPS 5592 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4986.592
AT ITER 7846 NEW BEST:: SOT 33604 SOS 5582 HAS SOPS 5582 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4986.582
AT ITER 7904 NEW BEST:: SOT 33604 SOS 5581 HAS SOPS 5581 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.581
AT ITER 8003 NEW BEST:: SOT 33588 SOS 5569 HAS SOPS 5569 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.569
AT ITER 8120 NEW BEST:: SOT 33577 SOS 5547 HAS SOPS 5547 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.547
AT ITER 8157 NEW BEST:: SOT 33570 SOS 5554 HAS SOPS 5554 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4953.554
AT ITER 8282 NEW BEST:: SOT 33570 SOS 5552 HAS SOPS 5552 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4951.552
AT ITER 8316 NEW BEST:: SOT 33576 SOS 5558 HAS SOPS 5558 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.558
AT ITER 8367 NEW BEST:: SOT 33581 SOS 5554 HAS SOPS 5554 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.554
AT ITER 8493 NEW BEST:: SOT 33577 SOS 5546 HAS SOPS 5546 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.546
AT ITER 8563 NEW BEST:: SOT 33576 SOS 5544 HAS SOPS 5544 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.544
AT ITER 8598 NEW BEST:: SOT 33569 SOS 5530 HAS SOPS 5530 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.53
AT ITER 8619 NEW BEST:: SOT 33585 SOS 5554 HAS SOPS 5554 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.554
AT ITER 8658 NEW BEST:: SOT 33594 SOS 5548 HAS SOPS 5548 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.548
AT ITER 8745 NEW BEST:: SOT 33594 SOS 5550 HAS SOPS 5550 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.55
AT ITER 8781 NEW BEST:: SOT 33594 SOS 5546 HAS SOPS 5546 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.546
AT ITER 8818 NEW BEST:: SOT 33594 SOS 5522 HAS SOPS 5522 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.522
AT ITER 8864 NEW BEST:: SOT 33594 SOS 5512 HAS SOPS 5512 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.512
AT ITER 8912 NEW BEST:: SOT 33592 SOS 5508 HAS SOPS 5508 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4907.508
AT ITER 8954 NEW BEST:: SOT 33592 SOS 5503 HAS SOPS 5503 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.503
AT ITER 9016 NEW BEST:: SOT 33594 SOS 5498 HAS SOPS 5498 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4890.498
AT ITER 9100 NEW BEST:: SOT 33580 SOS 5526 HAS SOPS 5526 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4877.526
AT ITER 9105 NEW BEST:: SOT 33579 SOS 5524 HAS SOPS 5524 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4876.524
AT ITER 9182 NEW BEST:: SOT 33573 SOS 5519 HAS SOPS 5519 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4871.519
AT ITER 9184 NEW BEST:: SOT 33572 SOS 5518 HAS SOPS 5518 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.518
AT ITER 9289 NEW BEST:: SOT 33582 SOS 5498 HAS SOPS 5498 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4868.498
AT ITER 9384 NEW BEST:: SOT 33582 SOS 5497 HAS SOPS 5497 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4868.497
AT ITER 9395 NEW BEST:: SOT 33580 SOS 5494 HAS SOPS 5494 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.494
AT ITER 9466 NEW BEST:: SOT 33580 SOS 5488 HAS SOPS 5488 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.488
AT ITER 9488 NEW BEST:: SOT 33577 SOS 5482 HAS SOPS 5482 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4859.482
AT ITER 9529 NEW BEST:: SOT 33577 SOS 5472 HAS SOPS 5472 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4854.472
AT ITER 9541 NEW BEST:: SOT 33573 SOS 5478 HAS SOPS 5478 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.478
AT ITER 9687 NEW BEST:: SOT 33574 SOS 5477 HAS SOPS 5477 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4849.477
AT ITER 9773 NEW BEST:: SOT 33574 SOS 5474 HAS SOPS 5474 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.474
AT ITER 9780 NEW BEST:: SOT 33574 SOS 5466 HAS SOPS 5466 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.466
AT ITER 9917 NEW BEST:: SOT 33574 SOS 5450 HAS SOPS 5450 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.45
AT ITER 9924 NEW BEST:: SOT 33572 SOS 5446 HAS SOPS 5446 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.446
AT ITER 9946 NEW BEST:: SOT 33566 SOS 5434 HAS SOPS 5434 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4832.434
AT ITER 9958 NEW BEST:: SOT 33563 SOS 5428 HAS SOPS 5428 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4829.428

BK_TIME_CONFINEMENT_REACHED

--------------------
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="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"

# 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 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 r207-tajo-159033470301000"
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 ;