Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 3.2K Mar 30 19:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 19:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 09:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 09:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 04:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 23:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 23:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 398K Mar 24 05:37 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 1589125720170

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

Filename model.pnml
Petri model created: 229 places, 1597 transitions, 6125 arcs.
AT ITER 0 NEW BEST:: SOT 236235 SOS 193253 HAS SOPS 116053 HAS SOUS 27135 HAS SOUPS 17951 WITH SCORE 18144.253
AT ITER 4 NEW BEST:: SOT 236118 SOS 194393 HAS SOPS 116585 HAS SOUS 27068 HAS SOUPS 17884 WITH SCORE 18078.393
AT ITER 13 NEW BEST:: SOT 236094 SOS 194055 HAS SOPS 116247 HAS SOUS 27049 HAS SOUPS 17865 WITH SCORE 18059.055
AT ITER 18 NEW BEST:: SOT 236076 SOS 193319 HAS SOPS 115511 HAS SOUS 27041 HAS SOUPS 17857 WITH SCORE 18050.319
AT ITER 31 NEW BEST:: SOT 236042 SOS 192843 HAS SOPS 115409 HAS SOUS 26987 HAS SOUPS 17837 WITH SCORE 18029.843
AT ITER 34 NEW BEST:: SOT 236181 SOS 193023 HAS SOPS 115384 HAS SOUS 26949 HAS SOUPS 17659 WITH SCORE 17852.023
AT ITER 46 NEW BEST:: SOT 236161 SOS 192983 HAS SOPS 115344 HAS SOUS 26929 HAS SOUPS 17639 WITH SCORE 17831.983
AT ITER 49 NEW BEST:: SOT 236143 SOS 192986 HAS SOPS 115242 HAS SOUS 26830 HAS SOUPS 17464 WITH SCORE 17656.986
AT ITER 70 NEW BEST:: SOT 236143 SOS 192986 HAS SOPS 115242 HAS SOUS 26822 HAS SOUPS 17456 WITH SCORE 17648.986
AT ITER 72 NEW BEST:: SOT 236125 SOS 192950 HAS SOPS 115366 HAS SOUS 26766 HAS SOUPS 17420 WITH SCORE 17612.95
AT ITER 73 NEW BEST:: SOT 236408 SOS 193313 HAS SOPS 115249 HAS SOUS 26470 HAS SOUPS 16976 WITH SCORE 17169.313
AT ITER 86 NEW BEST:: SOT 236391 SOS 192922 HAS SOPS 115045 HAS SOUS 26453 HAS SOUPS 16976 WITH SCORE 17168.922
AT ITER 98 NEW BEST:: SOT 236385 SOS 192866 HAS SOPS 114989 HAS SOUS 26447 HAS SOUPS 16970 WITH SCORE 17162.866
AT ITER 109 NEW BEST:: SOT 236371 SOS 192663 HAS SOPS 115039 HAS SOUS 26415 HAS SOUPS 16961 WITH SCORE 17153.663
AT ITER 121 NEW BEST:: SOT 236368 SOS 192477 HAS SOPS 114853 HAS SOUS 26415 HAS SOUPS 16961 WITH SCORE 17153.477
AT ITER 124 NEW BEST:: SOT 236442 SOS 192605 HAS SOPS 114711 HAS SOUS 26318 HAS SOUPS 16652 WITH SCORE 16844.605
AT ITER 127 NEW BEST:: SOT 236522 SOS 192657 HAS SOPS 114763 HAS SOUS 26304 HAS SOUPS 16638 WITH SCORE 16830.657
AT ITER 128 NEW BEST:: SOT 236520 SOS 192653 HAS SOPS 114767 HAS SOUS 26300 HAS SOUPS 16635 WITH SCORE 16827.653
AT ITER 129 NEW BEST:: SOT 236516 SOS 192608 HAS SOPS 114722 HAS SOUS 26299 HAS SOUPS 16634 WITH SCORE 16826.608
AT ITER 130 NEW BEST:: SOT 236478 SOS 192300 HAS SOPS 114414 HAS SOUS 26280 HAS SOUPS 16615 WITH SCORE 16807.3
AT ITER 140 NEW BEST:: SOT 236378 SOS 191849 HAS SOPS 114299 HAS SOUS 26154 HAS SOUPS 16531 WITH SCORE 16722.849
AT ITER 145 NEW BEST:: SOT 236422 SOS 191469 HAS SOPS 114315 HAS SOUS 26098 HAS SOUPS 16511 WITH SCORE 16702.469
AT ITER 160 NEW BEST:: SOT 236462 SOS 191885 HAS SOPS 114347 HAS SOUS 26123 HAS SOUPS 16488 WITH SCORE 16679.885
AT ITER 161 NEW BEST:: SOT 236789 SOS 192212 HAS SOPS 114674 HAS SOUS 26114 HAS SOUPS 16455 WITH SCORE 16647.212
AT ITER 165 NEW BEST:: SOT 236813 SOS 192236 HAS SOPS 114698 HAS SOUS 26102 HAS SOUPS 16443 WITH SCORE 16635.236
AT ITER 167 NEW BEST:: SOT 237047 SOS 192470 HAS SOPS 114932 HAS SOUS 26108 HAS SOUPS 16430 WITH SCORE 16622.47
AT ITER 172 NEW BEST:: SOT 237024 SOS 192208 HAS SOPS 114902 HAS SOUS 26055 HAS SOUPS 16406 WITH SCORE 16598.208
AT ITER 185 NEW BEST:: SOT 237273 SOS 192457 HAS SOPS 115151 HAS SOUS 26067 HAS SOUPS 16398 WITH SCORE 16590.457
AT ITER 202 NEW BEST:: SOT 237206 SOS 192555 HAS SOPS 115249 HAS SOUS 25755 HAS SOUPS 16086 WITH SCORE 16278.555
AT ITER 204 NEW BEST:: SOT 236299 SOS 191693 HAS SOPS 114952 HAS SOUS 25535 HAS SOUPS 15998 WITH SCORE 16189.693
AT ITER 205 NEW BEST:: SOT 236295 SOS 191685 HAS SOPS 114944 HAS SOUS 25531 HAS SOUPS 15994 WITH SCORE 16185.685
AT ITER 207 NEW BEST:: SOT 236292 SOS 191682 HAS SOPS 114941 HAS SOUS 25528 HAS SOUPS 15991 WITH SCORE 16182.682
AT ITER 212 NEW BEST:: SOT 236266 SOS 191656 HAS SOPS 114915 HAS SOUS 25506 HAS SOUPS 15969 WITH SCORE 16160.656
AT ITER 219 NEW BEST:: SOT 236352 SOS 190433 HAS SOPS 114407 HAS SOUS 25433 HAS SOUPS 15961 WITH SCORE 16151.433
AT ITER 222 NEW BEST:: SOT 236340 SOS 189983 HAS SOPS 113957 HAS SOUS 25427 HAS SOUPS 15955 WITH SCORE 16144.983
AT ITER 224 NEW BEST:: SOT 236462 SOS 189592 HAS SOPS 114402 HAS SOUS 25332 HAS SOUPS 15936 WITH SCORE 16125.592
AT ITER 234 NEW BEST:: SOT 236460 SOS 189518 HAS SOPS 114328 HAS SOUS 25331 HAS SOUPS 15935 WITH SCORE 16124.518
AT ITER 236 NEW BEST:: SOT 236438 SOS 189496 HAS SOPS 114306 HAS SOUS 25309 HAS SOUPS 15913 WITH SCORE 16102.496
AT ITER 258 NEW BEST:: SOT 236438 SOS 189496 HAS SOPS 114306 HAS SOUS 25298 HAS SOUPS 15902 WITH SCORE 16091.496
AT ITER 259 NEW BEST:: SOT 236384 SOS 189514 HAS SOPS 113994 HAS SOUS 25304 HAS SOUPS 15878 WITH SCORE 16067.514
AT ITER 271 NEW BEST:: SOT 236375 SOS 189475 HAS SOPS 113979 HAS SOUS 25298 HAS SOUPS 15875 WITH SCORE 16064.475
AT ITER 272 NEW BEST:: SOT 236399 SOS 189511 HAS SOPS 113955 HAS SOUS 25279 HAS SOUPS 15816 WITH SCORE 16005.511
AT ITER 279 NEW BEST:: SOT 236400 SOS 189512 HAS SOPS 113956 HAS SOUS 25253 HAS SOUPS 15802 WITH SCORE 15991.512
AT ITER 281 NEW BEST:: SOT 236377 SOS 189158 HAS SOPS 113602 HAS SOUS 25241 HAS SOUPS 15790 WITH SCORE 15979.158
AT ITER 282 NEW BEST:: SOT 236608 SOS 189444 HAS SOPS 113558 HAS SOUS 24906 HAS SOUPS 15455 WITH SCORE 15644.444
AT ITER 294 NEW BEST:: SOT 236519 SOS 188938 HAS SOPS 113540 HAS SOUS 24833 HAS SOUPS 15443 WITH SCORE 15631.938
AT ITER 297 NEW BEST:: SOT 236609 SOS 189164 HAS SOPS 113766 HAS SOUS 24642 HAS SOUPS 15252 WITH SCORE 15441.164
AT ITER 306 NEW BEST:: SOT 236607 SOS 188674 HAS SOPS 113276 HAS SOUS 24601 HAS SOUPS 15211 WITH SCORE 15399.674
AT ITER 322 NEW BEST:: SOT 236652 SOS 188089 HAS SOPS 112826 HAS SOUS 24601 HAS SOUPS 15211 WITH SCORE 15399.089
AT ITER 345 NEW BEST:: SOT 236651 SOS 188088 HAS SOPS 112825 HAS SOUS 24600 HAS SOUPS 15210 WITH SCORE 15398.088
AT ITER 346 NEW BEST:: SOT 237258 SOS 188701 HAS SOPS 113327 HAS SOUS 24634 HAS SOUPS 15206 WITH SCORE 15394.701
AT ITER 351 NEW BEST:: SOT 237256 SOS 188697 HAS SOPS 113315 HAS SOUS 24633 HAS SOUPS 15204 WITH SCORE 15392.697
AT ITER 377 NEW BEST:: SOT 237226 SOS 188567 HAS SOPS 113265 HAS SOUS 24603 HAS SOUPS 15184 WITH SCORE 15372.567
AT ITER 383 NEW BEST:: SOT 237239 SOS 188571 HAS SOPS 113269 HAS SOUS 24601 HAS SOUPS 15182 WITH SCORE 15370.571
AT ITER 390 NEW BEST:: SOT 237308 SOS 187466 HAS SOPS 112923 HAS SOUS 24506 HAS SOUPS 15156 WITH SCORE 15343.466
AT ITER 413 NEW BEST:: SOT 237334 SOS 187180 HAS SOPS 112923 HAS SOUS 24480 HAS SOUPS 15156 WITH SCORE 15343.18
AT ITER 423 NEW BEST:: SOT 237325 SOS 187171 HAS SOPS 112914 HAS SOUS 24448 HAS SOUPS 15136 WITH SCORE 15323.171
AT ITER 424 NEW BEST:: SOT 237353 SOS 187203 HAS SOPS 112946 HAS SOUS 24432 HAS SOUPS 15120 WITH SCORE 15307.203
AT ITER 425 NEW BEST:: SOT 237263 SOS 186307 HAS SOPS 113238 HAS SOUS 24465 HAS SOUPS 14959 WITH SCORE 15145.307
AT ITER 429 NEW BEST:: SOT 237243 SOS 186207 HAS SOPS 113218 HAS SOUS 24455 HAS SOUPS 14959 WITH SCORE 15145.207
AT ITER 463 NEW BEST:: SOT 237150 SOS 188297 HAS SOPS 114372 HAS SOUS 24412 HAS SOUPS 14916 WITH SCORE 15104.297
AT ITER 464 NEW BEST:: SOT 237206 SOS 187284 HAS SOPS 113920 HAS SOUS 24329 HAS SOUPS 14884 WITH SCORE 15071.284
AT ITER 469 NEW BEST:: SOT 237175 SOS 187222 HAS SOPS 113506 HAS SOUS 24298 HAS SOUPS 14821 WITH SCORE 15008.222
AT ITER 498 NEW BEST:: SOT 237165 SOS 187092 HAS SOPS 113376 HAS SOUS 24288 HAS SOUPS 14811 WITH SCORE 14998.092
AT ITER 499 NEW BEST:: SOT 237194 SOS 187689 HAS SOPS 113654 HAS SOUS 24308 HAS SOUPS 14802 WITH SCORE 14989.689
AT ITER 501 NEW BEST:: SOT 237185 SOS 187581 HAS SOPS 113546 HAS SOUS 24299 HAS SOUPS 14793 WITH SCORE 14980.581
AT ITER 513 NEW BEST:: SOT 237128 SOS 183414 HAS SOPS 110116 HAS SOUS 24215 HAS SOUPS 14776 WITH SCORE 14959.414
AT ITER 523 NEW BEST:: SOT 237264 SOS 184098 HAS SOPS 110192 HAS SOUS 24279 HAS SOUPS 14764 WITH SCORE 14948.098
AT ITER 532 NEW BEST:: SOT 237259 SOS 184033 HAS SOPS 110182 HAS SOUS 24274 HAS SOUPS 14764 WITH SCORE 14948.033
AT ITER 558 NEW BEST:: SOT 236824 SOS 183598 HAS SOPS 110097 HAS SOUS 24266 HAS SOUPS 14760 WITH SCORE 14943.598
AT ITER 568 NEW BEST:: SOT 236814 SOS 183593 HAS SOPS 110037 HAS SOUS 24266 HAS SOUPS 14755 WITH SCORE 14938.593
AT ITER 573 NEW BEST:: SOT 236829 SOS 183608 HAS SOPS 110021 HAS SOUS 24250 HAS SOUPS 14739 WITH SCORE 14922.608
AT ITER 582 NEW BEST:: SOT 236816 SOS 183202 HAS SOPS 109615 HAS SOUS 24234 HAS SOUPS 14723 WITH SCORE 14906.202
AT ITER 588 NEW BEST:: SOT 236755 SOS 184462 HAS SOPS 110545 HAS SOUS 24216 HAS SOUPS 14675 WITH SCORE 14859.462
AT ITER 593 NEW BEST:: SOT 236754 SOS 184461 HAS SOPS 110544 HAS SOUS 24215 HAS SOUPS 14674 WITH SCORE 14858.461
AT ITER 598 NEW BEST:: SOT 236634 SOS 184477 HAS SOPS 110368 HAS SOUS 24115 HAS SOUPS 14574 WITH SCORE 14758.477
AT ITER 605 NEW BEST:: SOT 236619 SOS 181084 HAS SOPS 107128 HAS SOUS 24088 HAS SOUPS 14547 WITH SCORE 14728.084
AT ITER 610 NEW BEST:: SOT 236920 SOS 181385 HAS SOPS 107189 HAS SOUS 24266 HAS SOUPS 14545 WITH SCORE 14726.385
AT ITER 621 NEW BEST:: SOT 236908 SOS 181097 HAS SOPS 107209 HAS SOUS 24228 HAS SOUPS 14535 WITH SCORE 14716.097
AT ITER 622 NEW BEST:: SOT 236866 SOS 180551 HAS SOPS 106894 HAS SOUS 24144 HAS SOUPS 14472 WITH SCORE 14652.551
AT ITER 623 NEW BEST:: SOT 236893 SOS 180132 HAS SOPS 106904 HAS SOUS 24097 HAS SOUPS 14464 WITH SCORE 14644.132
AT ITER 627 NEW BEST:: SOT 236888 SOS 180067 HAS SOPS 106839 HAS SOUS 24070 HAS SOUPS 14437 WITH SCORE 14617.067
AT ITER 630 NEW BEST:: SOT 236882 SOS 180061 HAS SOPS 106833 HAS SOUS 24064 HAS SOUPS 14431 WITH SCORE 14611.061
AT ITER 632 NEW BEST:: SOT 236870 SOS 180009 HAS SOPS 106813 HAS SOUS 24052 HAS SOUPS 14423 WITH SCORE 14603.009
AT ITER 634 NEW BEST:: SOT 237180 SOS 180319 HAS SOPS 107123 HAS SOUS 23992 HAS SOUPS 14363 WITH SCORE 14543.319
AT ITER 637 NEW BEST:: SOT 237405 SOS 180544 HAS SOPS 107098 HAS SOUS 23962 HAS SOUPS 14225 WITH SCORE 14405.544
AT ITER 638 NEW BEST:: SOT 237286 SOS 180993 HAS SOPS 107216 HAS SOUS 23936 HAS SOUPS 14198 WITH SCORE 14378.993
AT ITER 663 NEW BEST:: SOT 237239 SOS 180946 HAS SOPS 107169 HAS SOUS 23907 HAS SOUPS 14169 WITH SCORE 14349.946
AT ITER 677 NEW BEST:: SOT 237473 SOS 179991 HAS SOPS 107126 HAS SOUS 23986 HAS SOUPS 14101 WITH SCORE 14280.991
AT ITER 695 NEW BEST:: SOT 237462 SOS 179989 HAS SOPS 107124 HAS SOUS 23977 HAS SOUPS 14092 WITH SCORE 14271.989
AT ITER 697 NEW BEST:: SOT 237462 SOS 179780 HAS SOPS 107399 HAS SOUS 23930 HAS SOUPS 14089 WITH SCORE 14268.78
AT ITER 698 NEW BEST:: SOT 237450 SOS 179932 HAS SOPS 107455 HAS SOUS 23924 HAS SOUPS 14083 WITH SCORE 14262.932
AT ITER 709 NEW BEST:: SOT 236717 SOS 178143 HAS SOPS 106674 HAS SOUS 23661 HAS SOUPS 13939 WITH SCORE 14117.143
AT ITER 721 NEW BEST:: SOT 236691 SOS 178021 HAS SOPS 106632 HAS SOUS 23645 HAS SOUPS 13933 WITH SCORE 14111.021
AT ITER 731 NEW BEST:: SOT 236679 SOS 178003 HAS SOPS 106626 HAS SOUS 23639 HAS SOUPS 13927 WITH SCORE 14105.003
AT ITER 735 NEW BEST:: SOT 236695 SOS 178027 HAS SOPS 106634 HAS SOUS 23607 HAS SOUPS 13905 WITH SCORE 14083.027
AT ITER 749 NEW BEST:: SOT 236633 SOS 177618 HAS SOPS 106390 HAS SOUS 23567 HAS SOUPS 13880 WITH SCORE 14057.618
AT ITER 758 NEW BEST:: SOT 236668 SOS 177733 HAS SOPS 106447 HAS SOUS 23567 HAS SOUPS 13878 WITH SCORE 14055.733
AT ITER 761 NEW BEST:: SOT 236596 SOS 179178 HAS SOPS 106995 HAS SOUS 23507 HAS SOUPS 13818 WITH SCORE 13997.178
AT ITER 777 NEW BEST:: SOT 236592 SOS 179150 HAS SOPS 106967 HAS SOUS 23505 HAS SOUPS 13816 WITH SCORE 13995.15
AT ITER 779 NEW BEST:: SOT 236574 SOS 179004 HAS SOPS 106931 HAS SOUS 23489 HAS SOUPS 13810 WITH SCORE 13989.004
AT ITER 814 NEW BEST:: SOT 236556 SOS 178968 HAS SOPS 106913 HAS SOUS 23461 HAS SOUPS 13800 WITH SCORE 13978.968
AT ITER 820 NEW BEST:: SOT 236513 SOS 178865 HAS SOPS 106930 HAS SOUS 23430 HAS SOUPS 13799 WITH SCORE 13977.865
AT ITER 825 NEW BEST:: SOT 236508 SOS 179071 HAS SOPS 107032 HAS SOUS 23425 HAS SOUPS 13794 WITH SCORE 13973.071
AT ITER 830 NEW BEST:: SOT 236503 SOS 179061 HAS SOPS 107022 HAS SOUS 23406 HAS SOUPS 13775 WITH SCORE 13954.061
AT ITER 832 NEW BEST:: SOT 236467 SOS 179000 HAS SOPS 107011 HAS SOUS 23381 HAS SOUPS 13764 WITH SCORE 13943.0
AT ITER 845 NEW BEST:: SOT 236557 SOS 179100 HAS SOPS 107051 HAS SOUS 23361 HAS SOUPS 13744 WITH SCORE 13923.1
AT ITER 846 NEW BEST:: SOT 236506 SOS 178386 HAS SOPS 106898 HAS SOUS 23310 HAS SOUPS 13744 WITH SCORE 13922.386
AT ITER 853 NEW BEST:: SOT 236183 SOS 178063 HAS SOPS 106575 HAS SOUS 23299 HAS SOUPS 13733 WITH SCORE 13911.063
AT ITER 866 NEW BEST:: SOT 236128 SOS 177968 HAS SOPS 106540 HAS SOUS 23272 HAS SOUPS 13726 WITH SCORE 13903.968
AT ITER 903 NEW BEST:: SOT 236074 SOS 178844 HAS SOPS 106936 HAS SOUS 23287 HAS SOUPS 13721 WITH SCORE 13899.844
AT ITER 909 NEW BEST:: SOT 236032 SOS 178774 HAS SOPS 106908 HAS SOUS 23253 HAS SOUPS 13701 WITH SCORE 13879.774
AT ITER 921 NEW BEST:: SOT 236031 SOS 178773 HAS SOPS 106907 HAS SOUS 23252 HAS SOUPS 13700 WITH SCORE 13878.773
AT ITER 925 NEW BEST:: SOT 236624 SOS 179366 HAS SOPS 107170 HAS SOUS 23119 HAS SOUPS 13567 WITH SCORE 13746.366
AT ITER 939 NEW BEST:: SOT 236462 SOS 178642 HAS SOPS 106996 HAS SOUS 23050 HAS SOUPS 13548 WITH SCORE 13726.642
AT ITER 953 NEW BEST:: SOT 236527 SOS 178993 HAS SOPS 107087 HAS SOUS 22907 HAS SOUPS 13366 WITH SCORE 13544.993
AT ITER 955 NEW BEST:: SOT 236519 SOS 178939 HAS SOPS 107055 HAS SOUS 22903 HAS SOUPS 13364 WITH SCORE 13542.939
AT ITER 964 NEW BEST:: SOT 236499 SOS 178813 HAS SOPS 106929 HAS SOUS 22903 HAS SOUPS 13364 WITH SCORE 13542.813
AT ITER 968 NEW BEST:: SOT 236412 SOS 179003 HAS SOPS 106957 HAS SOUS 22662 HAS SOUPS 13220 WITH SCORE 13399.003
AT ITER 982 NEW BEST:: SOT 236397 SOS 178793 HAS SOPS 106912 HAS SOUS 22632 HAS SOUPS 13205 WITH SCORE 13383.793
AT ITER 1002 NEW BEST:: SOT 236364 SOS 178778 HAS SOPS 106710 HAS SOUS 22633 HAS SOUPS 13189 WITH SCORE 13367.778
AT ITER 1027 NEW BEST:: SOT 236279 SOS 178409 HAS SOPS 106341 HAS SOUS 22595 HAS SOUPS 13151 WITH SCORE 13329.409
AT ITER 1030 NEW BEST:: SOT 236318 SOS 178331 HAS SOPS 106263 HAS SOUS 22585 HAS SOUPS 13141 WITH SCORE 13319.331
AT ITER 1033 NEW BEST:: SOT 236314 SOS 177875 HAS SOPS 105807 HAS SOUS 22510 HAS SOUPS 13066 WITH SCORE 13243.875
AT ITER 1038 NEW BEST:: SOT 236267 SOS 174807 HAS SOPS 102739 HAS SOUS 22496 HAS SOUPS 13052 WITH SCORE 13226.807
AT ITER 1045 NEW BEST:: SOT 236241 SOS 174249 HAS SOPS 102445 HAS SOUS 22455 HAS SOUPS 13022 WITH SCORE 13196.249
AT ITER 1048 NEW BEST:: SOT 236167 SOS 174033 HAS SOPS 102365 HAS SOUS 22399 HAS SOUPS 12983 WITH SCORE 13157.033
AT ITER 1057 NEW BEST:: SOT 236419 SOS 174585 HAS SOPS 102520 HAS SOUS 22303 HAS SOUPS 12906 WITH SCORE 13080.585
AT ITER 1063 NEW BEST:: SOT 236316 SOS 174482 HAS SOPS 102346 HAS SOUS 22277 HAS SOUPS 12880 WITH SCORE 13054.482
AT ITER 1069 NEW BEST:: SOT 236487 SOS 174864 HAS SOPS 102878 HAS SOUS 21960 HAS SOUPS 12836 WITH SCORE 13010.864
AT ITER 1076 NEW BEST:: SOT 236495 SOS 174856 HAS SOPS 103022 HAS SOUS 21936 HAS SOUPS 12831 WITH SCORE 13005.856
AT ITER 1079 NEW BEST:: SOT 236509 SOS 174212 HAS SOPS 102532 HAS SOUS 21922 HAS SOUPS 12831 WITH SCORE 13005.212
AT ITER 1086 NEW BEST:: SOT 236470 SOS 174062 HAS SOPS 102470 HAS SOUS 21891 HAS SOUPS 12808 WITH SCORE 12982.062
AT ITER 1090 NEW BEST:: SOT 236481 SOS 173126 HAS SOPS 102175 HAS SOUS 21694 HAS SOUPS 12654 WITH SCORE 12827.126
AT ITER 1094 NEW BEST:: SOT 236472 SOS 173117 HAS SOPS 102175 HAS SOUS 21694 HAS SOUPS 12654 WITH SCORE 12827.117
AT ITER 1114 NEW BEST:: SOT 236416 SOS 173061 HAS SOPS 102127 HAS SOUS 21694 HAS SOUPS 12654 WITH SCORE 12827.061
AT ITER 1128 NEW BEST:: SOT 236428 SOS 173007 HAS SOPS 102139 HAS SOUS 21688 HAS SOUPS 12654 WITH SCORE 12827.007
AT ITER 1137 NEW BEST:: SOT 236428 SOS 173007 HAS SOPS 102139 HAS SOUS 21670 HAS SOUPS 12644 WITH SCORE 12817.007
AT ITER 1180 NEW BEST:: SOT 236374 SOS 172953 HAS SOPS 102085 HAS SOUS 21670 HAS SOUPS 12644 WITH SCORE 12816.953
AT ITER 1181 NEW BEST:: SOT 236350 SOS 172821 HAS SOPS 101617 HAS SOUS 21699 HAS SOUPS 12631 WITH SCORE 12803.821
AT ITER 1184 NEW BEST:: SOT 236204 SOS 172838 HAS SOPS 101698 HAS SOUS 21770 HAS SOUPS 12624 WITH SCORE 12796.838
AT ITER 1186 NEW BEST:: SOT 236179 SOS 172762 HAS SOPS 101668 HAS SOUS 21746 HAS SOUPS 12605 WITH SCORE 12777.762
AT ITER 1188 NEW BEST:: SOT 236176 SOS 172387 HAS SOPS 101485 HAS SOUS 21737 HAS SOUPS 12604 WITH SCORE 12776.387
AT ITER 1191 NEW BEST:: SOT 236186 SOS 172398 HAS SOPS 101490 HAS SOUS 21736 HAS SOUPS 12603 WITH SCORE 12775.398
AT ITER 1195 NEW BEST:: SOT 236250 SOS 172110 HAS SOPS 101554 HAS SOUS 21704 HAS SOUPS 12603 WITH SCORE 12775.11
AT ITER 1201 NEW BEST:: SOT 235905 SOS 171238 HAS SOPS 101166 HAS SOUS 21711 HAS SOUPS 12595 WITH SCORE 12766.238
AT ITER 1206 NEW BEST:: SOT 235895 SOS 171056 HAS SOPS 101028 HAS SOUS 21704 HAS SOUPS 12592 WITH SCORE 12763.056
AT ITER 1212 NEW BEST:: SOT 235875 SOS 170061 HAS SOPS 100033 HAS SOUS 21694 HAS SOUPS 12582 WITH SCORE 12752.061
AT ITER 1216 NEW BEST:: SOT 235851 SOS 170233 HAS SOPS 100205 HAS SOUS 21666 HAS SOUPS 12554 WITH SCORE 12724.233
AT ITER 1228 NEW BEST:: SOT 235846 SOS 169874 HAS SOPS 100363 HAS SOUS 21612 HAS SOUPS 12547 WITH SCORE 12716.874
AT ITER 1272 NEW BEST:: SOT 235844 SOS 169895 HAS SOPS 100371 HAS SOUS 21611 HAS SOUPS 12546 WITH SCORE 12715.895
AT ITER 1281 NEW BEST:: SOT 235577 SOS 169361 HAS SOPS 100211 HAS SOUS 21586 HAS SOUPS 12543 WITH SCORE 12712.361
AT ITER 1309 NEW BEST:: SOT 235584 SOS 168058 HAS SOPS 99216 HAS SOUS 21531 HAS SOUPS 12516 WITH SCORE 12684.058
AT ITER 1317 NEW BEST:: SOT 235582 SOS 168054 HAS SOPS 99212 HAS SOUS 21528 HAS SOUPS 12513 WITH SCORE 12681.054
AT ITER 1350 NEW BEST:: SOT 235426 SOS 167898 HAS SOPS 99056 HAS SOUS 21483 HAS SOUPS 12488 WITH SCORE 12655.898
AT ITER 1354 NEW BEST:: SOT 235560 SOS 168069 HAS SOPS 99042 HAS SOUS 21394 HAS SOUPS 12399 WITH SCORE 12567.069
AT ITER 1357 NEW BEST:: SOT 235101 SOS 164674 HAS SOPS 96555 HAS SOUS 21355 HAS SOUPS 12400 WITH SCORE 12564.674
AT ITER 1359 NEW BEST:: SOT 235117 SOS 164693 HAS SOPS 96559 HAS SOUS 21352 HAS SOUPS 12397 WITH SCORE 12561.693
AT ITER 1360 NEW BEST:: SOT 235108 SOS 164657 HAS SOPS 96469 HAS SOUS 21361 HAS SOUPS 12397 WITH SCORE 12561.657
AT ITER 1392 NEW BEST:: SOT 235247 SOS 164976 HAS SOPS 96564 HAS SOUS 21330 HAS SOUPS 12373 WITH SCORE 12537.976
AT ITER 1412 NEW BEST:: SOT 235247 SOS 164976 HAS SOPS 96564 HAS SOUS 21204 HAS SOUPS 12303 WITH SCORE 12467.976
AT ITER 1418 NEW BEST:: SOT 235412 SOS 165425 HAS SOPS 96693 HAS SOUS 21099 HAS SOUPS 12199 WITH SCORE 12364.425
AT ITER 1423 NEW BEST:: SOT 235412 SOS 165425 HAS SOPS 96693 HAS SOUS 21090 HAS SOUPS 12194 WITH SCORE 12359.425
AT ITER 1424 NEW BEST:: SOT 235446 SOS 165358 HAS SOPS 96691 HAS SOUS 21087 HAS SOUPS 12191 WITH SCORE 12356.358
AT ITER 1429 NEW BEST:: SOT 235437 SOS 165349 HAS SOPS 96688 HAS SOUS 21084 HAS SOUPS 12188 WITH SCORE 12353.349
AT ITER 1461 NEW BEST:: SOT 235377 SOS 165289 HAS SOPS 96438 HAS SOUS 21150 HAS SOUPS 12102 WITH SCORE 12267.289
AT ITER 1479 NEW BEST:: SOT 235237 SOS 164173 HAS SOPS 95806 HAS SOUS 21054 HAS SOUPS 12050 WITH SCORE 12214.173
AT ITER 1512 NEW BEST:: SOT 235273 SOS 164100 HAS SOPS 95820 HAS SOUS 21047 HAS SOUPS 12043 WITH SCORE 12207.1
AT ITER 1516 NEW BEST:: SOT 235155 SOS 163817 HAS SOPS 95580 HAS SOUS 21054 HAS SOUPS 12039 WITH SCORE 12202.817
AT ITER 1518 NEW BEST:: SOT 235325 SOS 164168 HAS SOPS 95681 HAS SOUS 21048 HAS SOUPS 12028 WITH SCORE 12192.168
AT ITER 1523 NEW BEST:: SOT 235333 SOS 163988 HAS SOPS 95545 HAS SOUS 21044 HAS SOUPS 12028 WITH SCORE 12191.988
AT ITER 1528 NEW BEST:: SOT 235237 SOS 163866 HAS SOPS 95464 HAS SOUS 21003 HAS SOUPS 12002 WITH SCORE 12165.866
AT ITER 1534 NEW BEST:: SOT 235304 SOS 163892 HAS SOPS 95488 HAS SOUS 20934 HAS SOUPS 11947 WITH SCORE 12110.892
AT ITER 1539 NEW BEST:: SOT 235695 SOS 164329 HAS SOPS 95661 HAS SOUS 20878 HAS SOUPS 11891 WITH SCORE 12055.329
AT ITER 1543 NEW BEST:: SOT 235644 SOS 165471 HAS SOPS 96528 HAS SOUS 20862 HAS SOUPS 11850 WITH SCORE 12015.471
AT ITER 1553 NEW BEST:: SOT 235614 SOS 165158 HAS SOPS 96215 HAS SOUS 20852 HAS SOUPS 11840 WITH SCORE 12005.158
AT ITER 1574 NEW BEST:: SOT 235540 SOS 164806 HAS SOPS 96083 HAS SOUS 20814 HAS SOUPS 11822 WITH SCORE 11986.806
AT ITER 1599 NEW BEST:: SOT 235548 SOS 164795 HAS SOPS 96072 HAS SOUS 20787 HAS SOUPS 11811 WITH SCORE 11975.795
AT ITER 1618 NEW BEST:: SOT 235534 SOS 164690 HAS SOPS 95890 HAS SOUS 20787 HAS SOUPS 11804 WITH SCORE 11968.69
AT ITER 1623 NEW BEST:: SOT 235709 SOS 165080 HAS SOPS 96034 HAS SOUS 20774 HAS SOUPS 11800 WITH SCORE 11965.08
AT ITER 1645 NEW BEST:: SOT 235685 SOS 164948 HAS SOPS 96070 HAS SOUS 20753 HAS SOUPS 11800 WITH SCORE 11964.948
AT ITER 1651 NEW BEST:: SOT 235895 SOS 165383 HAS SOPS 96195 HAS SOUS 20750 HAS SOUPS 11785 WITH SCORE 11950.383
AT ITER 1661 NEW BEST:: SOT 236075 SOS 165587 HAS SOPS 96291 HAS SOUS 20723 HAS SOUPS 11758 WITH SCORE 11923.587
AT ITER 1670 NEW BEST:: SOT 236057 SOS 165569 HAS SOPS 96273 HAS SOUS 20723 HAS SOUPS 11758 WITH SCORE 11923.569
AT ITER 1672 NEW BEST:: SOT 236052 SOS 165564 HAS SOPS 96273 HAS SOUS 20723 HAS SOUPS 11758 WITH SCORE 11923.564
AT ITER 1695 NEW BEST:: SOT 236045 SOS 165469 HAS SOPS 96222 HAS SOUS 20712 HAS SOUPS 11751 WITH SCORE 11916.469
AT ITER 1793 NEW BEST:: SOT 235986 SOS 165219 HAS SOPS 95708 HAS SOUS 20668 HAS SOUPS 11674 WITH SCORE 11839.219
AT ITER 1795 NEW BEST:: SOT 236808 SOS 166067 HAS SOPS 96046 HAS SOUS 20634 HAS SOUPS 11644 WITH SCORE 11810.067
AT ITER 1819 NEW BEST:: SOT 237237 SOS 166496 HAS SOPS 96241 HAS SOUS 20611 HAS SOUPS 11621 WITH SCORE 11787.496
AT ITER 1829 NEW BEST:: SOT 237245 SOS 166348 HAS SOPS 96280 HAS SOUS 20589 HAS SOUPS 11616 WITH SCORE 11782.348
AT ITER 1846 NEW BEST:: SOT 237244 SOS 166347 HAS SOPS 96280 HAS SOUS 20587 HAS SOUPS 11614 WITH SCORE 11780.347
AT ITER 1867 NEW BEST:: SOT 237242 SOS 166321 HAS SOPS 96254 HAS SOUS 20587 HAS SOUPS 11614 WITH SCORE 11780.321
AT ITER 1870 NEW BEST:: SOT 237242 SOS 166321 HAS SOPS 96254 HAS SOUS 20497 HAS SOUPS 11564 WITH SCORE 11730.321
AT ITER 1884 NEW BEST:: SOT 237242 SOS 166321 HAS SOPS 96254 HAS SOUS 20488 HAS SOUPS 11559 WITH SCORE 11725.321
AT ITER 1889 NEW BEST:: SOT 237239 SOS 166318 HAS SOPS 96254 HAS SOUS 20464 HAS SOUPS 11543 WITH SCORE 11709.318
AT ITER 1936 NEW BEST:: SOT 237218 SOS 166297 HAS SOPS 96254 HAS SOUS 20464 HAS SOUPS 11543 WITH SCORE 11709.297
AT ITER 1950 NEW BEST:: SOT 236930 SOS 166009 HAS SOPS 95966 HAS SOUS 20464 HAS SOUPS 11543 WITH SCORE 11709.009
AT ITER 1951 NEW BEST:: SOT 236816 SOS 165895 HAS SOPS 95852 HAS SOUS 20464 HAS SOUPS 11543 WITH SCORE 11708.895
AT ITER 1957 NEW BEST:: SOT 236774 SOS 161863 HAS SOPS 91820 HAS SOUS 20426 HAS SOUPS 11505 WITH SCORE 11666.863
AT ITER 1967 NEW BEST:: SOT 236774 SOS 161863 HAS SOPS 91820 HAS SOUS 20345 HAS SOUPS 11460 WITH SCORE 11621.863
AT ITER 1968 NEW BEST:: SOT 236776 SOS 161775 HAS SOPS 91776 HAS SOUS 20341 HAS SOUPS 11458 WITH SCORE 11619.775
AT ITER 1996 NEW BEST:: SOT 236853 SOS 161901 HAS SOPS 91818 HAS SOUS 20327 HAS SOUPS 11444 WITH SCORE 11605.901
AT ITER 2021 NEW BEST:: SOT 236891 SOS 161882 HAS SOPS 92448 HAS SOUS 20252 HAS SOUPS 11428 WITH SCORE 11589.882
AT ITER 2034 NEW BEST:: SOT 236486 SOS 161022 HAS SOPS 92202 HAS SOUS 20250 HAS SOUPS 11427 WITH SCORE 11588.022
AT ITER 2046 NEW BEST:: SOT 236484 SOS 159598 HAS SOPS 90780 HAS SOUS 20220 HAS SOUPS 11397 WITH SCORE 11556.598
AT ITER 2065 NEW BEST:: SOT 236484 SOS 159598 HAS SOPS 90780 HAS SOUS 20211 HAS SOUPS 11392 WITH SCORE 11551.598
AT ITER 2072 NEW BEST:: SOT 236540 SOS 159971 HAS SOPS 90834 HAS SOUS 20234 HAS SOUPS 11386 WITH SCORE 11545.971
AT ITER 2088 NEW BEST:: SOT 236520 SOS 159861 HAS SOPS 90724 HAS SOUS 20216 HAS SOUPS 11368 WITH SCORE 11527.861
AT ITER 2112 NEW BEST:: SOT 236520 SOS 159861 HAS SOPS 90724 HAS SOUS 20198 HAS SOUPS 11358 WITH SCORE 11517.861
AT ITER 2117 NEW BEST:: SOT 236519 SOS 159823 HAS SOPS 90719 HAS SOUS 20194 HAS SOUPS 11357 WITH SCORE 11516.823
AT ITER 2124 NEW BEST:: SOT 236519 SOS 159823 HAS SOPS 90719 HAS SOUS 20182 HAS SOUPS 11345 WITH SCORE 11504.823
AT ITER 2162 NEW BEST:: SOT 236435 SOS 159739 HAS SOPS 90635 HAS SOUS 20182 HAS SOUPS 11345 WITH SCORE 11504.739
AT ITER 2173 NEW BEST:: SOT 236380 SOS 159684 HAS SOPS 90635 HAS SOUS 20194 HAS SOUPS 11333 WITH SCORE 11492.684
AT ITER 2191 NEW BEST:: SOT 236356 SOS 159660 HAS SOPS 90611 HAS SOUS 20158 HAS SOUPS 11313 WITH SCORE 11472.66
AT ITER 2194 NEW BEST:: SOT 236342 SOS 159637 HAS SOPS 90606 HAS SOUS 20148 HAS SOUPS 11308 WITH SCORE 11467.637
AT ITER 2208 NEW BEST:: SOT 236294 SOS 158783 HAS SOPS 89296 HAS SOUS 20118 HAS SOUPS 11221 WITH SCORE 11379.783
AT ITER 2210 NEW BEST:: SOT 236256 SOS 158745 HAS SOPS 89296 HAS SOUS 20072 HAS SOUPS 11175 WITH SCORE 11333.745
AT ITER 2244 NEW BEST:: SOT 236246 SOS 158735 HAS SOPS 89296 HAS SOUS 20072 HAS SOUPS 11175 WITH SCORE 11333.735
AT ITER 2250 NEW BEST:: SOT 236246 SOS 158735 HAS SOPS 89296 HAS SOUS 20054 HAS SOUPS 11165 WITH SCORE 11323.735
AT ITER 2262 NEW BEST:: SOT 235880 SOS 158215 HAS SOPS 88950 HAS SOUS 20052 HAS SOUPS 11163 WITH SCORE 11321.215
AT ITER 2293 NEW BEST:: SOT 235880 SOS 158215 HAS SOPS 88950 HAS SOUS 20043 HAS SOUPS 11158 WITH SCORE 11316.215
AT ITER 2328 NEW BEST:: SOT 235880 SOS 158223 HAS SOPS 88958 HAS SOUS 20035 HAS SOUPS 11150 WITH SCORE 11308.223
AT ITER 2349 NEW BEST:: SOT 235851 SOS 158748 HAS SOPS 89075 HAS SOUS 20020 HAS SOUPS 11104 WITH SCORE 11262.748
AT ITER 2379 NEW BEST:: SOT 235853 SOS 158742 HAS SOPS 89075 HAS SOUS 20018 HAS SOUPS 11102 WITH SCORE 11260.742
AT ITER 2394 NEW BEST:: SOT 235835 SOS 158634 HAS SOPS 89057 HAS SOUS 19983 HAS SOUPS 11085 WITH SCORE 11243.634
AT ITER 2401 NEW BEST:: SOT 235817 SOS 158616 HAS SOPS 89039 HAS SOUS 19968 HAS SOUPS 11077 WITH SCORE 11235.616
AT ITER 2410 NEW BEST:: SOT 235817 SOS 158541 HAS SOPS 88924 HAS SOUS 19973 HAS SOUPS 11077 WITH SCORE 11235.541
AT ITER 2420 NEW BEST:: SOT 235829 SOS 156955 HAS SOPS 88108 HAS SOUS 19865 HAS SOUPS 11004 WITH SCORE 11160.955
AT ITER 2445 NEW BEST:: SOT 235816 SOS 156942 HAS SOPS 88108 HAS SOUS 19839 HAS SOUPS 10978 WITH SCORE 11134.942
AT ITER 2449 NEW BEST:: SOT 235805 SOS 156931 HAS SOPS 88097 HAS SOUS 19837 HAS SOUPS 10976 WITH SCORE 11132.931
AT ITER 2462 NEW BEST:: SOT 235787 SOS 156829 HAS SOPS 88083 HAS SOUS 19819 HAS SOUPS 10969 WITH SCORE 11125.829
AT ITER 2474 NEW BEST:: SOT 235786 SOS 156808 HAS SOPS 88062 HAS SOUS 19818 HAS SOUPS 10968 WITH SCORE 11124.808
AT ITER 2475 NEW BEST:: SOT 235780 SOS 156796 HAS SOPS 88050 HAS SOUS 19812 HAS SOUPS 10962 WITH SCORE 11118.796
AT ITER 2492 NEW BEST:: SOT 235762 SOS 156778 HAS SOPS 88032 HAS SOUS 19785 HAS SOUPS 10947 WITH SCORE 11103.778
AT ITER 2495 NEW BEST:: SOT 235757 SOS 156823 HAS SOPS 88077 HAS SOUS 19757 HAS SOUPS 10919 WITH SCORE 11075.823
AT ITER 2498 NEW BEST:: SOT 235783 SOS 156842 HAS SOPS 88096 HAS SOUS 19747 HAS SOUPS 10909 WITH SCORE 11065.842
AT ITER 2525 NEW BEST:: SOT 235717 SOS 156776 HAS SOPS 88030 HAS SOUS 19747 HAS SOUPS 10909 WITH SCORE 11065.776
AT ITER 2558 NEW BEST:: SOT 235717 SOS 156776 HAS SOPS 88030 HAS SOUS 19711 HAS SOUPS 10889 WITH SCORE 11045.776
AT ITER 2563 NEW BEST:: SOT 235717 SOS 156743 HAS SOPS 87997 HAS SOUS 19705 HAS SOUPS 10883 WITH SCORE 11039.743
AT ITER 2581 NEW BEST:: SOT 235720 SOS 155212 HAS SOPS 86466 HAS SOUS 19673 HAS SOUPS 10851 WITH SCORE 11006.212
AT ITER 2588 NEW BEST:: SOT 235630 SOS 155026 HAS SOPS 86260 HAS SOUS 19676 HAS SOUPS 10841 WITH SCORE 10996.026
AT ITER 2608 NEW BEST:: SOT 235624 SOS 154978 HAS SOPS 86212 HAS SOUS 19669 HAS SOUPS 10834 WITH SCORE 10988.978
AT ITER 2625 NEW BEST:: SOT 235547 SOS 154853 HAS SOPS 86177 HAS SOUS 19606 HAS SOUPS 10798 WITH SCORE 10952.853
AT ITER 2630 NEW BEST:: SOT 235547 SOS 154816 HAS SOPS 86140 HAS SOUS 19605 HAS SOUPS 10797 WITH SCORE 10951.816
AT ITER 2636 NEW BEST:: SOT 235257 SOS 154320 HAS SOPS 85938 HAS SOUS 19546 HAS SOUPS 10759 WITH SCORE 10913.32
AT ITER 2640 NEW BEST:: SOT 234641 SOS 153466 HAS SOPS 85396 HAS SOUS 19533 HAS SOUPS 10746 WITH SCORE 10899.466
AT ITER 2656 NEW BEST:: SOT 234633 SOS 153472 HAS SOPS 85578 HAS SOUS 19491 HAS SOUPS 10720 WITH SCORE 10873.472
AT ITER 2658 NEW BEST:: SOT 234717 SOS 153640 HAS SOPS 85627 HAS SOUS 19495 HAS SOUPS 10717 WITH SCORE 10870.64
AT ITER 2670 NEW BEST:: SOT 234733 SOS 153648 HAS SOPS 85635 HAS SOUS 19489 HAS SOUPS 10713 WITH SCORE 10866.648
AT ITER 2686 NEW BEST:: SOT 234731 SOS 153646 HAS SOPS 85635 HAS SOUS 19489 HAS SOUPS 10713 WITH SCORE 10866.646
AT ITER 2716 NEW BEST:: SOT 234719 SOS 153634 HAS SOPS 85623 HAS SOUS 19489 HAS SOUPS 10713 WITH SCORE 10866.634
AT ITER 2719 NEW BEST:: SOT 234719 SOS 153766 HAS SOPS 85623 HAS SOUS 19465 HAS SOUPS 10677 WITH SCORE 10830.766
AT ITER 2721 NEW BEST:: SOT 234723 SOS 153744 HAS SOPS 85553 HAS SOUS 19465 HAS SOUPS 10671 WITH SCORE 10824.744
AT ITER 2729 NEW BEST:: SOT 234831 SOS 153960 HAS SOPS 85616 HAS SOUS 19465 HAS SOUPS 10662 WITH SCORE 10815.96
AT ITER 2743 NEW BEST:: SOT 234517 SOS 153309 HAS SOPS 85429 HAS SOUS 19448 HAS SOUPS 10655 WITH SCORE 10808.309
AT ITER 2763 NEW BEST:: SOT 234251 SOS 152568 HAS SOPS 84802 HAS SOUS 19410 HAS SOUPS 10617 WITH SCORE 10769.568
AT ITER 2793 NEW BEST:: SOT 234240 SOS 152544 HAS SOPS 84794 HAS SOUS 19408 HAS SOUPS 10616 WITH SCORE 10768.544
AT ITER 2805 NEW BEST:: SOT 234239 SOS 152542 HAS SOPS 84792 HAS SOUS 19408 HAS SOUPS 10616 WITH SCORE 10768.542
AT ITER 2807 NEW BEST:: SOT 234232 SOS 152535 HAS SOPS 84785 HAS SOUS 19401 HAS SOUPS 10609 WITH SCORE 10761.535
AT ITER 2815 NEW BEST:: SOT 234162 SOS 152318 HAS SOPS 84568 HAS SOUS 19394 HAS SOUPS 10595 WITH SCORE 10747.318
AT ITER 2817 NEW BEST:: SOT 234126 SOS 152282 HAS SOPS 84532 HAS SOUS 19394 HAS SOUPS 10595 WITH SCORE 10747.282
AT ITER 2828 NEW BEST:: SOT 234119 SOS 152185 HAS SOPS 84435 HAS SOUS 19387 HAS SOUPS 10588 WITH SCORE 10740.185
AT ITER 2860 NEW BEST:: SOT 234131 SOS 152209 HAS SOPS 84442 HAS SOUS 19387 HAS SOUPS 10587 WITH SCORE 10739.209
AT ITER 2874 NEW BEST:: SOT 234119 SOS 152095 HAS SOPS 84280 HAS SOUS 19369 HAS SOUPS 10563 WITH SCORE 10715.095
AT ITER 2927 NEW BEST:: SOT 234119 SOS 152095 HAS SOPS 84280 HAS SOUS 19315 HAS SOUPS 10533 WITH SCORE 10685.095
AT ITER 2934 NEW BEST:: SOT 234123 SOS 152058 HAS SOPS 84243 HAS SOUS 19300 HAS SOUPS 10518 WITH SCORE 10670.058
AT ITER 2988 NEW BEST:: SOT 234123 SOS 152058 HAS SOPS 84243 HAS SOUS 19289 HAS SOUPS 10507 WITH SCORE 10659.058
AT ITER 3031 NEW BEST:: SOT 234119 SOS 152140 HAS SOPS 84021 HAS SOUS 19310 HAS SOUPS 10502 WITH SCORE 10654.14
AT ITER 3046 NEW BEST:: SOT 234112 SOS 152056 HAS SOPS 84014 HAS SOUS 19302 HAS SOUPS 10501 WITH SCORE 10653.056
AT ITER 3079 NEW BEST:: SOT 233876 SOS 150306 HAS SOPS 82570 HAS SOUS 19264 HAS SOUPS 10481 WITH SCORE 10631.306
AT ITER 3090 NEW BEST:: SOT 233778 SOS 150208 HAS SOPS 82568 HAS SOUS 19262 HAS SOUPS 10479 WITH SCORE 10629.208
AT ITER 3127 NEW BEST:: SOT 233774 SOS 150156 HAS SOPS 82538 HAS SOUS 19256 HAS SOUPS 10475 WITH SCORE 10625.156
AT ITER 3132 NEW BEST:: SOT 233769 SOS 150151 HAS SOPS 82538 HAS SOUS 19256 HAS SOUPS 10475 WITH SCORE 10625.151
AT ITER 3187 NEW BEST:: SOT 233766 SOS 150079 HAS SOPS 82466 HAS SOUS 19236 HAS SOUPS 10455 WITH SCORE 10605.079
AT ITER 3201 NEW BEST:: SOT 233771 SOS 149975 HAS SOPS 82398 HAS SOUS 19229 HAS SOUPS 10448 WITH SCORE 10597.975
AT ITER 3202 NEW BEST:: SOT 233319 SOS 148996 HAS SOPS 82079 HAS SOUS 19207 HAS SOUPS 10447 WITH SCORE 10595.996
AT ITER 3239 NEW BEST:: SOT 233297 SOS 148974 HAS SOPS 82069 HAS SOUS 19205 HAS SOUPS 10445 WITH SCORE 10593.974
AT ITER 3258 NEW BEST:: SOT 233288 SOS 148956 HAS SOPS 82057 HAS SOUS 19190 HAS SOUPS 10433 WITH SCORE 10581.956
AT ITER 3306 NEW BEST:: SOT 232970 SOS 148238 HAS SOPS 81493 HAS SOUS 19166 HAS SOUPS 10408 WITH SCORE 10556.238
AT ITER 3314 NEW BEST:: SOT 232967 SOS 148232 HAS SOPS 81487 HAS SOUS 19163 HAS SOUPS 10405 WITH SCORE 10553.232
AT ITER 3346 NEW BEST:: SOT 232960 SOS 148141 HAS SOPS 81396 HAS SOUS 19156 HAS SOUPS 10398 WITH SCORE 10546.141
AT ITER 3366 NEW BEST:: SOT 232960 SOS 148141 HAS SOPS 81396 HAS SOUS 19129 HAS SOUPS 10383 WITH SCORE 10531.141
AT ITER 3375 NEW BEST:: SOT 232954 SOS 148135 HAS SOPS 81396 HAS SOUS 19129 HAS SOUPS 10383 WITH SCORE 10531.135
AT ITER 3390 NEW BEST:: SOT 232914 SOS 148055 HAS SOPS 81376 HAS SOUS 19119 HAS SOUPS 10383 WITH SCORE 10531.055
AT ITER 3397 NEW BEST:: SOT 233002 SOS 148143 HAS SOPS 81416 HAS SOUS 19111 HAS SOUPS 10375 WITH SCORE 10523.143
AT ITER 3457 NEW BEST:: SOT 232913 SOS 147965 HAS SOPS 81416 HAS SOUS 19082 HAS SOUPS 10375 WITH SCORE 10522.965
AT ITER 3463 NEW BEST:: SOT 232912 SOS 147964 HAS SOPS 81416 HAS SOUS 19082 HAS SOUPS 10375 WITH SCORE 10522.964
AT ITER 3499 NEW BEST:: SOT 232953 SOS 147982 HAS SOPS 81393 HAS SOUS 19057 HAS SOUPS 10370 WITH SCORE 10517.982
AT ITER 3513 NEW BEST:: SOT 232927 SOS 147788 HAS SOPS 81233 HAS SOUS 19053 HAS SOUPS 10368 WITH SCORE 10515.788
AT ITER 3521 NEW BEST:: SOT 232926 SOS 147783 HAS SOPS 81228 HAS SOUS 19042 HAS SOUPS 10357 WITH SCORE 10504.783
AT ITER 3595 NEW BEST:: SOT 232908 SOS 147461 HAS SOPS 81192 HAS SOUS 19016 HAS SOUPS 10357 WITH SCORE 10504.461
AT ITER 3615 NEW BEST:: SOT 232938 SOS 147298 HAS SOPS 81348 HAS SOUS 18985 HAS SOUPS 10355 WITH SCORE 10502.298
AT ITER 3637 NEW BEST:: SOT 232804 SOS 147347 HAS SOPS 81250 HAS SOUS 18890 HAS SOUPS 10274 WITH SCORE 10421.347
AT ITER 3643 NEW BEST:: SOT 232809 SOS 147292 HAS SOPS 81250 HAS SOUS 18885 HAS SOUPS 10274 WITH SCORE 10421.292
AT ITER 3657 NEW BEST:: SOT 232808 SOS 147268 HAS SOPS 81237 HAS SOUS 18884 HAS SOUPS 10274 WITH SCORE 10421.268
AT ITER 3685 NEW BEST:: SOT 232791 SOS 147380 HAS SOPS 81294 HAS SOUS 18885 HAS SOUPS 10270 WITH SCORE 10417.38
AT ITER 3710 NEW BEST:: SOT 232800 SOS 146509 HAS SOPS 80423 HAS SOUS 18868 HAS SOUPS 10253 WITH SCORE 10399.509
AT ITER 3744 NEW BEST:: SOT 232739 SOS 146448 HAS SOPS 80423 HAS SOUS 18868 HAS SOUPS 10253 WITH SCORE 10399.448
AT ITER 3770 NEW BEST:: SOT 232570 SOS 146077 HAS SOPS 80273 HAS SOUS 18839 HAS SOUPS 10237 WITH SCORE 10383.077
AT ITER 3788 NEW BEST:: SOT 232562 SOS 146373 HAS SOPS 80249 HAS SOUS 18867 HAS SOUPS 10225 WITH SCORE 10371.373
AT ITER 3804 NEW BEST:: SOT 232562 SOS 146352 HAS SOPS 80249 HAS SOUS 18860 HAS SOUPS 10225 WITH SCORE 10371.352
AT ITER 3847 NEW BEST:: SOT 232556 SOS 146329 HAS SOPS 80281 HAS SOUS 18852 HAS SOUPS 10222 WITH SCORE 10368.329
AT ITER 3870 NEW BEST:: SOT 232552 SOS 146122 HAS SOPS 80107 HAS SOUS 18848 HAS SOUPS 10221 WITH SCORE 10367.122
AT ITER 3909 NEW BEST:: SOT 232552 SOS 146122 HAS SOPS 80107 HAS SOUS 18839 HAS SOUPS 10216 WITH SCORE 10362.122
AT ITER 3923 NEW BEST:: SOT 232548 SOS 146046 HAS SOPS 80097 HAS SOUS 18823 HAS SOUPS 10206 WITH SCORE 10352.046
AT ITER 3937 NEW BEST:: SOT 232190 SOS 143911 HAS SOPS 78595 HAS SOUS 18802 HAS SOUPS 10208 WITH SCORE 10351.911
AT ITER 3950 NEW BEST:: SOT 231964 SOS 143421 HAS SOPS 78445 HAS SOUS 18767 HAS SOUPS 10193 WITH SCORE 10336.421
AT ITER 4036 NEW BEST:: SOT 231965 SOS 143410 HAS SOPS 78445 HAS SOUS 18766 HAS SOUPS 10193 WITH SCORE 10336.41
AT ITER 4042 NEW BEST:: SOT 231957 SOS 143306 HAS SOPS 78429 HAS SOUS 18758 HAS SOUPS 10193 WITH SCORE 10336.306
AT ITER 4048 NEW BEST:: SOT 231995 SOS 142816 HAS SOPS 78009 HAS SOUS 18748 HAS SOUPS 10191 WITH SCORE 10333.816
AT ITER 4088 NEW BEST:: SOT 231767 SOS 142547 HAS SOPS 77806 HAS SOUS 18759 HAS SOUPS 10187 WITH SCORE 10329.547
AT ITER 4187 NEW BEST:: SOT 231711 SOS 142435 HAS SOPS 77771 HAS SOUS 18759 HAS SOUPS 10187 WITH SCORE 10329.435
AT ITER 4221 NEW BEST:: SOT 231711 SOS 142435 HAS SOPS 77771 HAS SOUS 18687 HAS SOUPS 10147 WITH SCORE 10289.435
AT ITER 4255 NEW BEST:: SOT 231700 SOS 141724 HAS SOPS 77060 HAS SOUS 18685 HAS SOUPS 10145 WITH SCORE 10286.724
AT ITER 4282 NEW BEST:: SOT 231596 SOS 141428 HAS SOPS 76812 HAS SOUS 18677 HAS SOUPS 10137 WITH SCORE 10278.428
AT ITER 4297 NEW BEST:: SOT 231596 SOS 141428 HAS SOPS 76812 HAS SOUS 18641 HAS SOUPS 10117 WITH SCORE 10258.428
AT ITER 4317 NEW BEST:: SOT 231598 SOS 141415 HAS SOPS 76821 HAS SOUS 18638 HAS SOUPS 10116 WITH SCORE 10257.415
AT ITER 4322 NEW BEST:: SOT 231598 SOS 141295 HAS SOPS 76701 HAS SOUS 18638 HAS SOUPS 10116 WITH SCORE 10257.295
AT ITER 4365 NEW BEST:: SOT 231602 SOS 141319 HAS SOPS 76703 HAS SOUS 18636 HAS SOUPS 10112 WITH SCORE 10253.319
AT ITER 4369 NEW BEST:: SOT 231602 SOS 141319 HAS SOPS 76703 HAS SOUS 18630 HAS SOUPS 10108 WITH SCORE 10249.319
AT ITER 4380 NEW BEST:: SOT 231606 SOS 141206 HAS SOPS 76590 HAS SOUS 18627 HAS SOUPS 10105 WITH SCORE 10246.206
AT ITER 4381 NEW BEST:: SOT 231592 SOS 141192 HAS SOPS 76590 HAS SOUS 18609 HAS SOUPS 10087 WITH SCORE 10228.192
AT ITER 4393 NEW BEST:: SOT 231576 SOS 141160 HAS SOPS 76580 HAS SOUS 18609 HAS SOUPS 10087 WITH SCORE 10228.16
AT ITER 4504 NEW BEST:: SOT 231556 SOS 141039 HAS SOPS 76459 HAS SOUS 18604 HAS SOUPS 10082 WITH SCORE 10223.039
AT ITER 4551 NEW BEST:: SOT 231548 SOS 141031 HAS SOPS 76459 HAS SOUS 18604 HAS SOUPS 10082 WITH SCORE 10223.031
AT ITER 4608 NEW BEST:: SOT 231512 SOS 141039 HAS SOPS 76379 HAS SOUS 18586 HAS SOUPS 10061 WITH SCORE 10202.039
AT ITER 4647 NEW BEST:: SOT 231508 SOS 141035 HAS SOPS 76375 HAS SOUS 18584 HAS SOUPS 10059 WITH SCORE 10200.035
AT ITER 4662 NEW BEST:: SOT 231508 SOS 141035 HAS SOPS 76375 HAS SOUS 18566 HAS SOUPS 10049 WITH SCORE 10190.035
AT ITER 4663 NEW BEST:: SOT 231494 SOS 140995 HAS SOPS 76341 HAS SOUS 18564 HAS SOUPS 10047 WITH SCORE 10187.995
AT ITER 4678 NEW BEST:: SOT 231494 SOS 140995 HAS SOPS 76341 HAS SOUS 18546 HAS SOUPS 10037 WITH SCORE 10177.995
AT ITER 4691 NEW BEST:: SOT 231483 SOS 140984 HAS SOPS 76336 HAS SOUS 18546 HAS SOUPS 10037 WITH SCORE 10177.984
AT ITER 4706 NEW BEST:: SOT 231478 SOS 140969 HAS SOPS 76321 HAS SOUS 18535 HAS SOUPS 10026 WITH SCORE 10166.969
AT ITER 4722 NEW BEST:: SOT 231286 SOS 140585 HAS SOPS 76209 HAS SOUS 18511 HAS SOUPS 10018 WITH SCORE 10158.585
AT ITER 4739 NEW BEST:: SOT 231286 SOS 140585 HAS SOPS 76209 HAS SOUS 18448 HAS SOUPS 9983 WITH SCORE 10123.585
AT ITER 4825 NEW BEST:: SOT 231176 SOS 140475 HAS SOPS 76159 HAS SOUS 18444 HAS SOUPS 9979 WITH SCORE 10119.475
AT ITER 4877 NEW BEST:: SOT 231178 SOS 140462 HAS SOPS 76168 HAS SOUS 18441 HAS SOUPS 9978 WITH SCORE 10118.462
AT ITER 4883 NEW BEST:: SOT 231175 SOS 140459 HAS SOPS 76168 HAS SOUS 18441 HAS SOUPS 9978 WITH SCORE 10118.459
AT ITER 4903 NEW BEST:: SOT 231163 SOS 140423 HAS SOPS 76148 HAS SOUS 18438 HAS SOUPS 9976 WITH SCORE 10116.423
AT ITER 4915 NEW BEST:: SOT 231118 SOS 140869 HAS SOPS 76594 HAS SOUS 18409 HAS SOUPS 9947 WITH SCORE 10087.869
AT ITER 4932 NEW BEST:: SOT 231061 SOS 141517 HAS SOPS 76802 HAS SOUS 18437 HAS SOUPS 9935 WITH SCORE 10076.517
AT ITER 4966 NEW BEST:: SOT 231061 SOS 141517 HAS SOPS 76802 HAS SOUS 18428 HAS SOUPS 9926 WITH SCORE 10067.517
AT ITER 4972 NEW BEST:: SOT 231111 SOS 141024 HAS SOPS 76518 HAS SOUS 18389 HAS SOUPS 9906 WITH SCORE 10047.024
AT ITER 5033 NEW BEST:: SOT 231111 SOS 141024 HAS SOPS 76518 HAS SOUS 18362 HAS SOUPS 9891 WITH SCORE 10032.024
AT ITER 5108 NEW BEST:: SOT 231112 SOS 141015 HAS SOPS 76509 HAS SOUS 18361 HAS SOUPS 9890 WITH SCORE 10031.015
AT ITER 5139 NEW BEST:: SOT 231112 SOS 141015 HAS SOPS 76509 HAS SOUS 18334 HAS SOUPS 9875 WITH SCORE 10016.015
AT ITER 5162 NEW BEST:: SOT 231112 SOS 141002 HAS SOPS 76507 HAS SOUS 18331 HAS SOUPS 9873 WITH SCORE 10014.002
AT ITER 5211 NEW BEST:: SOT 231050 SOS 141335 HAS SOPS 76664 HAS SOUS 18343 HAS SOUPS 9869 WITH SCORE 10010.335
AT ITER 5275 NEW BEST:: SOT 231049 SOS 141463 HAS SOPS 76792 HAS SOUS 18342 HAS SOUPS 9868 WITH SCORE 10009.463
AT ITER 5292 NEW BEST:: SOT 231053 SOS 141515 HAS SOPS 76723 HAS SOUS 18344 HAS SOUPS 9859 WITH SCORE 10000.515
AT ITER 5337 NEW BEST:: SOT 231047 SOS 141503 HAS SOPS 76711 HAS SOUS 18338 HAS SOUPS 9853 WITH SCORE 9994.503
AT ITER 5365 NEW BEST:: SOT 231047 SOS 141493 HAS SOPS 76701 HAS SOUS 18338 HAS SOUPS 9853 WITH SCORE 9994.493
AT ITER 5385 NEW BEST:: SOT 231043 SOS 141343 HAS SOPS 76573 HAS SOUS 18332 HAS SOUPS 9849 WITH SCORE 9990.343
AT ITER 5441 NEW BEST:: SOT 231043 SOS 141343 HAS SOPS 76573 HAS SOUS 18322 HAS SOUPS 9839 WITH SCORE 9980.343
AT ITER 5464 NEW BEST:: SOT 231014 SOS 141314 HAS SOPS 76573 HAS SOUS 18322 HAS SOUPS 9839 WITH SCORE 9980.314
AT ITER 5542 NEW BEST:: SOT 231011 SOS 141344 HAS SOPS 76570 HAS SOUS 18317 HAS SOUPS 9831 WITH SCORE 9972.344
AT ITER 5607 NEW BEST:: SOT 230995 SOS 141328 HAS SOPS 76554 HAS SOUS 18301 HAS SOUPS 9815 WITH SCORE 9956.328
AT ITER 5673 NEW BEST:: SOT 230992 SOS 141338 HAS SOPS 76564 HAS SOUS 18300 HAS SOUPS 9814 WITH SCORE 9955.338
AT ITER 5716 NEW BEST:: SOT 230968 SOS 141254 HAS SOPS 76540 HAS SOUS 18300 HAS SOUPS 9814 WITH SCORE 9955.254
AT ITER 5742 NEW BEST:: SOT 230696 SOS 140913 HAS SOPS 76307 HAS SOUS 18291 HAS SOUPS 9801 WITH SCORE 9941.913
AT ITER 5759 NEW BEST:: SOT 230696 SOS 140913 HAS SOPS 76307 HAS SOUS 18282 HAS SOUPS 9796 WITH SCORE 9936.913
AT ITER 5764 NEW BEST:: SOT 230695 SOS 140920 HAS SOPS 76306 HAS SOUS 18282 HAS SOUPS 9795 WITH SCORE 9935.92
AT ITER 5828 NEW BEST:: SOT 230671 SOS 140789 HAS SOPS 76287 HAS SOUS 18253 HAS SOUPS 9780 WITH SCORE 9920.789
AT ITER 5870 NEW BEST:: SOT 230651 SOS 140769 HAS SOPS 76287 HAS SOUS 18249 HAS SOUPS 9776 WITH SCORE 9916.769
AT ITER 5913 NEW BEST:: SOT 230618 SOS 140720 HAS SOPS 76262 HAS SOUS 18236 HAS SOUPS 9767 WITH SCORE 9907.72
AT ITER 6048 NEW BEST:: SOT 230546 SOS 140576 HAS SOPS 76226 HAS SOUS 18218 HAS SOUPS 9767 WITH SCORE 9907.576
AT ITER 6084 NEW BEST:: SOT 230546 SOS 140576 HAS SOPS 76226 HAS SOUS 18209 HAS SOUPS 9762 WITH SCORE 9902.576
AT ITER 6127 NEW BEST:: SOT 230541 SOS 140276 HAS SOPS 76030 HAS SOUS 18191 HAS SOUPS 9744 WITH SCORE 9884.276
AT ITER 6146 NEW BEST:: SOT 230559 SOS 140294 HAS SOPS 76030 HAS SOUS 18184 HAS SOUPS 9741 WITH SCORE 9881.294
AT ITER 6178 NEW BEST:: SOT 230552 SOS 140175 HAS SOPS 75946 HAS SOUS 18171 HAS SOUPS 9730 WITH SCORE 9870.175
AT ITER 6404 NEW BEST:: SOT 230478 SOS 139980 HAS SOPS 75852 HAS SOUS 18169 HAS SOUPS 9728 WITH SCORE 9867.98
AT ITER 6419 NEW BEST:: SOT 230391 SOS 139729 HAS SOPS 75720 HAS SOUS 18152 HAS SOUPS 9718 WITH SCORE 9857.729
AT ITER 6447 NEW BEST:: SOT 230390 SOS 139673 HAS SOPS 75785 HAS SOUS 18140 HAS SOUPS 9717 WITH SCORE 9856.673
AT ITER 6456 NEW BEST:: SOT 230058 SOS 138730 HAS SOPS 75277 HAS SOUS 18089 HAS SOUPS 9674 WITH SCORE 9812.73
AT ITER 6544 NEW BEST:: SOT 230058 SOS 138730 HAS SOPS 75277 HAS SOUS 18087 HAS SOUPS 9672 WITH SCORE 9810.73
AT ITER 6640 NEW BEST:: SOT 230057 SOS 138729 HAS SOPS 75277 HAS SOUS 18085 HAS SOUPS 9670 WITH SCORE 9808.729
AT ITER 6726 NEW BEST:: SOT 229840 SOS 138636 HAS SOPS 75184 HAS SOUS 18115 HAS SOUPS 9669 WITH SCORE 9807.636
AT ITER 6752 NEW BEST:: SOT 229854 SOS 138636 HAS SOPS 75184 HAS SOUS 18101 HAS SOUPS 9655 WITH SCORE 9793.636
AT ITER 6773 NEW BEST:: SOT 229848 SOS 138630 HAS SOPS 75184 HAS SOUS 18101 HAS SOUPS 9655 WITH SCORE 9793.63
AT ITER 6807 NEW BEST:: SOT 229845 SOS 138591 HAS SOPS 75145 HAS SOUS 18101 HAS SOUPS 9655 WITH SCORE 9793.591
AT ITER 6875 NEW BEST:: SOT 229773 SOS 138447 HAS SOPS 75103 HAS SOUS 18089 HAS SOUPS 9649 WITH SCORE 9787.447
AT ITER 6939 NEW BEST:: SOT 229765 SOS 138431 HAS SOPS 75098 HAS SOUS 18089 HAS SOUPS 9649 WITH SCORE 9787.431
AT ITER 7063 NEW BEST:: SOT 229594 SOS 138100 HAS SOPS 75007 HAS SOUS 18045 HAS SOUPS 9645 WITH SCORE 9783.1
AT ITER 7074 NEW BEST:: SOT 229588 SOS 138094 HAS SOPS 74968 HAS SOUS 18044 HAS SOUPS 9641 WITH SCORE 9779.094
AT ITER 7115 NEW BEST:: SOT 229590 SOS 138041 HAS SOPS 74933 HAS SOUS 18037 HAS SOUPS 9634 WITH SCORE 9772.041
AT ITER 7151 NEW BEST:: SOT 229569 SOS 138020 HAS SOPS 74933 HAS SOUS 18035 HAS SOUPS 9632 WITH SCORE 9770.02
AT ITER 7197 NEW BEST:: SOT 229569 SOS 137952 HAS SOPS 74872 HAS SOUS 18033 HAS SOUPS 9631 WITH SCORE 9768.952
AT ITER 7401 NEW BEST:: SOT 229569 SOS 137952 HAS SOPS 74872 HAS SOUS 18024 HAS SOUPS 9626 WITH SCORE 9763.952
AT ITER 7427 NEW BEST:: SOT 229358 SOS 137548 HAS SOPS 74503 HAS SOUS 18016 HAS SOUPS 9607 WITH SCORE 9744.548
AT ITER 7480 NEW BEST:: SOT 229491 SOS 137605 HAS SOPS 74560 HAS SOUS 17986 HAS SOUPS 9596 WITH SCORE 9733.605
AT ITER 7593 NEW BEST:: SOT 229489 SOS 137608 HAS SOPS 74563 HAS SOUS 17981 HAS SOUPS 9591 WITH SCORE 9728.608
AT ITER 7598 NEW BEST:: SOT 229478 SOS 137597 HAS SOPS 74558 HAS SOUS 17980 HAS SOUPS 9590 WITH SCORE 9727.597
AT ITER 7716 NEW BEST:: SOT 229351 SOS 137674 HAS SOPS 74465 HAS SOUS 18002 HAS SOUPS 9588 WITH SCORE 9725.674
AT ITER 7772 NEW BEST:: SOT 229349 SOS 137662 HAS SOPS 74437 HAS SOUS 17996 HAS SOUPS 9580 WITH SCORE 9717.662
AT ITER 7927 NEW BEST:: SOT 229358 SOS 137671 HAS SOPS 74440 HAS SOUS 17993 HAS SOUPS 9577 WITH SCORE 9714.671
AT ITER 7935 NEW BEST:: SOT 229298 SOS 137561 HAS SOPS 74345 HAS SOUS 17988 HAS SOUPS 9567 WITH SCORE 9704.561
AT ITER 7968 NEW BEST:: SOT 229298 SOS 137561 HAS SOPS 74345 HAS SOUS 17979 HAS SOUPS 9562 WITH SCORE 9699.561
AT ITER 8004 NEW BEST:: SOT 229298 SOS 137561 HAS SOPS 74345 HAS SOUS 17925 HAS SOUPS 9532 WITH SCORE 9669.561
AT ITER 8017 NEW BEST:: SOT 229298 SOS 137561 HAS SOPS 74345 HAS SOUS 17898 HAS SOUPS 9517 WITH SCORE 9654.561
AT ITER 8047 NEW BEST:: SOT 229298 SOS 137561 HAS SOPS 74345 HAS SOUS 17880 HAS SOUPS 9507 WITH SCORE 9644.561
AT ITER 8127 NEW BEST:: SOT 229296 SOS 137551 HAS SOPS 74343 HAS SOUS 17879 HAS SOUPS 9507 WITH SCORE 9644.551
AT ITER 8158 NEW BEST:: SOT 229296 SOS 137551 HAS SOPS 74343 HAS SOUS 17861 HAS SOUPS 9497 WITH SCORE 9634.551
AT ITER 8172 NEW BEST:: SOT 229272 SOS 137506 HAS SOPS 74331 HAS SOUS 17846 HAS SOUPS 9494 WITH SCORE 9631.506
AT ITER 8173 NEW BEST:: SOT 229272 SOS 137506 HAS SOPS 74331 HAS SOUS 17832 HAS SOUPS 9480 WITH SCORE 9617.506
AT ITER 8178 NEW BEST:: SOT 229274 SOS 137335 HAS SOPS 74193 HAS SOUS 17827 HAS SOUPS 9478 WITH SCORE 9615.335
AT ITER 8242 NEW BEST:: SOT 229334 SOS 137395 HAS SOPS 74253 HAS SOUS 17824 HAS SOUPS 9476 WITH SCORE 9613.395
AT ITER 8361 NEW BEST:: SOT 229334 SOS 137395 HAS SOPS 74253 HAS SOUS 17815 HAS SOUPS 9471 WITH SCORE 9608.395
AT ITER 8369 NEW BEST:: SOT 229336 SOS 136886 HAS SOPS 73843 HAS SOUS 17804 HAS SOUPS 9469 WITH SCORE 9605.886
AT ITER 8385 NEW BEST:: SOT 229369 SOS 136837 HAS SOPS 73863 HAS SOUS 17804 HAS SOUPS 9469 WITH SCORE 9605.837
AT ITER 8397 NEW BEST:: SOT 229084 SOS 136280 HAS SOPS 73685 HAS SOUS 17798 HAS SOUPS 9463 WITH SCORE 9599.28
AT ITER 8409 NEW BEST:: SOT 229073 SOS 136269 HAS SOPS 73680 HAS SOUS 17797 HAS SOUPS 9462 WITH SCORE 9598.269
AT ITER 8422 NEW BEST:: SOT 229067 SOS 136273 HAS SOPS 73698 HAS SOUS 17791 HAS SOUPS 9458 WITH SCORE 9594.273
AT ITER 8582 NEW BEST:: SOT 229071 SOS 136182 HAS SOPS 73589 HAS SOUS 17779 HAS SOUPS 9446 WITH SCORE 9582.182
AT ITER 8590 NEW BEST:: SOT 229071 SOS 136171 HAS SOPS 73578 HAS SOUS 17778 HAS SOUPS 9445 WITH SCORE 9581.171
AT ITER 8670 NEW BEST:: SOT 229059 SOS 136159 HAS SOPS 73566 HAS SOUS 17778 HAS SOUPS 9445 WITH SCORE 9581.159
AT ITER 8757 NEW BEST:: SOT 229059 SOS 136159 HAS SOPS 73566 HAS SOUS 17769 HAS SOUPS 9440 WITH SCORE 9576.159
AT ITER 8780 NEW BEST:: SOT 229045 SOS 136151 HAS SOPS 73522 HAS SOUS 17763 HAS SOUPS 9430 WITH SCORE 9566.151
AT ITER 8838 NEW BEST:: SOT 229023 SOS 135897 HAS SOPS 73037 HAS SOUS 17783 HAS SOUPS 9429 WITH SCORE 9564.897
AT ITER 8841 NEW BEST:: SOT 229041 SOS 135865 HAS SOPS 73001 HAS SOUS 17787 HAS SOUPS 9427 WITH SCORE 9562.865
AT ITER 8845 NEW BEST:: SOT 228563 SOS 134866 HAS SOPS 72673 HAS SOUS 17762 HAS SOUPS 9415 WITH SCORE 9549.866
AT ITER 8859 NEW BEST:: SOT 228480 SOS 134769 HAS SOPS 72618 HAS SOUS 17754 HAS SOUPS 9407 WITH SCORE 9541.769
AT ITER 8866 NEW BEST:: SOT 228468 SOS 134757 HAS SOPS 72606 HAS SOUS 17745 HAS SOUPS 9402 WITH SCORE 9536.757
AT ITER 8898 NEW BEST:: SOT 228468 SOS 134793 HAS SOPS 72609 HAS SOUS 17745 HAS SOUPS 9399 WITH SCORE 9533.793
AT ITER 8900 NEW BEST:: SOT 228374 SOS 134636 HAS SOPS 72548 HAS SOUS 17740 HAS SOUPS 9399 WITH SCORE 9533.636
AT ITER 8926 NEW BEST:: SOT 228376 SOS 134485 HAS SOPS 72540 HAS SOUS 17721 HAS SOUPS 9393 WITH SCORE 9527.485
AT ITER 9180 NEW BEST:: SOT 228377 SOS 134325 HAS SOPS 72369 HAS SOUS 17714 HAS SOUPS 9386 WITH SCORE 9520.325
AT ITER 9235 NEW BEST:: SOT 228376 SOS 134323 HAS SOPS 72367 HAS SOUS 17714 HAS SOUPS 9386 WITH SCORE 9520.323
AT ITER 9255 NEW BEST:: SOT 228321 SOS 134268 HAS SOPS 72342 HAS SOUS 17710 HAS SOUPS 9382 WITH SCORE 9516.268
AT ITER 9275 NEW BEST:: SOT 228321 SOS 134268 HAS SOPS 72342 HAS SOUS 17692 HAS SOUPS 9372 WITH SCORE 9506.268
AT ITER 9361 NEW BEST:: SOT 228322 SOS 134258 HAS SOPS 72341 HAS SOUS 17691 HAS SOUPS 9371 WITH SCORE 9505.258
AT ITER 9409 NEW BEST:: SOT 228154 SOS 133922 HAS SOPS 72243 HAS SOUS 17674 HAS SOUPS 9368 WITH SCORE 9501.922
AT ITER 9415 NEW BEST:: SOT 228154 SOS 133907 HAS SOPS 72231 HAS SOUS 17673 HAS SOUPS 9367 WITH SCORE 9500.907
AT ITER 9418 NEW BEST:: SOT 228154 SOS 133907 HAS SOPS 72231 HAS SOUS 17664 HAS SOUPS 9362 WITH SCORE 9495.907
AT ITER 9424 NEW BEST:: SOT 228142 SOS 133847 HAS SOPS 72171 HAS SOUS 17652 HAS SOUPS 9350 WITH SCORE 9483.847
AT ITER 9457 NEW BEST:: SOT 228355 SOS 134141 HAS SOPS 72491 HAS SOUS 17609 HAS SOUPS 9338 WITH SCORE 9472.141
AT ITER 9501 NEW BEST:: SOT 228327 SOS 134101 HAS SOPS 72469 HAS SOUS 17601 HAS SOUPS 9333 WITH SCORE 9467.101
AT ITER 9507 NEW BEST:: SOT 228279 SOS 134005 HAS SOPS 72441 HAS SOUS 17597 HAS SOUPS 9333 WITH SCORE 9467.005
AT ITER 9569 NEW BEST:: SOT 228492 SOS 134463 HAS SOPS 72576 HAS SOUS 17602 HAS SOUPS 9330 WITH SCORE 9464.463
AT ITER 9779 NEW BEST:: SOT 228502 SOS 134460 HAS SOPS 72573 HAS SOUS 17599 HAS SOUPS 9327 WITH SCORE 9461.46
AT ITER 9841 NEW BEST:: SOT 228500 SOS 134458 HAS SOPS 72573 HAS SOUS 17595 HAS SOUPS 9323 WITH SCORE 9457.458
AT ITER 9933 NEW BEST:: SOT 228497 SOS 134356 HAS SOPS 72383 HAS SOUS 17600 HAS SOUPS 9320 WITH SCORE 9454.356
STATE_SPACE STATES 240100000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 132 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 41489280000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-07a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-07a, 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 r048-ebro-158902542300520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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