About the Execution of Smart for Sudoku-COL-AN05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.764 | 2845725.00 | 2832928.00 | 13361.60 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r483-tall-167912695100040.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Sudoku-COL-AN05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695100040
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 7.2K Feb 26 09:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 09:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 09:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 09:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 09:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 09:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K 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 1679146235027
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=Sudoku-COL-AN05
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 13:30:37] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 13:30:37] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 13:30:37] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 13:30:38] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:30:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 763 ms
[2023-03-18 13:30:38] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 200 PT places and 125.0 transition bindings in 15 ms.
[2023-03-18 13:30:38] [INFO ] Unfolded HLPN to a Petri net with 200 places and 125 transitions 500 arcs in 29 ms.
[2023-03-18 13:30:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:30:38] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 200 places, 125 transitions and 500 arcs took 10 ms.
Total runtime 1028 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN05
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: 200 places, 125 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 17648 SOS 9228 HAS SOPS 9228 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9237.228
AT ITER 9 NEW BEST:: SOT 17610 SOS 9197 HAS SOPS 9197 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9206.197
AT ITER 11 NEW BEST:: SOT 17588 SOS 9355 HAS SOPS 9355 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9199.355
AT ITER 19 NEW BEST:: SOT 17507 SOS 9305 HAS SOPS 9305 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9144.305
AT ITER 29 NEW BEST:: SOT 17499 SOS 9297 HAS SOPS 9297 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9136.297
AT ITER 35 NEW BEST:: SOT 17513 SOS 9297 HAS SOPS 9297 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9119.297
AT ITER 39 NEW BEST:: SOT 17513 SOS 9273 HAS SOPS 9273 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9119.273
AT ITER 40 NEW BEST:: SOT 17473 SOS 9233 HAS SOPS 9233 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9079.233
AT ITER 43 NEW BEST:: SOT 17446 SOS 9289 HAS SOPS 9289 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9078.289
AT ITER 53 NEW BEST:: SOT 17446 SOS 9241 HAS SOPS 9241 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9078.241
AT ITER 54 NEW BEST:: SOT 17439 SOS 9247 HAS SOPS 9247 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9073.247
AT ITER 60 NEW BEST:: SOT 17355 SOS 9191 HAS SOPS 9191 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9004.191
AT ITER 63 NEW BEST:: SOT 17380 SOS 9197 HAS SOPS 9197 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9000.197
AT ITER 64 NEW BEST:: SOT 17274 SOS 9125 HAS SOPS 9125 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8928.125
AT ITER 68 NEW BEST:: SOT 17256 SOS 9122 HAS SOPS 9122 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8910.122
AT ITER 99 NEW BEST:: SOT 17245 SOS 9119 HAS SOPS 9119 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8907.119
AT ITER 106 NEW BEST:: SOT 17194 SOS 9181 HAS SOPS 9181 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.181
AT ITER 114 NEW BEST:: SOT 17156 SOS 9152 HAS SOPS 9152 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8870.152
AT ITER 133 NEW BEST:: SOT 17128 SOS 9131 HAS SOPS 9131 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8849.131
AT ITER 139 NEW BEST:: SOT 17128 SOS 9073 HAS SOPS 9073 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8831.073
AT ITER 140 NEW BEST:: SOT 17106 SOS 9109 HAS SOPS 9109 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.109
AT ITER 154 NEW BEST:: SOT 17106 SOS 9097 HAS SOPS 9097 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.097
AT ITER 163 NEW BEST:: SOT 17102 SOS 9094 HAS SOPS 9094 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8806.094
AT ITER 165 NEW BEST:: SOT 17084 SOS 9052 HAS SOPS 9052 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8788.052
AT ITER 170 NEW BEST:: SOT 17076 SOS 9164 HAS SOPS 9164 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.164
AT ITER 186 NEW BEST:: SOT 17076 SOS 9148 HAS SOPS 9148 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.148
AT ITER 201 NEW BEST:: SOT 17076 SOS 9146 HAS SOPS 9146 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.146
AT ITER 206 NEW BEST:: SOT 17072 SOS 9142 HAS SOPS 9142 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.142
AT ITER 213 NEW BEST:: SOT 17054 SOS 9115 HAS SOPS 9115 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8762.115
AT ITER 218 NEW BEST:: SOT 17013 SOS 9097 HAS SOPS 9097 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8735.097
AT ITER 225 NEW BEST:: SOT 17013 SOS 9078 HAS SOPS 9078 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8735.078
AT ITER 229 NEW BEST:: SOT 17040 SOS 9037 HAS SOPS 9037 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8696.037
AT ITER 237 NEW BEST:: SOT 16996 SOS 9083 HAS SOPS 9083 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8657.083
AT ITER 248 NEW BEST:: SOT 16953 SOS 9129 HAS SOPS 9129 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8631.129
AT ITER 249 NEW BEST:: SOT 16944 SOS 9109 HAS SOPS 9109 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8628.109
AT ITER 258 NEW BEST:: SOT 16934 SOS 9106 HAS SOPS 9106 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8625.106
AT ITER 277 NEW BEST:: SOT 16970 SOS 9089 HAS SOPS 9089 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8623.089
AT ITER 297 NEW BEST:: SOT 16996 SOS 9073 HAS SOPS 9073 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.073
AT ITER 299 NEW BEST:: SOT 16996 SOS 9063 HAS SOPS 9063 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8604.063
AT ITER 306 NEW BEST:: SOT 16984 SOS 9056 HAS SOPS 9056 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8597.056
AT ITER 309 NEW BEST:: SOT 16967 SOS 9036 HAS SOPS 9036 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.036
AT ITER 312 NEW BEST:: SOT 16950 SOS 9035 HAS SOPS 9035 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8589.035
AT ITER 316 NEW BEST:: SOT 16946 SOS 9031 HAS SOPS 9031 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8589.031
AT ITER 328 NEW BEST:: SOT 16929 SOS 9025 HAS SOPS 9025 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.025
AT ITER 331 NEW BEST:: SOT 16923 SOS 9019 HAS SOPS 9019 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8577.019
AT ITER 336 NEW BEST:: SOT 16923 SOS 8997 HAS SOPS 8997 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8576.997
AT ITER 338 NEW BEST:: SOT 16900 SOS 8998 HAS SOPS 8998 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8566.998
AT ITER 346 NEW BEST:: SOT 16900 SOS 8990 HAS SOPS 8990 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8566.99
AT ITER 350 NEW BEST:: SOT 16865 SOS 8978 HAS SOPS 8978 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8554.978
AT ITER 359 NEW BEST:: SOT 16850 SOS 9030 HAS SOPS 9030 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.03
AT ITER 381 NEW BEST:: SOT 16830 SOS 9160 HAS SOPS 9160 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8539.16
AT ITER 392 NEW BEST:: SOT 16825 SOS 9155 HAS SOPS 9155 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8534.155
AT ITER 398 NEW BEST:: SOT 16825 SOS 9146 HAS SOPS 9146 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8534.146
AT ITER 399 NEW BEST:: SOT 16824 SOS 9141 HAS SOPS 9141 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8533.141
AT ITER 422 NEW BEST:: SOT 16786 SOS 9262 HAS SOPS 9262 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8522.262
AT ITER 428 NEW BEST:: SOT 16793 SOS 9233 HAS SOPS 9233 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8517.233
AT ITER 433 NEW BEST:: SOT 16793 SOS 9223 HAS SOPS 9223 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8507.223
AT ITER 445 NEW BEST:: SOT 16773 SOS 9203 HAS SOPS 9203 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.203
AT ITER 454 NEW BEST:: SOT 16773 SOS 9143 HAS SOPS 9143 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.143
AT ITER 466 NEW BEST:: SOT 16753 SOS 9134 HAS SOPS 9134 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8478.134
AT ITER 467 NEW BEST:: SOT 16670 SOS 9083 HAS SOPS 9083 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8412.083
AT ITER 479 NEW BEST:: SOT 16667 SOS 9170 HAS SOPS 9170 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8409.17
AT ITER 494 NEW BEST:: SOT 16667 SOS 9162 HAS SOPS 9162 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8405.162
AT ITER 502 NEW BEST:: SOT 16630 SOS 9096 HAS SOPS 9096 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8330.096
AT ITER 509 NEW BEST:: SOT 16566 SOS 9055 HAS SOPS 9055 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8289.055
AT ITER 510 NEW BEST:: SOT 16566 SOS 9045 HAS SOPS 9045 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.045
AT ITER 513 NEW BEST:: SOT 16566 SOS 9035 HAS SOPS 9035 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8275.035
AT ITER 515 NEW BEST:: SOT 16537 SOS 9021 HAS SOPS 9021 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8246.021
AT ITER 522 NEW BEST:: SOT 16491 SOS 9004 HAS SOPS 9004 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8229.004
AT ITER 532 NEW BEST:: SOT 16491 SOS 8990 HAS SOPS 8990 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8228.99
AT ITER 543 NEW BEST:: SOT 16412 SOS 8948 HAS SOPS 8948 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8186.948
AT ITER 551 NEW BEST:: SOT 16412 SOS 8944 HAS SOPS 8944 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8182.944
AT ITER 555 NEW BEST:: SOT 16412 SOS 8926 HAS SOPS 8926 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8182.926
AT ITER 565 NEW BEST:: SOT 16412 SOS 8899 HAS SOPS 8899 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8182.899
AT ITER 571 NEW BEST:: SOT 16357 SOS 8917 HAS SOPS 8917 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.917
AT ITER 577 NEW BEST:: SOT 16357 SOS 8892 HAS SOPS 8892 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.892
AT ITER 629 NEW BEST:: SOT 16352 SOS 8887 HAS SOPS 8887 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8132.887
AT ITER 634 NEW BEST:: SOT 16351 SOS 8886 HAS SOPS 8886 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8131.886
AT ITER 655 NEW BEST:: SOT 16351 SOS 8872 HAS SOPS 8872 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8131.872
AT ITER 662 NEW BEST:: SOT 16326 SOS 8929 HAS SOPS 8929 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8126.929
AT ITER 673 NEW BEST:: SOT 16325 SOS 8931 HAS SOPS 8931 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8125.931
AT ITER 695 NEW BEST:: SOT 16326 SOS 8932 HAS SOPS 8932 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8121.932
AT ITER 698 NEW BEST:: SOT 16323 SOS 8922 HAS SOPS 8922 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8121.922
AT ITER 710 NEW BEST:: SOT 16317 SOS 8960 HAS SOPS 8960 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8111.96
AT ITER 713 NEW BEST:: SOT 16259 SOS 8938 HAS SOPS 8938 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8089.938
AT ITER 718 NEW BEST:: SOT 16169 SOS 8909 HAS SOPS 8909 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8021.909
AT ITER 719 NEW BEST:: SOT 16167 SOS 8901 HAS SOPS 8901 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8019.901
AT ITER 749 NEW BEST:: SOT 16121 SOS 8890 HAS SOPS 8890 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8008.89
AT ITER 779 NEW BEST:: SOT 16124 SOS 8882 HAS SOPS 8882 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7997.882
AT ITER 785 NEW BEST:: SOT 16124 SOS 8867 HAS SOPS 8867 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7997.867
AT ITER 790 NEW BEST:: SOT 16153 SOS 8871 HAS SOPS 8871 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7995.871
AT ITER 808 NEW BEST:: SOT 16133 SOS 8813 HAS SOPS 8813 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7969.813
AT ITER 819 NEW BEST:: SOT 16105 SOS 8805 HAS SOPS 8805 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7966.805
AT ITER 822 NEW BEST:: SOT 16105 SOS 8714 HAS SOPS 8714 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7966.714
AT ITER 846 NEW BEST:: SOT 16105 SOS 8714 HAS SOPS 8714 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7960.714
AT ITER 859 NEW BEST:: SOT 16125 SOS 8708 HAS SOPS 8708 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7954.708
AT ITER 884 NEW BEST:: SOT 16110 SOS 8702 HAS SOPS 8702 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7948.702
AT ITER 897 NEW BEST:: SOT 16110 SOS 8699 HAS SOPS 8699 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7945.699
AT ITER 915 NEW BEST:: SOT 16126 SOS 8707 HAS SOPS 8707 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7910.707
AT ITER 931 NEW BEST:: SOT 16125 SOS 8733 HAS SOPS 8733 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7909.733
AT ITER 935 NEW BEST:: SOT 16122 SOS 8716 HAS SOPS 8716 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7908.716
AT ITER 944 NEW BEST:: SOT 16107 SOS 8740 HAS SOPS 8740 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7893.74
AT ITER 960 NEW BEST:: SOT 16099 SOS 8734 HAS SOPS 8734 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7887.734
AT ITER 961 NEW BEST:: SOT 16089 SOS 8719 HAS SOPS 8719 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7870.719
AT ITER 968 NEW BEST:: SOT 16089 SOS 8709 HAS SOPS 8709 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7870.709
AT ITER 994 NEW BEST:: SOT 16056 SOS 8676 HAS SOPS 8676 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7851.676
AT ITER 1000 NEW BEST:: SOT 16056 SOS 8669 HAS SOPS 8669 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7849.669
AT ITER 1004 NEW BEST:: SOT 16055 SOS 8668 HAS SOPS 8668 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7846.668
AT ITER 1029 NEW BEST:: SOT 16055 SOS 8662 HAS SOPS 8662 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7846.662
AT ITER 1052 NEW BEST:: SOT 16054 SOS 8661 HAS SOPS 8661 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.661
AT ITER 1053 NEW BEST:: SOT 16023 SOS 8659 HAS SOPS 8659 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7843.659
AT ITER 1068 NEW BEST:: SOT 16020 SOS 8656 HAS SOPS 8656 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7840.656
AT ITER 1072 NEW BEST:: SOT 16012 SOS 8648 HAS SOPS 8648 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.648
AT ITER 1087 NEW BEST:: SOT 16001 SOS 8637 HAS SOPS 8637 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7821.637
AT ITER 1088 NEW BEST:: SOT 15999 SOS 8635 HAS SOPS 8635 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7819.635
AT ITER 1113 NEW BEST:: SOT 15986 SOS 8615 HAS SOPS 8615 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7797.615
AT ITER 1116 NEW BEST:: SOT 15966 SOS 8696 HAS SOPS 8696 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7788.696
AT ITER 1119 NEW BEST:: SOT 15966 SOS 8697 HAS SOPS 8697 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7784.697
AT ITER 1122 NEW BEST:: SOT 15960 SOS 8688 HAS SOPS 8688 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7769.688
AT ITER 1130 NEW BEST:: SOT 15960 SOS 8678 HAS SOPS 8678 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7769.678
AT ITER 1141 NEW BEST:: SOT 15958 SOS 8686 HAS SOPS 8686 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7757.686
AT ITER 1142 NEW BEST:: SOT 15872 SOS 8848 HAS SOPS 8848 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7692.848
AT ITER 1144 NEW BEST:: SOT 15883 SOS 8732 HAS SOPS 8732 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7685.732
AT ITER 1151 NEW BEST:: SOT 15882 SOS 8731 HAS SOPS 8731 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7684.731
AT ITER 1182 NEW BEST:: SOT 15876 SOS 8692 HAS SOPS 8692 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7667.692
AT ITER 1193 NEW BEST:: SOT 15874 SOS 8694 HAS SOPS 8694 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.694
AT ITER 1195 NEW BEST:: SOT 15870 SOS 8688 HAS SOPS 8688 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.688
AT ITER 1196 NEW BEST:: SOT 15870 SOS 8672 HAS SOPS 8672 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7661.672
AT ITER 1200 NEW BEST:: SOT 15858 SOS 8666 HAS SOPS 8666 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7655.666
AT ITER 1209 NEW BEST:: SOT 15857 SOS 8643 HAS SOPS 8643 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7654.643
AT ITER 1221 NEW BEST:: SOT 15857 SOS 8635 HAS SOPS 8635 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7654.635
AT ITER 1234 NEW BEST:: SOT 15853 SOS 8758 HAS SOPS 8758 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.758
AT ITER 1237 NEW BEST:: SOT 15821 SOS 8858 HAS SOPS 8858 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7618.858
AT ITER 1247 NEW BEST:: SOT 15793 SOS 8885 HAS SOPS 8885 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.885
AT ITER 1250 NEW BEST:: SOT 15793 SOS 8880 HAS SOPS 8880 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.88
AT ITER 1285 NEW BEST:: SOT 15799 SOS 8866 HAS SOPS 8866 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.866
AT ITER 1301 NEW BEST:: SOT 15794 SOS 8861 HAS SOPS 8861 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.861
AT ITER 1307 NEW BEST:: SOT 15788 SOS 8858 HAS SOPS 8858 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.858
AT ITER 1319 NEW BEST:: SOT 15788 SOS 8848 HAS SOPS 8848 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7567.848
AT ITER 1355 NEW BEST:: SOT 15792 SOS 8852 HAS SOPS 8852 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7563.852
AT ITER 1362 NEW BEST:: SOT 15792 SOS 8846 HAS SOPS 8846 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7563.846
AT ITER 1424 NEW BEST:: SOT 15792 SOS 8843 HAS SOPS 8843 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7563.843
AT ITER 1425 NEW BEST:: SOT 15792 SOS 8803 HAS SOPS 8803 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7563.803
AT ITER 1446 NEW BEST:: SOT 15774 SOS 8795 HAS SOPS 8795 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7553.795
AT ITER 1449 NEW BEST:: SOT 15706 SOS 8769 HAS SOPS 8769 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7527.769
AT ITER 1451 NEW BEST:: SOT 15677 SOS 8761 HAS SOPS 8761 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7525.761
AT ITER 1459 NEW BEST:: SOT 15668 SOS 8752 HAS SOPS 8752 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7516.752
AT ITER 1467 NEW BEST:: SOT 15644 SOS 8761 HAS SOPS 8761 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7492.761
AT ITER 1475 NEW BEST:: SOT 15650 SOS 8760 HAS SOPS 8760 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7491.76
AT ITER 1491 NEW BEST:: SOT 15659 SOS 8759 HAS SOPS 8759 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7481.759
AT ITER 1497 NEW BEST:: SOT 15659 SOS 8755 HAS SOPS 8755 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7481.755
AT ITER 1505 NEW BEST:: SOT 15655 SOS 8751 HAS SOPS 8751 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7477.751
AT ITER 1506 NEW BEST:: SOT 15658 SOS 8766 HAS SOPS 8766 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7475.766
AT ITER 1532 NEW BEST:: SOT 15652 SOS 8760 HAS SOPS 8760 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.76
AT ITER 1578 NEW BEST:: SOT 15652 SOS 8730 HAS SOPS 8730 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.73
AT ITER 1587 NEW BEST:: SOT 15658 SOS 8729 HAS SOPS 8729 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7462.729
AT ITER 1610 NEW BEST:: SOT 15650 SOS 8721 HAS SOPS 8721 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7454.721
AT ITER 1613 NEW BEST:: SOT 15635 SOS 8706 HAS SOPS 8706 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7439.706
AT ITER 1638 NEW BEST:: SOT 15633 SOS 8704 HAS SOPS 8704 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7437.704
AT ITER 1674 NEW BEST:: SOT 15633 SOS 8703 HAS SOPS 8703 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7437.703
AT ITER 1693 NEW BEST:: SOT 15588 SOS 8704 HAS SOPS 8704 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7422.704
AT ITER 1728 NEW BEST:: SOT 15597 SOS 8706 HAS SOPS 8706 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7420.706
AT ITER 1735 NEW BEST:: SOT 15593 SOS 8705 HAS SOPS 8705 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7419.705
AT ITER 1783 NEW BEST:: SOT 15593 SOS 8693 HAS SOPS 8693 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7419.693
AT ITER 1812 NEW BEST:: SOT 15590 SOS 8690 HAS SOPS 8690 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.69
AT ITER 1824 NEW BEST:: SOT 15585 SOS 8685 HAS SOPS 8685 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.685
AT ITER 1829 NEW BEST:: SOT 15585 SOS 8640 HAS SOPS 8640 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.64
AT ITER 1833 NEW BEST:: SOT 15582 SOS 8638 HAS SOPS 8638 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7409.638
AT ITER 1880 NEW BEST:: SOT 15581 SOS 8720 HAS SOPS 8720 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7408.72
AT ITER 1896 NEW BEST:: SOT 15562 SOS 8701 HAS SOPS 8701 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7389.701
AT ITER 1921 NEW BEST:: SOT 15512 SOS 8688 HAS SOPS 8688 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.688
AT ITER 1923 NEW BEST:: SOT 15512 SOS 8669 HAS SOPS 8669 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.669
AT ITER 1945 NEW BEST:: SOT 15512 SOS 8669 HAS SOPS 8669 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7369.669
AT ITER 1952 NEW BEST:: SOT 15521 SOS 8668 HAS SOPS 8668 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7368.668
AT ITER 1963 NEW BEST:: SOT 15507 SOS 8659 HAS SOPS 8659 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7359.659
AT ITER 1974 NEW BEST:: SOT 15503 SOS 8753 HAS SOPS 8753 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7355.753
AT ITER 1988 NEW BEST:: SOT 15491 SOS 8741 HAS SOPS 8741 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7343.741
AT ITER 1998 NEW BEST:: SOT 15487 SOS 8737 HAS SOPS 8737 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.737
AT ITER 2003 NEW BEST:: SOT 15487 SOS 8723 HAS SOPS 8723 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.723
AT ITER 2024 NEW BEST:: SOT 15487 SOS 8702 HAS SOPS 8702 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.702
AT ITER 2033 NEW BEST:: SOT 15461 SOS 8718 HAS SOPS 8718 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7329.718
AT ITER 2048 NEW BEST:: SOT 15443 SOS 8700 HAS SOPS 8700 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7295.7
AT ITER 2111 NEW BEST:: SOT 15443 SOS 8696 HAS SOPS 8696 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7295.696
AT ITER 2151 NEW BEST:: SOT 15428 SOS 8684 HAS SOPS 8684 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7283.684
AT ITER 2163 NEW BEST:: SOT 15428 SOS 8680 HAS SOPS 8680 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7281.68
AT ITER 2187 NEW BEST:: SOT 15428 SOS 8670 HAS SOPS 8670 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7281.67
AT ITER 2199 NEW BEST:: SOT 15426 SOS 8669 HAS SOPS 8669 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7280.669
AT ITER 2206 NEW BEST:: SOT 15392 SOS 8662 HAS SOPS 8662 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.662
AT ITER 2222 NEW BEST:: SOT 15392 SOS 8598 HAS SOPS 8598 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.598
AT ITER 2235 NEW BEST:: SOT 15400 SOS 8602 HAS SOPS 8602 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7269.602
AT ITER 2293 NEW BEST:: SOT 15390 SOS 8592 HAS SOPS 8592 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.592
AT ITER 2297 NEW BEST:: SOT 15389 SOS 8591 HAS SOPS 8591 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.591
AT ITER 2309 NEW BEST:: SOT 15386 SOS 8589 HAS SOPS 8589 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.589
AT ITER 2321 NEW BEST:: SOT 15367 SOS 8581 HAS SOPS 8581 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7253.581
AT ITER 2327 NEW BEST:: SOT 15365 SOS 8579 HAS SOPS 8579 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7251.579
AT ITER 2338 NEW BEST:: SOT 15353 SOS 8567 HAS SOPS 8567 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7240.567
AT ITER 2424 NEW BEST:: SOT 15335 SOS 8549 HAS SOPS 8549 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.549
AT ITER 2461 NEW BEST:: SOT 15325 SOS 8565 HAS SOPS 8565 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7213.565
AT ITER 2487 NEW BEST:: SOT 15328 SOS 8568 HAS SOPS 8568 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7210.568
AT ITER 2530 NEW BEST:: SOT 15321 SOS 8571 HAS SOPS 8571 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7209.571
AT ITER 2546 NEW BEST:: SOT 15319 SOS 8569 HAS SOPS 8569 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7208.569
AT ITER 2549 NEW BEST:: SOT 15311 SOS 8581 HAS SOPS 8581 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7206.581
AT ITER 2558 NEW BEST:: SOT 15272 SOS 8700 HAS SOPS 8700 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7192.7
AT ITER 2574 NEW BEST:: SOT 15249 SOS 8761 HAS SOPS 8761 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.761
AT ITER 2586 NEW BEST:: SOT 15246 SOS 8762 HAS SOPS 8762 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.762
AT ITER 2604 NEW BEST:: SOT 15243 SOS 8759 HAS SOPS 8759 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7172.759
AT ITER 2623 NEW BEST:: SOT 15238 SOS 8769 HAS SOPS 8769 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7167.769
AT ITER 2626 NEW BEST:: SOT 15235 SOS 8729 HAS SOPS 8729 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.729
AT ITER 2664 NEW BEST:: SOT 15235 SOS 8725 HAS SOPS 8725 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.725
AT ITER 2690 NEW BEST:: SOT 15225 SOS 8720 HAS SOPS 8720 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7112.72
AT ITER 2707 NEW BEST:: SOT 15225 SOS 8716 HAS SOPS 8716 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7112.716
AT ITER 2709 NEW BEST:: SOT 15224 SOS 8715 HAS SOPS 8715 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7111.715
AT ITER 2713 NEW BEST:: SOT 15224 SOS 8715 HAS SOPS 8715 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7110.715
AT ITER 2714 NEW BEST:: SOT 15219 SOS 8710 HAS SOPS 8710 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7105.71
AT ITER 2717 NEW BEST:: SOT 15219 SOS 8694 HAS SOPS 8694 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7105.694
AT ITER 2719 NEW BEST:: SOT 15216 SOS 8715 HAS SOPS 8715 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.715
AT ITER 2727 NEW BEST:: SOT 15221 SOS 8711 HAS SOPS 8711 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7098.711
AT ITER 2765 NEW BEST:: SOT 15221 SOS 8690 HAS SOPS 8690 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7098.69
AT ITER 2780 NEW BEST:: SOT 15216 SOS 8685 HAS SOPS 8685 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7093.685
AT ITER 2815 NEW BEST:: SOT 15209 SOS 8678 HAS SOPS 8678 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7086.678
AT ITER 2848 NEW BEST:: SOT 15203 SOS 8672 HAS SOPS 8672 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.672
AT ITER 2859 NEW BEST:: SOT 15202 SOS 8671 HAS SOPS 8671 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7079.671
AT ITER 2894 NEW BEST:: SOT 15187 SOS 8664 HAS SOPS 8664 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7072.664
AT ITER 2992 NEW BEST:: SOT 15179 SOS 8664 HAS SOPS 8664 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7071.664
AT ITER 3000 NEW BEST:: SOT 15176 SOS 8662 HAS SOPS 8662 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7069.662
AT ITER 3010 NEW BEST:: SOT 15176 SOS 8650 HAS SOPS 8650 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.65
AT ITER 3044 NEW BEST:: SOT 15176 SOS 8649 HAS SOPS 8649 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7062.649
AT ITER 3057 NEW BEST:: SOT 15175 SOS 8648 HAS SOPS 8648 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7058.648
AT ITER 3091 NEW BEST:: SOT 15175 SOS 8642 HAS SOPS 8642 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7058.642
AT ITER 3095 NEW BEST:: SOT 15202 SOS 8669 HAS SOPS 8669 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.669
AT ITER 3130 NEW BEST:: SOT 15193 SOS 8660 HAS SOPS 8660 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7032.66
AT ITER 3143 NEW BEST:: SOT 15206 SOS 8574 HAS SOPS 8574 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7020.574
AT ITER 3178 NEW BEST:: SOT 15206 SOS 8558 HAS SOPS 8558 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7015.558
AT ITER 3183 NEW BEST:: SOT 15201 SOS 8553 HAS SOPS 8553 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7010.553
AT ITER 3188 NEW BEST:: SOT 15224 SOS 8576 HAS SOPS 8576 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7002.576
AT ITER 3204 NEW BEST:: SOT 15224 SOS 8575 HAS SOPS 8575 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.575
AT ITER 3218 NEW BEST:: SOT 15217 SOS 8568 HAS SOPS 8568 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6986.568
AT ITER 3219 NEW BEST:: SOT 15251 SOS 8466 HAS SOPS 8466 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6976.466
AT ITER 3233 NEW BEST:: SOT 15242 SOS 8478 HAS SOPS 8478 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6974.478
AT ITER 3253 NEW BEST:: SOT 15227 SOS 8528 HAS SOPS 8528 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6965.528
AT ITER 3269 NEW BEST:: SOT 15223 SOS 8552 HAS SOPS 8552 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.552
AT ITER 3292 NEW BEST:: SOT 15222 SOS 8551 HAS SOPS 8551 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.551
AT ITER 3299 NEW BEST:: SOT 15214 SOS 8547 HAS SOPS 8547 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.547
AT ITER 3313 NEW BEST:: SOT 15219 SOS 8544 HAS SOPS 8544 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6947.544
AT ITER 3322 NEW BEST:: SOT 15206 SOS 8531 HAS SOPS 8531 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6934.531
AT ITER 3358 NEW BEST:: SOT 15204 SOS 8529 HAS SOPS 8529 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.529
AT ITER 3380 NEW BEST:: SOT 15210 SOS 8529 HAS SOPS 8529 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.529
AT ITER 3390 NEW BEST:: SOT 15177 SOS 8513 HAS SOPS 8513 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6911.513
AT ITER 3401 NEW BEST:: SOT 15172 SOS 8509 HAS SOPS 8509 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6907.509
AT ITER 3417 NEW BEST:: SOT 15158 SOS 8495 HAS SOPS 8495 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6893.495
AT ITER 3423 NEW BEST:: SOT 15134 SOS 8471 HAS SOPS 8471 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.471
AT ITER 3449 NEW BEST:: SOT 15122 SOS 8467 HAS SOPS 8467 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.467
AT ITER 3472 NEW BEST:: SOT 15122 SOS 8465 HAS SOPS 8465 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6855.465
AT ITER 3525 NEW BEST:: SOT 15122 SOS 8422 HAS SOPS 8422 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6855.422
AT ITER 3556 NEW BEST:: SOT 15128 SOS 8428 HAS SOPS 8428 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6854.428
AT ITER 3565 NEW BEST:: SOT 15122 SOS 8422 HAS SOPS 8422 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6848.422
AT ITER 3616 NEW BEST:: SOT 15121 SOS 8421 HAS SOPS 8421 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6847.421
AT ITER 3626 NEW BEST:: SOT 15121 SOS 8404 HAS SOPS 8404 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6847.404
AT ITER 3638 NEW BEST:: SOT 15121 SOS 8356 HAS SOPS 8356 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.356
AT ITER 3650 NEW BEST:: SOT 15120 SOS 8355 HAS SOPS 8355 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6845.355
AT ITER 3651 NEW BEST:: SOT 15118 SOS 8351 HAS SOPS 8351 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.351
AT ITER 3688 NEW BEST:: SOT 15111 SOS 8344 HAS SOPS 8344 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.344
AT ITER 3716 NEW BEST:: SOT 15111 SOS 8342 HAS SOPS 8342 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.342
AT ITER 3825 NEW BEST:: SOT 15107 SOS 8340 HAS SOPS 8340 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6834.34
AT ITER 3839 NEW BEST:: SOT 15102 SOS 8335 HAS SOPS 8335 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6829.335
AT ITER 3842 NEW BEST:: SOT 15102 SOS 8335 HAS SOPS 8335 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6828.335
AT ITER 3883 NEW BEST:: SOT 15098 SOS 8340 HAS SOPS 8340 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6821.34
AT ITER 3901 NEW BEST:: SOT 15098 SOS 8339 HAS SOPS 8339 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6821.339
AT ITER 3942 NEW BEST:: SOT 15067 SOS 8475 HAS SOPS 8475 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.475
AT ITER 3958 NEW BEST:: SOT 15081 SOS 8374 HAS SOPS 8374 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.374
AT ITER 3990 NEW BEST:: SOT 15071 SOS 8361 HAS SOPS 8361 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6775.361
AT ITER 4017 NEW BEST:: SOT 15071 SOS 8361 HAS SOPS 8361 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6772.361
AT ITER 4063 NEW BEST:: SOT 15076 SOS 8360 HAS SOPS 8360 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.36
AT ITER 4076 NEW BEST:: SOT 15076 SOS 8353 HAS SOPS 8353 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6759.353
AT ITER 4086 NEW BEST:: SOT 15074 SOS 8352 HAS SOPS 8352 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6758.352
AT ITER 4135 NEW BEST:: SOT 15059 SOS 8355 HAS SOPS 8355 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6746.355
AT ITER 4159 NEW BEST:: SOT 15057 SOS 8398 HAS SOPS 8398 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6744.398
AT ITER 4164 NEW BEST:: SOT 15057 SOS 8393 HAS SOPS 8393 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6744.393
AT ITER 4207 NEW BEST:: SOT 15063 SOS 8392 HAS SOPS 8392 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6743.392
AT ITER 4228 NEW BEST:: SOT 15053 SOS 8382 HAS SOPS 8382 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6733.382
AT ITER 4238 NEW BEST:: SOT 15050 SOS 8379 HAS SOPS 8379 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.379
AT ITER 4240 NEW BEST:: SOT 15049 SOS 8378 HAS SOPS 8378 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6729.378
AT ITER 4249 NEW BEST:: SOT 15050 SOS 8335 HAS SOPS 8335 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6719.335
AT ITER 4272 NEW BEST:: SOT 15054 SOS 8343 HAS SOPS 8343 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6716.343
AT ITER 4282 NEW BEST:: SOT 15053 SOS 8344 HAS SOPS 8344 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6712.344
AT ITER 4350 NEW BEST:: SOT 15050 SOS 8341 HAS SOPS 8341 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6709.341
AT ITER 4425 NEW BEST:: SOT 15032 SOS 8335 HAS SOPS 8335 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.335
AT ITER 4444 NEW BEST:: SOT 15024 SOS 8333 HAS SOPS 8333 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.333
AT ITER 4451 NEW BEST:: SOT 15017 SOS 8326 HAS SOPS 8326 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.326
AT ITER 4459 NEW BEST:: SOT 15016 SOS 8325 HAS SOPS 8325 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6693.325
AT ITER 4462 NEW BEST:: SOT 15022 SOS 8325 HAS SOPS 8325 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6692.325
AT ITER 4479 NEW BEST:: SOT 15017 SOS 8320 HAS SOPS 8320 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.32
AT ITER 4631 NEW BEST:: SOT 14984 SOS 8337 HAS SOPS 8337 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6664.337
AT ITER 4658 NEW BEST:: SOT 14977 SOS 8330 HAS SOPS 8330 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6657.33
AT ITER 4661 NEW BEST:: SOT 14980 SOS 8330 HAS SOPS 8330 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.33
AT ITER 4664 NEW BEST:: SOT 14977 SOS 8333 HAS SOPS 8333 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6647.333
AT ITER 4673 NEW BEST:: SOT 14976 SOS 8344 HAS SOPS 8344 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6646.344
AT ITER 4733 NEW BEST:: SOT 14970 SOS 8344 HAS SOPS 8344 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6645.344
AT ITER 4737 NEW BEST:: SOT 14964 SOS 8342 HAS SOPS 8342 HAS SOUS 6631 HAS SOUPS 6631 WITH SCORE 6639.342
AT ITER 4795 NEW BEST:: SOT 14964 SOS 8335 HAS SOPS 8335 HAS SOUS 6631 HAS SOUPS 6631 WITH SCORE 6639.335
AT ITER 4800 NEW BEST:: SOT 14947 SOS 8332 HAS SOPS 8332 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6636.332
AT ITER 4824 NEW BEST:: SOT 14944 SOS 8329 HAS SOPS 8329 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6630.329
AT ITER 4825 NEW BEST:: SOT 14935 SOS 8320 HAS SOPS 8320 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6621.32
AT ITER 4878 NEW BEST:: SOT 14935 SOS 8312 HAS SOPS 8312 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6621.312
AT ITER 4885 NEW BEST:: SOT 14934 SOS 8311 HAS SOPS 8311 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6619.311
AT ITER 4910 NEW BEST:: SOT 14933 SOS 8310 HAS SOPS 8310 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6618.31
AT ITER 4933 NEW BEST:: SOT 14933 SOS 8321 HAS SOPS 8321 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6612.321
AT ITER 4939 NEW BEST:: SOT 14932 SOS 8320 HAS SOPS 8320 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6611.32
AT ITER 5002 NEW BEST:: SOT 14924 SOS 8316 HAS SOPS 8316 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6607.316
AT ITER 5018 NEW BEST:: SOT 14918 SOS 8312 HAS SOPS 8312 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6601.312
AT ITER 5065 NEW BEST:: SOT 14918 SOS 8301 HAS SOPS 8301 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.301
AT ITER 5131 NEW BEST:: SOT 14909 SOS 8292 HAS SOPS 8292 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6590.292
AT ITER 5140 NEW BEST:: SOT 14902 SOS 8290 HAS SOPS 8290 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6588.29
AT ITER 5149 NEW BEST:: SOT 14902 SOS 8290 HAS SOPS 8290 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6587.29
AT ITER 5175 NEW BEST:: SOT 14908 SOS 8289 HAS SOPS 8289 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6584.289
AT ITER 5192 NEW BEST:: SOT 14907 SOS 8288 HAS SOPS 8288 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6583.288
AT ITER 5250 NEW BEST:: SOT 14904 SOS 8416 HAS SOPS 8416 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.416
AT ITER 5255 NEW BEST:: SOT 14904 SOS 8414 HAS SOPS 8414 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.414
AT ITER 5314 NEW BEST:: SOT 14905 SOS 8413 HAS SOPS 8413 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.413
AT ITER 5385 NEW BEST:: SOT 14905 SOS 8373 HAS SOPS 8373 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.373
AT ITER 5424 NEW BEST:: SOT 14899 SOS 8367 HAS SOPS 8367 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6574.367
AT ITER 5549 NEW BEST:: SOT 14898 SOS 8366 HAS SOPS 8366 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6573.366
AT ITER 5628 NEW BEST:: SOT 14900 SOS 8364 HAS SOPS 8364 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6573.364
AT ITER 5638 NEW BEST:: SOT 14899 SOS 8363 HAS SOPS 8363 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6572.363
AT ITER 5640 NEW BEST:: SOT 14896 SOS 8366 HAS SOPS 8366 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6569.366
AT ITER 5735 NEW BEST:: SOT 14896 SOS 8352 HAS SOPS 8352 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6569.352
AT ITER 5768 NEW BEST:: SOT 14891 SOS 8351 HAS SOPS 8351 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.351
AT ITER 5769 NEW BEST:: SOT 14890 SOS 8363 HAS SOPS 8363 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6567.363
AT ITER 5778 NEW BEST:: SOT 14889 SOS 8362 HAS SOPS 8362 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6566.362
AT ITER 5805 NEW BEST:: SOT 14885 SOS 8360 HAS SOPS 8360 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6564.36
AT ITER 5859 NEW BEST:: SOT 14882 SOS 8357 HAS SOPS 8357 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.357
AT ITER 5960 NEW BEST:: SOT 14882 SOS 8357 HAS SOPS 8357 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6557.357
AT ITER 5961 NEW BEST:: SOT 14880 SOS 8355 HAS SOPS 8355 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6549.355
AT ITER 5990 NEW BEST:: SOT 14881 SOS 8322 HAS SOPS 8322 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6549.322
AT ITER 6032 NEW BEST:: SOT 14879 SOS 8320 HAS SOPS 8320 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6547.32
AT ITER 6089 NEW BEST:: SOT 14880 SOS 8321 HAS SOPS 8321 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6546.321
AT ITER 6092 NEW BEST:: SOT 14879 SOS 8320 HAS SOPS 8320 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6545.32
AT ITER 6102 NEW BEST:: SOT 14868 SOS 8316 HAS SOPS 8316 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6541.316
AT ITER 6106 NEW BEST:: SOT 14866 SOS 8314 HAS SOPS 8314 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.314
AT ITER 6108 NEW BEST:: SOT 14864 SOS 8312 HAS SOPS 8312 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6536.312
AT ITER 6132 NEW BEST:: SOT 14859 SOS 8307 HAS SOPS 8307 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6531.307
AT ITER 6142 NEW BEST:: SOT 14853 SOS 8305 HAS SOPS 8305 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6525.305
AT ITER 6191 NEW BEST:: SOT 14850 SOS 8304 HAS SOPS 8304 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6524.304
AT ITER 6223 NEW BEST:: SOT 14839 SOS 8298 HAS SOPS 8298 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6518.298
AT ITER 6240 NEW BEST:: SOT 14839 SOS 8297 HAS SOPS 8297 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6518.297
AT ITER 6299 NEW BEST:: SOT 14839 SOS 8297 HAS SOPS 8297 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6506.297
AT ITER 6300 NEW BEST:: SOT 14803 SOS 8285 HAS SOPS 8285 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6494.285
AT ITER 6368 NEW BEST:: SOT 14803 SOS 8286 HAS SOPS 8286 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6488.286
AT ITER 6372 NEW BEST:: SOT 14800 SOS 8285 HAS SOPS 8285 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6487.285
AT ITER 6456 NEW BEST:: SOT 14798 SOS 8283 HAS SOPS 8283 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6485.283
AT ITER 6576 NEW BEST:: SOT 14790 SOS 8275 HAS SOPS 8275 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6482.275
AT ITER 6605 NEW BEST:: SOT 14790 SOS 8275 HAS SOPS 8275 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6480.275
AT ITER 6634 NEW BEST:: SOT 14780 SOS 8274 HAS SOPS 8274 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6479.274
AT ITER 6714 NEW BEST:: SOT 14774 SOS 8271 HAS SOPS 8271 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6473.271
AT ITER 6719 NEW BEST:: SOT 14774 SOS 8271 HAS SOPS 8271 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6472.271
AT ITER 6777 NEW BEST:: SOT 14773 SOS 8270 HAS SOPS 8270 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6469.27
AT ITER 6834 NEW BEST:: SOT 14772 SOS 8269 HAS SOPS 8269 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6468.269
AT ITER 6866 NEW BEST:: SOT 14771 SOS 8268 HAS SOPS 8268 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6467.268
AT ITER 6887 NEW BEST:: SOT 14771 SOS 8267 HAS SOPS 8267 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6465.267
AT ITER 6907 NEW BEST:: SOT 14758 SOS 8254 HAS SOPS 8254 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6452.254
AT ITER 6935 NEW BEST:: SOT 14757 SOS 8253 HAS SOPS 8253 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6451.253
AT ITER 6981 NEW BEST:: SOT 14756 SOS 8249 HAS SOPS 8249 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6450.249
AT ITER 7055 NEW BEST:: SOT 14756 SOS 8248 HAS SOPS 8248 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6450.248
AT ITER 7083 NEW BEST:: SOT 14756 SOS 8248 HAS SOPS 8248 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6448.248
AT ITER 7085 NEW BEST:: SOT 14754 SOS 8246 HAS SOPS 8246 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6446.246
AT ITER 7094 NEW BEST:: SOT 14748 SOS 8240 HAS SOPS 8240 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6440.24
AT ITER 7175 NEW BEST:: SOT 14744 SOS 8248 HAS SOPS 8248 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6439.248
AT ITER 7202 NEW BEST:: SOT 14744 SOS 8248 HAS SOPS 8248 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6436.248
AT ITER 7205 NEW BEST:: SOT 14743 SOS 8247 HAS SOPS 8247 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.247
AT ITER 7219 NEW BEST:: SOT 14742 SOS 8246 HAS SOPS 8246 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6434.246
AT ITER 7292 NEW BEST:: SOT 14743 SOS 8247 HAS SOPS 8247 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6433.247
AT ITER 7295 NEW BEST:: SOT 14730 SOS 8244 HAS SOPS 8244 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6426.244
AT ITER 7333 NEW BEST:: SOT 14727 SOS 8241 HAS SOPS 8241 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6423.241
AT ITER 7357 NEW BEST:: SOT 14725 SOS 8239 HAS SOPS 8239 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6421.239
AT ITER 7501 NEW BEST:: SOT 14725 SOS 8237 HAS SOPS 8237 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6420.237
AT ITER 7509 NEW BEST:: SOT 14726 SOS 8233 HAS SOPS 8233 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6416.233
AT ITER 7552 NEW BEST:: SOT 14726 SOS 8233 HAS SOPS 8233 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6412.233
AT ITER 7708 NEW BEST:: SOT 14725 SOS 8232 HAS SOPS 8232 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6411.232
AT ITER 7805 NEW BEST:: SOT 14730 SOS 8234 HAS SOPS 8234 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6410.234
AT ITER 7829 NEW BEST:: SOT 14730 SOS 8166 HAS SOPS 8166 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6410.166
AT ITER 7892 NEW BEST:: SOT 14732 SOS 8162 HAS SOPS 8162 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6410.162
AT ITER 7906 NEW BEST:: SOT 14731 SOS 8161 HAS SOPS 8161 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6409.161
AT ITER 8049 NEW BEST:: SOT 14732 SOS 8159 HAS SOPS 8159 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6409.159
AT ITER 8096 NEW BEST:: SOT 14731 SOS 8158 HAS SOPS 8158 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6408.158
AT ITER 8143 NEW BEST:: SOT 14734 SOS 8147 HAS SOPS 8147 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6408.147
AT ITER 8144 NEW BEST:: SOT 14733 SOS 8146 HAS SOPS 8146 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6407.146
AT ITER 8166 NEW BEST:: SOT 14733 SOS 8146 HAS SOPS 8146 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6403.146
AT ITER 8264 NEW BEST:: SOT 14733 SOS 8146 HAS SOPS 8146 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6402.146
AT ITER 8294 NEW BEST:: SOT 14732 SOS 8145 HAS SOPS 8145 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6401.145
AT ITER 8360 NEW BEST:: SOT 14727 SOS 8140 HAS SOPS 8140 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6396.14
AT ITER 8523 NEW BEST:: SOT 14723 SOS 8136 HAS SOPS 8136 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6388.136
AT ITER 8540 NEW BEST:: SOT 14720 SOS 8133 HAS SOPS 8133 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6387.133
AT ITER 8663 NEW BEST:: SOT 14719 SOS 8132 HAS SOPS 8132 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6386.132
AT ITER 8694 NEW BEST:: SOT 14718 SOS 8157 HAS SOPS 8157 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6385.157
AT ITER 8797 NEW BEST:: SOT 14714 SOS 8153 HAS SOPS 8153 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6381.153
AT ITER 8861 NEW BEST:: SOT 14713 SOS 8152 HAS SOPS 8152 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6380.152
AT ITER 8888 NEW BEST:: SOT 14713 SOS 8149 HAS SOPS 8149 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6380.149
AT ITER 9020 NEW BEST:: SOT 14697 SOS 8141 HAS SOPS 8141 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6379.141
AT ITER 9036 NEW BEST:: SOT 14698 SOS 8138 HAS SOPS 8138 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6376.138
AT ITER 9059 NEW BEST:: SOT 14698 SOS 8138 HAS SOPS 8138 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6371.138
AT ITER 9094 NEW BEST:: SOT 14698 SOS 8135 HAS SOPS 8135 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6368.135
AT ITER 9100 NEW BEST:: SOT 14693 SOS 8130 HAS SOPS 8130 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6363.13
AT ITER 9112 NEW BEST:: SOT 14693 SOS 8130 HAS SOPS 8130 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6360.13
AT ITER 9201 NEW BEST:: SOT 14683 SOS 8141 HAS SOPS 8141 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6357.141
AT ITER 9282 NEW BEST:: SOT 14682 SOS 8204 HAS SOPS 8204 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6356.204
AT ITER 9322 NEW BEST:: SOT 14680 SOS 8240 HAS SOPS 8240 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6355.24
AT ITER 9477 NEW BEST:: SOT 14679 SOS 8220 HAS SOPS 8220 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6353.22
AT ITER 9555 NEW BEST:: SOT 14676 SOS 8217 HAS SOPS 8217 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6350.217
AT ITER 9625 NEW BEST:: SOT 14676 SOS 8213 HAS SOPS 8213 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6350.213
AT ITER 9638 NEW BEST:: SOT 14677 SOS 8213 HAS SOPS 8213 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6348.213
AT ITER 9684 NEW BEST:: SOT 14688 SOS 8224 HAS SOPS 8224 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6342.224
AT ITER 9709 NEW BEST:: SOT 14684 SOS 8222 HAS SOPS 8222 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6340.222
AT ITER 9743 NEW BEST:: SOT 14680 SOS 8218 HAS SOPS 8218 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6333.218
AT ITER 9897 NEW BEST:: SOT 14674 SOS 8216 HAS SOPS 8216 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6331.216
AT ITER 9901 NEW BEST:: SOT 14668 SOS 8270 HAS SOPS 8270 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6330.27
AT ITER 9929 NEW BEST:: SOT 14666 SOS 8268 HAS SOPS 8268 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6328.268
BK_STOP 1679149080752
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 404 Killed ${SMART}/smart ${INPUT_SM}
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="Sudoku-COL-AN05"
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 Sudoku-COL-AN05, 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 r483-tall-167912695100040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN05.tgz
mv Sudoku-COL-AN05 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 '
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 ;