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.r523-tall-167987247500024.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 smartxred
Input is Anderson-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 764K
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 14K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 302K Mar 31 16:48 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 1680819001030

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Anderson-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 22:10:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 22:10:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 22:10:02] [INFO ] Load time of PNML (sax parser for PT used): 81 ms
[2023-04-06 22:10:02] [INFO ] Transformed 229 places.
[2023-04-06 22:10:02] [INFO ] Transformed 600 transitions.
[2023-04-06 22:10:02] [INFO ] Found NUPN structural information;
[2023-04-06 22:10:03] [INFO ] Parsed PT model containing 229 places and 600 transitions and 2280 arcs in 244 ms.
[2023-04-06 22:10:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 229 places, 600 transitions and 2280 arcs took 8 ms.
Total runtime 301 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 229 places, 600 transitions, 2280 arcs.
AT ITER 0 NEW BEST:: SOT 83855 SOS 67350 HAS SOPS 67349 HAS SOUS 22048 HAS SOUPS 22047 WITH SCORE 22114.35
AT ITER 1 NEW BEST:: SOT 83825 SOS 67334 HAS SOPS 67333 HAS SOUS 22032 HAS SOUPS 22031 WITH SCORE 22098.334
AT ITER 6 NEW BEST:: SOT 83771 SOS 67280 HAS SOPS 67279 HAS SOUS 21969 HAS SOUPS 21968 WITH SCORE 22035.28
AT ITER 10 NEW BEST:: SOT 83724 SOS 67233 HAS SOPS 67232 HAS SOUS 21916 HAS SOUPS 21915 WITH SCORE 21982.233
AT ITER 14 NEW BEST:: SOT 83724 SOS 67233 HAS SOPS 67232 HAS SOUS 21910 HAS SOUPS 21909 WITH SCORE 21976.233
AT ITER 19 NEW BEST:: SOT 83708 SOS 67217 HAS SOPS 67216 HAS SOUS 21902 HAS SOUPS 21901 WITH SCORE 21968.217
AT ITER 29 NEW BEST:: SOT 83400 SOS 66651 HAS SOPS 66650 HAS SOUS 21874 HAS SOUPS 21873 WITH SCORE 21939.651
AT ITER 32 NEW BEST:: SOT 83280 SOS 66531 HAS SOPS 66530 HAS SOUS 21734 HAS SOUPS 21733 WITH SCORE 21799.531
AT ITER 42 NEW BEST:: SOT 83249 SOS 66503 HAS SOPS 66502 HAS SOUS 21696 HAS SOUPS 21695 WITH SCORE 21761.503
AT ITER 43 NEW BEST:: SOT 83195 SOS 66449 HAS SOPS 66448 HAS SOUS 21637 HAS SOUPS 21636 WITH SCORE 21702.449
AT ITER 51 NEW BEST:: SOT 83181 SOS 66421 HAS SOPS 66420 HAS SOUS 21609 HAS SOUPS 21608 WITH SCORE 21674.421
AT ITER 64 NEW BEST:: SOT 83065 SOS 66317 HAS SOPS 66316 HAS SOUS 21467 HAS SOUPS 21466 WITH SCORE 21532.317
AT ITER 69 NEW BEST:: SOT 83054 SOS 66295 HAS SOPS 66294 HAS SOUS 21441 HAS SOUPS 21440 WITH SCORE 21506.295
AT ITER 71 NEW BEST:: SOT 82999 SOS 66240 HAS SOPS 66239 HAS SOUS 21382 HAS SOUPS 21381 WITH SCORE 21447.24
AT ITER 76 NEW BEST:: SOT 82999 SOS 66205 HAS SOPS 66204 HAS SOUS 21354 HAS SOUPS 21353 WITH SCORE 21419.205
AT ITER 79 NEW BEST:: SOT 82997 SOS 66239 HAS SOPS 66238 HAS SOUS 21352 HAS SOUPS 21351 WITH SCORE 21417.239
AT ITER 82 NEW BEST:: SOT 82924 SOS 66240 HAS SOPS 66207 HAS SOUS 21342 HAS SOUPS 21309 WITH SCORE 21375.24
AT ITER 84 NEW BEST:: SOT 82842 SOS 66158 HAS SOPS 66125 HAS SOUS 21235 HAS SOUPS 21202 WITH SCORE 21268.158
AT ITER 100 NEW BEST:: SOT 82842 SOS 65686 HAS SOPS 65653 HAS SOUS 21217 HAS SOUPS 21184 WITH SCORE 21249.686
AT ITER 101 NEW BEST:: SOT 82805 SOS 65649 HAS SOPS 65616 HAS SOUS 21173 HAS SOUPS 21140 WITH SCORE 21205.649
AT ITER 107 NEW BEST:: SOT 82777 SOS 65633 HAS SOPS 65600 HAS SOUS 21157 HAS SOUPS 21124 WITH SCORE 21189.633
AT ITER 108 NEW BEST:: SOT 82223 SOS 65058 HAS SOPS 65025 HAS SOUS 21149 HAS SOUPS 21116 WITH SCORE 21181.058
AT ITER 122 NEW BEST:: SOT 82214 SOS 65082 HAS SOPS 65007 HAS SOUS 21190 HAS SOUPS 21115 WITH SCORE 21180.082
AT ITER 125 NEW BEST:: SOT 82127 SOS 65034 HAS SOPS 64959 HAS SOUS 21102 HAS SOUPS 21027 WITH SCORE 21092.034
AT ITER 131 NEW BEST:: SOT 82075 SOS 64960 HAS SOPS 64885 HAS SOUS 21032 HAS SOUPS 20957 WITH SCORE 21021.96
AT ITER 133 NEW BEST:: SOT 82075 SOS 64956 HAS SOPS 64881 HAS SOUS 21017 HAS SOUPS 20942 WITH SCORE 21006.956
AT ITER 136 NEW BEST:: SOT 81635 SOS 64516 HAS SOPS 64441 HAS SOUS 21017 HAS SOUPS 20942 WITH SCORE 21006.516
AT ITER 141 NEW BEST:: SOT 81575 SOS 64174 HAS SOPS 64099 HAS SOUS 20942 HAS SOUPS 20867 WITH SCORE 20931.174
AT ITER 148 NEW BEST:: SOT 81569 SOS 64228 HAS SOPS 64153 HAS SOUS 20910 HAS SOUPS 20835 WITH SCORE 20899.228
AT ITER 178 NEW BEST:: SOT 81544 SOS 64170 HAS SOPS 64095 HAS SOUS 20852 HAS SOUPS 20777 WITH SCORE 20841.17
AT ITER 197 NEW BEST:: SOT 81540 SOS 64134 HAS SOPS 64059 HAS SOUS 20844 HAS SOUPS 20769 WITH SCORE 20833.134
AT ITER 200 NEW BEST:: SOT 81516 SOS 64110 HAS SOPS 64035 HAS SOUS 20833 HAS SOUPS 20758 WITH SCORE 20822.11
AT ITER 203 NEW BEST:: SOT 79751 SOS 62379 HAS SOPS 62304 HAS SOUS 19075 HAS SOUPS 19000 WITH SCORE 19062.379
AT ITER 206 NEW BEST:: SOT 79579 SOS 64921 HAS SOPS 64766 HAS SOUS 19036 HAS SOUPS 18881 WITH SCORE 18945.921
AT ITER 208 NEW BEST:: SOT 79549 SOS 64891 HAS SOPS 64736 HAS SOUS 18976 HAS SOUPS 18821 WITH SCORE 18885.891
AT ITER 213 NEW BEST:: SOT 79530 SOS 64872 HAS SOPS 64717 HAS SOUS 18938 HAS SOUPS 18783 WITH SCORE 18847.872
AT ITER 215 NEW BEST:: SOT 79525 SOS 64867 HAS SOPS 64712 HAS SOUS 18928 HAS SOUPS 18773 WITH SCORE 18837.867
AT ITER 218 NEW BEST:: SOT 79525 SOS 64867 HAS SOPS 64712 HAS SOUS 18926 HAS SOUPS 18771 WITH SCORE 18835.867
AT ITER 225 NEW BEST:: SOT 79495 SOS 64837 HAS SOPS 64712 HAS SOUS 18866 HAS SOUPS 18741 WITH SCORE 18805.837
AT ITER 230 NEW BEST:: SOT 79462 SOS 64906 HAS SOPS 64781 HAS SOUS 18855 HAS SOUPS 18730 WITH SCORE 18794.906
AT ITER 234 NEW BEST:: SOT 79453 SOS 64888 HAS SOPS 64763 HAS SOUS 18837 HAS SOUPS 18712 WITH SCORE 18776.888
AT ITER 236 NEW BEST:: SOT 79462 SOS 64906 HAS SOPS 64781 HAS SOUS 18834 HAS SOUPS 18709 WITH SCORE 18773.906
AT ITER 237 NEW BEST:: SOT 79369 SOS 64852 HAS SOPS 64727 HAS SOUS 18697 HAS SOUPS 18572 WITH SCORE 18636.852
AT ITER 242 NEW BEST:: SOT 79369 SOS 64852 HAS SOPS 64727 HAS SOUS 18687 HAS SOUPS 18562 WITH SCORE 18626.852
AT ITER 255 NEW BEST:: SOT 79353 SOS 64836 HAS SOPS 64711 HAS SOUS 18655 HAS SOUPS 18530 WITH SCORE 18594.836
AT ITER 289 NEW BEST:: SOT 79317 SOS 64800 HAS SOPS 64675 HAS SOUS 18613 HAS SOUPS 18488 WITH SCORE 18552.8
AT ITER 308 NEW BEST:: SOT 79287 SOS 64770 HAS SOPS 64645 HAS SOUS 18584 HAS SOUPS 18459 WITH SCORE 18523.77
AT ITER 324 NEW BEST:: SOT 79201 SOS 64728 HAS SOPS 64603 HAS SOUS 18498 HAS SOUPS 18373 WITH SCORE 18437.728
AT ITER 326 NEW BEST:: SOT 79201 SOS 64678 HAS SOPS 64603 HAS SOUS 18448 HAS SOUPS 18373 WITH SCORE 18437.678
AT ITER 327 NEW BEST:: SOT 79196 SOS 64673 HAS SOPS 64598 HAS SOUS 18438 HAS SOUPS 18363 WITH SCORE 18427.673
AT ITER 330 NEW BEST:: SOT 79142 SOS 64619 HAS SOPS 64544 HAS SOUS 18363 HAS SOUPS 18288 WITH SCORE 18352.619
AT ITER 335 NEW BEST:: SOT 79082 SOS 64635 HAS SOPS 64560 HAS SOUS 18302 HAS SOUPS 18227 WITH SCORE 18291.635
AT ITER 340 NEW BEST:: SOT 79079 SOS 64629 HAS SOPS 64554 HAS SOUS 18296 HAS SOUPS 18221 WITH SCORE 18285.629
AT ITER 344 NEW BEST:: SOT 79266 SOS 64816 HAS SOPS 64767 HAS SOUS 18241 HAS SOUPS 18192 WITH SCORE 18256.816
AT ITER 369 NEW BEST:: SOT 79243 SOS 64807 HAS SOPS 64744 HAS SOUS 18232 HAS SOUPS 18169 WITH SCORE 18233.807
AT ITER 382 NEW BEST:: SOT 79208 SOS 64849 HAS SOPS 64786 HAS SOUS 18203 HAS SOUPS 18140 WITH SCORE 18204.849
AT ITER 405 NEW BEST:: SOT 79204 SOS 64847 HAS SOPS 64784 HAS SOUS 18199 HAS SOUPS 18136 WITH SCORE 18200.847
AT ITER 413 NEW BEST:: SOT 79143 SOS 64853 HAS SOPS 64790 HAS SOUS 18141 HAS SOUPS 18078 WITH SCORE 18142.853
AT ITER 415 NEW BEST:: SOT 79215 SOS 64925 HAS SOPS 64862 HAS SOUS 17949 HAS SOUPS 17886 WITH SCORE 17950.925
AT ITER 419 NEW BEST:: SOT 79180 SOS 64897 HAS SOPS 64834 HAS SOUS 17921 HAS SOUPS 17858 WITH SCORE 17922.897
AT ITER 426 NEW BEST:: SOT 79207 SOS 62399 HAS SOPS 62336 HAS SOUS 17917 HAS SOUPS 17854 WITH SCORE 17916.399
AT ITER 442 NEW BEST:: SOT 79202 SOS 62350 HAS SOPS 62287 HAS SOUS 17904 HAS SOUPS 17841 WITH SCORE 17903.35
AT ITER 445 NEW BEST:: SOT 79147 SOS 62232 HAS SOPS 62174 HAS SOUS 17894 HAS SOUPS 17836 WITH SCORE 17898.232
AT ITER 448 NEW BEST:: SOT 79136 SOS 62221 HAS SOPS 62163 HAS SOUS 17882 HAS SOUPS 17824 WITH SCORE 17886.221
AT ITER 455 NEW BEST:: SOT 79117 SOS 61869 HAS SOPS 61811 HAS SOUS 17799 HAS SOUPS 17741 WITH SCORE 17802.869
AT ITER 468 NEW BEST:: SOT 79064 SOS 61863 HAS SOPS 61805 HAS SOUS 17702 HAS SOUPS 17644 WITH SCORE 17705.863
AT ITER 495 NEW BEST:: SOT 79059 SOS 61858 HAS SOPS 61800 HAS SOUS 17692 HAS SOUPS 17634 WITH SCORE 17695.858
AT ITER 509 NEW BEST:: SOT 78971 SOS 61824 HAS SOPS 61766 HAS SOUS 17624 HAS SOUPS 17566 WITH SCORE 17627.824
AT ITER 523 NEW BEST:: SOT 78950 SOS 61763 HAS SOPS 61705 HAS SOUS 17603 HAS SOUPS 17545 WITH SCORE 17606.763
AT ITER 542 NEW BEST:: SOT 78910 SOS 61725 HAS SOPS 61667 HAS SOUS 17544 HAS SOUPS 17486 WITH SCORE 17547.725
AT ITER 543 NEW BEST:: SOT 78724 SOS 61539 HAS SOPS 61481 HAS SOUS 17327 HAS SOUPS 17269 WITH SCORE 17330.539
AT ITER 549 NEW BEST:: SOT 78705 SOS 61501 HAS SOPS 61443 HAS SOUS 17289 HAS SOUPS 17231 WITH SCORE 17292.501
AT ITER 559 NEW BEST:: SOT 78573 SOS 61365 HAS SOPS 61307 HAS SOUS 17153 HAS SOUPS 17095 WITH SCORE 17156.365
AT ITER 567 NEW BEST:: SOT 78551 SOS 61321 HAS SOPS 61263 HAS SOUS 17109 HAS SOUPS 17051 WITH SCORE 17112.321
AT ITER 571 NEW BEST:: SOT 78622 SOS 61386 HAS SOPS 61328 HAS SOUS 17105 HAS SOUPS 17047 WITH SCORE 17108.386
AT ITER 583 NEW BEST:: SOT 78619 SOS 61383 HAS SOPS 61325 HAS SOUS 17102 HAS SOUPS 17044 WITH SCORE 17105.383
AT ITER 600 NEW BEST:: SOT 78618 SOS 61388 HAS SOPS 61330 HAS SOUS 17101 HAS SOUPS 17043 WITH SCORE 17104.388
AT ITER 643 NEW BEST:: SOT 78614 SOS 61384 HAS SOPS 61326 HAS SOUS 17093 HAS SOUPS 17035 WITH SCORE 17096.384
AT ITER 647 NEW BEST:: SOT 78606 SOS 61352 HAS SOPS 61294 HAS SOUS 17080 HAS SOUPS 17022 WITH SCORE 17083.352
AT ITER 655 NEW BEST:: SOT 78576 SOS 61334 HAS SOPS 61276 HAS SOUS 17049 HAS SOUPS 16991 WITH SCORE 17052.334
AT ITER 667 NEW BEST:: SOT 78576 SOS 61352 HAS SOPS 61294 HAS SOUS 17047 HAS SOUPS 16989 WITH SCORE 17050.352
AT ITER 668 NEW BEST:: SOT 78480 SOS 61221 HAS SOPS 61163 HAS SOUS 17017 HAS SOUPS 16959 WITH SCORE 17020.221
AT ITER 669 NEW BEST:: SOT 78471 SOS 61203 HAS SOPS 61145 HAS SOUS 17005 HAS SOUPS 16947 WITH SCORE 17008.203
AT ITER 670 NEW BEST:: SOT 78467 SOS 61199 HAS SOPS 61141 HAS SOUS 17001 HAS SOUPS 16943 WITH SCORE 17004.199
AT ITER 675 NEW BEST:: SOT 78449 SOS 61163 HAS SOPS 61105 HAS SOUS 16974 HAS SOUPS 16916 WITH SCORE 16977.163
AT ITER 695 NEW BEST:: SOT 78452 SOS 61166 HAS SOPS 61108 HAS SOUS 16972 HAS SOUPS 16914 WITH SCORE 16975.166
AT ITER 727 NEW BEST:: SOT 78451 SOS 61175 HAS SOPS 61117 HAS SOUS 16971 HAS SOUPS 16913 WITH SCORE 16974.175
AT ITER 728 NEW BEST:: SOT 78438 SOS 61207 HAS SOPS 61149 HAS SOUS 16958 HAS SOUPS 16900 WITH SCORE 16961.207
AT ITER 730 NEW BEST:: SOT 78438 SOS 61179 HAS SOPS 61121 HAS SOUS 16958 HAS SOUPS 16900 WITH SCORE 16961.179
AT ITER 733 NEW BEST:: SOT 78437 SOS 61178 HAS SOPS 61120 HAS SOUS 16956 HAS SOUPS 16898 WITH SCORE 16959.178
AT ITER 738 NEW BEST:: SOT 78405 SOS 61132 HAS SOPS 61074 HAS SOUS 16916 HAS SOUPS 16858 WITH SCORE 16919.132
AT ITER 756 NEW BEST:: SOT 78400 SOS 61127 HAS SOPS 61069 HAS SOUS 16906 HAS SOUPS 16848 WITH SCORE 16909.127
AT ITER 777 NEW BEST:: SOT 78393 SOS 61120 HAS SOPS 61062 HAS SOUS 16899 HAS SOUPS 16841 WITH SCORE 16902.12
AT ITER 786 NEW BEST:: SOT 78395 SOS 61122 HAS SOPS 61064 HAS SOUS 16897 HAS SOUPS 16839 WITH SCORE 16900.122
AT ITER 788 NEW BEST:: SOT 78393 SOS 61118 HAS SOPS 61060 HAS SOUS 16893 HAS SOUPS 16835 WITH SCORE 16896.118
AT ITER 795 NEW BEST:: SOT 78388 SOS 61108 HAS SOPS 61050 HAS SOUS 16883 HAS SOUPS 16825 WITH SCORE 16886.108
AT ITER 803 NEW BEST:: SOT 78372 SOS 61092 HAS SOPS 61034 HAS SOUS 16850 HAS SOUPS 16792 WITH SCORE 16853.092
AT ITER 806 NEW BEST:: SOT 78369 SOS 61086 HAS SOPS 61028 HAS SOUS 16844 HAS SOUPS 16786 WITH SCORE 16847.086
AT ITER 812 NEW BEST:: SOT 78372 SOS 60720 HAS SOPS 60662 HAS SOUS 16842 HAS SOUPS 16784 WITH SCORE 16844.72
AT ITER 820 NEW BEST:: SOT 78366 SOS 60708 HAS SOPS 60650 HAS SOUS 16833 HAS SOUPS 16775 WITH SCORE 16835.708
AT ITER 822 NEW BEST:: SOT 78349 SOS 60691 HAS SOPS 60633 HAS SOUS 16830 HAS SOUPS 16772 WITH SCORE 16832.691
AT ITER 825 NEW BEST:: SOT 78345 SOS 60683 HAS SOPS 60625 HAS SOUS 16826 HAS SOUPS 16768 WITH SCORE 16828.683
AT ITER 837 NEW BEST:: SOT 78338 SOS 60694 HAS SOPS 60636 HAS SOUS 16819 HAS SOUPS 16761 WITH SCORE 16821.694
AT ITER 840 NEW BEST:: SOT 78331 SOS 60734 HAS SOPS 60676 HAS SOUS 16792 HAS SOUPS 16734 WITH SCORE 16794.734
AT ITER 857 NEW BEST:: SOT 78331 SOS 60732 HAS SOPS 60674 HAS SOUS 16790 HAS SOUPS 16732 WITH SCORE 16792.732
AT ITER 874 NEW BEST:: SOT 78324 SOS 60725 HAS SOPS 60667 HAS SOUS 16776 HAS SOUPS 16718 WITH SCORE 16778.725
AT ITER 893 NEW BEST:: SOT 78324 SOS 60697 HAS SOPS 60639 HAS SOUS 16776 HAS SOUPS 16718 WITH SCORE 16778.697
AT ITER 895 NEW BEST:: SOT 78316 SOS 60681 HAS SOPS 60623 HAS SOUS 16760 HAS SOUPS 16702 WITH SCORE 16762.681
AT ITER 965 NEW BEST:: SOT 78309 SOS 60674 HAS SOPS 60616 HAS SOUS 16755 HAS SOUPS 16697 WITH SCORE 16757.674
AT ITER 971 NEW BEST:: SOT 78314 SOS 60624 HAS SOPS 60566 HAS SOUS 16753 HAS SOUPS 16695 WITH SCORE 16755.624
AT ITER 1019 NEW BEST:: SOT 78266 SOS 60626 HAS SOPS 60568 HAS SOUS 16696 HAS SOUPS 16638 WITH SCORE 16698.626
AT ITER 1061 NEW BEST:: SOT 78265 SOS 60625 HAS SOPS 60567 HAS SOUS 16695 HAS SOUPS 16637 WITH SCORE 16697.625
AT ITER 1066 NEW BEST:: SOT 78265 SOS 60644 HAS SOPS 60586 HAS SOUS 16621 HAS SOUPS 16563 WITH SCORE 16623.644
AT ITER 1072 NEW BEST:: SOT 78263 SOS 60640 HAS SOPS 60582 HAS SOUS 16619 HAS SOUPS 16561 WITH SCORE 16621.64
AT ITER 1090 NEW BEST:: SOT 78258 SOS 60630 HAS SOPS 60572 HAS SOUS 16616 HAS SOUPS 16558 WITH SCORE 16618.63
AT ITER 1100 NEW BEST:: SOT 78253 SOS 60625 HAS SOPS 60567 HAS SOUS 16606 HAS SOUPS 16548 WITH SCORE 16608.625
AT ITER 1120 NEW BEST:: SOT 78234 SOS 60645 HAS SOPS 60587 HAS SOUS 16577 HAS SOUPS 16519 WITH SCORE 16579.645
AT ITER 1132 NEW BEST:: SOT 78200 SOS 60717 HAS SOPS 60659 HAS SOUS 16532 HAS SOUPS 16474 WITH SCORE 16534.717
AT ITER 1133 NEW BEST:: SOT 78200 SOS 60717 HAS SOPS 60659 HAS SOUS 16524 HAS SOUPS 16466 WITH SCORE 16526.717
AT ITER 1154 NEW BEST:: SOT 78200 SOS 60631 HAS SOPS 60573 HAS SOUS 16524 HAS SOUPS 16466 WITH SCORE 16526.631
AT ITER 1155 NEW BEST:: SOT 78182 SOS 60100 HAS SOPS 60042 HAS SOUS 16520 HAS SOUPS 16462 WITH SCORE 16522.1
AT ITER 1162 NEW BEST:: SOT 78191 SOS 60105 HAS SOPS 60047 HAS SOUS 16469 HAS SOUPS 16411 WITH SCORE 16471.105
AT ITER 1177 NEW BEST:: SOT 78044 SOS 59958 HAS SOPS 59900 HAS SOUS 16297 HAS SOUPS 16239 WITH SCORE 16298.958
AT ITER 1179 NEW BEST:: SOT 78011 SOS 60018 HAS SOPS 59960 HAS SOUS 16250 HAS SOUPS 16192 WITH SCORE 16252.018
AT ITER 1183 NEW BEST:: SOT 78001 SOS 60008 HAS SOPS 59950 HAS SOUS 16228 HAS SOUPS 16170 WITH SCORE 16230.008
AT ITER 1185 NEW BEST:: SOT 77978 SOS 59979 HAS SOPS 59906 HAS SOUS 16207 HAS SOUPS 16145 WITH SCORE 16204.979
AT ITER 1187 NEW BEST:: SOT 77969 SOS 59970 HAS SOPS 59897 HAS SOUS 16193 HAS SOUPS 16131 WITH SCORE 16190.97
AT ITER 1223 NEW BEST:: SOT 77964 SOS 59960 HAS SOPS 59887 HAS SOUS 16183 HAS SOUPS 16121 WITH SCORE 16180.96
AT ITER 1240 NEW BEST:: SOT 77964 SOS 59959 HAS SOPS 59886 HAS SOUS 16182 HAS SOUPS 16120 WITH SCORE 16179.959
AT ITER 1278 NEW BEST:: SOT 77962 SOS 59996 HAS SOPS 59882 HAS SOUS 16204 HAS SOUPS 16116 WITH SCORE 16175.996
AT ITER 1323 NEW BEST:: SOT 77944 SOS 59996 HAS SOPS 59882 HAS SOUS 16186 HAS SOUPS 16098 WITH SCORE 16157.996
AT ITER 1334 NEW BEST:: SOT 77746 SOS 59798 HAS SOPS 59684 HAS SOUS 16175 HAS SOUPS 16087 WITH SCORE 16146.798
AT ITER 1349 NEW BEST:: SOT 77666 SOS 59729 HAS SOPS 59615 HAS SOUS 16085 HAS SOUPS 15997 WITH SCORE 16056.729
AT ITER 1359 NEW BEST:: SOT 77669 SOS 59732 HAS SOPS 59618 HAS SOUS 16082 HAS SOUPS 15994 WITH SCORE 16053.732
AT ITER 1370 NEW BEST:: SOT 77526 SOS 59416 HAS SOPS 59339 HAS SOUS 16045 HAS SOUPS 15970 WITH SCORE 16029.416
AT ITER 1383 NEW BEST:: SOT 77519 SOS 59409 HAS SOPS 59332 HAS SOUS 16031 HAS SOUPS 15956 WITH SCORE 16015.409
AT ITER 1394 NEW BEST:: SOT 77516 SOS 59406 HAS SOPS 59329 HAS SOUS 16025 HAS SOUPS 15950 WITH SCORE 16009.406
AT ITER 1442 NEW BEST:: SOT 77516 SOS 59406 HAS SOPS 59329 HAS SOUS 16021 HAS SOUPS 15946 WITH SCORE 16005.406
AT ITER 1459 NEW BEST:: SOT 77494 SOS 59414 HAS SOPS 59337 HAS SOUS 15990 HAS SOUPS 15915 WITH SCORE 15974.414
AT ITER 1474 NEW BEST:: SOT 77487 SOS 59405 HAS SOPS 59328 HAS SOUS 15978 HAS SOUPS 15903 WITH SCORE 15962.405
AT ITER 1477 NEW BEST:: SOT 77487 SOS 59405 HAS SOPS 59328 HAS SOUS 15972 HAS SOUPS 15897 WITH SCORE 15956.405
AT ITER 1479 NEW BEST:: SOT 77216 SOS 59113 HAS SOPS 59036 HAS SOUS 15966 HAS SOUPS 15891 WITH SCORE 15950.113
AT ITER 1483 NEW BEST:: SOT 77214 SOS 59109 HAS SOPS 59032 HAS SOUS 15961 HAS SOUPS 15886 WITH SCORE 15945.109
AT ITER 1484 NEW BEST:: SOT 77213 SOS 59108 HAS SOPS 59031 HAS SOUS 15954 HAS SOUPS 15879 WITH SCORE 15938.108
AT ITER 1503 NEW BEST:: SOT 77211 SOS 59104 HAS SOPS 59027 HAS SOUS 15948 HAS SOUPS 15873 WITH SCORE 15932.104
AT ITER 1549 NEW BEST:: SOT 77211 SOS 59104 HAS SOPS 59027 HAS SOUS 15942 HAS SOUPS 15867 WITH SCORE 15926.104
AT ITER 1557 NEW BEST:: SOT 77199 SOS 59080 HAS SOPS 59003 HAS SOUS 15930 HAS SOUPS 15855 WITH SCORE 15914.08
AT ITER 1590 NEW BEST:: SOT 77182 SOS 59046 HAS SOPS 58969 HAS SOUS 15888 HAS SOUPS 15813 WITH SCORE 15872.046
AT ITER 1595 NEW BEST:: SOT 77179 SOS 59040 HAS SOPS 58963 HAS SOUS 15882 HAS SOUPS 15807 WITH SCORE 15866.04
AT ITER 1631 NEW BEST:: SOT 77164 SOS 59032 HAS SOPS 58955 HAS SOUS 15874 HAS SOUPS 15799 WITH SCORE 15858.032
AT ITER 1665 NEW BEST:: SOT 77208 SOS 59076 HAS SOPS 58922 HAS SOUS 15922 HAS SOUPS 15798 WITH SCORE 15857.076
AT ITER 1682 NEW BEST:: SOT 77208 SOS 59070 HAS SOPS 58916 HAS SOUS 15922 HAS SOUPS 15798 WITH SCORE 15857.07
AT ITER 1687 NEW BEST:: SOT 77208 SOS 59006 HAS SOPS 58852 HAS SOUS 15922 HAS SOUPS 15798 WITH SCORE 15857.006
AT ITER 1689 NEW BEST:: SOT 77209 SOS 59007 HAS SOPS 58853 HAS SOUS 15921 HAS SOUPS 15797 WITH SCORE 15856.007
AT ITER 1730 NEW BEST:: SOT 77194 SOS 58973 HAS SOPS 58819 HAS SOUS 15888 HAS SOUPS 15764 WITH SCORE 15822.973
AT ITER 1751 NEW BEST:: SOT 77192 SOS 58969 HAS SOPS 58815 HAS SOUS 15884 HAS SOUPS 15760 WITH SCORE 15818.969
AT ITER 1776 NEW BEST:: SOT 77192 SOS 58968 HAS SOPS 58814 HAS SOUS 15882 HAS SOUPS 15758 WITH SCORE 15816.968
AT ITER 1780 NEW BEST:: SOT 77144 SOS 58876 HAS SOPS 58722 HAS SOUS 15796 HAS SOUPS 15672 WITH SCORE 15730.876
AT ITER 1784 NEW BEST:: SOT 77144 SOS 58876 HAS SOPS 58722 HAS SOUS 15794 HAS SOUPS 15670 WITH SCORE 15728.876
AT ITER 1824 NEW BEST:: SOT 77144 SOS 58860 HAS SOPS 58706 HAS SOUS 15794 HAS SOUPS 15670 WITH SCORE 15728.86
AT ITER 1825 NEW BEST:: SOT 77144 SOS 58856 HAS SOPS 58702 HAS SOUS 15794 HAS SOUPS 15670 WITH SCORE 15728.856
AT ITER 1859 NEW BEST:: SOT 77137 SOS 58842 HAS SOPS 58688 HAS SOUS 15780 HAS SOUPS 15656 WITH SCORE 15714.842
AT ITER 1864 NEW BEST:: SOT 77131 SOS 58830 HAS SOPS 58676 HAS SOUS 15765 HAS SOUPS 15641 WITH SCORE 15699.83
AT ITER 1890 NEW BEST:: SOT 77134 SOS 58786 HAS SOPS 58632 HAS SOUS 15764 HAS SOUPS 15640 WITH SCORE 15698.786
AT ITER 1900 NEW BEST:: SOT 77134 SOS 58774 HAS SOPS 58620 HAS SOUS 15758 HAS SOUPS 15634 WITH SCORE 15692.774
AT ITER 1906 NEW BEST:: SOT 77131 SOS 58771 HAS SOPS 58617 HAS SOUS 15755 HAS SOUPS 15631 WITH SCORE 15689.771
AT ITER 1910 NEW BEST:: SOT 77131 SOS 58747 HAS SOPS 58593 HAS SOUS 15755 HAS SOUPS 15631 WITH SCORE 15689.747
AT ITER 1956 NEW BEST:: SOT 77205 SOS 58832 HAS SOPS 58678 HAS SOUS 15719 HAS SOUPS 15595 WITH SCORE 15653.832
AT ITER 1963 NEW BEST:: SOT 77200 SOS 58834 HAS SOPS 58680 HAS SOUS 15714 HAS SOUPS 15590 WITH SCORE 15648.834
AT ITER 2015 NEW BEST:: SOT 77198 SOS 58832 HAS SOPS 58678 HAS SOUS 15711 HAS SOUPS 15587 WITH SCORE 15645.832
AT ITER 2034 NEW BEST:: SOT 77176 SOS 58797 HAS SOPS 58643 HAS SOUS 15673 HAS SOUPS 15549 WITH SCORE 15607.797
AT ITER 2075 NEW BEST:: SOT 77169 SOS 58790 HAS SOPS 58630 HAS SOUS 15663 HAS SOUPS 15533 WITH SCORE 15591.79
AT ITER 2119 NEW BEST:: SOT 77163 SOS 58783 HAS SOPS 58623 HAS SOUS 15657 HAS SOUPS 15527 WITH SCORE 15585.783
AT ITER 2171 NEW BEST:: SOT 77080 SOS 58771 HAS SOPS 58658 HAS SOUS 15610 HAS SOUPS 15527 WITH SCORE 15585.771
AT ITER 2215 NEW BEST:: SOT 77065 SOS 58756 HAS SOPS 58643 HAS SOUS 15583 HAS SOUPS 15500 WITH SCORE 15558.756
AT ITER 2251 NEW BEST:: SOT 77065 SOS 58756 HAS SOPS 58643 HAS SOUS 15575 HAS SOUPS 15492 WITH SCORE 15550.756
AT ITER 2260 NEW BEST:: SOT 77078 SOS 58714 HAS SOPS 58601 HAS SOUS 15534 HAS SOUPS 15451 WITH SCORE 15509.714
AT ITER 2264 NEW BEST:: SOT 76836 SOS 58472 HAS SOPS 58359 HAS SOUS 15534 HAS SOUPS 15451 WITH SCORE 15509.472
AT ITER 2267 NEW BEST:: SOT 76836 SOS 58364 HAS SOPS 58251 HAS SOUS 15531 HAS SOUPS 15448 WITH SCORE 15506.364
AT ITER 2272 NEW BEST:: SOT 76682 SOS 58210 HAS SOPS 58097 HAS SOUS 15527 HAS SOUPS 15444 WITH SCORE 15502.21
AT ITER 2273 NEW BEST:: SOT 76682 SOS 58208 HAS SOPS 58095 HAS SOUS 15526 HAS SOUPS 15443 WITH SCORE 15501.208
AT ITER 2320 NEW BEST:: SOT 76680 SOS 58250 HAS SOPS 58137 HAS SOUS 15524 HAS SOUPS 15441 WITH SCORE 15499.25
AT ITER 2330 NEW BEST:: SOT 76678 SOS 58248 HAS SOPS 58135 HAS SOUS 15520 HAS SOUPS 15437 WITH SCORE 15495.248
AT ITER 2332 NEW BEST:: SOT 76678 SOS 58213 HAS SOPS 58100 HAS SOUS 15520 HAS SOUPS 15437 WITH SCORE 15495.213
AT ITER 2337 NEW BEST:: SOT 76666 SOS 58317 HAS SOPS 58204 HAS SOUS 15508 HAS SOUPS 15425 WITH SCORE 15483.317
AT ITER 2384 NEW BEST:: SOT 76664 SOS 58315 HAS SOPS 58202 HAS SOUS 15506 HAS SOUPS 15423 WITH SCORE 15481.315
AT ITER 2459 NEW BEST:: SOT 76651 SOS 58302 HAS SOPS 58189 HAS SOUS 15480 HAS SOUPS 15397 WITH SCORE 15455.302
AT ITER 2480 NEW BEST:: SOT 76645 SOS 58296 HAS SOPS 58183 HAS SOUS 15467 HAS SOUPS 15384 WITH SCORE 15442.296
AT ITER 2509 NEW BEST:: SOT 76642 SOS 58293 HAS SOPS 58180 HAS SOUS 15461 HAS SOUPS 15378 WITH SCORE 15436.293
AT ITER 2530 NEW BEST:: SOT 76622 SOS 58225 HAS SOPS 58140 HAS SOUS 15429 HAS SOUPS 15346 WITH SCORE 15404.225
AT ITER 2536 NEW BEST:: SOT 76618 SOS 58195 HAS SOPS 58110 HAS SOUS 15423 HAS SOUPS 15340 WITH SCORE 15398.195
AT ITER 2578 NEW BEST:: SOT 76618 SOS 58189 HAS SOPS 58104 HAS SOUS 15417 HAS SOUPS 15334 WITH SCORE 15392.189
AT ITER 2581 NEW BEST:: SOT 76582 SOS 58187 HAS SOPS 58102 HAS SOUS 15383 HAS SOUPS 15300 WITH SCORE 15358.187
AT ITER 2619 NEW BEST:: SOT 76577 SOS 58153 HAS SOPS 58068 HAS SOUS 15378 HAS SOUPS 15295 WITH SCORE 15353.153
AT ITER 2631 NEW BEST:: SOT 76560 SOS 58173 HAS SOPS 58088 HAS SOUS 15361 HAS SOUPS 15278 WITH SCORE 15336.173
AT ITER 2633 NEW BEST:: SOT 76538 SOS 58137 HAS SOPS 58052 HAS SOUS 15359 HAS SOUPS 15276 WITH SCORE 15334.137
AT ITER 2678 NEW BEST:: SOT 76537 SOS 58135 HAS SOPS 58050 HAS SOUS 15357 HAS SOUPS 15274 WITH SCORE 15332.135
AT ITER 2773 NEW BEST:: SOT 76590 SOS 58188 HAS SOPS 58103 HAS SOUS 15344 HAS SOUPS 15261 WITH SCORE 15319.188
AT ITER 2774 NEW BEST:: SOT 76575 SOS 58173 HAS SOPS 58088 HAS SOUS 15320 HAS SOUPS 15237 WITH SCORE 15295.173
AT ITER 2808 NEW BEST:: SOT 76575 SOS 58169 HAS SOPS 58084 HAS SOUS 15317 HAS SOUPS 15234 WITH SCORE 15292.169
AT ITER 2862 NEW BEST:: SOT 76423 SOS 58017 HAS SOPS 57932 HAS SOUS 15305 HAS SOUPS 15222 WITH SCORE 15280.017
AT ITER 2868 NEW BEST:: SOT 76413 SOS 57937 HAS SOPS 57852 HAS SOUS 15268 HAS SOUPS 15185 WITH SCORE 15242.937
AT ITER 2890 NEW BEST:: SOT 76407 SOS 57931 HAS SOPS 57846 HAS SOUS 15256 HAS SOUPS 15173 WITH SCORE 15230.931
AT ITER 2917 NEW BEST:: SOT 76407 SOS 57930 HAS SOPS 57845 HAS SOUS 15256 HAS SOUPS 15173 WITH SCORE 15230.93
AT ITER 2929 NEW BEST:: SOT 76401 SOS 57961 HAS SOPS 57876 HAS SOUS 15253 HAS SOUPS 15170 WITH SCORE 15227.961
AT ITER 2930 NEW BEST:: SOT 76389 SOS 57949 HAS SOPS 57864 HAS SOUS 15229 HAS SOUPS 15146 WITH SCORE 15203.949
AT ITER 2934 NEW BEST:: SOT 77007 SOS 58648 HAS SOPS 58563 HAS SOUS 15227 HAS SOUPS 15144 WITH SCORE 15202.648
AT ITER 2939 NEW BEST:: SOT 77001 SOS 58642 HAS SOPS 58563 HAS SOUS 15215 HAS SOUPS 15138 WITH SCORE 15196.642
AT ITER 2994 NEW BEST:: SOT 76999 SOS 58638 HAS SOPS 58559 HAS SOUS 15209 HAS SOUPS 15132 WITH SCORE 15190.638
AT ITER 3041 NEW BEST:: SOT 76997 SOS 58636 HAS SOPS 58557 HAS SOUS 15206 HAS SOUPS 15129 WITH SCORE 15187.636
AT ITER 3049 NEW BEST:: SOT 76995 SOS 58634 HAS SOPS 58555 HAS SOUS 15202 HAS SOUPS 15125 WITH SCORE 15183.634
AT ITER 3075 NEW BEST:: SOT 76997 SOS 58640 HAS SOPS 58561 HAS SOUS 15201 HAS SOUPS 15124 WITH SCORE 15182.64
AT ITER 3111 NEW BEST:: SOT 76982 SOS 58625 HAS SOPS 58546 HAS SOUS 15180 HAS SOUPS 15103 WITH SCORE 15161.625
AT ITER 3128 NEW BEST:: SOT 76982 SOS 58589 HAS SOPS 58510 HAS SOUS 15180 HAS SOUPS 15103 WITH SCORE 15161.589
AT ITER 3174 NEW BEST:: SOT 76982 SOS 58557 HAS SOPS 58478 HAS SOUS 15180 HAS SOUPS 15103 WITH SCORE 15161.557
AT ITER 3175 NEW BEST:: SOT 76980 SOS 58555 HAS SOPS 58476 HAS SOUS 15173 HAS SOUPS 15096 WITH SCORE 15154.555
AT ITER 3207 NEW BEST:: SOT 76777 SOS 58352 HAS SOPS 58273 HAS SOUS 15140 HAS SOUPS 15063 WITH SCORE 15121.352
AT ITER 3228 NEW BEST:: SOT 76768 SOS 58334 HAS SOPS 58255 HAS SOUS 15122 HAS SOUPS 15045 WITH SCORE 15103.334
AT ITER 3233 NEW BEST:: SOT 76691 SOS 58257 HAS SOPS 58178 HAS SOUS 15122 HAS SOUPS 15045 WITH SCORE 15103.257
AT ITER 3241 NEW BEST:: SOT 76690 SOS 58256 HAS SOPS 58177 HAS SOUS 15119 HAS SOUPS 15042 WITH SCORE 15100.256
AT ITER 3245 NEW BEST:: SOT 76674 SOS 58310 HAS SOPS 58231 HAS SOUS 15100 HAS SOUPS 15023 WITH SCORE 15081.31
AT ITER 3259 NEW BEST:: SOT 76714 SOS 58346 HAS SOPS 58267 HAS SOUS 15092 HAS SOUPS 15015 WITH SCORE 15073.346
AT ITER 3300 NEW BEST:: SOT 76718 SOS 58837 HAS SOPS 58758 HAS SOUS 15091 HAS SOUPS 15014 WITH SCORE 15072.837
AT ITER 3312 NEW BEST:: SOT 76711 SOS 58830 HAS SOPS 58751 HAS SOUS 15080 HAS SOUPS 15003 WITH SCORE 15061.83
AT ITER 3345 NEW BEST:: SOT 76669 SOS 58758 HAS SOPS 58679 HAS SOUS 15065 HAS SOUPS 14988 WITH SCORE 15046.758
AT ITER 3361 NEW BEST:: SOT 76653 SOS 58742 HAS SOPS 58663 HAS SOUS 15047 HAS SOUPS 14970 WITH SCORE 15028.742
AT ITER 3363 NEW BEST:: SOT 76587 SOS 58676 HAS SOPS 58597 HAS SOUS 15041 HAS SOUPS 14964 WITH SCORE 15022.676
AT ITER 3364 NEW BEST:: SOT 76589 SOS 58680 HAS SOPS 58601 HAS SOUS 15034 HAS SOUPS 14957 WITH SCORE 15015.68
AT ITER 3369 NEW BEST:: SOT 76588 SOS 58679 HAS SOPS 58600 HAS SOUS 15032 HAS SOUPS 14955 WITH SCORE 15013.679
AT ITER 3417 NEW BEST:: SOT 76586 SOS 58677 HAS SOPS 58598 HAS SOUS 15028 HAS SOUPS 14951 WITH SCORE 15009.677
AT ITER 3462 NEW BEST:: SOT 76582 SOS 58653 HAS SOPS 58574 HAS SOUS 15021 HAS SOUPS 14944 WITH SCORE 15002.653
AT ITER 3522 NEW BEST:: SOT 76582 SOS 58655 HAS SOPS 58576 HAS SOUS 15016 HAS SOUPS 14939 WITH SCORE 14997.655
AT ITER 3523 NEW BEST:: SOT 76449 SOS 58537 HAS SOPS 58458 HAS SOUS 15004 HAS SOUPS 14927 WITH SCORE 14985.537
AT ITER 3524 NEW BEST:: SOT 76448 SOS 58536 HAS SOPS 58457 HAS SOUS 15002 HAS SOUPS 14925 WITH SCORE 14983.536
AT ITER 3593 NEW BEST:: SOT 76261 SOS 58349 HAS SOPS 58270 HAS SOUS 14992 HAS SOUPS 14915 WITH SCORE 14973.349
AT ITER 3618 NEW BEST:: SOT 76260 SOS 58348 HAS SOPS 58269 HAS SOUS 14990 HAS SOUPS 14913 WITH SCORE 14971.348
AT ITER 3632 NEW BEST:: SOT 76260 SOS 58357 HAS SOPS 58278 HAS SOUS 14989 HAS SOUPS 14912 WITH SCORE 14970.357
AT ITER 3635 NEW BEST:: SOT 76261 SOS 58345 HAS SOPS 58266 HAS SOUS 14987 HAS SOUPS 14910 WITH SCORE 14968.345
AT ITER 3652 NEW BEST:: SOT 76255 SOS 58339 HAS SOPS 58260 HAS SOUS 14975 HAS SOUPS 14898 WITH SCORE 14956.339
AT ITER 3669 NEW BEST:: SOT 76265 SOS 58349 HAS SOPS 58270 HAS SOUS 14974 HAS SOUPS 14897 WITH SCORE 14955.349
AT ITER 3690 NEW BEST:: SOT 76264 SOS 58342 HAS SOPS 58263 HAS SOUS 14973 HAS SOUPS 14896 WITH SCORE 14954.342
AT ITER 3701 NEW BEST:: SOT 76265 SOS 58343 HAS SOPS 58248 HAS SOUS 14975 HAS SOUPS 14882 WITH SCORE 14940.343
AT ITER 3720 NEW BEST:: SOT 76262 SOS 58340 HAS SOPS 58245 HAS SOUS 14969 HAS SOUPS 14876 WITH SCORE 14934.34
AT ITER 3761 NEW BEST:: SOT 76314 SOS 58392 HAS SOPS 58297 HAS SOUS 14966 HAS SOUPS 14873 WITH SCORE 14931.392
AT ITER 3774 NEW BEST:: SOT 76311 SOS 58522 HAS SOPS 58427 HAS SOUS 14961 HAS SOUPS 14868 WITH SCORE 14926.522
AT ITER 3779 NEW BEST:: SOT 76287 SOS 58504 HAS SOPS 58409 HAS SOUS 14943 HAS SOUPS 14850 WITH SCORE 14908.504
AT ITER 3786 NEW BEST:: SOT 76276 SOS 58493 HAS SOPS 58398 HAS SOUS 14943 HAS SOUPS 14850 WITH SCORE 14908.493
AT ITER 3814 NEW BEST:: SOT 76452 SOS 58669 HAS SOPS 58574 HAS SOUS 14939 HAS SOUPS 14846 WITH SCORE 14904.669
AT ITER 3825 NEW BEST:: SOT 76148 SOS 58322 HAS SOPS 58227 HAS SOUS 14925 HAS SOUPS 14832 WITH SCORE 14890.322
AT ITER 3876 NEW BEST:: SOT 76088 SOS 58268 HAS SOPS 58173 HAS SOUS 14925 HAS SOUPS 14832 WITH SCORE 14890.268
AT ITER 3919 NEW BEST:: SOT 76088 SOS 58280 HAS SOPS 58185 HAS SOUS 14908 HAS SOUPS 14815 WITH SCORE 14873.28
AT ITER 3924 NEW BEST:: SOT 76078 SOS 58260 HAS SOPS 58165 HAS SOUS 14890 HAS SOUPS 14797 WITH SCORE 14855.26
AT ITER 3940 NEW BEST:: SOT 76061 SOS 58226 HAS SOPS 58131 HAS SOUS 14856 HAS SOUPS 14763 WITH SCORE 14821.226
AT ITER 3950 NEW BEST:: SOT 76061 SOS 58226 HAS SOPS 58131 HAS SOUS 14855 HAS SOUPS 14762 WITH SCORE 14820.226
AT ITER 4082 NEW BEST:: SOT 76059 SOS 58226 HAS SOPS 58131 HAS SOUS 14853 HAS SOUPS 14760 WITH SCORE 14818.226
AT ITER 4088 NEW BEST:: SOT 76059 SOS 58037 HAS SOPS 57942 HAS SOUS 14853 HAS SOUPS 14760 WITH SCORE 14818.037
AT ITER 4092 NEW BEST:: SOT 76055 SOS 58029 HAS SOPS 57934 HAS SOUS 14845 HAS SOUPS 14752 WITH SCORE 14810.029
AT ITER 4177 NEW BEST:: SOT 76043 SOS 58005 HAS SOPS 57910 HAS SOUS 14827 HAS SOUPS 14734 WITH SCORE 14792.005
AT ITER 4181 NEW BEST:: SOT 75994 SOS 57961 HAS SOPS 57866 HAS SOUS 14827 HAS SOUPS 14734 WITH SCORE 14791.961
AT ITER 4222 NEW BEST:: SOT 75993 SOS 57973 HAS SOPS 57878 HAS SOUS 14826 HAS SOUPS 14733 WITH SCORE 14790.973
AT ITER 4228 NEW BEST:: SOT 75985 SOS 57957 HAS SOPS 57862 HAS SOUS 14810 HAS SOUPS 14717 WITH SCORE 14774.957
AT ITER 4231 NEW BEST:: SOT 75979 SOS 57951 HAS SOPS 57856 HAS SOUS 14804 HAS SOUPS 14711 WITH SCORE 14768.951
AT ITER 4286 NEW BEST:: SOT 75974 SOS 57975 HAS SOPS 57880 HAS SOUS 14800 HAS SOUPS 14707 WITH SCORE 14764.975
AT ITER 4364 NEW BEST:: SOT 75968 SOS 57963 HAS SOPS 57868 HAS SOUS 14795 HAS SOUPS 14702 WITH SCORE 14759.963
AT ITER 4375 NEW BEST:: SOT 75968 SOS 57963 HAS SOPS 57868 HAS SOUS 14794 HAS SOUPS 14701 WITH SCORE 14758.963
AT ITER 4427 NEW BEST:: SOT 75968 SOS 57963 HAS SOPS 57868 HAS SOUS 14772 HAS SOUPS 14679 WITH SCORE 14736.963
AT ITER 4444 NEW BEST:: SOT 75967 SOS 57962 HAS SOPS 57867 HAS SOUS 14770 HAS SOUPS 14677 WITH SCORE 14734.962
AT ITER 4526 NEW BEST:: SOT 75966 SOS 57961 HAS SOPS 57866 HAS SOUS 14763 HAS SOUPS 14670 WITH SCORE 14727.961
AT ITER 4550 NEW BEST:: SOT 75962 SOS 57969 HAS SOPS 57874 HAS SOUS 14762 HAS SOUPS 14669 WITH SCORE 14726.969
AT ITER 4558 NEW BEST:: SOT 75967 SOS 57955 HAS SOPS 57860 HAS SOUS 14752 HAS SOUPS 14659 WITH SCORE 14716.955
AT ITER 4583 NEW BEST:: SOT 75961 SOS 57949 HAS SOPS 57854 HAS SOUS 14740 HAS SOUPS 14647 WITH SCORE 14704.949
AT ITER 4625 NEW BEST:: SOT 75956 SOS 57949 HAS SOPS 57854 HAS SOUS 14735 HAS SOUPS 14642 WITH SCORE 14699.949
AT ITER 4630 NEW BEST:: SOT 75956 SOS 57949 HAS SOPS 57854 HAS SOUS 14732 HAS SOUPS 14639 WITH SCORE 14696.949
AT ITER 4644 NEW BEST:: SOT 75912 SOS 57905 HAS SOPS 57810 HAS SOUS 14728 HAS SOUPS 14635 WITH SCORE 14692.905
AT ITER 4650 NEW BEST:: SOT 75905 SOS 57891 HAS SOPS 57796 HAS SOUS 14721 HAS SOUPS 14628 WITH SCORE 14685.891
AT ITER 4674 NEW BEST:: SOT 75905 SOS 57891 HAS SOPS 57796 HAS SOUS 14719 HAS SOUPS 14626 WITH SCORE 14683.891
AT ITER 4712 NEW BEST:: SOT 75903 SOS 57883 HAS SOPS 57788 HAS SOUS 14717 HAS SOUPS 14624 WITH SCORE 14681.883
AT ITER 4754 NEW BEST:: SOT 75993 SOS 57964 HAS SOPS 57869 HAS SOUS 14702 HAS SOUPS 14609 WITH SCORE 14666.964
AT ITER 4761 NEW BEST:: SOT 75990 SOS 57961 HAS SOPS 57866 HAS SOUS 14699 HAS SOUPS 14606 WITH SCORE 14663.961
AT ITER 4783 NEW BEST:: SOT 75990 SOS 57961 HAS SOPS 57866 HAS SOUS 14697 HAS SOUPS 14604 WITH SCORE 14661.961
AT ITER 4836 NEW BEST:: SOT 75972 SOS 57943 HAS SOPS 57848 HAS SOUS 14674 HAS SOUPS 14581 WITH SCORE 14638.943
AT ITER 4942 NEW BEST:: SOT 75971 SOS 57929 HAS SOPS 57834 HAS SOUS 14667 HAS SOUPS 14574 WITH SCORE 14631.929
AT ITER 4965 NEW BEST:: SOT 75970 SOS 57928 HAS SOPS 57833 HAS SOUS 14665 HAS SOUPS 14572 WITH SCORE 14629.928
AT ITER 5010 NEW BEST:: SOT 75963 SOS 57921 HAS SOPS 57826 HAS SOUS 14664 HAS SOUPS 14571 WITH SCORE 14628.921
AT ITER 5076 NEW BEST:: SOT 75962 SOS 57724 HAS SOPS 57660 HAS SOUS 14625 HAS SOUPS 14561 WITH SCORE 14618.724
AT ITER 5084 NEW BEST:: SOT 75954 SOS 57708 HAS SOPS 57644 HAS SOUS 14614 HAS SOUPS 14550 WITH SCORE 14607.708
AT ITER 5087 NEW BEST:: SOT 75947 SOS 57701 HAS SOPS 57637 HAS SOUS 14607 HAS SOUPS 14543 WITH SCORE 14600.701
AT ITER 5250 NEW BEST:: SOT 75947 SOS 57697 HAS SOPS 57633 HAS SOUS 14607 HAS SOUPS 14543 WITH SCORE 14600.697
AT ITER 5299 NEW BEST:: SOT 75939 SOS 57689 HAS SOPS 57625 HAS SOUS 14591 HAS SOUPS 14527 WITH SCORE 14584.689
AT ITER 5304 NEW BEST:: SOT 75938 SOS 57688 HAS SOPS 57624 HAS SOUS 14589 HAS SOUPS 14525 WITH SCORE 14582.688
AT ITER 5329 NEW BEST:: SOT 76023 SOS 57764 HAS SOPS 57700 HAS SOUS 14575 HAS SOUPS 14511 WITH SCORE 14568.764
AT ITER 5396 NEW BEST:: SOT 76022 SOS 57763 HAS SOPS 57699 HAS SOUS 14574 HAS SOUPS 14510 WITH SCORE 14567.763
AT ITER 5397 NEW BEST:: SOT 76002 SOS 57722 HAS SOPS 57658 HAS SOUS 14571 HAS SOUPS 14507 WITH SCORE 14564.722
AT ITER 5408 NEW BEST:: SOT 76011 SOS 57737 HAS SOPS 57673 HAS SOUS 14567 HAS SOUPS 14503 WITH SCORE 14560.737
AT ITER 5513 NEW BEST:: SOT 75831 SOS 57528 HAS SOPS 57464 HAS SOUS 14556 HAS SOUPS 14492 WITH SCORE 14549.528
AT ITER 5540 NEW BEST:: SOT 75825 SOS 57516 HAS SOPS 57452 HAS SOUS 14544 HAS SOUPS 14480 WITH SCORE 14537.516
AT ITER 5542 NEW BEST:: SOT 75820 SOS 57517 HAS SOPS 57453 HAS SOUS 14539 HAS SOUPS 14475 WITH SCORE 14532.517
AT ITER 5749 NEW BEST:: SOT 75812 SOS 57509 HAS SOPS 57445 HAS SOUS 14523 HAS SOUPS 14459 WITH SCORE 14516.509
AT ITER 5787 NEW BEST:: SOT 75812 SOS 57509 HAS SOPS 57445 HAS SOUS 14516 HAS SOUPS 14452 WITH SCORE 14509.509
AT ITER 5815 NEW BEST:: SOT 75806 SOS 57497 HAS SOPS 57433 HAS SOUS 14507 HAS SOUPS 14443 WITH SCORE 14500.497
AT ITER 5816 NEW BEST:: SOT 75718 SOS 57409 HAS SOPS 57345 HAS SOUS 14485 HAS SOUPS 14421 WITH SCORE 14478.409
AT ITER 5859 NEW BEST:: SOT 75716 SOS 57350 HAS SOPS 57286 HAS SOUS 14484 HAS SOUPS 14420 WITH SCORE 14477.35
AT ITER 5878 NEW BEST:: SOT 75715 SOS 57392 HAS SOPS 57328 HAS SOUS 14483 HAS SOUPS 14419 WITH SCORE 14476.392
AT ITER 5880 NEW BEST:: SOT 75714 SOS 57391 HAS SOPS 57327 HAS SOUS 14481 HAS SOUPS 14417 WITH SCORE 14474.391
AT ITER 5972 NEW BEST:: SOT 75710 SOS 57383 HAS SOPS 57319 HAS SOUS 14473 HAS SOUPS 14409 WITH SCORE 14466.383
AT ITER 5974 NEW BEST:: SOT 75704 SOS 57371 HAS SOPS 57307 HAS SOUS 14473 HAS SOUPS 14409 WITH SCORE 14466.371
AT ITER 6026 NEW BEST:: SOT 75706 SOS 57373 HAS SOPS 57309 HAS SOUS 14472 HAS SOUPS 14408 WITH SCORE 14465.373
AT ITER 6043 NEW BEST:: SOT 75705 SOS 57371 HAS SOPS 57307 HAS SOUS 14471 HAS SOUPS 14407 WITH SCORE 14464.371
AT ITER 6110 NEW BEST:: SOT 75703 SOS 57367 HAS SOPS 57303 HAS SOUS 14467 HAS SOUPS 14403 WITH SCORE 14460.367
AT ITER 6112 NEW BEST:: SOT 75702 SOS 57366 HAS SOPS 57302 HAS SOUS 14466 HAS SOUPS 14402 WITH SCORE 14459.366
AT ITER 6151 NEW BEST:: SOT 75700 SOS 57362 HAS SOPS 57298 HAS SOUS 14464 HAS SOUPS 14400 WITH SCORE 14457.362
AT ITER 6204 NEW BEST:: SOT 75667 SOS 57329 HAS SOPS 57265 HAS SOUS 14439 HAS SOUPS 14375 WITH SCORE 14432.329
AT ITER 6317 NEW BEST:: SOT 75664 SOS 57326 HAS SOPS 57262 HAS SOUS 14433 HAS SOUPS 14369 WITH SCORE 14426.326
AT ITER 6386 NEW BEST:: SOT 75664 SOS 57326 HAS SOPS 57262 HAS SOUS 14422 HAS SOUPS 14358 WITH SCORE 14415.326
AT ITER 6453 NEW BEST:: SOT 75664 SOS 57326 HAS SOPS 57262 HAS SOUS 14421 HAS SOUPS 14357 WITH SCORE 14414.326
AT ITER 6478 NEW BEST:: SOT 75659 SOS 57306 HAS SOPS 57242 HAS SOUS 14416 HAS SOUPS 14352 WITH SCORE 14409.306
AT ITER 6609 NEW BEST:: SOT 75641 SOS 57288 HAS SOPS 57224 HAS SOUS 14409 HAS SOUPS 14345 WITH SCORE 14402.288
AT ITER 6721 NEW BEST:: SOT 75564 SOS 57211 HAS SOPS 57147 HAS SOUS 14398 HAS SOUPS 14334 WITH SCORE 14391.211
AT ITER 6834 NEW BEST:: SOT 75560 SOS 57203 HAS SOPS 57139 HAS SOUS 14390 HAS SOUPS 14326 WITH SCORE 14383.203
AT ITER 6878 NEW BEST:: SOT 75558 SOS 57195 HAS SOPS 57131 HAS SOUS 14386 HAS SOUPS 14322 WITH SCORE 14379.195
AT ITER 6923 NEW BEST:: SOT 75740 SOS 57388 HAS SOPS 57324 HAS SOUS 14369 HAS SOUPS 14305 WITH SCORE 14362.388
AT ITER 7041 NEW BEST:: SOT 75739 SOS 57420 HAS SOPS 57356 HAS SOUS 14368 HAS SOUPS 14304 WITH SCORE 14361.42
AT ITER 7101 NEW BEST:: SOT 75739 SOS 57420 HAS SOPS 57356 HAS SOUS 14357 HAS SOUPS 14293 WITH SCORE 14350.42
AT ITER 7108 NEW BEST:: SOT 75401 SOS 57077 HAS SOPS 57013 HAS SOUS 14356 HAS SOUPS 14292 WITH SCORE 14349.077
AT ITER 7136 NEW BEST:: SOT 75390 SOS 57063 HAS SOPS 56999 HAS SOUS 14343 HAS SOUPS 14279 WITH SCORE 14336.063
AT ITER 7464 NEW BEST:: SOT 75389 SOS 57062 HAS SOPS 56998 HAS SOUS 14341 HAS SOUPS 14277 WITH SCORE 14334.062
AT ITER 7547 NEW BEST:: SOT 75097 SOS 56770 HAS SOPS 56706 HAS SOUS 14331 HAS SOUPS 14267 WITH SCORE 14323.77
AT ITER 7580 NEW BEST:: SOT 75097 SOS 56761 HAS SOPS 56697 HAS SOUS 14331 HAS SOUPS 14267 WITH SCORE 14323.761
AT ITER 7677 NEW BEST:: SOT 75096 SOS 56760 HAS SOPS 56696 HAS SOUS 14328 HAS SOUPS 14264 WITH SCORE 14320.76
AT ITER 7678 NEW BEST:: SOT 75100 SOS 56768 HAS SOPS 56704 HAS SOUS 14327 HAS SOUPS 14263 WITH SCORE 14319.768
AT ITER 7683 NEW BEST:: SOT 75098 SOS 56760 HAS SOPS 56696 HAS SOUS 14325 HAS SOUPS 14261 WITH SCORE 14317.76
AT ITER 7721 NEW BEST:: SOT 75107 SOS 56769 HAS SOPS 56705 HAS SOUS 14323 HAS SOUPS 14259 WITH SCORE 14315.769
AT ITER 7809 NEW BEST:: SOT 75104 SOS 56749 HAS SOPS 56685 HAS SOUS 14320 HAS SOUPS 14256 WITH SCORE 14312.749
AT ITER 7867 NEW BEST:: SOT 75102 SOS 56741 HAS SOPS 56677 HAS SOUS 14316 HAS SOUPS 14252 WITH SCORE 14308.741
AT ITER 7945 NEW BEST:: SOT 75102 SOS 56735 HAS SOPS 56671 HAS SOUS 14316 HAS SOUPS 14252 WITH SCORE 14308.735
AT ITER 7972 NEW BEST:: SOT 75099 SOS 56732 HAS SOPS 56668 HAS SOUS 14314 HAS SOUPS 14250 WITH SCORE 14306.732
AT ITER 8091 NEW BEST:: SOT 75096 SOS 56729 HAS SOPS 56665 HAS SOUS 14308 HAS SOUPS 14244 WITH SCORE 14300.729
AT ITER 8150 NEW BEST:: SOT 75095 SOS 56728 HAS SOPS 56664 HAS SOUS 14306 HAS SOUPS 14242 WITH SCORE 14298.728
AT ITER 8187 NEW BEST:: SOT 75093 SOS 56726 HAS SOPS 56662 HAS SOUS 14305 HAS SOUPS 14241 WITH SCORE 14297.726
AT ITER 8242 NEW BEST:: SOT 75147 SOS 56786 HAS SOPS 56722 HAS SOUS 14299 HAS SOUPS 14235 WITH SCORE 14291.786
AT ITER 8275 NEW BEST:: SOT 75196 SOS 56835 HAS SOPS 56771 HAS SOUS 14293 HAS SOUPS 14229 WITH SCORE 14285.835
AT ITER 8365 NEW BEST:: SOT 75195 SOS 56834 HAS SOPS 56770 HAS SOUS 14291 HAS SOUPS 14227 WITH SCORE 14283.834
AT ITER 8405 NEW BEST:: SOT 75194 SOS 56832 HAS SOPS 56768 HAS SOUS 14289 HAS SOUPS 14225 WITH SCORE 14281.832
AT ITER 8411 NEW BEST:: SOT 75192 SOS 56830 HAS SOPS 56766 HAS SOUS 14285 HAS SOUPS 14221 WITH SCORE 14277.83
AT ITER 8805 NEW BEST:: SOT 75182 SOS 56820 HAS SOPS 56756 HAS SOUS 14272 HAS SOUPS 14208 WITH SCORE 14264.82
AT ITER 8830 NEW BEST:: SOT 75031 SOS 56662 HAS SOPS 56598 HAS SOUS 14246 HAS SOUPS 14182 WITH SCORE 14238.662
AT ITER 8916 NEW BEST:: SOT 75027 SOS 56654 HAS SOPS 56590 HAS SOUS 14238 HAS SOUPS 14174 WITH SCORE 14230.654
AT ITER 8917 NEW BEST:: SOT 74909 SOS 56482 HAS SOPS 56418 HAS SOUS 14231 HAS SOUPS 14167 WITH SCORE 14223.482
AT ITER 8923 NEW BEST:: SOT 74907 SOS 56480 HAS SOPS 56416 HAS SOUS 14218 HAS SOUPS 14154 WITH SCORE 14210.48
AT ITER 8951 NEW BEST:: SOT 74904 SOS 56477 HAS SOPS 56413 HAS SOUS 14215 HAS SOUPS 14151 WITH SCORE 14207.477
AT ITER 8957 NEW BEST:: SOT 74903 SOS 56476 HAS SOPS 56412 HAS SOUS 14214 HAS SOUPS 14150 WITH SCORE 14206.476
AT ITER 9078 NEW BEST:: SOT 74905 SOS 56478 HAS SOPS 56414 HAS SOUS 14212 HAS SOUPS 14148 WITH SCORE 14204.478
AT ITER 9090 NEW BEST:: SOT 74895 SOS 56468 HAS SOPS 56404 HAS SOUS 14201 HAS SOUPS 14137 WITH SCORE 14193.468
AT ITER 9129 NEW BEST:: SOT 74885 SOS 56458 HAS SOPS 56394 HAS SOUS 14186 HAS SOUPS 14122 WITH SCORE 14178.458
AT ITER 9177 NEW BEST:: SOT 74894 SOS 56467 HAS SOPS 56403 HAS SOUS 14184 HAS SOUPS 14120 WITH SCORE 14176.467
AT ITER 9189 NEW BEST:: SOT 74861 SOS 56434 HAS SOPS 56370 HAS SOUS 14181 HAS SOUPS 14117 WITH SCORE 14173.434
AT ITER 9296 NEW BEST:: SOT 74839 SOS 56412 HAS SOPS 56348 HAS SOUS 14181 HAS SOUPS 14117 WITH SCORE 14173.412
AT ITER 9403 NEW BEST:: SOT 74770 SOS 56343 HAS SOPS 56279 HAS SOUS 14178 HAS SOUPS 14114 WITH SCORE 14170.343
AT ITER 9474 NEW BEST:: SOT 74763 SOS 56340 HAS SOPS 56276 HAS SOUS 14177 HAS SOUPS 14113 WITH SCORE 14169.34
AT ITER 9495 NEW BEST:: SOT 74762 SOS 56339 HAS SOPS 56275 HAS SOUS 14176 HAS SOUPS 14112 WITH SCORE 14168.339
AT ITER 9687 NEW BEST:: SOT 74765 SOS 56342 HAS SOPS 56278 HAS SOUS 14175 HAS SOUPS 14111 WITH SCORE 14167.342
AT ITER 9950 NEW BEST:: SOT 74765 SOS 56332 HAS SOPS 56268 HAS SOUS 14175 HAS SOUPS 14111 WITH SCORE 14167.332
AT ITER 9959 NEW BEST:: SOT 74762 SOS 56329 HAS SOPS 56265 HAS SOUS 14174 HAS SOUPS 14110 WITH SCORE 14166.329
AT ITER 9968 NEW BEST:: SOT 74848 SOS 56415 HAS SOPS 56351 HAS SOUS 14161 HAS SOUPS 14097 WITH SCORE 14153.415
AT ITER 9974 NEW BEST:: SOT 75012 SOS 56581 HAS SOPS 56517 HAS SOUS 14129 HAS SOUPS 14065 WITH SCORE 14121.581
AT ITER 9984 NEW BEST:: SOT 75030 SOS 56599 HAS SOPS 56535 HAS SOUS 14127 HAS SOUPS 14063 WITH SCORE 14119.599

BK_STOP 1680821934954

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 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="Anderson-PT-06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Anderson-PT-06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r523-tall-167987247500024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-06.tgz
mv Anderson-PT-06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;