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.r063-tajo-158922806800008.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 DLCshifumi-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806800008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 2.8K Mar 30 21:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 21:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 11:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 11:38 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:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 07:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 07:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 01:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 27 01:35 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 213K 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 1589357747078

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

Filename model.pnml
Petri model created: 188 places, 888 transitions, 3166 arcs.
AT ITER 0 NEW BEST:: SOT 122605 SOS 88663 HAS SOPS 54386 HAS SOUS 25074 HAS SOUPS 16131 WITH SCORE 16219.663
AT ITER 1 NEW BEST:: SOT 122605 SOS 88663 HAS SOPS 54386 HAS SOUS 25073 HAS SOUPS 16130 WITH SCORE 16218.663
AT ITER 3 NEW BEST:: SOT 121526 SOS 88145 HAS SOPS 53612 HAS SOUS 24432 HAS SOUPS 15532 WITH SCORE 15620.145
AT ITER 5 NEW BEST:: SOT 121059 SOS 87296 HAS SOPS 53188 HAS SOUS 24380 HAS SOUPS 15480 WITH SCORE 15567.296
AT ITER 6 NEW BEST:: SOT 120505 SOS 86987 HAS SOPS 52724 HAS SOUS 24088 HAS SOUPS 15183 WITH SCORE 15269.987
AT ITER 8 NEW BEST:: SOT 119737 SOS 85808 HAS SOPS 52372 HAS SOUS 23509 HAS SOUPS 15069 WITH SCORE 15154.808
AT ITER 13 NEW BEST:: SOT 119667 SOS 85668 HAS SOPS 52302 HAS SOUS 23404 HAS SOUPS 14999 WITH SCORE 15084.668
AT ITER 15 NEW BEST:: SOT 118937 SOS 85036 HAS SOPS 51422 HAS SOUS 22938 HAS SOUPS 14506 WITH SCORE 14591.036
AT ITER 17 NEW BEST:: SOT 118849 SOS 84860 HAS SOPS 51334 HAS SOUS 22762 HAS SOUPS 14374 WITH SCORE 14458.86
AT ITER 18 NEW BEST:: SOT 118697 SOS 84752 HAS SOPS 51186 HAS SOUS 22474 HAS SOUPS 14124 WITH SCORE 14208.752
AT ITER 19 NEW BEST:: SOT 118697 SOS 84746 HAS SOPS 51174 HAS SOUS 22477 HAS SOUPS 14124 WITH SCORE 14208.746
AT ITER 21 NEW BEST:: SOT 118614 SOS 84580 HAS SOPS 51120 HAS SOUS 22297 HAS SOUPS 14000 WITH SCORE 14084.58
AT ITER 22 NEW BEST:: SOT 118561 SOS 84464 HAS SOPS 51152 HAS SOUS 22175 HAS SOUPS 13952 WITH SCORE 14036.464
AT ITER 23 NEW BEST:: SOT 117947 SOS 84172 HAS SOPS 50616 HAS SOUS 21732 HAS SOUPS 13514 WITH SCORE 13598.172
AT ITER 24 NEW BEST:: SOT 117437 SOS 83452 HAS SOPS 50372 HAS SOUS 21668 HAS SOUPS 13470 WITH SCORE 13553.452
AT ITER 26 NEW BEST:: SOT 116926 SOS 82700 HAS SOPS 50048 HAS SOUS 21507 HAS SOUPS 13312 WITH SCORE 13394.7
AT ITER 29 NEW BEST:: SOT 116860 SOS 82721 HAS SOPS 50033 HAS SOUS 21474 HAS SOUPS 13279 WITH SCORE 13361.721
AT ITER 30 NEW BEST:: SOT 116501 SOS 82265 HAS SOPS 49780 HAS SOUS 21438 HAS SOUPS 13265 WITH SCORE 13347.265
AT ITER 31 NEW BEST:: SOT 116110 SOS 82340 HAS SOPS 49648 HAS SOUS 21157 HAS SOUPS 12972 WITH SCORE 13054.34
AT ITER 33 NEW BEST:: SOT 116229 SOS 82367 HAS SOPS 49809 HAS SOUS 21105 HAS SOUPS 12938 WITH SCORE 13020.367
AT ITER 40 NEW BEST:: SOT 115742 SOS 81860 HAS SOPS 49366 HAS SOUS 20777 HAS SOUPS 12802 WITH SCORE 12883.86
AT ITER 43 NEW BEST:: SOT 115742 SOS 81860 HAS SOPS 49354 HAS SOUS 20765 HAS SOUPS 12790 WITH SCORE 12871.86
AT ITER 46 NEW BEST:: SOT 115742 SOS 81820 HAS SOPS 49274 HAS SOUS 20785 HAS SOUPS 12790 WITH SCORE 12871.82
AT ITER 47 NEW BEST:: SOT 115119 SOS 81645 HAS SOPS 48794 HAS SOUS 20501 HAS SOUPS 12474 WITH SCORE 12555.645
AT ITER 51 NEW BEST:: SOT 115119 SOS 81645 HAS SOPS 48782 HAS SOUS 20489 HAS SOUPS 12462 WITH SCORE 12543.645
AT ITER 52 NEW BEST:: SOT 115125 SOS 81562 HAS SOPS 48779 HAS SOUS 20476 HAS SOUPS 12454 WITH SCORE 12535.562
AT ITER 53 NEW BEST:: SOT 114727 SOS 81060 HAS SOPS 48451 HAS SOUS 20360 HAS SOUPS 12306 WITH SCORE 12387.06
AT ITER 56 NEW BEST:: SOT 114713 SOS 81002 HAS SOPS 48363 HAS SOUS 20361 HAS SOUPS 12292 WITH SCORE 12373.002
AT ITER 60 NEW BEST:: SOT 114656 SOS 80800 HAS SOPS 48161 HAS SOUS 20266 HAS SOUPS 12197 WITH SCORE 12277.8
AT ITER 61 NEW BEST:: SOT 114181 SOS 79964 HAS SOPS 47705 HAS SOUS 20301 HAS SOUPS 12137 WITH SCORE 12216.964
AT ITER 69 NEW BEST:: SOT 114184 SOS 79970 HAS SOPS 47693 HAS SOUS 20294 HAS SOUPS 12130 WITH SCORE 12209.97
AT ITER 70 NEW BEST:: SOT 114219 SOS 80000 HAS SOPS 47708 HAS SOUS 20279 HAS SOUPS 12115 WITH SCORE 12195.0
AT ITER 71 NEW BEST:: SOT 113920 SOS 80130 HAS SOPS 47729 HAS SOUS 20156 HAS SOUPS 12001 WITH SCORE 12081.13
AT ITER 73 NEW BEST:: SOT 113323 SOS 79064 HAS SOPS 47257 HAS SOUS 19899 HAS SOUPS 11965 WITH SCORE 12044.064
AT ITER 74 NEW BEST:: SOT 112988 SOS 78800 HAS SOPS 47097 HAS SOUS 19768 HAS SOUPS 11878 WITH SCORE 11956.8
AT ITER 92 NEW BEST:: SOT 112406 SOS 77948 HAS SOPS 46813 HAS SOUS 19570 HAS SOUPS 11767 WITH SCORE 11844.948
AT ITER 100 NEW BEST:: SOT 112404 SOS 77943 HAS SOPS 46778 HAS SOUS 19560 HAS SOUPS 11758 WITH SCORE 11835.943
AT ITER 102 NEW BEST:: SOT 112422 SOS 78014 HAS SOPS 46686 HAS SOUS 19618 HAS SOUPS 11747 WITH SCORE 11825.014
AT ITER 103 NEW BEST:: SOT 111931 SOS 77397 HAS SOPS 46321 HAS SOUS 19463 HAS SOUPS 11634 WITH SCORE 11711.397
AT ITER 104 NEW BEST:: SOT 111454 SOS 77107 HAS SOPS 45895 HAS SOUS 19240 HAS SOUPS 11398 WITH SCORE 11475.107
AT ITER 107 NEW BEST:: SOT 111506 SOS 77079 HAS SOPS 45851 HAS SOUS 19204 HAS SOUPS 11393 WITH SCORE 11470.079
AT ITER 110 NEW BEST:: SOT 111474 SOS 77015 HAS SOPS 45789 HAS SOUS 19189 HAS SOUPS 11378 WITH SCORE 11455.015
AT ITER 112 NEW BEST:: SOT 110937 SOS 76253 HAS SOPS 45467 HAS SOUS 19067 HAS SOUPS 11312 WITH SCORE 11388.253
AT ITER 116 NEW BEST:: SOT 110934 SOS 76241 HAS SOPS 45449 HAS SOUS 19067 HAS SOUPS 11309 WITH SCORE 11385.241
AT ITER 117 NEW BEST:: SOT 110847 SOS 76098 HAS SOPS 45449 HAS SOUS 19067 HAS SOUPS 11306 WITH SCORE 11382.098
AT ITER 118 NEW BEST:: SOT 110838 SOS 76083 HAS SOPS 45443 HAS SOUS 19058 HAS SOUPS 11300 WITH SCORE 11376.083
AT ITER 120 NEW BEST:: SOT 110904 SOS 76137 HAS SOPS 45467 HAS SOUS 19036 HAS SOUPS 11284 WITH SCORE 11360.137
AT ITER 121 NEW BEST:: SOT 110949 SOS 76137 HAS SOPS 45452 HAS SOUS 18961 HAS SOUPS 11224 WITH SCORE 11300.137
AT ITER 123 NEW BEST:: SOT 110940 SOS 76099 HAS SOPS 45412 HAS SOUS 18971 HAS SOUPS 11224 WITH SCORE 11300.099
AT ITER 124 NEW BEST:: SOT 110776 SOS 75941 HAS SOPS 45218 HAS SOUS 18829 HAS SOUPS 11082 WITH SCORE 11157.941
AT ITER 126 NEW BEST:: SOT 110679 SOS 76572 HAS SOPS 45290 HAS SOUS 18627 HAS SOUPS 10884 WITH SCORE 10960.572
AT ITER 134 NEW BEST:: SOT 110027 SOS 76015 HAS SOPS 44779 HAS SOUS 18614 HAS SOUPS 10871 WITH SCORE 10947.015
AT ITER 137 NEW BEST:: SOT 110155 SOS 76111 HAS SOPS 44779 HAS SOUS 18549 HAS SOUPS 10838 WITH SCORE 10914.111
AT ITER 145 NEW BEST:: SOT 110025 SOS 76249 HAS SOPS 44767 HAS SOUS 18562 HAS SOUPS 10826 WITH SCORE 10902.249
AT ITER 146 NEW BEST:: SOT 109799 SOS 75899 HAS SOPS 44631 HAS SOUS 18358 HAS SOUPS 10758 WITH SCORE 10833.899
AT ITER 150 NEW BEST:: SOT 109271 SOS 74947 HAS SOPS 44059 HAS SOUS 18341 HAS SOUPS 10678 WITH SCORE 10752.947
AT ITER 151 NEW BEST:: SOT 109667 SOS 74939 HAS SOPS 44514 HAS SOUS 18227 HAS SOUPS 10644 WITH SCORE 10718.939
AT ITER 152 NEW BEST:: SOT 109182 SOS 74305 HAS SOPS 44208 HAS SOUS 18155 HAS SOUPS 10593 WITH SCORE 10667.305
AT ITER 172 NEW BEST:: SOT 109142 SOS 74563 HAS SOPS 44386 HAS SOUS 18115 HAS SOUPS 10552 WITH SCORE 10626.563
AT ITER 176 NEW BEST:: SOT 109132 SOS 74558 HAS SOPS 44366 HAS SOUS 18105 HAS SOUPS 10542 WITH SCORE 10616.558
AT ITER 181 NEW BEST:: SOT 108621 SOS 73854 HAS SOPS 43982 HAS SOUS 17700 HAS SOUPS 10369 WITH SCORE 10442.854
AT ITER 185 NEW BEST:: SOT 108473 SOS 73814 HAS SOPS 43768 HAS SOUS 17668 HAS SOUPS 10279 WITH SCORE 10352.814
AT ITER 190 NEW BEST:: SOT 108367 SOS 73858 HAS SOPS 43868 HAS SOUS 17602 HAS SOUPS 10233 WITH SCORE 10306.858
AT ITER 191 NEW BEST:: SOT 108366 SOS 73856 HAS SOPS 43866 HAS SOUS 17601 HAS SOUPS 10232 WITH SCORE 10305.856
AT ITER 195 NEW BEST:: SOT 108366 SOS 73850 HAS SOPS 43860 HAS SOUS 17601 HAS SOUPS 10232 WITH SCORE 10305.85
AT ITER 196 NEW BEST:: SOT 108419 SOS 74528 HAS SOPS 43966 HAS SOUS 17780 HAS SOUPS 10203 WITH SCORE 10277.528
AT ITER 208 NEW BEST:: SOT 108343 SOS 74286 HAS SOPS 43724 HAS SOUS 17720 HAS SOUPS 10143 WITH SCORE 10217.286
AT ITER 219 NEW BEST:: SOT 107879 SOS 73774 HAS SOPS 43212 HAS SOUS 17192 HAS SOUPS 9615 WITH SCORE 9688.774
AT ITER 220 NEW BEST:: SOT 107617 SOS 73826 HAS SOPS 43120 HAS SOUS 17065 HAS SOUPS 9488 WITH SCORE 9561.826
AT ITER 228 NEW BEST:: SOT 107605 SOS 73802 HAS SOPS 43146 HAS SOUS 17028 HAS SOUPS 9476 WITH SCORE 9549.802
AT ITER 229 NEW BEST:: SOT 107381 SOS 73578 HAS SOPS 42954 HAS SOUS 17079 HAS SOUPS 9446 WITH SCORE 9519.578
AT ITER 230 NEW BEST:: SOT 107746 SOS 72048 HAS SOPS 42678 HAS SOUS 17740 HAS SOUPS 9371 WITH SCORE 9443.048
AT ITER 231 NEW BEST:: SOT 107454 SOS 71714 HAS SOPS 42344 HAS SOUS 17410 HAS SOUPS 9041 WITH SCORE 9112.714
AT ITER 238 NEW BEST:: SOT 107435 SOS 71611 HAS SOPS 42284 HAS SOUS 17391 HAS SOUPS 9036 WITH SCORE 9107.611
AT ITER 243 NEW BEST:: SOT 108079 SOS 72569 HAS SOPS 42484 HAS SOUS 17517 HAS SOUPS 9016 WITH SCORE 9088.569
AT ITER 244 NEW BEST:: SOT 108010 SOS 73332 HAS SOPS 42929 HAS SOUS 17566 HAS SOUPS 9012 WITH SCORE 9085.332
AT ITER 255 NEW BEST:: SOT 107960 SOS 73202 HAS SOPS 42807 HAS SOUS 17488 HAS SOUPS 8950 WITH SCORE 9023.202
AT ITER 256 NEW BEST:: SOT 107942 SOS 73184 HAS SOPS 42789 HAS SOUS 17479 HAS SOUPS 8950 WITH SCORE 9023.184
AT ITER 269 NEW BEST:: SOT 107677 SOS 73094 HAS SOPS 42677 HAS SOUS 17255 HAS SOUPS 8782 WITH SCORE 8855.094
AT ITER 271 NEW BEST:: SOT 107166 SOS 72610 HAS SOPS 42217 HAS SOUS 17272 HAS SOUPS 8738 WITH SCORE 8810.61
AT ITER 275 NEW BEST:: SOT 106584 SOS 71917 HAS SOPS 41720 HAS SOUS 17278 HAS SOUPS 8695 WITH SCORE 8766.917
AT ITER 277 NEW BEST:: SOT 106624 SOS 72057 HAS SOPS 41740 HAS SOUS 17268 HAS SOUPS 8685 WITH SCORE 8757.057
AT ITER 283 NEW BEST:: SOT 106488 SOS 71785 HAS SOPS 41740 HAS SOUS 17096 HAS SOUPS 8685 WITH SCORE 8756.785
AT ITER 284 NEW BEST:: SOT 106401 SOS 71525 HAS SOPS 41473 HAS SOUS 17015 HAS SOUPS 8604 WITH SCORE 8675.525
AT ITER 286 NEW BEST:: SOT 106566 SOS 71607 HAS SOPS 41589 HAS SOUS 16966 HAS SOUPS 8578 WITH SCORE 8649.607
AT ITER 291 NEW BEST:: SOT 106101 SOS 70962 HAS SOPS 41419 HAS SOUS 16612 HAS SOUPS 8560 WITH SCORE 8630.962
AT ITER 293 NEW BEST:: SOT 105816 SOS 70791 HAS SOPS 41191 HAS SOUS 16612 HAS SOUPS 8560 WITH SCORE 8630.791
AT ITER 297 NEW BEST:: SOT 105787 SOS 70733 HAS SOPS 41186 HAS SOUS 16595 HAS SOUPS 8548 WITH SCORE 8618.733
AT ITER 301 NEW BEST:: SOT 105731 SOS 70621 HAS SOPS 41130 HAS SOUS 16484 HAS SOUPS 8465 WITH SCORE 8535.621
AT ITER 304 NEW BEST:: SOT 105621 SOS 70921 HAS SOPS 41242 HAS SOUS 16388 HAS SOUPS 8366 WITH SCORE 8436.921
AT ITER 311 NEW BEST:: SOT 105602 SOS 70839 HAS SOPS 41218 HAS SOUS 16322 HAS SOUPS 8329 WITH SCORE 8399.839
AT ITER 315 NEW BEST:: SOT 105517 SOS 70669 HAS SOPS 41184 HAS SOUS 16260 HAS SOUPS 8299 WITH SCORE 8369.669
AT ITER 319 NEW BEST:: SOT 105697 SOS 70894 HAS SOPS 41184 HAS SOUS 16347 HAS SOUPS 8234 WITH SCORE 8304.894
AT ITER 320 NEW BEST:: SOT 105225 SOS 70358 HAS SOPS 41004 HAS SOUS 15931 HAS SOUPS 8168 WITH SCORE 8238.358
AT ITER 328 NEW BEST:: SOT 104876 SOS 69660 HAS SOPS 41004 HAS SOUS 15894 HAS SOUPS 8168 WITH SCORE 8237.66
AT ITER 331 NEW BEST:: SOT 104280 SOS 68994 HAS SOPS 40594 HAS SOUS 15867 HAS SOUPS 8142 WITH SCORE 8210.994
AT ITER 336 NEW BEST:: SOT 104417 SOS 69086 HAS SOPS 40605 HAS SOUS 15828 HAS SOUPS 8106 WITH SCORE 8175.086
AT ITER 343 NEW BEST:: SOT 104361 SOS 68974 HAS SOPS 40605 HAS SOUS 15773 HAS SOUPS 8106 WITH SCORE 8174.974
AT ITER 355 NEW BEST:: SOT 104213 SOS 69148 HAS SOPS 40575 HAS SOUS 15684 HAS SOUPS 7988 WITH SCORE 8057.148
AT ITER 359 NEW BEST:: SOT 104297 SOS 69138 HAS SOPS 40387 HAS SOUS 15620 HAS SOUPS 7835 WITH SCORE 7904.138
AT ITER 362 NEW BEST:: SOT 104273 SOS 69092 HAS SOPS 40341 HAS SOUS 15584 HAS SOUPS 7799 WITH SCORE 7868.092
AT ITER 372 NEW BEST:: SOT 104251 SOS 69062 HAS SOPS 40311 HAS SOUS 15567 HAS SOUPS 7789 WITH SCORE 7858.062
AT ITER 375 NEW BEST:: SOT 104188 SOS 69012 HAS SOPS 40263 HAS SOUS 15566 HAS SOUPS 7783 WITH SCORE 7852.012
AT ITER 376 NEW BEST:: SOT 104267 SOS 69131 HAS SOPS 40288 HAS SOUS 15516 HAS SOUPS 7750 WITH SCORE 7819.131
AT ITER 377 NEW BEST:: SOT 104037 SOS 68951 HAS SOPS 40108 HAS SOUS 15504 HAS SOUPS 7738 WITH SCORE 7806.951
AT ITER 391 NEW BEST:: SOT 104043 SOS 68939 HAS SOPS 40094 HAS SOUS 15499 HAS SOUPS 7735 WITH SCORE 7803.939
AT ITER 400 NEW BEST:: SOT 104016 SOS 68885 HAS SOPS 40085 HAS SOUS 15456 HAS SOUPS 7721 WITH SCORE 7789.885
AT ITER 404 NEW BEST:: SOT 103704 SOS 68527 HAS SOPS 39865 HAS SOUS 15399 HAS SOUPS 7664 WITH SCORE 7732.527
AT ITER 434 NEW BEST:: SOT 103631 SOS 68318 HAS SOPS 39835 HAS SOUS 15318 HAS SOUPS 7656 WITH SCORE 7724.318
AT ITER 442 NEW BEST:: SOT 103839 SOS 68526 HAS SOPS 39788 HAS SOUS 15405 HAS SOUPS 7570 WITH SCORE 7638.526
AT ITER 450 NEW BEST:: SOT 103807 SOS 68766 HAS SOPS 39964 HAS SOUS 15398 HAS SOUPS 7563 WITH SCORE 7631.766
AT ITER 463 NEW BEST:: SOT 103754 SOS 68610 HAS SOPS 39788 HAS SOUS 15267 HAS SOUPS 7475 WITH SCORE 7543.61
AT ITER 473 NEW BEST:: SOT 103452 SOS 68346 HAS SOPS 39592 HAS SOUS 15237 HAS SOUPS 7445 WITH SCORE 7513.346
AT ITER 474 NEW BEST:: SOT 103220 SOS 68122 HAS SOPS 39592 HAS SOUS 15012 HAS SOUPS 7445 WITH SCORE 7513.122
AT ITER 478 NEW BEST:: SOT 103156 SOS 67962 HAS SOPS 39472 HAS SOUS 14996 HAS SOUPS 7421 WITH SCORE 7488.962
AT ITER 485 NEW BEST:: SOT 103156 SOS 67962 HAS SOPS 39472 HAS SOUS 14992 HAS SOUPS 7417 WITH SCORE 7484.962
AT ITER 489 NEW BEST:: SOT 103120 SOS 67844 HAS SOPS 39354 HAS SOUS 14953 HAS SOUPS 7378 WITH SCORE 7445.844
AT ITER 496 NEW BEST:: SOT 103080 SOS 67764 HAS SOPS 39354 HAS SOUS 14894 HAS SOUPS 7378 WITH SCORE 7445.764
AT ITER 499 NEW BEST:: SOT 103000 SOS 67581 HAS SOPS 39272 HAS SOUS 14859 HAS SOUPS 7343 WITH SCORE 7410.581
AT ITER 509 NEW BEST:: SOT 102840 SOS 67373 HAS SOPS 39176 HAS SOUS 14827 HAS SOUPS 7311 WITH SCORE 7378.373
AT ITER 522 NEW BEST:: SOT 101969 SOS 66330 HAS SOPS 38487 HAS SOUS 14788 HAS SOUPS 7254 WITH SCORE 7320.33
AT ITER 526 NEW BEST:: SOT 101953 SOS 66298 HAS SOPS 38455 HAS SOUS 14764 HAS SOUPS 7230 WITH SCORE 7296.298
AT ITER 528 NEW BEST:: SOT 101968 SOS 66343 HAS SOPS 38470 HAS SOUS 14764 HAS SOUPS 7215 WITH SCORE 7281.343
AT ITER 544 NEW BEST:: SOT 101995 SOS 66397 HAS SOPS 38470 HAS SOUS 14798 HAS SOUPS 7210 WITH SCORE 7276.397
AT ITER 546 NEW BEST:: SOT 101934 SOS 66275 HAS SOPS 38348 HAS SOUS 14804 HAS SOUPS 7180 WITH SCORE 7246.275
AT ITER 557 NEW BEST:: SOT 101890 SOS 66239 HAS SOPS 38348 HAS SOUS 14742 HAS SOUPS 7172 WITH SCORE 7238.239
AT ITER 560 NEW BEST:: SOT 101944 SOS 66235 HAS SOPS 38372 HAS SOUS 14713 HAS SOUPS 7157 WITH SCORE 7223.235
AT ITER 562 NEW BEST:: SOT 101477 SOS 65768 HAS SOPS 38145 HAS SOUS 14646 HAS SOUPS 7130 WITH SCORE 7195.768
AT ITER 577 NEW BEST:: SOT 101039 SOS 65162 HAS SOPS 37885 HAS SOUS 14375 HAS SOUPS 7042 WITH SCORE 7107.162
AT ITER 579 NEW BEST:: SOT 100398 SOS 64866 HAS SOPS 37381 HAS SOUS 14476 HAS SOUPS 6994 WITH SCORE 7058.866
AT ITER 580 NEW BEST:: SOT 100401 SOS 64828 HAS SOPS 37343 HAS SOUS 14454 HAS SOUPS 6975 WITH SCORE 7039.828
AT ITER 604 NEW BEST:: SOT 100409 SOS 64716 HAS SOPS 37263 HAS SOUS 14454 HAS SOUPS 6975 WITH SCORE 7039.716
AT ITER 614 NEW BEST:: SOT 100280 SOS 64654 HAS SOPS 37163 HAS SOUS 14448 HAS SOUPS 6968 WITH SCORE 7032.654
AT ITER 625 NEW BEST:: SOT 100073 SOS 64411 HAS SOPS 36996 HAS SOUS 14431 HAS SOUPS 6951 WITH SCORE 7015.411
AT ITER 643 NEW BEST:: SOT 100019 SOS 64355 HAS SOPS 36924 HAS SOUS 14397 HAS SOUPS 6917 WITH SCORE 6981.355
AT ITER 645 NEW BEST:: SOT 100471 SOS 64932 HAS SOPS 36966 HAS SOUS 14649 HAS SOUPS 6908 WITH SCORE 6972.932
AT ITER 651 NEW BEST:: SOT 100251 SOS 64636 HAS SOPS 36814 HAS SOUS 14597 HAS SOUPS 6856 WITH SCORE 6920.636
AT ITER 653 NEW BEST:: SOT 100191 SOS 64586 HAS SOPS 36774 HAS SOUS 14597 HAS SOUPS 6856 WITH SCORE 6920.586
AT ITER 654 NEW BEST:: SOT 100231 SOS 64586 HAS SOPS 36774 HAS SOUS 14550 HAS SOUPS 6809 WITH SCORE 6873.586
AT ITER 659 NEW BEST:: SOT 100239 SOS 64592 HAS SOPS 36780 HAS SOUS 14528 HAS SOUPS 6797 WITH SCORE 6861.592
AT ITER 660 NEW BEST:: SOT 100224 SOS 64562 HAS SOPS 36774 HAS SOUS 14521 HAS SOUPS 6793 WITH SCORE 6857.562
AT ITER 662 NEW BEST:: SOT 100221 SOS 64556 HAS SOPS 36768 HAS SOUS 14518 HAS SOUPS 6790 WITH SCORE 6854.556
AT ITER 663 NEW BEST:: SOT 100040 SOS 64374 HAS SOPS 36766 HAS SOUS 14295 HAS SOUPS 6789 WITH SCORE 6853.374
AT ITER 664 NEW BEST:: SOT 100096 SOS 64441 HAS SOPS 36798 HAS SOUS 14297 HAS SOUPS 6786 WITH SCORE 6850.441
AT ITER 665 NEW BEST:: SOT 99726 SOS 64070 HAS SOPS 36525 HAS SOUS 14231 HAS SOUPS 6729 WITH SCORE 6793.07
AT ITER 676 NEW BEST:: SOT 99669 SOS 63956 HAS SOPS 36525 HAS SOUS 14208 HAS SOUPS 6729 WITH SCORE 6792.956
AT ITER 680 NEW BEST:: SOT 99656 SOS 63709 HAS SOPS 36486 HAS SOUS 14195 HAS SOUPS 6729 WITH SCORE 6792.709
AT ITER 684 NEW BEST:: SOT 99590 SOS 63577 HAS SOPS 36486 HAS SOUS 14111 HAS SOUPS 6729 WITH SCORE 6792.577
AT ITER 690 NEW BEST:: SOT 99258 SOS 63237 HAS SOPS 36462 HAS SOUS 13771 HAS SOUPS 6680 WITH SCORE 6743.237
AT ITER 691 NEW BEST:: SOT 99150 SOS 63120 HAS SOPS 36381 HAS SOUS 13778 HAS SOUPS 6678 WITH SCORE 6741.12
AT ITER 693 NEW BEST:: SOT 98793 SOS 62956 HAS SOPS 36095 HAS SOUS 13791 HAS SOUPS 6666 WITH SCORE 6728.956
AT ITER 696 NEW BEST:: SOT 98769 SOS 62926 HAS SOPS 36073 HAS SOUS 13791 HAS SOUPS 6664 WITH SCORE 6726.926
AT ITER 699 NEW BEST:: SOT 97913 SOS 61847 HAS SOPS 35378 HAS SOUS 13646 HAS SOUPS 6535 WITH SCORE 6596.847
AT ITER 704 NEW BEST:: SOT 97985 SOS 61871 HAS SOPS 35402 HAS SOUS 13598 HAS SOUPS 6499 WITH SCORE 6560.871
AT ITER 714 NEW BEST:: SOT 97766 SOS 61685 HAS SOPS 35430 HAS SOUS 13386 HAS SOUPS 6475 WITH SCORE 6536.685
AT ITER 718 NEW BEST:: SOT 97256 SOS 61116 HAS SOPS 35063 HAS SOUS 13341 HAS SOUPS 6441 WITH SCORE 6502.116
AT ITER 720 NEW BEST:: SOT 97256 SOS 61116 HAS SOPS 35063 HAS SOUS 13338 HAS SOUPS 6438 WITH SCORE 6499.116
AT ITER 722 NEW BEST:: SOT 97196 SOS 60976 HAS SOPS 34963 HAS SOUS 13238 HAS SOUPS 6358 WITH SCORE 6418.976
AT ITER 729 NEW BEST:: SOT 96972 SOS 60674 HAS SOPS 34821 HAS SOUS 13182 HAS SOUPS 6302 WITH SCORE 6362.674
AT ITER 730 NEW BEST:: SOT 96971 SOS 60672 HAS SOPS 34785 HAS SOUS 13146 HAS SOUPS 6266 WITH SCORE 6326.672
AT ITER 742 NEW BEST:: SOT 97124 SOS 60825 HAS SOPS 34870 HAS SOUS 13129 HAS SOUPS 6249 WITH SCORE 6309.825
AT ITER 749 NEW BEST:: SOT 96992 SOS 60605 HAS SOPS 34694 HAS SOUS 13019 HAS SOUPS 6161 WITH SCORE 6221.605
AT ITER 750 NEW BEST:: SOT 96762 SOS 60145 HAS SOPS 34694 HAS SOUS 12794 HAS SOUPS 6161 WITH SCORE 6221.145
AT ITER 752 NEW BEST:: SOT 96861 SOS 60280 HAS SOPS 34736 HAS SOUS 12833 HAS SOUPS 6140 WITH SCORE 6200.28
AT ITER 765 NEW BEST:: SOT 96282 SOS 60500 HAS SOPS 34568 HAS SOUS 12440 HAS SOUPS 6016 WITH SCORE 6076.5
AT ITER 766 NEW BEST:: SOT 96281 SOS 60498 HAS SOPS 34572 HAS SOUS 12435 HAS SOUPS 6014 WITH SCORE 6074.498
AT ITER 774 NEW BEST:: SOT 96269 SOS 60428 HAS SOPS 34552 HAS SOUS 12384 HAS SOUPS 5988 WITH SCORE 6048.428
AT ITER 778 NEW BEST:: SOT 96271 SOS 60400 HAS SOPS 34532 HAS SOUS 12384 HAS SOUPS 5988 WITH SCORE 6048.4
AT ITER 783 NEW BEST:: SOT 96268 SOS 60394 HAS SOPS 34526 HAS SOUS 12370 HAS SOUPS 5974 WITH SCORE 6034.394
AT ITER 788 NEW BEST:: SOT 96074 SOS 60006 HAS SOPS 34526 HAS SOUS 12365 HAS SOUPS 5974 WITH SCORE 6034.006
AT ITER 791 NEW BEST:: SOT 96070 SOS 60001 HAS SOPS 34524 HAS SOUS 12364 HAS SOUPS 5973 WITH SCORE 6033.001
AT ITER 793 NEW BEST:: SOT 96095 SOS 59869 HAS SOPS 34444 HAS SOUS 12354 HAS SOUPS 5963 WITH SCORE 6022.869
AT ITER 828 NEW BEST:: SOT 96091 SOS 59804 HAS SOPS 34475 HAS SOUS 12347 HAS SOUPS 5962 WITH SCORE 6021.804
AT ITER 866 NEW BEST:: SOT 95917 SOS 59570 HAS SOPS 34361 HAS SOUS 12340 HAS SOUPS 5962 WITH SCORE 6021.57
AT ITER 869 NEW BEST:: SOT 95886 SOS 59751 HAS SOPS 34301 HAS SOUS 12325 HAS SOUPS 5942 WITH SCORE 6001.751
AT ITER 872 NEW BEST:: SOT 95938 SOS 59783 HAS SOPS 34313 HAS SOUS 12303 HAS SOUPS 5936 WITH SCORE 5995.783
AT ITER 880 NEW BEST:: SOT 95978 SOS 60301 HAS SOPS 34385 HAS SOUS 12327 HAS SOUPS 5933 WITH SCORE 5993.301
AT ITER 881 NEW BEST:: SOT 95978 SOS 60285 HAS SOPS 34369 HAS SOUS 12327 HAS SOUPS 5933 WITH SCORE 5993.285
AT ITER 894 NEW BEST:: SOT 95025 SOS 59068 HAS SOPS 33855 HAS SOUS 12224 HAS SOUPS 5906 WITH SCORE 5965.068
AT ITER 906 NEW BEST:: SOT 94968 SOS 58992 HAS SOPS 33779 HAS SOUS 12137 HAS SOUPS 5811 WITH SCORE 5869.992
AT ITER 913 NEW BEST:: SOT 94828 SOS 58942 HAS SOPS 33584 HAS SOUS 12147 HAS SOUPS 5774 WITH SCORE 5832.942
AT ITER 915 NEW BEST:: SOT 94774 SOS 55761 HAS SOPS 31045 HAS SOUS 12150 HAS SOUPS 5777 WITH SCORE 5832.761
AT ITER 932 NEW BEST:: SOT 94223 SOS 55069 HAS SOPS 30721 HAS SOUS 12013 HAS SOUPS 5686 WITH SCORE 5741.069
AT ITER 951 NEW BEST:: SOT 94240 SOS 54488 HAS SOPS 30107 HAS SOUS 12011 HAS SOUPS 5684 WITH SCORE 5738.488
AT ITER 960 NEW BEST:: SOT 94165 SOS 54369 HAS SOPS 30143 HAS SOUS 11998 HAS SOUPS 5671 WITH SCORE 5725.369
AT ITER 970 NEW BEST:: SOT 94171 SOS 54381 HAS SOPS 30145 HAS SOUS 11989 HAS SOUPS 5662 WITH SCORE 5716.381
AT ITER 982 NEW BEST:: SOT 94301 SOS 54451 HAS SOPS 30215 HAS SOUS 11947 HAS SOUPS 5639 WITH SCORE 5693.451
AT ITER 990 NEW BEST:: SOT 94374 SOS 54507 HAS SOPS 30246 HAS SOUS 11900 HAS SOUPS 5599 WITH SCORE 5653.507
AT ITER 1017 NEW BEST:: SOT 93434 SOS 53567 HAS SOPS 29682 HAS SOUS 11744 HAS SOUPS 5479 WITH SCORE 5532.567
AT ITER 1042 NEW BEST:: SOT 93439 SOS 53577 HAS SOPS 29682 HAS SOUS 11734 HAS SOUPS 5469 WITH SCORE 5522.577
AT ITER 1047 NEW BEST:: SOT 93263 SOS 53225 HAS SOPS 29682 HAS SOUS 11683 HAS SOUPS 5459 WITH SCORE 5512.225
AT ITER 1052 NEW BEST:: SOT 93147 SOS 52993 HAS SOPS 29682 HAS SOUS 11567 HAS SOUPS 5459 WITH SCORE 5511.993
AT ITER 1056 NEW BEST:: SOT 93289 SOS 53107 HAS SOPS 29634 HAS SOUS 11591 HAS SOUPS 5448 WITH SCORE 5501.107
AT ITER 1069 NEW BEST:: SOT 93289 SOS 53062 HAS SOPS 29637 HAS SOUS 11585 HAS SOUPS 5445 WITH SCORE 5498.062
AT ITER 1072 NEW BEST:: SOT 93384 SOS 53085 HAS SOPS 29660 HAS SOUS 11564 HAS SOUPS 5424 WITH SCORE 5477.085
AT ITER 1079 NEW BEST:: SOT 93360 SOS 53057 HAS SOPS 29644 HAS SOUS 11562 HAS SOUPS 5422 WITH SCORE 5475.057
AT ITER 1095 NEW BEST:: SOT 93067 SOS 52321 HAS SOPS 29208 HAS SOUS 11444 HAS SOUPS 5354 WITH SCORE 5406.321
AT ITER 1103 NEW BEST:: SOT 93148 SOS 52427 HAS SOPS 29264 HAS SOUS 11461 HAS SOUPS 5346 WITH SCORE 5398.427
AT ITER 1112 NEW BEST:: SOT 93076 SOS 52319 HAS SOPS 29240 HAS SOUS 11389 HAS SOUPS 5334 WITH SCORE 5386.319
AT ITER 1117 NEW BEST:: SOT 92790 SOS 52107 HAS SOPS 29058 HAS SOUS 11380 HAS SOUPS 5326 WITH SCORE 5378.107
AT ITER 1127 NEW BEST:: SOT 92778 SOS 52083 HAS SOPS 29034 HAS SOUS 11368 HAS SOUPS 5314 WITH SCORE 5366.083
AT ITER 1130 NEW BEST:: SOT 92783 SOS 52090 HAS SOPS 29034 HAS SOUS 11372 HAS SOUPS 5313 WITH SCORE 5365.09
AT ITER 1137 NEW BEST:: SOT 92780 SOS 52083 HAS SOPS 29027 HAS SOUS 11365 HAS SOUPS 5310 WITH SCORE 5362.083
AT ITER 1148 NEW BEST:: SOT 92686 SOS 52014 HAS SOPS 28991 HAS SOUS 11387 HAS SOUPS 5307 WITH SCORE 5359.014
AT ITER 1185 NEW BEST:: SOT 92355 SOS 51778 HAS SOPS 28751 HAS SOUS 11384 HAS SOUPS 5293 WITH SCORE 5344.778
AT ITER 1187 NEW BEST:: SOT 92365 SOS 51778 HAS SOPS 28741 HAS SOUS 11374 HAS SOUPS 5283 WITH SCORE 5334.778
AT ITER 1191 NEW BEST:: SOT 92349 SOS 51758 HAS SOPS 28732 HAS SOUS 11369 HAS SOUPS 5283 WITH SCORE 5334.758
AT ITER 1197 NEW BEST:: SOT 92173 SOS 51418 HAS SOPS 28711 HAS SOUS 11357 HAS SOUPS 5271 WITH SCORE 5322.418
AT ITER 1211 NEW BEST:: SOT 92173 SOS 51418 HAS SOPS 28711 HAS SOUS 11347 HAS SOUPS 5266 WITH SCORE 5317.418
AT ITER 1255 NEW BEST:: SOT 92175 SOS 51422 HAS SOPS 28727 HAS SOUS 11330 HAS SOUPS 5258 WITH SCORE 5309.422
AT ITER 1275 NEW BEST:: SOT 92157 SOS 51386 HAS SOPS 28691 HAS SOUS 11321 HAS SOUPS 5249 WITH SCORE 5300.386
AT ITER 1303 NEW BEST:: SOT 92165 SOS 51449 HAS SOPS 28699 HAS SOUS 11338 HAS SOUPS 5246 WITH SCORE 5297.449
AT ITER 1349 NEW BEST:: SOT 92143 SOS 51425 HAS SOPS 28687 HAS SOUS 11338 HAS SOUPS 5246 WITH SCORE 5297.425
AT ITER 1368 NEW BEST:: SOT 92146 SOS 51383 HAS SOPS 28657 HAS SOUS 11338 HAS SOUPS 5246 WITH SCORE 5297.383
AT ITER 1395 NEW BEST:: SOT 92197 SOS 51401 HAS SOPS 28675 HAS SOUS 11333 HAS SOUPS 5241 WITH SCORE 5292.401
AT ITER 1396 NEW BEST:: SOT 92164 SOS 50742 HAS SOPS 28214 HAS SOUS 11329 HAS SOUPS 5237 WITH SCORE 5287.742
AT ITER 1401 NEW BEST:: SOT 92010 SOS 50356 HAS SOPS 27830 HAS SOUS 11282 HAS SOUPS 5172 WITH SCORE 5222.356
AT ITER 1403 NEW BEST:: SOT 92154 SOS 50432 HAS SOPS 27910 HAS SOUS 11254 HAS SOUPS 5162 WITH SCORE 5212.432
AT ITER 1426 NEW BEST:: SOT 92273 SOS 50574 HAS SOPS 27990 HAS SOUS 11231 HAS SOUPS 5148 WITH SCORE 5198.574
AT ITER 1445 NEW BEST:: SOT 91875 SOS 50124 HAS SOPS 27716 HAS SOUS 11178 HAS SOUPS 5111 WITH SCORE 5161.124
AT ITER 1463 NEW BEST:: SOT 91910 SOS 50146 HAS SOPS 27718 HAS SOUS 11174 HAS SOUPS 5097 WITH SCORE 5147.146
AT ITER 1472 NEW BEST:: SOT 91923 SOS 49960 HAS SOPS 27692 HAS SOUS 11156 HAS SOUPS 5089 WITH SCORE 5138.96
AT ITER 1477 NEW BEST:: SOT 91923 SOS 49942 HAS SOPS 27692 HAS SOUS 11138 HAS SOUPS 5077 WITH SCORE 5126.942
AT ITER 1492 NEW BEST:: SOT 91923 SOS 49878 HAS SOPS 27636 HAS SOUS 11126 HAS SOUPS 5065 WITH SCORE 5114.878
AT ITER 1502 NEW BEST:: SOT 91911 SOS 49860 HAS SOPS 27618 HAS SOUS 11123 HAS SOUPS 5062 WITH SCORE 5111.86
AT ITER 1554 NEW BEST:: SOT 92091 SOS 50228 HAS SOPS 27605 HAS SOUS 10985 HAS SOUPS 5054 WITH SCORE 5104.228
AT ITER 1555 NEW BEST:: SOT 91611 SOS 49754 HAS SOPS 27281 HAS SOUS 10969 HAS SOUPS 5048 WITH SCORE 5097.754
AT ITER 1564 NEW BEST:: SOT 91397 SOS 49134 HAS SOPS 26894 HAS SOUS 11007 HAS SOUPS 5046 WITH SCORE 5095.134
AT ITER 1573 NEW BEST:: SOT 91417 SOS 49274 HAS SOPS 27027 HAS SOUS 11004 HAS SOUPS 5043 WITH SCORE 5092.274
AT ITER 1585 NEW BEST:: SOT 91383 SOS 49257 HAS SOPS 26959 HAS SOUS 10970 HAS SOUPS 5009 WITH SCORE 5058.257
AT ITER 1596 NEW BEST:: SOT 91381 SOS 48901 HAS SOPS 26619 HAS SOUS 10959 HAS SOUPS 4998 WITH SCORE 5046.901
AT ITER 1601 NEW BEST:: SOT 91395 SOS 48908 HAS SOPS 26619 HAS SOUS 10938 HAS SOUPS 4984 WITH SCORE 5032.908
AT ITER 1638 NEW BEST:: SOT 91403 SOS 48916 HAS SOPS 26592 HAS SOUS 10960 HAS SOUPS 4977 WITH SCORE 5025.916
AT ITER 1641 NEW BEST:: SOT 91406 SOS 48914 HAS SOPS 26588 HAS SOUS 10959 HAS SOUPS 4974 WITH SCORE 5022.914
AT ITER 1648 NEW BEST:: SOT 91441 SOS 48949 HAS SOPS 26593 HAS SOUS 10957 HAS SOUPS 4972 WITH SCORE 5020.949
AT ITER 1656 NEW BEST:: SOT 91195 SOS 48648 HAS SOPS 26444 HAS SOUS 10892 HAS SOUPS 4951 WITH SCORE 4999.648
AT ITER 1660 NEW BEST:: SOT 91183 SOS 48666 HAS SOPS 26420 HAS SOUS 10888 HAS SOUPS 4947 WITH SCORE 4995.666
AT ITER 1666 NEW BEST:: SOT 91200 SOS 47925 HAS SOPS 26041 HAS SOUS 10884 HAS SOUPS 4943 WITH SCORE 4990.925
AT ITER 1701 NEW BEST:: SOT 91151 SOS 47827 HAS SOPS 25951 HAS SOUS 10798 HAS SOUPS 4872 WITH SCORE 4919.827
AT ITER 1724 NEW BEST:: SOT 91164 SOS 47661 HAS SOPS 25831 HAS SOUS 10798 HAS SOUPS 4872 WITH SCORE 4919.661
AT ITER 1739 NEW BEST:: SOT 91171 SOS 47669 HAS SOPS 25831 HAS SOUS 10800 HAS SOUPS 4868 WITH SCORE 4915.669
AT ITER 1752 NEW BEST:: SOT 90898 SOS 47032 HAS SOPS 25649 HAS SOUS 10709 HAS SOUPS 4868 WITH SCORE 4915.032
AT ITER 1774 NEW BEST:: SOT 90727 SOS 46690 HAS SOPS 25649 HAS SOUS 10839 HAS SOUPS 4868 WITH SCORE 4914.69
AT ITER 1777 NEW BEST:: SOT 90733 SOS 46702 HAS SOPS 25653 HAS SOUS 10838 HAS SOUPS 4867 WITH SCORE 4913.702
AT ITER 1830 NEW BEST:: SOT 90727 SOS 46688 HAS SOPS 25649 HAS SOUS 10836 HAS SOUPS 4867 WITH SCORE 4913.688
AT ITER 1833 NEW BEST:: SOT 90727 SOS 46672 HAS SOPS 25633 HAS SOUS 10835 HAS SOUPS 4866 WITH SCORE 4912.672
AT ITER 1841 NEW BEST:: SOT 90533 SOS 46614 HAS SOPS 25613 HAS SOUS 10689 HAS SOUPS 4778 WITH SCORE 4824.614
AT ITER 1879 NEW BEST:: SOT 90526 SOS 46600 HAS SOPS 25599 HAS SOUS 10661 HAS SOUPS 4761 WITH SCORE 4807.6
AT ITER 1888 NEW BEST:: SOT 90540 SOS 46551 HAS SOPS 25529 HAS SOUS 10661 HAS SOUPS 4747 WITH SCORE 4793.551
AT ITER 1918 NEW BEST:: SOT 90642 SOS 46642 HAS SOPS 25588 HAS SOUS 10648 HAS SOUPS 4734 WITH SCORE 4780.642
AT ITER 1960 NEW BEST:: SOT 90674 SOS 46733 HAS SOPS 25657 HAS SOUS 10645 HAS SOUPS 4731 WITH SCORE 4777.733
AT ITER 1961 NEW BEST:: SOT 90557 SOS 46580 HAS SOPS 25558 HAS SOUS 10631 HAS SOUPS 4717 WITH SCORE 4763.58
AT ITER 2011 NEW BEST:: SOT 90545 SOS 46607 HAS SOPS 25514 HAS SOUS 10598 HAS SOUPS 4684 WITH SCORE 4730.607
AT ITER 2036 NEW BEST:: SOT 90500 SOS 46577 HAS SOPS 25484 HAS SOUS 10613 HAS SOUPS 4684 WITH SCORE 4730.577
AT ITER 2047 NEW BEST:: SOT 89623 SOS 45893 HAS SOPS 24900 HAS SOUS 10596 HAS SOUPS 4659 WITH SCORE 4704.893
AT ITER 2060 NEW BEST:: SOT 89599 SOS 45845 HAS SOPS 24900 HAS SOUS 10563 HAS SOUPS 4659 WITH SCORE 4704.845
AT ITER 2076 NEW BEST:: SOT 89574 SOS 45865 HAS SOPS 24925 HAS SOUS 10553 HAS SOUPS 4654 WITH SCORE 4699.865
AT ITER 2087 NEW BEST:: SOT 89552 SOS 45849 HAS SOPS 24911 HAS SOUS 10537 HAS SOUPS 4640 WITH SCORE 4685.849
AT ITER 2148 NEW BEST:: SOT 89551 SOS 45839 HAS SOPS 24893 HAS SOUS 10540 HAS SOUPS 4639 WITH SCORE 4684.839
AT ITER 2151 NEW BEST:: SOT 89544 SOS 45801 HAS SOPS 24863 HAS SOUS 10531 HAS SOUPS 4632 WITH SCORE 4677.801
AT ITER 2169 NEW BEST:: SOT 89522 SOS 45757 HAS SOPS 24863 HAS SOUS 10399 HAS SOUPS 4632 WITH SCORE 4677.757
AT ITER 2178 NEW BEST:: SOT 89760 SOS 45961 HAS SOPS 25011 HAS SOUS 10363 HAS SOUPS 4624 WITH SCORE 4669.961
AT ITER 2238 NEW BEST:: SOT 89688 SOS 45879 HAS SOPS 24929 HAS SOUS 10339 HAS SOUPS 4600 WITH SCORE 4645.879
AT ITER 2240 NEW BEST:: SOT 89931 SOS 46054 HAS SOPS 25056 HAS SOUS 10265 HAS SOUPS 4551 WITH SCORE 4597.054
AT ITER 2259 NEW BEST:: SOT 89931 SOS 45750 HAS SOPS 24860 HAS SOUS 10221 HAS SOUPS 4525 WITH SCORE 4570.75
AT ITER 2284 NEW BEST:: SOT 89941 SOS 45760 HAS SOPS 24870 HAS SOUS 10217 HAS SOUPS 4521 WITH SCORE 4566.76
AT ITER 2289 NEW BEST:: SOT 89931 SOS 45755 HAS SOPS 24862 HAS SOUS 10213 HAS SOUPS 4517 WITH SCORE 4562.755
AT ITER 2306 NEW BEST:: SOT 90150 SOS 46022 HAS SOPS 24862 HAS SOUS 10110 HAS SOUPS 4414 WITH SCORE 4460.022
AT ITER 2330 NEW BEST:: SOT 90134 SOS 46006 HAS SOPS 24834 HAS SOUS 10110 HAS SOUPS 4398 WITH SCORE 4444.006
AT ITER 2354 NEW BEST:: SOT 90132 SOS 46002 HAS SOPS 24834 HAS SOUS 10107 HAS SOUPS 4398 WITH SCORE 4444.002
AT ITER 2364 NEW BEST:: SOT 90057 SOS 45852 HAS SOPS 24756 HAS SOUS 10114 HAS SOUPS 4388 WITH SCORE 4433.852
AT ITER 2384 NEW BEST:: SOT 90067 SOS 45862 HAS SOPS 24766 HAS SOUS 10109 HAS SOUPS 4383 WITH SCORE 4428.862
AT ITER 2417 NEW BEST:: SOT 90066 SOS 45866 HAS SOPS 24764 HAS SOUS 10110 HAS SOUPS 4382 WITH SCORE 4427.866
AT ITER 2421 NEW BEST:: SOT 90070 SOS 45870 HAS SOPS 24748 HAS SOUS 10121 HAS SOUPS 4376 WITH SCORE 4421.87
AT ITER 2431 NEW BEST:: SOT 90061 SOS 45852 HAS SOPS 24748 HAS SOUS 10121 HAS SOUPS 4376 WITH SCORE 4421.852
AT ITER 2446 NEW BEST:: SOT 90030 SOS 45869 HAS SOPS 24774 HAS SOUS 10118 HAS SOUPS 4373 WITH SCORE 4418.869
AT ITER 2481 NEW BEST:: SOT 90035 SOS 45874 HAS SOPS 24779 HAS SOUS 10114 HAS SOUPS 4372 WITH SCORE 4417.874
AT ITER 2489 NEW BEST:: SOT 89959 SOS 45738 HAS SOPS 24691 HAS SOUS 10059 HAS SOUPS 4349 WITH SCORE 4394.738
AT ITER 2517 NEW BEST:: SOT 89706 SOS 45596 HAS SOPS 24483 HAS SOUS 10184 HAS SOUPS 4349 WITH SCORE 4394.596
AT ITER 2530 NEW BEST:: SOT 89708 SOS 45598 HAS SOPS 24487 HAS SOUS 10173 HAS SOUPS 4343 WITH SCORE 4388.598
AT ITER 2536 NEW BEST:: SOT 89442 SOS 45332 HAS SOPS 24335 HAS SOUS 10173 HAS SOUPS 4343 WITH SCORE 4388.332
AT ITER 2552 NEW BEST:: SOT 89397 SOS 45212 HAS SOPS 24245 HAS SOUS 10163 HAS SOUPS 4333 WITH SCORE 4378.212
AT ITER 2557 NEW BEST:: SOT 89646 SOS 45333 HAS SOPS 24366 HAS SOUS 10099 HAS SOUPS 4301 WITH SCORE 4346.333
AT ITER 2565 NEW BEST:: SOT 90118 SOS 45959 HAS SOPS 24462 HAS SOUS 10582 HAS SOUPS 4291 WITH SCORE 4336.959
AT ITER 2598 NEW BEST:: SOT 90115 SOS 45953 HAS SOPS 24460 HAS SOUS 10575 HAS SOUPS 4286 WITH SCORE 4331.953
AT ITER 2627 NEW BEST:: SOT 90060 SOS 45898 HAS SOPS 24430 HAS SOUS 10584 HAS SOUPS 4280 WITH SCORE 4325.898
AT ITER 2692 NEW BEST:: SOT 90198 SOS 46066 HAS SOPS 24514 HAS SOUS 10587 HAS SOUPS 4271 WITH SCORE 4317.066
AT ITER 2704 NEW BEST:: SOT 90191 SOS 46066 HAS SOPS 24514 HAS SOUS 10580 HAS SOUPS 4264 WITH SCORE 4310.066
AT ITER 2761 NEW BEST:: SOT 90135 SOS 46010 HAS SOPS 24498 HAS SOUS 10548 HAS SOUPS 4264 WITH SCORE 4310.01
AT ITER 2801 NEW BEST:: SOT 90107 SOS 45954 HAS SOPS 24470 HAS SOUS 10506 HAS SOUPS 4250 WITH SCORE 4295.954
AT ITER 2921 NEW BEST:: SOT 89971 SOS 45836 HAS SOPS 24302 HAS SOUS 10364 HAS SOUPS 4246 WITH SCORE 4291.836
AT ITER 2942 NEW BEST:: SOT 89809 SOS 45790 HAS SOPS 24125 HAS SOUS 10538 HAS SOUPS 4235 WITH SCORE 4280.79
AT ITER 2949 NEW BEST:: SOT 89865 SOS 45652 HAS SOPS 24019 HAS SOUS 10535 HAS SOUPS 4232 WITH SCORE 4277.652
AT ITER 2959 NEW BEST:: SOT 89934 SOS 45624 HAS SOPS 23901 HAS SOUS 10528 HAS SOUPS 4200 WITH SCORE 4245.624
AT ITER 2982 NEW BEST:: SOT 89923 SOS 45658 HAS SOPS 23927 HAS SOUS 10525 HAS SOUPS 4197 WITH SCORE 4242.658
AT ITER 3010 NEW BEST:: SOT 89824 SOS 45570 HAS SOPS 23839 HAS SOUS 10503 HAS SOUPS 4175 WITH SCORE 4220.57
AT ITER 3061 NEW BEST:: SOT 89810 SOS 45574 HAS SOPS 23843 HAS SOUS 10499 HAS SOUPS 4169 WITH SCORE 4214.574
AT ITER 3095 NEW BEST:: SOT 89808 SOS 45531 HAS SOPS 23839 HAS SOUS 10499 HAS SOUPS 4169 WITH SCORE 4214.531
AT ITER 3115 NEW BEST:: SOT 89808 SOS 45471 HAS SOPS 23799 HAS SOUS 10484 HAS SOUPS 4159 WITH SCORE 4204.471
AT ITER 3154 NEW BEST:: SOT 89793 SOS 45456 HAS SOPS 23784 HAS SOUS 10484 HAS SOUPS 4159 WITH SCORE 4204.456
AT ITER 3160 NEW BEST:: SOT 89799 SOS 45446 HAS SOPS 23772 HAS SOUS 10478 HAS SOUPS 4159 WITH SCORE 4204.446
AT ITER 3170 NEW BEST:: SOT 89640 SOS 45275 HAS SOPS 23715 HAS SOUS 10471 HAS SOUPS 4152 WITH SCORE 4197.275
AT ITER 3171 NEW BEST:: SOT 89633 SOS 45264 HAS SOPS 23711 HAS SOUS 10468 HAS SOUPS 4150 WITH SCORE 4195.264
AT ITER 3181 NEW BEST:: SOT 89622 SOS 45242 HAS SOPS 23711 HAS SOUS 10447 HAS SOUPS 4150 WITH SCORE 4195.242
AT ITER 3185 NEW BEST:: SOT 89617 SOS 45232 HAS SOPS 23711 HAS SOUS 10349 HAS SOUPS 4148 WITH SCORE 4193.232
AT ITER 3210 NEW BEST:: SOT 89613 SOS 45226 HAS SOPS 23705 HAS SOUS 10348 HAS SOUPS 4147 WITH SCORE 4192.226
AT ITER 3212 NEW BEST:: SOT 89612 SOS 45224 HAS SOPS 23703 HAS SOUS 10346 HAS SOUPS 4145 WITH SCORE 4190.224
AT ITER 3222 NEW BEST:: SOT 89582 SOS 45212 HAS SOPS 23723 HAS SOUS 10332 HAS SOUPS 4139 WITH SCORE 4184.212
AT ITER 3227 NEW BEST:: SOT 89574 SOS 45204 HAS SOPS 23721 HAS SOUS 10332 HAS SOUPS 4139 WITH SCORE 4184.204
AT ITER 3245 NEW BEST:: SOT 89422 SOS 45016 HAS SOPS 23599 HAS SOUS 10312 HAS SOUPS 4119 WITH SCORE 4164.016
AT ITER 3252 NEW BEST:: SOT 89310 SOS 44891 HAS SOPS 23599 HAS SOUS 10167 HAS SOUPS 4119 WITH SCORE 4163.891
AT ITER 3275 NEW BEST:: SOT 89306 SOS 44887 HAS SOPS 23591 HAS SOUS 10166 HAS SOUPS 4116 WITH SCORE 4160.887
AT ITER 3278 NEW BEST:: SOT 89318 SOS 44909 HAS SOPS 23605 HAS SOUS 10165 HAS SOUPS 4115 WITH SCORE 4159.909
AT ITER 3305 NEW BEST:: SOT 89373 SOS 44992 HAS SOPS 23553 HAS SOUS 10139 HAS SOUPS 4089 WITH SCORE 4133.992
AT ITER 3347 NEW BEST:: SOT 89370 SOS 45015 HAS SOPS 23555 HAS SOUS 10145 HAS SOUPS 4088 WITH SCORE 4133.015
AT ITER 3382 NEW BEST:: SOT 89357 SOS 45002 HAS SOPS 23542 HAS SOUS 10138 HAS SOUPS 4081 WITH SCORE 4126.002
AT ITER 3391 NEW BEST:: SOT 89315 SOS 44974 HAS SOPS 23514 HAS SOUS 10145 HAS SOUPS 4081 WITH SCORE 4125.974
AT ITER 3403 NEW BEST:: SOT 89333 SOS 44968 HAS SOPS 23538 HAS SOUS 10139 HAS SOUPS 4081 WITH SCORE 4125.968
AT ITER 3436 NEW BEST:: SOT 89305 SOS 44912 HAS SOPS 23538 HAS SOUS 10139 HAS SOUPS 4081 WITH SCORE 4125.912
AT ITER 3452 NEW BEST:: SOT 89170 SOS 44548 HAS SOPS 23168 HAS SOUS 10105 HAS SOUPS 4030 WITH SCORE 4074.548
AT ITER 3463 NEW BEST:: SOT 89150 SOS 44496 HAS SOPS 23164 HAS SOUS 10095 HAS SOUPS 4028 WITH SCORE 4072.496
AT ITER 3475 NEW BEST:: SOT 88963 SOS 44122 HAS SOPS 23164 HAS SOUS 10014 HAS SOUPS 4028 WITH SCORE 4072.122
AT ITER 3476 NEW BEST:: SOT 88936 SOS 43912 HAS SOPS 23151 HAS SOUS 10014 HAS SOUPS 4028 WITH SCORE 4071.912
AT ITER 3486 NEW BEST:: SOT 88938 SOS 43916 HAS SOPS 23155 HAS SOUS 10010 HAS SOUPS 4026 WITH SCORE 4069.916
AT ITER 3491 NEW BEST:: SOT 88887 SOS 43814 HAS SOPS 23117 HAS SOUS 9975 HAS SOUPS 4007 WITH SCORE 4050.814
AT ITER 3499 NEW BEST:: SOT 88935 SOS 43864 HAS SOPS 23131 HAS SOUS 9963 HAS SOUPS 3995 WITH SCORE 4038.864
AT ITER 3538 NEW BEST:: SOT 88952 SOS 43790 HAS SOPS 23052 HAS SOUS 9963 HAS SOUPS 3995 WITH SCORE 4038.79
AT ITER 3546 NEW BEST:: SOT 88926 SOS 43768 HAS SOPS 23056 HAS SOUS 9944 HAS SOUPS 3991 WITH SCORE 4034.768
AT ITER 3568 NEW BEST:: SOT 88736 SOS 43614 HAS SOPS 22950 HAS SOUS 9950 HAS SOUPS 3991 WITH SCORE 4034.614
AT ITER 3633 NEW BEST:: SOT 88734 SOS 43610 HAS SOPS 22946 HAS SOUS 9948 HAS SOUPS 3989 WITH SCORE 4032.61
AT ITER 3639 NEW BEST:: SOT 88594 SOS 43330 HAS SOPS 22946 HAS SOUS 9913 HAS SOUPS 3989 WITH SCORE 4032.33
AT ITER 3646 NEW BEST:: SOT 88613 SOS 43359 HAS SOPS 22930 HAS SOUS 9942 HAS SOUPS 3982 WITH SCORE 4025.359
AT ITER 3680 NEW BEST:: SOT 88661 SOS 43407 HAS SOPS 22930 HAS SOUS 9942 HAS SOUPS 3950 WITH SCORE 3993.407
AT ITER 3731 NEW BEST:: SOT 88658 SOS 43281 HAS SOPS 22804 HAS SOUS 9941 HAS SOUPS 3949 WITH SCORE 3992.281
AT ITER 3744 NEW BEST:: SOT 88628 SOS 43251 HAS SOPS 22744 HAS SOUS 9953 HAS SOUPS 3949 WITH SCORE 3992.251
AT ITER 3759 NEW BEST:: SOT 88617 SOS 43218 HAS SOPS 22744 HAS SOUS 9942 HAS SOUPS 3949 WITH SCORE 3992.218
AT ITER 3763 NEW BEST:: SOT 88712 SOS 43351 HAS SOPS 22782 HAS SOUS 10009 HAS SOUPS 3940 WITH SCORE 3983.351
AT ITER 3764 NEW BEST:: SOT 88869 SOS 43494 HAS SOPS 22859 HAS SOUS 10003 HAS SOUPS 3939 WITH SCORE 3982.494
AT ITER 3772 NEW BEST:: SOT 88883 SOS 43523 HAS SOPS 22870 HAS SOUS 10005 HAS SOUPS 3936 WITH SCORE 3979.523
AT ITER 3800 NEW BEST:: SOT 89057 SOS 43697 HAS SOPS 22972 HAS SOUS 9989 HAS SOUPS 3932 WITH SCORE 3975.697
AT ITER 3849 NEW BEST:: SOT 89055 SOS 43695 HAS SOPS 22968 HAS SOUS 9991 HAS SOUPS 3932 WITH SCORE 3975.695
AT ITER 3888 NEW BEST:: SOT 88955 SOS 43571 HAS SOPS 22892 HAS SOUS 9971 HAS SOUPS 3920 WITH SCORE 3963.571
AT ITER 3911 NEW BEST:: SOT 88920 SOS 43506 HAS SOPS 22852 HAS SOUS 9941 HAS SOUPS 3910 WITH SCORE 3953.506
AT ITER 3935 NEW BEST:: SOT 88921 SOS 43508 HAS SOPS 22854 HAS SOUS 9938 HAS SOUPS 3909 WITH SCORE 3952.508
AT ITER 3939 NEW BEST:: SOT 88865 SOS 43452 HAS SOPS 22806 HAS SOUS 9954 HAS SOUPS 3893 WITH SCORE 3936.452
AT ITER 3997 NEW BEST:: SOT 88873 SOS 43452 HAS SOPS 22814 HAS SOUS 9950 HAS SOUPS 3889 WITH SCORE 3932.452
AT ITER 4031 NEW BEST:: SOT 88824 SOS 43423 HAS SOPS 22762 HAS SOUS 9934 HAS SOUPS 3873 WITH SCORE 3916.423
AT ITER 4039 NEW BEST:: SOT 88762 SOS 43285 HAS SOPS 22738 HAS SOUS 9911 HAS SOUPS 3869 WITH SCORE 3912.285
AT ITER 4054 NEW BEST:: SOT 88692 SOS 43237 HAS SOPS 22690 HAS SOUS 9910 HAS SOUPS 3860 WITH SCORE 3903.237
AT ITER 4056 NEW BEST:: SOT 88784 SOS 43343 HAS SOPS 22724 HAS SOUS 9902 HAS SOUPS 3855 WITH SCORE 3898.343
AT ITER 4072 NEW BEST:: SOT 88674 SOS 43222 HAS SOPS 22669 HAS SOUS 9884 HAS SOUPS 3848 WITH SCORE 3891.222
AT ITER 4165 NEW BEST:: SOT 88678 SOS 43118 HAS SOPS 22601 HAS SOUS 9876 HAS SOUPS 3840 WITH SCORE 3883.118
AT ITER 4178 NEW BEST:: SOT 88679 SOS 42624 HAS SOPS 22603 HAS SOUS 9859 HAS SOUPS 3838 WITH SCORE 3880.624
AT ITER 4187 NEW BEST:: SOT 88675 SOS 42620 HAS SOPS 22599 HAS SOUS 9859 HAS SOUPS 3838 WITH SCORE 3880.62
AT ITER 4211 NEW BEST:: SOT 88667 SOS 42596 HAS SOPS 22571 HAS SOUS 9859 HAS SOUPS 3836 WITH SCORE 3878.596
AT ITER 4263 NEW BEST:: SOT 88617 SOS 42546 HAS SOPS 22541 HAS SOUS 9833 HAS SOUPS 3822 WITH SCORE 3864.546
AT ITER 4324 NEW BEST:: SOT 88611 SOS 42438 HAS SOPS 22481 HAS SOUS 9827 HAS SOUPS 3822 WITH SCORE 3864.438
AT ITER 4335 NEW BEST:: SOT 88608 SOS 42370 HAS SOPS 22445 HAS SOUS 9824 HAS SOUPS 3819 WITH SCORE 3861.37
AT ITER 4365 NEW BEST:: SOT 88574 SOS 42328 HAS SOPS 22421 HAS SOUS 9818 HAS SOUPS 3815 WITH SCORE 3857.328
AT ITER 4377 NEW BEST:: SOT 88567 SOS 42314 HAS SOPS 22421 HAS SOUS 9747 HAS SOUPS 3815 WITH SCORE 3857.314
AT ITER 4454 NEW BEST:: SOT 88559 SOS 42306 HAS SOPS 22413 HAS SOUS 9747 HAS SOUPS 3815 WITH SCORE 3857.306
AT ITER 4461 NEW BEST:: SOT 88559 SOS 42310 HAS SOPS 22413 HAS SOUS 9743 HAS SOUPS 3811 WITH SCORE 3853.31
AT ITER 4501 NEW BEST:: SOT 88560 SOS 42315 HAS SOPS 22411 HAS SOUS 9741 HAS SOUPS 3809 WITH SCORE 3851.315
AT ITER 4502 NEW BEST:: SOT 88547 SOS 42302 HAS SOPS 22411 HAS SOUS 9717 HAS SOUPS 3785 WITH SCORE 3827.302
AT ITER 4556 NEW BEST:: SOT 88526 SOS 42281 HAS SOPS 22393 HAS SOUS 9717 HAS SOUPS 3785 WITH SCORE 3827.281
AT ITER 4582 NEW BEST:: SOT 88507 SOS 42253 HAS SOPS 22375 HAS SOUS 9708 HAS SOUPS 3781 WITH SCORE 3823.253
AT ITER 4620 NEW BEST:: SOT 88517 SOS 42121 HAS SOPS 22297 HAS SOUS 9701 HAS SOUPS 3774 WITH SCORE 3816.121
AT ITER 4664 NEW BEST:: SOT 88513 SOS 42121 HAS SOPS 22297 HAS SOUS 9700 HAS SOUPS 3773 WITH SCORE 3815.121
AT ITER 4669 NEW BEST:: SOT 88512 SOS 42117 HAS SOPS 22297 HAS SOUS 9698 HAS SOUPS 3772 WITH SCORE 3814.117
AT ITER 4687 NEW BEST:: SOT 88582 SOS 42187 HAS SOPS 22319 HAS SOUS 9676 HAS SOUPS 3750 WITH SCORE 3792.187
AT ITER 4688 NEW BEST:: SOT 88570 SOS 42163 HAS SOPS 22319 HAS SOUS 9661 HAS SOUPS 3750 WITH SCORE 3792.163
AT ITER 4719 NEW BEST:: SOT 88531 SOS 42595 HAS SOPS 22383 HAS SOUS 9675 HAS SOUPS 3741 WITH SCORE 3783.595
AT ITER 4725 NEW BEST:: SOT 88495 SOS 42523 HAS SOPS 22383 HAS SOUS 9422 HAS SOUPS 3741 WITH SCORE 3783.523
AT ITER 4792 NEW BEST:: SOT 88481 SOS 42509 HAS SOPS 22375 HAS SOUS 9422 HAS SOUPS 3741 WITH SCORE 3783.509
AT ITER 4796 NEW BEST:: SOT 88503 SOS 42543 HAS SOPS 22391 HAS SOUS 9438 HAS SOUPS 3740 WITH SCORE 3782.543
AT ITER 4804 NEW BEST:: SOT 88528 SOS 42537 HAS SOPS 22423 HAS SOUS 9431 HAS SOUPS 3740 WITH SCORE 3782.537
AT ITER 4810 NEW BEST:: SOT 88533 SOS 42443 HAS SOPS 22407 HAS SOUS 9428 HAS SOUPS 3737 WITH SCORE 3779.443
AT ITER 4815 NEW BEST:: SOT 88497 SOS 42406 HAS SOPS 22377 HAS SOUS 9427 HAS SOUPS 3737 WITH SCORE 3779.406
AT ITER 4833 NEW BEST:: SOT 88234 SOS 42420 HAS SOPS 22065 HAS SOUS 9725 HAS SOUPS 3712 WITH SCORE 3754.42
AT ITER 4845 NEW BEST:: SOT 87973 SOS 42381 HAS SOPS 21789 HAS SOUS 9775 HAS SOUPS 3712 WITH SCORE 3754.381
AT ITER 4865 NEW BEST:: SOT 87967 SOS 42373 HAS SOPS 21785 HAS SOUS 9773 HAS SOUPS 3712 WITH SCORE 3754.373
AT ITER 4891 NEW BEST:: SOT 87980 SOS 42299 HAS SOPS 21774 HAS SOUS 9770 HAS SOUPS 3709 WITH SCORE 3751.299
AT ITER 4915 NEW BEST:: SOT 87958 SOS 42253 HAS SOPS 21764 HAS SOUS 9756 HAS SOUPS 3701 WITH SCORE 3743.253
AT ITER 4963 NEW BEST:: SOT 87954 SOS 42245 HAS SOPS 21760 HAS SOUS 9752 HAS SOUPS 3698 WITH SCORE 3740.245
AT ITER 4994 NEW BEST:: SOT 87954 SOS 42245 HAS SOPS 21760 HAS SOUS 9742 HAS SOUPS 3688 WITH SCORE 3730.245
AT ITER 5004 NEW BEST:: SOT 87854 SOS 42125 HAS SOPS 21640 HAS SOUS 9732 HAS SOUPS 3668 WITH SCORE 3710.125
AT ITER 5013 NEW BEST:: SOT 87849 SOS 42107 HAS SOPS 21622 HAS SOUS 9725 HAS SOUPS 3663 WITH SCORE 3705.107
AT ITER 5023 NEW BEST:: SOT 87839 SOS 42097 HAS SOPS 21608 HAS SOUS 9720 HAS SOUPS 3658 WITH SCORE 3700.097
AT ITER 5024 NEW BEST:: SOT 87612 SOS 41824 HAS SOPS 21479 HAS SOUS 9705 HAS SOUPS 3658 WITH SCORE 3699.824
AT ITER 5056 NEW BEST:: SOT 87609 SOS 41818 HAS SOPS 21477 HAS SOUS 9699 HAS SOUPS 3655 WITH SCORE 3696.818
AT ITER 5065 NEW BEST:: SOT 87603 SOS 41808 HAS SOPS 21477 HAS SOUS 9689 HAS SOUPS 3653 WITH SCORE 3694.808
AT ITER 5079 NEW BEST:: SOT 87572 SOS 41777 HAS SOPS 21464 HAS SOUS 9688 HAS SOUPS 3652 WITH SCORE 3693.777
AT ITER 5169 NEW BEST:: SOT 87533 SOS 41811 HAS SOPS 21521 HAS SOUS 9676 HAS SOUPS 3651 WITH SCORE 3692.811
AT ITER 5184 NEW BEST:: SOT 87554 SOS 41836 HAS SOPS 21530 HAS SOUS 9676 HAS SOUPS 3649 WITH SCORE 3690.836
AT ITER 5267 NEW BEST:: SOT 87560 SOS 41842 HAS SOPS 21506 HAS SOUS 9688 HAS SOUPS 3637 WITH SCORE 3678.842
AT ITER 5277 NEW BEST:: SOT 87580 SOS 41852 HAS SOPS 21506 HAS SOUS 9690 HAS SOUPS 3635 WITH SCORE 3676.852
AT ITER 5297 NEW BEST:: SOT 87572 SOS 41836 HAS SOPS 21490 HAS SOUS 9681 HAS SOUPS 3626 WITH SCORE 3667.836
AT ITER 5300 NEW BEST:: SOT 87572 SOS 41836 HAS SOPS 21490 HAS SOUS 9582 HAS SOUPS 3571 WITH SCORE 3612.836
AT ITER 5366 NEW BEST:: SOT 87550 SOS 41804 HAS SOPS 21486 HAS SOUS 9562 HAS SOUPS 3571 WITH SCORE 3612.804
AT ITER 5390 NEW BEST:: SOT 87545 SOS 41799 HAS SOPS 21467 HAS SOUS 9559 HAS SOUPS 3561 WITH SCORE 3602.799
AT ITER 5410 NEW BEST:: SOT 87519 SOS 41771 HAS SOPS 21439 HAS SOUS 9560 HAS SOUPS 3559 WITH SCORE 3600.771
AT ITER 5494 NEW BEST:: SOT 88400 SOS 42291 HAS SOPS 21778 HAS SOUS 9832 HAS SOUPS 3555 WITH SCORE 3597.291
AT ITER 5512 NEW BEST:: SOT 88383 SOS 42206 HAS SOPS 21778 HAS SOUS 9761 HAS SOUPS 3527 WITH SCORE 3569.206
AT ITER 5531 NEW BEST:: SOT 88358 SOS 42055 HAS SOPS 21759 HAS SOUS 9750 HAS SOUPS 3516 WITH SCORE 3558.055
AT ITER 5536 NEW BEST:: SOT 88388 SOS 42097 HAS SOPS 21771 HAS SOUS 9772 HAS SOUPS 3514 WITH SCORE 3556.097
AT ITER 5547 NEW BEST:: SOT 88382 SOS 42089 HAS SOPS 21763 HAS SOUS 9772 HAS SOUPS 3514 WITH SCORE 3556.089
AT ITER 5572 NEW BEST:: SOT 88381 SOS 42089 HAS SOPS 21761 HAS SOUS 9772 HAS SOUPS 3513 WITH SCORE 3555.089
AT ITER 5685 NEW BEST:: SOT 88421 SOS 42133 HAS SOPS 21781 HAS SOUS 9768 HAS SOUPS 3509 WITH SCORE 3551.133
AT ITER 5693 NEW BEST:: SOT 88350 SOS 41949 HAS SOPS 21669 HAS SOUS 9747 HAS SOUPS 3494 WITH SCORE 3535.949
AT ITER 5790 NEW BEST:: SOT 88341 SOS 41940 HAS SOPS 21660 HAS SOUS 9741 HAS SOUPS 3488 WITH SCORE 3529.94
AT ITER 5831 NEW BEST:: SOT 88331 SOS 41926 HAS SOPS 21652 HAS SOUS 9737 HAS SOUPS 3487 WITH SCORE 3528.926
AT ITER 5833 NEW BEST:: SOT 88348 SOS 41922 HAS SOPS 21626 HAS SOUS 9739 HAS SOUPS 3483 WITH SCORE 3524.922
AT ITER 5843 NEW BEST:: SOT 88344 SOS 41914 HAS SOPS 21626 HAS SOUS 9733 HAS SOUPS 3481 WITH SCORE 3522.914
AT ITER 5844 NEW BEST:: SOT 88341 SOS 41869 HAS SOPS 21590 HAS SOUS 9730 HAS SOUPS 3478 WITH SCORE 3519.869
AT ITER 5960 NEW BEST:: SOT 88332 SOS 41867 HAS SOPS 21590 HAS SOUS 9729 HAS SOUPS 3478 WITH SCORE 3519.867
AT ITER 5985 NEW BEST:: SOT 88278 SOS 41438 HAS SOPS 21340 HAS SOUS 9729 HAS SOUPS 3478 WITH SCORE 3519.438
AT ITER 6038 NEW BEST:: SOT 88194 SOS 41270 HAS SOPS 21340 HAS SOUS 9616 HAS SOUPS 3478 WITH SCORE 3519.27
AT ITER 6108 NEW BEST:: SOT 88199 SOS 41311 HAS SOPS 21289 HAS SOUS 9611 HAS SOUPS 3468 WITH SCORE 3509.311
AT ITER 6155 NEW BEST:: SOT 88195 SOS 41299 HAS SOPS 21289 HAS SOUS 9609 HAS SOUPS 3468 WITH SCORE 3509.299
AT ITER 6181 NEW BEST:: SOT 88167 SOS 41243 HAS SOPS 21233 HAS SOUS 9590 HAS SOUPS 3449 WITH SCORE 3490.243
AT ITER 6230 NEW BEST:: SOT 88166 SOS 41218 HAS SOPS 21208 HAS SOUS 9596 HAS SOUPS 3447 WITH SCORE 3488.218
AT ITER 6255 NEW BEST:: SOT 88138 SOS 41174 HAS SOPS 21192 HAS SOUS 9568 HAS SOUPS 3439 WITH SCORE 3480.174
AT ITER 6263 NEW BEST:: SOT 88138 SOS 41189 HAS SOPS 21195 HAS SOUS 9567 HAS SOUPS 3438 WITH SCORE 3479.189
AT ITER 6293 NEW BEST:: SOT 88227 SOS 41234 HAS SOPS 21240 HAS SOUS 9536 HAS SOUPS 3419 WITH SCORE 3460.234
AT ITER 6295 NEW BEST:: SOT 88224 SOS 41231 HAS SOPS 21240 HAS SOUS 9536 HAS SOUPS 3419 WITH SCORE 3460.231
AT ITER 6313 NEW BEST:: SOT 88294 SOS 41301 HAS SOPS 21268 HAS SOUS 9529 HAS SOUPS 3412 WITH SCORE 3453.301
AT ITER 6328 NEW BEST:: SOT 88254 SOS 40987 HAS SOPS 21242 HAS SOUS 9510 HAS SOUPS 3411 WITH SCORE 3451.987
AT ITER 6333 NEW BEST:: SOT 88284 SOS 41020 HAS SOPS 21257 HAS SOUS 9510 HAS SOUPS 3409 WITH SCORE 3450.02
AT ITER 6385 NEW BEST:: SOT 88275 SOS 41002 HAS SOPS 21257 HAS SOUS 9636 HAS SOUPS 3409 WITH SCORE 3450.002
AT ITER 6435 NEW BEST:: SOT 88346 SOS 40927 HAS SOPS 21238 HAS SOUS 9619 HAS SOUPS 3406 WITH SCORE 3446.927
AT ITER 6444 NEW BEST:: SOT 88325 SOS 40934 HAS SOPS 21210 HAS SOUS 9600 HAS SOUPS 3376 WITH SCORE 3416.934
AT ITER 6513 NEW BEST:: SOT 88317 SOS 40911 HAS SOPS 21205 HAS SOUS 9600 HAS SOUPS 3375 WITH SCORE 3415.911
AT ITER 6577 NEW BEST:: SOT 88315 SOS 40907 HAS SOPS 21201 HAS SOUS 9598 HAS SOUPS 3373 WITH SCORE 3413.907
AT ITER 6625 NEW BEST:: SOT 88314 SOS 40905 HAS SOPS 21199 HAS SOUS 9597 HAS SOUPS 3372 WITH SCORE 3412.905
AT ITER 6639 NEW BEST:: SOT 88313 SOS 40903 HAS SOPS 21197 HAS SOUS 9596 HAS SOUPS 3371 WITH SCORE 3411.903
AT ITER 6644 NEW BEST:: SOT 88312 SOS 40887 HAS SOPS 21163 HAS SOUS 9594 HAS SOUPS 3368 WITH SCORE 3408.887
AT ITER 6649 NEW BEST:: SOT 88204 SOS 40773 HAS SOPS 21061 HAS SOUS 9589 HAS SOUPS 3368 WITH SCORE 3408.773
AT ITER 6672 NEW BEST:: SOT 88092 SOS 40679 HAS SOPS 20993 HAS SOUS 9588 HAS SOUPS 3367 WITH SCORE 3407.679
AT ITER 6794 NEW BEST:: SOT 88023 SOS 40574 HAS SOPS 20965 HAS SOUS 9523 HAS SOUPS 3357 WITH SCORE 3397.574
AT ITER 6801 NEW BEST:: SOT 88023 SOS 40569 HAS SOPS 20964 HAS SOUS 9521 HAS SOUPS 3355 WITH SCORE 3395.569
AT ITER 6826 NEW BEST:: SOT 88027 SOS 40574 HAS SOPS 20964 HAS SOUS 9523 HAS SOUPS 3353 WITH SCORE 3393.574
AT ITER 6870 NEW BEST:: SOT 88010 SOS 40549 HAS SOPS 20960 HAS SOUS 9518 HAS SOUPS 3351 WITH SCORE 3391.549
AT ITER 6997 NEW BEST:: SOT 87993 SOS 40527 HAS SOPS 20926 HAS SOUS 9497 HAS SOUPS 3330 WITH SCORE 3370.527
AT ITER 7095 NEW BEST:: SOT 87963 SOS 40483 HAS SOPS 20898 HAS SOUS 9480 HAS SOUPS 3321 WITH SCORE 3361.483
AT ITER 7289 NEW BEST:: SOT 87948 SOS 40462 HAS SOPS 20898 HAS SOUS 9465 HAS SOUPS 3321 WITH SCORE 3361.462
AT ITER 7295 NEW BEST:: SOT 87957 SOS 40384 HAS SOPS 20844 HAS SOUS 9461 HAS SOUPS 3321 WITH SCORE 3361.384
AT ITER 7313 NEW BEST:: SOT 87969 SOS 40399 HAS SOPS 20844 HAS SOUS 9469 HAS SOUPS 3316 WITH SCORE 3356.399
AT ITER 7364 NEW BEST:: SOT 87967 SOS 40435 HAS SOPS 20865 HAS SOUS 9467 HAS SOUPS 3314 WITH SCORE 3354.435
AT ITER 7370 NEW BEST:: SOT 87997 SOS 40468 HAS SOPS 20880 HAS SOUS 9470 HAS SOUPS 3312 WITH SCORE 3352.468
AT ITER 7487 NEW BEST:: SOT 87991 SOS 40456 HAS SOPS 20868 HAS SOUS 9464 HAS SOUPS 3306 WITH SCORE 3346.456
AT ITER 7739 NEW BEST:: SOT 87981 SOS 40436 HAS SOPS 20848 HAS SOUS 9443 HAS SOUPS 3292 WITH SCORE 3332.436
AT ITER 7942 NEW BEST:: SOT 87972 SOS 40428 HAS SOPS 20840 HAS SOUS 9441 HAS SOUPS 3290 WITH SCORE 3330.428
AT ITER 7988 NEW BEST:: SOT 87977 SOS 40435 HAS SOPS 20840 HAS SOUS 9440 HAS SOUPS 3288 WITH SCORE 3328.435
AT ITER 8000 NEW BEST:: SOT 87961 SOS 40423 HAS SOPS 20828 HAS SOUS 9438 HAS SOUPS 3286 WITH SCORE 3326.423
AT ITER 8184 NEW BEST:: SOT 87961 SOS 40372 HAS SOPS 20825 HAS SOUS 9432 HAS SOUPS 3283 WITH SCORE 3323.372
AT ITER 8212 NEW BEST:: SOT 87861 SOS 40172 HAS SOPS 20825 HAS SOUS 9288 HAS SOUPS 3283 WITH SCORE 3323.172
AT ITER 8219 NEW BEST:: SOT 87857 SOS 40170 HAS SOPS 20823 HAS SOUS 9284 HAS SOUPS 3282 WITH SCORE 3322.17
AT ITER 8390 NEW BEST:: SOT 87746 SOS 40060 HAS SOPS 20759 HAS SOUS 9284 HAS SOUPS 3282 WITH SCORE 3322.06
AT ITER 8484 NEW BEST:: SOT 87765 SOS 40099 HAS SOPS 20768 HAS SOUS 9288 HAS SOUPS 3281 WITH SCORE 3321.099
AT ITER 8528 NEW BEST:: SOT 87795 SOS 40119 HAS SOPS 20788 HAS SOUS 9280 HAS SOUPS 3277 WITH SCORE 3317.119
AT ITER 8563 NEW BEST:: SOT 87795 SOS 40120 HAS SOPS 20787 HAS SOUS 9280 HAS SOUPS 3276 WITH SCORE 3316.12
AT ITER 8594 NEW BEST:: SOT 87783 SOS 40102 HAS SOPS 20775 HAS SOUS 9277 HAS SOUPS 3276 WITH SCORE 3316.102
AT ITER 8603 NEW BEST:: SOT 87816 SOS 40168 HAS SOPS 20775 HAS SOUS 9319 HAS SOUPS 3274 WITH SCORE 3314.168
AT ITER 8651 NEW BEST:: SOT 87834 SOS 40162 HAS SOPS 20799 HAS SOUS 9289 HAS SOUPS 3274 WITH SCORE 3314.162
AT ITER 8673 NEW BEST:: SOT 87939 SOS 40127 HAS SOPS 20939 HAS SOUS 9114 HAS SOUPS 3274 WITH SCORE 3314.127
AT ITER 8681 NEW BEST:: SOT 87923 SOS 40109 HAS SOPS 20931 HAS SOUS 9114 HAS SOUPS 3274 WITH SCORE 3314.109
AT ITER 8754 NEW BEST:: SOT 87902 SOS 40116 HAS SOPS 20903 HAS SOUS 9112 HAS SOUPS 3269 WITH SCORE 3309.116
AT ITER 8852 NEW BEST:: SOT 87960 SOS 40120 HAS SOPS 20875 HAS SOUS 9119 HAS SOUPS 3268 WITH SCORE 3308.12
AT ITER 8856 NEW BEST:: SOT 87960 SOS 40078 HAS SOPS 20875 HAS SOUS 9113 HAS SOUPS 3268 WITH SCORE 3308.078
AT ITER 8857 NEW BEST:: SOT 87952 SOS 39966 HAS SOPS 20867 HAS SOUS 9113 HAS SOUPS 3268 WITH SCORE 3307.966
AT ITER 9097 NEW BEST:: SOT 87926 SOS 39914 HAS SOPS 20867 HAS SOUS 9117 HAS SOUPS 3268 WITH SCORE 3307.914
AT ITER 9225 NEW BEST:: SOT 87943 SOS 39951 HAS SOPS 20874 HAS SOUS 9121 HAS SOUPS 3267 WITH SCORE 3306.951
AT ITER 9240 NEW BEST:: SOT 88023 SOS 40011 HAS SOPS 20914 HAS SOUS 9113 HAS SOUPS 3259 WITH SCORE 3299.011
AT ITER 9386 NEW BEST:: SOT 87965 SOS 39913 HAS SOPS 20871 HAS SOUS 9097 HAS SOUPS 3245 WITH SCORE 3284.913
AT ITER 9429 NEW BEST:: SOT 87976 SOS 39926 HAS SOPS 20877 HAS SOUS 9096 HAS SOUPS 3243 WITH SCORE 3282.926
AT ITER 9483 NEW BEST:: SOT 87970 SOS 39928 HAS SOPS 20869 HAS SOUS 9089 HAS SOUPS 3238 WITH SCORE 3277.928
AT ITER 9497 NEW BEST:: SOT 87975 SOS 39923 HAS SOPS 20869 HAS SOUS 9085 HAS SOUPS 3234 WITH SCORE 3273.923
AT ITER 9539 NEW BEST:: SOT 87927 SOS 39903 HAS SOPS 20849 HAS SOUS 9040 HAS SOUPS 3227 WITH SCORE 3266.903
AT ITER 9561 NEW BEST:: SOT 87939 SOS 39903 HAS SOPS 20849 HAS SOUS 9038 HAS SOUPS 3225 WITH SCORE 3264.903
AT ITER 9575 NEW BEST:: SOT 87929 SOS 39885 HAS SOPS 20829 HAS SOUS 9034 HAS SOUPS 3221 WITH SCORE 3260.885
AT ITER 9619 NEW BEST:: SOT 87962 SOS 39874 HAS SOPS 20873 HAS SOUS 9023 HAS SOUPS 3221 WITH SCORE 3260.874
AT ITER 9764 NEW BEST:: SOT 88050 SOS 39996 HAS SOPS 20899 HAS SOUS 9102 HAS SOUPS 3218 WITH SCORE 3257.996
AT ITER 9804 NEW BEST:: SOT 88049 SOS 39994 HAS SOPS 20897 HAS SOUS 9098 HAS SOUPS 3214 WITH SCORE 3253.994
AT ITER 9815 NEW BEST:: SOT 88064 SOS 39826 HAS SOPS 20648 HAS SOUS 9110 HAS SOUPS 3211 WITH SCORE 3250.826
AT ITER 9896 NEW BEST:: SOT 88058 SOS 39814 HAS SOPS 20636 HAS SOUS 9106 HAS SOUPS 3207 WITH SCORE 3246.814
AT ITER 9946 NEW BEST:: SOT 88019 SOS 39776 HAS SOPS 20604 HAS SOUS 9098 HAS SOUPS 3199 WITH SCORE 3238.776
AT ITER 9999 NEW BEST:: SOT 88039 SOS 39804 HAS SOPS 20604 HAS SOUS 9111 HAS SOUPS 3192 WITH SCORE 3231.804
STATE_SPACE STATES 474756150994301 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 79 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50961681693873861 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589357786252

--------------------
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="DLCshifumi-PT-2a"
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 DLCshifumi-PT-2a, 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 r063-tajo-158922806800008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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