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-158922806800004.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806800004
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 392K
-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 6.0K Mar 24 05:37 GenericPropertiesVerdict.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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-2a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589357747119

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

GOT IT HERE. BS
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 2 NEW BEST:: SOT 121873 SOS 87678 HAS SOPS 54052 HAS SOUS 24959 HAS SOUPS 16075 WITH SCORE 16162.678
AT ITER 3 NEW BEST:: SOT 121316 SOS 87349 HAS SOPS 53526 HAS SOUS 24583 HAS SOUPS 15687 WITH SCORE 15774.349
AT ITER 5 NEW BEST:: SOT 120399 SOS 87097 HAS SOPS 53065 HAS SOUS 24210 HAS SOUPS 15357 WITH SCORE 15444.097
AT ITER 6 NEW BEST:: SOT 120294 SOS 86794 HAS SOPS 52762 HAS SOUS 23919 HAS SOUPS 15132 WITH SCORE 15218.794
AT ITER 7 NEW BEST:: SOT 119667 SOS 85864 HAS SOPS 52410 HAS SOUS 23764 HAS SOUPS 14996 WITH SCORE 15081.864
AT ITER 10 NEW BEST:: SOT 119667 SOS 85826 HAS SOPS 52334 HAS SOUS 23783 HAS SOUPS 14996 WITH SCORE 15081.826
AT ITER 11 NEW BEST:: SOT 119618 SOS 85728 HAS SOPS 52352 HAS SOUS 23689 HAS SOUPS 14960 WITH SCORE 15045.728
AT ITER 12 NEW BEST:: SOT 119582 SOS 85662 HAS SOPS 52304 HAS SOUS 23683 HAS SOUPS 14948 WITH SCORE 15033.662
AT ITER 13 NEW BEST:: SOT 119569 SOS 85636 HAS SOPS 52304 HAS SOUS 23664 HAS SOUPS 14948 WITH SCORE 15033.636
AT ITER 14 NEW BEST:: SOT 119532 SOS 85562 HAS SOPS 52382 HAS SOUS 23550 HAS SOUPS 14910 WITH SCORE 14995.562
AT ITER 15 NEW BEST:: SOT 118834 SOS 85090 HAS SOPS 51646 HAS SOUS 23143 HAS SOUPS 14474 WITH SCORE 14559.09
AT ITER 26 NEW BEST:: SOT 118174 SOS 84285 HAS SOPS 51210 HAS SOUS 23073 HAS SOUPS 14445 WITH SCORE 14529.285
AT ITER 27 NEW BEST:: SOT 118219 SOS 83206 HAS SOPS 51377 HAS SOUS 22991 HAS SOUPS 14440 WITH SCORE 14523.206
AT ITER 32 NEW BEST:: SOT 118159 SOS 83026 HAS SOPS 51197 HAS SOUS 22931 HAS SOUPS 14380 WITH SCORE 14463.026
AT ITER 37 NEW BEST:: SOT 118125 SOS 82958 HAS SOPS 51129 HAS SOUS 22863 HAS SOUPS 14312 WITH SCORE 14394.958
AT ITER 42 NEW BEST:: SOT 117982 SOS 82810 HAS SOPS 50891 HAS SOUS 22496 HAS SOUPS 13944 WITH SCORE 14026.81
AT ITER 43 NEW BEST:: SOT 117105 SOS 81868 HAS SOPS 50208 HAS SOUS 22438 HAS SOUPS 13886 WITH SCORE 13967.868
AT ITER 44 NEW BEST:: SOT 117105 SOS 81820 HAS SOPS 50112 HAS SOUS 22462 HAS SOUPS 13886 WITH SCORE 13967.82
AT ITER 50 NEW BEST:: SOT 116569 SOS 81495 HAS SOPS 49610 HAS SOUS 22099 HAS SOUPS 13514 WITH SCORE 13595.495
AT ITER 51 NEW BEST:: SOT 115918 SOS 81209 HAS SOPS 49208 HAS SOUS 21804 HAS SOUPS 13262 WITH SCORE 13343.209
AT ITER 57 NEW BEST:: SOT 115461 SOS 80697 HAS SOPS 48936 HAS SOUS 21780 HAS SOUPS 13254 WITH SCORE 13334.697
AT ITER 61 NEW BEST:: SOT 115183 SOS 80407 HAS SOPS 48796 HAS SOUS 21810 HAS SOUPS 13240 WITH SCORE 13320.407
AT ITER 63 NEW BEST:: SOT 115401 SOS 80679 HAS SOPS 48904 HAS SOUS 21838 HAS SOUPS 13186 WITH SCORE 13266.679
AT ITER 65 NEW BEST:: SOT 115192 SOS 80432 HAS SOPS 48771 HAS SOUS 21819 HAS SOUPS 13167 WITH SCORE 13247.432
AT ITER 66 NEW BEST:: SOT 115177 SOS 80408 HAS SOPS 48759 HAS SOUS 21804 HAS SOUPS 13155 WITH SCORE 13235.408
AT ITER 73 NEW BEST:: SOT 114010 SOS 79049 HAS SOPS 47968 HAS SOUS 21687 HAS SOUPS 13096 WITH SCORE 13175.049
AT ITER 75 NEW BEST:: SOT 113979 SOS 78987 HAS SOPS 47942 HAS SOUS 21620 HAS SOUPS 13047 WITH SCORE 13125.987
AT ITER 76 NEW BEST:: SOT 113387 SOS 79257 HAS SOPS 47953 HAS SOUS 21287 HAS SOUPS 12743 WITH SCORE 12822.257
AT ITER 79 NEW BEST:: SOT 113323 SOS 79003 HAS SOPS 47573 HAS SOUS 21175 HAS SOUPS 12568 WITH SCORE 12647.003
AT ITER 80 NEW BEST:: SOT 113480 SOS 78784 HAS SOPS 47564 HAS SOUS 20912 HAS SOUPS 12430 WITH SCORE 12508.784
AT ITER 81 NEW BEST:: SOT 113480 SOS 78760 HAS SOPS 47516 HAS SOUS 20924 HAS SOUPS 12430 WITH SCORE 12508.76
AT ITER 82 NEW BEST:: SOT 113268 SOS 78459 HAS SOPS 47420 HAS SOUS 20881 HAS SOUPS 12387 WITH SCORE 12465.459
AT ITER 86 NEW BEST:: SOT 112942 SOS 77888 HAS SOPS 46849 HAS SOUS 20366 HAS SOUPS 11872 WITH SCORE 11949.888
AT ITER 89 NEW BEST:: SOT 112926 SOS 77864 HAS SOPS 46841 HAS SOUS 20346 HAS SOUPS 11856 WITH SCORE 11933.864
AT ITER 91 NEW BEST:: SOT 111980 SOS 77636 HAS SOPS 46915 HAS SOUS 20096 HAS SOUPS 11748 WITH SCORE 11825.636
AT ITER 93 NEW BEST:: SOT 111888 SOS 77520 HAS SOPS 46851 HAS SOUS 20080 HAS SOUPS 11738 WITH SCORE 11815.52
AT ITER 99 NEW BEST:: SOT 111807 SOS 77445 HAS SOPS 46735 HAS SOUS 20022 HAS SOUPS 11680 WITH SCORE 11757.445
AT ITER 108 NEW BEST:: SOT 110981 SOS 76773 HAS SOPS 45715 HAS SOUS 19511 HAS SOUPS 11124 WITH SCORE 11200.773
AT ITER 109 NEW BEST:: SOT 110184 SOS 75838 HAS SOPS 44747 HAS SOUS 18626 HAS SOUPS 10239 WITH SCORE 10314.838
AT ITER 113 NEW BEST:: SOT 109334 SOS 74948 HAS SOPS 43897 HAS SOUS 18560 HAS SOUPS 10088 WITH SCORE 10162.948
AT ITER 114 NEW BEST:: SOT 109311 SOS 74902 HAS SOPS 43851 HAS SOUS 18537 HAS SOUPS 10065 WITH SCORE 10139.902
AT ITER 122 NEW BEST:: SOT 108680 SOS 73934 HAS SOPS 43535 HAS SOUS 18277 HAS SOUPS 9945 WITH SCORE 10018.934
AT ITER 125 NEW BEST:: SOT 108343 SOS 73563 HAS SOPS 43429 HAS SOUS 18244 HAS SOUPS 9912 WITH SCORE 9985.563
AT ITER 128 NEW BEST:: SOT 108618 SOS 74436 HAS SOPS 43591 HAS SOUS 17968 HAS SOUPS 9613 WITH SCORE 9687.436
AT ITER 131 NEW BEST:: SOT 108164 SOS 73129 HAS SOPS 42706 HAS SOUS 17983 HAS SOUPS 9602 WITH SCORE 9675.129
AT ITER 133 NEW BEST:: SOT 107887 SOS 72811 HAS SOPS 42576 HAS SOUS 17961 HAS SOUPS 9580 WITH SCORE 9652.811
AT ITER 139 NEW BEST:: SOT 107871 SOS 71727 HAS SOPS 41492 HAS SOUS 17953 HAS SOUPS 9572 WITH SCORE 9643.727
AT ITER 145 NEW BEST:: SOT 107462 SOS 71230 HAS SOPS 41197 HAS SOUS 17894 HAS SOUPS 9544 WITH SCORE 9615.23
AT ITER 147 NEW BEST:: SOT 106816 SOS 70960 HAS SOPS 41071 HAS SOUS 17639 HAS SOUPS 9366 WITH SCORE 9436.96
AT ITER 149 NEW BEST:: SOT 106728 SOS 70872 HAS SOPS 41005 HAS SOUS 17639 HAS SOUPS 9366 WITH SCORE 9436.872
AT ITER 150 NEW BEST:: SOT 106709 SOS 70853 HAS SOPS 40986 HAS SOUS 17598 HAS SOUPS 9325 WITH SCORE 9395.853
AT ITER 156 NEW BEST:: SOT 106635 SOS 70659 HAS SOPS 40920 HAS SOUS 17521 HAS SOUPS 9301 WITH SCORE 9371.659
AT ITER 157 NEW BEST:: SOT 106354 SOS 70206 HAS SOPS 40516 HAS SOUS 17582 HAS SOUPS 9254 WITH SCORE 9324.206
AT ITER 161 NEW BEST:: SOT 106315 SOS 70133 HAS SOPS 40438 HAS SOUS 17513 HAS SOUPS 9185 WITH SCORE 9255.133
AT ITER 162 NEW BEST:: SOT 106242 SOS 70039 HAS SOPS 40267 HAS SOUS 17363 HAS SOUPS 9035 WITH SCORE 9105.039
AT ITER 167 NEW BEST:: SOT 106154 SOS 70022 HAS SOPS 40205 HAS SOUS 17361 HAS SOUPS 9033 WITH SCORE 9103.022
AT ITER 168 NEW BEST:: SOT 106168 SOS 70050 HAS SOPS 40233 HAS SOUS 17319 HAS SOUPS 8991 WITH SCORE 9061.05
AT ITER 170 NEW BEST:: SOT 106099 SOS 69912 HAS SOPS 40233 HAS SOUS 16959 HAS SOUPS 8991 WITH SCORE 9060.912
AT ITER 172 NEW BEST:: SOT 106003 SOS 70384 HAS SOPS 40097 HAS SOUS 16863 HAS SOUPS 8899 WITH SCORE 8969.384
AT ITER 187 NEW BEST:: SOT 105977 SOS 70306 HAS SOPS 40071 HAS SOUS 16823 HAS SOUPS 8885 WITH SCORE 8955.306
AT ITER 190 NEW BEST:: SOT 105988 SOS 70317 HAS SOPS 40082 HAS SOUS 16770 HAS SOUPS 8832 WITH SCORE 8902.317
AT ITER 202 NEW BEST:: SOT 105989 SOS 70315 HAS SOPS 40080 HAS SOUS 16767 HAS SOUPS 8830 WITH SCORE 8900.315
AT ITER 209 NEW BEST:: SOT 105978 SOS 70293 HAS SOPS 40058 HAS SOUS 16755 HAS SOUPS 8818 WITH SCORE 8888.293
AT ITER 211 NEW BEST:: SOT 105521 SOS 69862 HAS SOPS 39685 HAS SOUS 16800 HAS SOUPS 8815 WITH SCORE 8884.862
AT ITER 215 NEW BEST:: SOT 105289 SOS 69552 HAS SOPS 39553 HAS SOUS 16748 HAS SOUPS 8785 WITH SCORE 8854.552
AT ITER 219 NEW BEST:: SOT 105149 SOS 69398 HAS SOPS 39441 HAS SOUS 16734 HAS SOUPS 8771 WITH SCORE 8840.398
AT ITER 224 NEW BEST:: SOT 105612 SOS 70873 HAS SOPS 40415 HAS SOUS 16554 HAS SOUPS 8621 WITH SCORE 8691.873
AT ITER 227 NEW BEST:: SOT 105148 SOS 70409 HAS SOPS 40125 HAS SOUS 16293 HAS SOUPS 8418 WITH SCORE 8488.409
AT ITER 232 NEW BEST:: SOT 105099 SOS 70197 HAS SOPS 40055 HAS SOUS 16131 HAS SOUPS 8327 WITH SCORE 8397.197
AT ITER 233 NEW BEST:: SOT 105079 SOS 70289 HAS SOPS 40081 HAS SOUS 16133 HAS SOUPS 8318 WITH SCORE 8388.289
AT ITER 236 NEW BEST:: SOT 105001 SOS 70159 HAS SOPS 40055 HAS SOUS 16073 HAS SOUPS 8284 WITH SCORE 8354.159
AT ITER 240 NEW BEST:: SOT 104603 SOS 69597 HAS SOPS 39811 HAS SOUS 16027 HAS SOUPS 8238 WITH SCORE 8307.597
AT ITER 242 NEW BEST:: SOT 104548 SOS 69535 HAS SOPS 39747 HAS SOUS 15995 HAS SOUPS 8206 WITH SCORE 8275.535
AT ITER 246 NEW BEST:: SOT 103928 SOS 68645 HAS SOPS 39163 HAS SOUS 15873 HAS SOUPS 8084 WITH SCORE 8152.645
AT ITER 247 NEW BEST:: SOT 104018 SOS 68720 HAS SOPS 39216 HAS SOUS 15870 HAS SOUPS 8081 WITH SCORE 8149.72
AT ITER 252 NEW BEST:: SOT 103490 SOS 68058 HAS SOPS 38907 HAS SOUS 15777 HAS SOUPS 8032 WITH SCORE 8100.058
AT ITER 257 NEW BEST:: SOT 103485 SOS 68048 HAS SOPS 38907 HAS SOUS 15767 HAS SOUPS 8032 WITH SCORE 8100.048
AT ITER 258 NEW BEST:: SOT 102853 SOS 67174 HAS SOPS 38683 HAS SOUS 15196 HAS SOUPS 8008 WITH SCORE 8075.174
AT ITER 267 NEW BEST:: SOT 102846 SOS 67167 HAS SOPS 38676 HAS SOUS 15202 HAS SOUPS 8001 WITH SCORE 8068.167
AT ITER 270 NEW BEST:: SOT 102994 SOS 65973 HAS SOPS 38772 HAS SOUS 15142 HAS SOUPS 7977 WITH SCORE 8042.973
AT ITER 273 NEW BEST:: SOT 102678 SOS 65572 HAS SOPS 38750 HAS SOUS 15012 HAS SOUPS 7974 WITH SCORE 8039.572
AT ITER 274 NEW BEST:: SOT 102641 SOS 65535 HAS SOPS 38713 HAS SOUS 15011 HAS SOUPS 7969 WITH SCORE 8034.535
AT ITER 280 NEW BEST:: SOT 102541 SOS 65335 HAS SOPS 38713 HAS SOUS 14906 HAS SOUPS 7969 WITH SCORE 8034.335
AT ITER 281 NEW BEST:: SOT 102454 SOS 65161 HAS SOPS 38585 HAS SOUS 14875 HAS SOUPS 7922 WITH SCORE 7987.161
AT ITER 283 NEW BEST:: SOT 102147 SOS 64743 HAS SOPS 38403 HAS SOUS 14819 HAS SOUPS 7866 WITH SCORE 7930.743
AT ITER 293 NEW BEST:: SOT 102227 SOS 64839 HAS SOPS 38451 HAS SOUS 14817 HAS SOUPS 7864 WITH SCORE 7928.839
AT ITER 304 NEW BEST:: SOT 102229 SOS 64843 HAS SOPS 38419 HAS SOUS 14801 HAS SOUPS 7848 WITH SCORE 7912.843
AT ITER 306 NEW BEST:: SOT 102223 SOS 64833 HAS SOPS 38413 HAS SOUS 14792 HAS SOUPS 7841 WITH SCORE 7905.833
AT ITER 330 NEW BEST:: SOT 101538 SOS 64220 HAS SOPS 37779 HAS SOUS 14677 HAS SOUPS 7726 WITH SCORE 7790.22
AT ITER 332 NEW BEST:: SOT 101293 SOS 63862 HAS SOPS 37685 HAS SOUS 14636 HAS SOUPS 7718 WITH SCORE 7781.862
AT ITER 338 NEW BEST:: SOT 101275 SOS 63844 HAS SOPS 37661 HAS SOUS 14624 HAS SOUPS 7706 WITH SCORE 7769.844
AT ITER 343 NEW BEST:: SOT 101263 SOS 63792 HAS SOPS 37637 HAS SOUS 14588 HAS SOUPS 7684 WITH SCORE 7747.792
AT ITER 345 NEW BEST:: SOT 101277 SOS 63658 HAS SOPS 37647 HAS SOUS 14572 HAS SOUPS 7677 WITH SCORE 7740.658
AT ITER 347 NEW BEST:: SOT 101258 SOS 63273 HAS SOPS 37580 HAS SOUS 14551 HAS SOUPS 7676 WITH SCORE 7739.273
AT ITER 348 NEW BEST:: SOT 101259 SOS 63217 HAS SOPS 37620 HAS SOUS 14541 HAS SOUPS 7672 WITH SCORE 7735.217
AT ITER 358 NEW BEST:: SOT 101239 SOS 63197 HAS SOPS 37560 HAS SOUS 14510 HAS SOUPS 7631 WITH SCORE 7694.197
AT ITER 365 NEW BEST:: SOT 101245 SOS 63203 HAS SOPS 37470 HAS SOUS 14509 HAS SOUPS 7624 WITH SCORE 7687.203
AT ITER 371 NEW BEST:: SOT 101374 SOS 63389 HAS SOPS 37494 HAS SOUS 14575 HAS SOUPS 7600 WITH SCORE 7663.389
AT ITER 374 NEW BEST:: SOT 100971 SOS 62779 HAS SOPS 37080 HAS SOUS 14440 HAS SOUPS 7563 WITH SCORE 7625.779
AT ITER 379 NEW BEST:: SOT 100971 SOS 62781 HAS SOPS 37010 HAS SOUS 14473 HAS SOUPS 7561 WITH SCORE 7623.781
AT ITER 404 NEW BEST:: SOT 101002 SOS 62788 HAS SOPS 37017 HAS SOUS 14430 HAS SOUPS 7518 WITH SCORE 7580.788
AT ITER 405 NEW BEST:: SOT 101000 SOS 62784 HAS SOPS 37049 HAS SOUS 14410 HAS SOUPS 7516 WITH SCORE 7578.784
AT ITER 406 NEW BEST:: SOT 101486 SOS 63134 HAS SOPS 37299 HAS SOUS 14332 HAS SOUPS 7438 WITH SCORE 7501.134
AT ITER 409 NEW BEST:: SOT 101416 SOS 63024 HAS SOPS 37259 HAS SOUS 14272 HAS SOUPS 7418 WITH SCORE 7481.024
AT ITER 421 NEW BEST:: SOT 101368 SOS 63000 HAS SOPS 37235 HAS SOUS 14215 HAS SOUPS 7397 WITH SCORE 7460.0
AT ITER 423 NEW BEST:: SOT 101151 SOS 62709 HAS SOPS 37155 HAS SOUS 13960 HAS SOUPS 7367 WITH SCORE 7429.709
AT ITER 430 NEW BEST:: SOT 101150 SOS 62708 HAS SOPS 37154 HAS SOUS 13959 HAS SOUPS 7366 WITH SCORE 7428.708
AT ITER 434 NEW BEST:: SOT 101118 SOS 62668 HAS SOPS 37114 HAS SOUS 13951 HAS SOUPS 7358 WITH SCORE 7420.668
AT ITER 435 NEW BEST:: SOT 101118 SOS 62668 HAS SOPS 37114 HAS SOUS 13950 HAS SOUPS 7357 WITH SCORE 7419.668
AT ITER 451 NEW BEST:: SOT 101205 SOS 62774 HAS SOPS 37152 HAS SOUS 13945 HAS SOUPS 7318 WITH SCORE 7380.774
AT ITER 453 NEW BEST:: SOT 101187 SOS 62756 HAS SOPS 37140 HAS SOUS 13945 HAS SOUPS 7318 WITH SCORE 7380.756
AT ITER 459 NEW BEST:: SOT 101334 SOS 62912 HAS SOPS 37233 HAS SOUS 13923 HAS SOUPS 7295 WITH SCORE 7357.912
AT ITER 463 NEW BEST:: SOT 101320 SOS 62894 HAS SOPS 37223 HAS SOUS 13917 HAS SOUPS 7291 WITH SCORE 7353.894
AT ITER 467 NEW BEST:: SOT 100719 SOS 62259 HAS SOPS 36817 HAS SOUS 13931 HAS SOUPS 7262 WITH SCORE 7324.259
AT ITER 471 NEW BEST:: SOT 100517 SOS 62107 HAS SOPS 36671 HAS SOUS 13969 HAS SOUPS 7243 WITH SCORE 7305.107
AT ITER 481 NEW BEST:: SOT 100505 SOS 62093 HAS SOPS 36665 HAS SOUS 13967 HAS SOUPS 7243 WITH SCORE 7305.093
AT ITER 484 NEW BEST:: SOT 100493 SOS 62081 HAS SOPS 36653 HAS SOUS 13955 HAS SOUPS 7231 WITH SCORE 7293.081
AT ITER 499 NEW BEST:: SOT 100361 SOS 61907 HAS SOPS 36563 HAS SOUS 13940 HAS SOUPS 7231 WITH SCORE 7292.907
AT ITER 506 NEW BEST:: SOT 100286 SOS 61732 HAS SOPS 36538 HAS SOUS 13908 HAS SOUPS 7224 WITH SCORE 7285.732
AT ITER 508 NEW BEST:: SOT 100285 SOS 61731 HAS SOPS 36537 HAS SOUS 13907 HAS SOUPS 7223 WITH SCORE 7284.731
AT ITER 513 NEW BEST:: SOT 99661 SOS 61323 HAS SOPS 36055 HAS SOUS 13875 HAS SOUPS 7191 WITH SCORE 7252.323
AT ITER 521 NEW BEST:: SOT 99658 SOS 61317 HAS SOPS 36019 HAS SOUS 13849 HAS SOUPS 7173 WITH SCORE 7234.317
AT ITER 523 NEW BEST:: SOT 99421 SOS 60843 HAS SOPS 36019 HAS SOUS 13802 HAS SOUPS 7173 WITH SCORE 7233.843
AT ITER 534 NEW BEST:: SOT 99369 SOS 60790 HAS SOPS 35965 HAS SOUS 13809 HAS SOUPS 7163 WITH SCORE 7223.79
AT ITER 537 NEW BEST:: SOT 99305 SOS 60747 HAS SOPS 35883 HAS SOUS 13798 HAS SOUPS 7129 WITH SCORE 7189.747
AT ITER 540 NEW BEST:: SOT 98946 SOS 60218 HAS SOPS 35683 HAS SOUS 13482 HAS SOUPS 7036 WITH SCORE 7096.218
AT ITER 566 NEW BEST:: SOT 98946 SOS 60218 HAS SOPS 35683 HAS SOUS 13442 HAS SOUPS 6996 WITH SCORE 7056.218
AT ITER 569 NEW BEST:: SOT 98912 SOS 60170 HAS SOPS 35635 HAS SOUS 13458 HAS SOUPS 6987 WITH SCORE 7047.17
AT ITER 574 NEW BEST:: SOT 98888 SOS 60167 HAS SOPS 35629 HAS SOUS 13434 HAS SOUPS 6984 WITH SCORE 7044.167
AT ITER 597 NEW BEST:: SOT 98897 SOS 60185 HAS SOPS 35591 HAS SOUS 13424 HAS SOUPS 6946 WITH SCORE 7006.185
AT ITER 598 NEW BEST:: SOT 98993 SOS 60263 HAS SOPS 35655 HAS SOUS 13398 HAS SOUPS 6936 WITH SCORE 6996.263
AT ITER 606 NEW BEST:: SOT 98810 SOS 60226 HAS SOPS 35439 HAS SOUS 13430 HAS SOUPS 6909 WITH SCORE 6969.226
AT ITER 607 NEW BEST:: SOT 98066 SOS 59528 HAS SOPS 34737 HAS SOUS 13496 HAS SOUPS 6876 WITH SCORE 6935.528
AT ITER 615 NEW BEST:: SOT 98234 SOS 59580 HAS SOPS 34844 HAS SOUS 13435 HAS SOUPS 6838 WITH SCORE 6897.58
AT ITER 617 NEW BEST:: SOT 98231 SOS 59491 HAS SOPS 34803 HAS SOUS 13425 HAS SOUPS 6838 WITH SCORE 6897.491
AT ITER 622 NEW BEST:: SOT 98212 SOS 59440 HAS SOPS 34744 HAS SOUS 13384 HAS SOUPS 6797 WITH SCORE 6856.44
AT ITER 646 NEW BEST:: SOT 98200 SOS 59506 HAS SOPS 34714 HAS SOUS 13384 HAS SOUPS 6791 WITH SCORE 6850.506
AT ITER 648 NEW BEST:: SOT 98193 SOS 59492 HAS SOPS 34678 HAS SOUS 13364 HAS SOUPS 6766 WITH SCORE 6825.492
AT ITER 652 NEW BEST:: SOT 98197 SOS 59510 HAS SOPS 34688 HAS SOUS 13359 HAS SOUPS 6762 WITH SCORE 6821.51
AT ITER 654 NEW BEST:: SOT 98133 SOS 59320 HAS SOPS 34684 HAS SOUS 13287 HAS SOUPS 6752 WITH SCORE 6811.32
AT ITER 675 NEW BEST:: SOT 98183 SOS 59372 HAS SOPS 34736 HAS SOUS 13259 HAS SOUPS 6724 WITH SCORE 6783.372
AT ITER 686 NEW BEST:: SOT 98207 SOS 59372 HAS SOPS 34688 HAS SOUS 13271 HAS SOUPS 6712 WITH SCORE 6771.372
AT ITER 687 NEW BEST:: SOT 97954 SOS 59266 HAS SOPS 34528 HAS SOUS 13371 HAS SOUPS 6712 WITH SCORE 6771.266
AT ITER 693 NEW BEST:: SOT 97880 SOS 59202 HAS SOPS 34464 HAS SOUS 13366 HAS SOUPS 6707 WITH SCORE 6766.202
AT ITER 701 NEW BEST:: SOT 97847 SOS 59169 HAS SOPS 34464 HAS SOUS 13333 HAS SOUPS 6707 WITH SCORE 6766.169
AT ITER 705 NEW BEST:: SOT 97848 SOS 59164 HAS SOPS 34471 HAS SOUS 13332 HAS SOUPS 6706 WITH SCORE 6765.164
AT ITER 711 NEW BEST:: SOT 97727 SOS 59032 HAS SOPS 34405 HAS SOUS 13299 HAS SOUPS 6695 WITH SCORE 6754.032
AT ITER 719 NEW BEST:: SOT 97676 SOS 58972 HAS SOPS 34397 HAS SOUS 13295 HAS SOUPS 6691 WITH SCORE 6749.972
AT ITER 731 NEW BEST:: SOT 97614 SOS 58988 HAS SOPS 34419 HAS SOUS 13285 HAS SOUPS 6681 WITH SCORE 6739.988
AT ITER 733 NEW BEST:: SOT 97624 SOS 59199 HAS SOPS 34460 HAS SOUS 13278 HAS SOUPS 6663 WITH SCORE 6722.199
AT ITER 734 NEW BEST:: SOT 97634 SOS 59179 HAS SOPS 34440 HAS SOUS 13268 HAS SOUPS 6653 WITH SCORE 6712.179
AT ITER 748 NEW BEST:: SOT 97762 SOS 58785 HAS SOPS 34104 HAS SOUS 13245 HAS SOUPS 6650 WITH SCORE 6708.785
AT ITER 762 NEW BEST:: SOT 97759 SOS 58757 HAS SOPS 34076 HAS SOUS 13239 HAS SOUPS 6644 WITH SCORE 6702.757
AT ITER 771 NEW BEST:: SOT 97879 SOS 58961 HAS SOPS 34100 HAS SOUS 13377 HAS SOUPS 6638 WITH SCORE 6696.961
AT ITER 772 NEW BEST:: SOT 97809 SOS 58861 HAS SOPS 34030 HAS SOUS 13355 HAS SOUPS 6620 WITH SCORE 6678.861
AT ITER 773 NEW BEST:: SOT 97611 SOS 58774 HAS SOPS 34022 HAS SOUS 13257 HAS SOUPS 6561 WITH SCORE 6619.774
AT ITER 774 NEW BEST:: SOT 97595 SOS 58742 HAS SOPS 34022 HAS SOUS 13210 HAS SOUPS 6561 WITH SCORE 6619.742
AT ITER 789 NEW BEST:: SOT 97594 SOS 59468 HAS SOPS 34370 HAS SOUS 13236 HAS SOUPS 6524 WITH SCORE 6583.468
AT ITER 797 NEW BEST:: SOT 97590 SOS 59460 HAS SOPS 34362 HAS SOUS 13230 HAS SOUPS 6518 WITH SCORE 6577.46
AT ITER 802 NEW BEST:: SOT 97588 SOS 59456 HAS SOPS 34362 HAS SOUS 13253 HAS SOUPS 6518 WITH SCORE 6577.456
AT ITER 804 NEW BEST:: SOT 97625 SOS 59387 HAS SOPS 34295 HAS SOUS 13245 HAS SOUPS 6510 WITH SCORE 6569.387
AT ITER 808 NEW BEST:: SOT 97623 SOS 59387 HAS SOPS 34291 HAS SOUS 13243 HAS SOUPS 6506 WITH SCORE 6565.387
AT ITER 809 NEW BEST:: SOT 98005 SOS 59764 HAS SOPS 34378 HAS SOUS 13256 HAS SOUPS 6499 WITH SCORE 6558.764
AT ITER 812 NEW BEST:: SOT 98001 SOS 59752 HAS SOPS 34362 HAS SOUS 13248 HAS SOUPS 6495 WITH SCORE 6554.752
AT ITER 821 NEW BEST:: SOT 97699 SOS 59422 HAS SOPS 34166 HAS SOUS 13236 HAS SOUPS 6487 WITH SCORE 6546.422
AT ITER 832 NEW BEST:: SOT 97786 SOS 59515 HAS SOPS 34169 HAS SOUS 13290 HAS SOUPS 6464 WITH SCORE 6523.515
AT ITER 839 NEW BEST:: SOT 97765 SOS 59494 HAS SOPS 34151 HAS SOUS 13290 HAS SOUPS 6464 WITH SCORE 6523.494
AT ITER 847 NEW BEST:: SOT 97935 SOS 59533 HAS SOPS 34105 HAS SOUS 13315 HAS SOUPS 6445 WITH SCORE 6504.533
AT ITER 853 NEW BEST:: SOT 97776 SOS 59237 HAS SOPS 33879 HAS SOUS 13022 HAS SOUPS 6244 WITH SCORE 6303.237
AT ITER 862 NEW BEST:: SOT 97801 SOS 58995 HAS SOPS 33705 HAS SOUS 12994 HAS SOUPS 6233 WITH SCORE 6291.995
AT ITER 865 NEW BEST:: SOT 97502 SOS 58696 HAS SOPS 33562 HAS SOUS 12973 HAS SOUPS 6212 WITH SCORE 6270.696
AT ITER 866 NEW BEST:: SOT 97434 SOS 58560 HAS SOPS 33426 HAS SOUS 12956 HAS SOUPS 6195 WITH SCORE 6253.56
AT ITER 867 NEW BEST:: SOT 97289 SOS 58270 HAS SOPS 33426 HAS SOUS 12964 HAS SOUPS 6195 WITH SCORE 6253.27
AT ITER 869 NEW BEST:: SOT 97154 SOS 58105 HAS SOPS 33351 HAS SOUS 12919 HAS SOUPS 6165 WITH SCORE 6223.105
AT ITER 891 NEW BEST:: SOT 97151 SOS 58100 HAS SOPS 33349 HAS SOUS 12915 HAS SOUPS 6162 WITH SCORE 6220.1
AT ITER 895 NEW BEST:: SOT 97257 SOS 58130 HAS SOPS 33349 HAS SOUS 12867 HAS SOUPS 6133 WITH SCORE 6191.13
AT ITER 901 NEW BEST:: SOT 97149 SOS 57936 HAS SOPS 33143 HAS SOUS 12718 HAS SOUPS 5984 WITH SCORE 6041.936
AT ITER 911 NEW BEST:: SOT 97082 SOS 57892 HAS SOPS 33131 HAS SOUS 12645 HAS SOUPS 5975 WITH SCORE 6032.892
AT ITER 916 NEW BEST:: SOT 96703 SOS 58674 HAS SOPS 32977 HAS SOUS 12492 HAS SOUPS 5839 WITH SCORE 5897.674
AT ITER 923 NEW BEST:: SOT 96714 SOS 58674 HAS SOPS 32977 HAS SOUS 12485 HAS SOUPS 5821 WITH SCORE 5879.674
AT ITER 925 NEW BEST:: SOT 96714 SOS 58674 HAS SOPS 32977 HAS SOUS 12455 HAS SOUPS 5801 WITH SCORE 5859.674
AT ITER 930 NEW BEST:: SOT 96710 SOS 58666 HAS SOPS 32975 HAS SOUS 12454 HAS SOUPS 5801 WITH SCORE 5859.666
AT ITER 947 NEW BEST:: SOT 96714 SOS 58628 HAS SOPS 32937 HAS SOUS 12420 HAS SOUPS 5767 WITH SCORE 5825.628
AT ITER 948 NEW BEST:: SOT 97178 SOS 58928 HAS SOPS 33231 HAS SOUS 12376 HAS SOUPS 5749 WITH SCORE 5807.928
AT ITER 954 NEW BEST:: SOT 97030 SOS 58740 HAS SOPS 33111 HAS SOUS 12250 HAS SOUPS 5675 WITH SCORE 5733.74
AT ITER 969 NEW BEST:: SOT 97011 SOS 58957 HAS SOPS 33060 HAS SOUS 12211 HAS SOUPS 5636 WITH SCORE 5694.957
AT ITER 979 NEW BEST:: SOT 96656 SOS 58497 HAS SOPS 32886 HAS SOUS 12127 HAS SOUPS 5600 WITH SCORE 5658.497
AT ITER 1010 NEW BEST:: SOT 96559 SOS 58395 HAS SOPS 32734 HAS SOUS 12175 HAS SOUPS 5575 WITH SCORE 5633.395
AT ITER 1015 NEW BEST:: SOT 96367 SOS 58203 HAS SOPS 32542 HAS SOUS 12175 HAS SOUPS 5575 WITH SCORE 5633.203
AT ITER 1026 NEW BEST:: SOT 96327 SOS 58098 HAS SOPS 32517 HAS SOUS 12170 HAS SOUPS 5570 WITH SCORE 5628.098
AT ITER 1035 NEW BEST:: SOT 96251 SOS 58116 HAS SOPS 32585 HAS SOUS 12064 HAS SOUPS 5538 WITH SCORE 5596.116
AT ITER 1036 NEW BEST:: SOT 96292 SOS 58116 HAS SOPS 32465 HAS SOUS 12066 HAS SOUPS 5496 WITH SCORE 5554.116
AT ITER 1062 NEW BEST:: SOT 96283 SOS 58095 HAS SOPS 32459 HAS SOUS 12063 HAS SOUPS 5496 WITH SCORE 5554.095
AT ITER 1067 NEW BEST:: SOT 96243 SOS 58045 HAS SOPS 32419 HAS SOUS 12039 HAS SOUPS 5476 WITH SCORE 5534.045
AT ITER 1084 NEW BEST:: SOT 96625 SOS 58235 HAS SOPS 32609 HAS SOUS 11979 HAS SOUPS 5464 WITH SCORE 5522.235
AT ITER 1088 NEW BEST:: SOT 96689 SOS 58391 HAS SOPS 32627 HAS SOUS 11992 HAS SOUPS 5454 WITH SCORE 5512.391
AT ITER 1098 NEW BEST:: SOT 96811 SOS 58533 HAS SOPS 32627 HAS SOUS 11960 HAS SOUPS 5436 WITH SCORE 5494.533
AT ITER 1104 NEW BEST:: SOT 96751 SOS 58538 HAS SOPS 32577 HAS SOUS 11942 HAS SOUPS 5411 WITH SCORE 5469.538
AT ITER 1105 NEW BEST:: SOT 96744 SOS 58531 HAS SOPS 32577 HAS SOUS 11937 HAS SOUPS 5402 WITH SCORE 5460.531
AT ITER 1107 NEW BEST:: SOT 96738 SOS 58539 HAS SOPS 32573 HAS SOUS 11939 HAS SOUPS 5400 WITH SCORE 5458.539
AT ITER 1123 NEW BEST:: SOT 96305 SOS 58066 HAS SOPS 32340 HAS SOUS 11938 HAS SOUPS 5399 WITH SCORE 5457.066
AT ITER 1159 NEW BEST:: SOT 96235 SOS 57951 HAS SOPS 32332 HAS SOUS 11847 HAS SOUPS 5390 WITH SCORE 5447.951
AT ITER 1178 NEW BEST:: SOT 95672 SOS 56459 HAS SOPS 31210 HAS SOUS 11801 HAS SOUPS 5344 WITH SCORE 5400.459
AT ITER 1193 NEW BEST:: SOT 95644 SOS 56359 HAS SOPS 31154 HAS SOUS 11707 HAS SOUPS 5272 WITH SCORE 5328.359
AT ITER 1204 NEW BEST:: SOT 95484 SOS 56279 HAS SOPS 31034 HAS SOUS 11680 HAS SOUPS 5237 WITH SCORE 5293.279
AT ITER 1224 NEW BEST:: SOT 95482 SOS 56260 HAS SOPS 31031 HAS SOUS 11678 HAS SOUPS 5236 WITH SCORE 5292.26
AT ITER 1231 NEW BEST:: SOT 95474 SOS 56188 HAS SOPS 30975 HAS SOUS 11666 HAS SOUPS 5228 WITH SCORE 5284.188
AT ITER 1252 NEW BEST:: SOT 95326 SOS 55892 HAS SOPS 30975 HAS SOUS 11496 HAS SOUPS 5228 WITH SCORE 5283.892
AT ITER 1260 NEW BEST:: SOT 95251 SOS 55766 HAS SOPS 30783 HAS SOUS 11470 HAS SOUPS 5180 WITH SCORE 5235.766
AT ITER 1268 NEW BEST:: SOT 95091 SOS 55550 HAS SOPS 30567 HAS SOUS 11460 HAS SOUPS 5170 WITH SCORE 5225.55
AT ITER 1287 NEW BEST:: SOT 95084 SOS 55536 HAS SOPS 30567 HAS SOUS 11453 HAS SOUPS 5170 WITH SCORE 5225.536
AT ITER 1313 NEW BEST:: SOT 95155 SOS 55552 HAS SOPS 30511 HAS SOUS 11458 HAS SOUPS 5148 WITH SCORE 5203.552
AT ITER 1337 NEW BEST:: SOT 95059 SOS 55458 HAS SOPS 30459 HAS SOUS 11465 HAS SOUPS 5148 WITH SCORE 5203.458
AT ITER 1344 NEW BEST:: SOT 95085 SOS 55510 HAS SOPS 30415 HAS SOUS 11449 HAS SOUPS 5132 WITH SCORE 5187.51
AT ITER 1354 NEW BEST:: SOT 95051 SOS 55442 HAS SOPS 30347 HAS SOUS 11363 HAS SOUPS 5087 WITH SCORE 5142.442
AT ITER 1360 NEW BEST:: SOT 95010 SOS 55426 HAS SOPS 30309 HAS SOUS 11344 HAS SOUPS 5068 WITH SCORE 5123.426
AT ITER 1371 NEW BEST:: SOT 95010 SOS 55426 HAS SOPS 30309 HAS SOUS 11342 HAS SOUPS 5067 WITH SCORE 5122.426
AT ITER 1380 NEW BEST:: SOT 95022 SOS 55450 HAS SOPS 30299 HAS SOUS 11346 HAS SOUPS 5056 WITH SCORE 5111.45
AT ITER 1395 NEW BEST:: SOT 95070 SOS 55498 HAS SOPS 30339 HAS SOUS 11338 HAS SOUPS 5048 WITH SCORE 5103.498
AT ITER 1428 NEW BEST:: SOT 95056 SOS 55473 HAS SOPS 30336 HAS SOUS 11335 HAS SOUPS 5045 WITH SCORE 5100.473
AT ITER 1451 NEW BEST:: SOT 95057 SOS 55499 HAS SOPS 30348 HAS SOUS 11312 HAS SOUPS 5027 WITH SCORE 5082.499
AT ITER 1471 NEW BEST:: SOT 95061 SOS 55495 HAS SOPS 30348 HAS SOUS 11309 HAS SOUPS 5025 WITH SCORE 5080.495
AT ITER 1481 NEW BEST:: SOT 94614 SOS 54884 HAS SOPS 30106 HAS SOUS 11260 HAS SOUPS 5021 WITH SCORE 5075.884
AT ITER 1491 NEW BEST:: SOT 94542 SOS 54663 HAS SOPS 29958 HAS SOUS 11255 HAS SOUPS 5016 WITH SCORE 5070.663
AT ITER 1494 NEW BEST:: SOT 94009 SOS 54143 HAS SOPS 29646 HAS SOUS 11263 HAS SOUPS 5016 WITH SCORE 5070.143
AT ITER 1508 NEW BEST:: SOT 94036 SOS 54125 HAS SOPS 29592 HAS SOUS 11252 HAS SOUPS 4999 WITH SCORE 5053.125
AT ITER 1516 NEW BEST:: SOT 93665 SOS 54013 HAS SOPS 29232 HAS SOUS 11497 HAS SOUPS 4999 WITH SCORE 5053.013
AT ITER 1535 NEW BEST:: SOT 93655 SOS 53985 HAS SOPS 29204 HAS SOUS 11497 HAS SOUPS 4997 WITH SCORE 5050.985
AT ITER 1539 NEW BEST:: SOT 93641 SOS 53961 HAS SOPS 29186 HAS SOUS 11489 HAS SOUPS 4989 WITH SCORE 5042.961
AT ITER 1566 NEW BEST:: SOT 93626 SOS 53971 HAS SOPS 29158 HAS SOUS 11482 HAS SOUPS 4975 WITH SCORE 5028.971
AT ITER 1571 NEW BEST:: SOT 93568 SOS 53918 HAS SOPS 29122 HAS SOUS 11482 HAS SOUPS 4975 WITH SCORE 5028.918
AT ITER 1576 NEW BEST:: SOT 93578 SOS 53932 HAS SOPS 29126 HAS SOUS 11488 HAS SOUPS 4973 WITH SCORE 5026.932
AT ITER 1579 NEW BEST:: SOT 93508 SOS 53968 HAS SOPS 29102 HAS SOUS 11493 HAS SOUPS 4963 WITH SCORE 5016.968
AT ITER 1581 NEW BEST:: SOT 93710 SOS 54182 HAS SOPS 29214 HAS SOUS 11493 HAS SOUPS 4960 WITH SCORE 5014.182
AT ITER 1585 NEW BEST:: SOT 93663 SOS 54088 HAS SOPS 29214 HAS SOUS 11429 HAS SOUPS 4960 WITH SCORE 5014.088
AT ITER 1598 NEW BEST:: SOT 93676 SOS 54114 HAS SOPS 29202 HAS SOUS 11429 HAS SOUPS 4954 WITH SCORE 5008.114
AT ITER 1600 NEW BEST:: SOT 93512 SOS 53786 HAS SOPS 29202 HAS SOUS 11382 HAS SOUPS 4954 WITH SCORE 5007.786
AT ITER 1601 NEW BEST:: SOT 93564 SOS 53850 HAS SOPS 29203 HAS SOUS 11432 HAS SOUPS 4942 WITH SCORE 4995.85
AT ITER 1604 NEW BEST:: SOT 93408 SOS 53694 HAS SOPS 29047 HAS SOUS 11360 HAS SOUPS 4902 WITH SCORE 4955.694
AT ITER 1630 NEW BEST:: SOT 93270 SOS 53680 HAS SOPS 28890 HAS SOUS 11385 HAS SOUPS 4901 WITH SCORE 4954.68
AT ITER 1651 NEW BEST:: SOT 93266 SOS 53672 HAS SOPS 28886 HAS SOUS 11377 HAS SOUPS 4895 WITH SCORE 4948.672
AT ITER 1654 NEW BEST:: SOT 92489 SOS 52970 HAS SOPS 28401 HAS SOUS 11361 HAS SOUPS 4884 WITH SCORE 4936.97
AT ITER 1660 NEW BEST:: SOT 92473 SOS 52938 HAS SOPS 28393 HAS SOUS 11349 HAS SOUPS 4876 WITH SCORE 4928.938
AT ITER 1661 NEW BEST:: SOT 92459 SOS 52928 HAS SOPS 28383 HAS SOUS 11348 HAS SOUPS 4875 WITH SCORE 4927.928
AT ITER 1675 NEW BEST:: SOT 92468 SOS 52937 HAS SOPS 28383 HAS SOUS 11348 HAS SOUPS 4869 WITH SCORE 4921.937
AT ITER 1676 NEW BEST:: SOT 92147 SOS 52542 HAS SOPS 28200 HAS SOUS 11310 HAS SOUPS 4858 WITH SCORE 4910.542
AT ITER 1680 NEW BEST:: SOT 92082 SOS 52467 HAS SOPS 28140 HAS SOUS 11295 HAS SOUPS 4843 WITH SCORE 4895.467
AT ITER 1681 NEW BEST:: SOT 92011 SOS 52325 HAS SOPS 28140 HAS SOUS 11193 HAS SOUPS 4843 WITH SCORE 4895.325
AT ITER 1696 NEW BEST:: SOT 92140 SOS 52481 HAS SOPS 28160 HAS SOUS 11189 HAS SOUPS 4819 WITH SCORE 4871.481
AT ITER 1697 NEW BEST:: SOT 92140 SOS 52463 HAS SOPS 28144 HAS SOUS 11162 HAS SOUPS 4806 WITH SCORE 4858.463
AT ITER 1703 NEW BEST:: SOT 92139 SOS 52461 HAS SOPS 28142 HAS SOUS 11160 HAS SOUPS 4804 WITH SCORE 4856.461
AT ITER 1719 NEW BEST:: SOT 92129 SOS 52431 HAS SOPS 28142 HAS SOUS 11149 HAS SOUPS 4802 WITH SCORE 4854.431
AT ITER 1725 NEW BEST:: SOT 92056 SOS 52591 HAS SOPS 28210 HAS SOUS 11145 HAS SOUPS 4775 WITH SCORE 4827.591
AT ITER 1746 NEW BEST:: SOT 92055 SOS 52589 HAS SOPS 28208 HAS SOUS 11141 HAS SOUPS 4772 WITH SCORE 4824.589
AT ITER 1747 NEW BEST:: SOT 92149 SOS 52655 HAS SOPS 28274 HAS SOUS 11124 HAS SOUPS 4767 WITH SCORE 4819.655
AT ITER 1777 NEW BEST:: SOT 92109 SOS 52515 HAS SOPS 28074 HAS SOUS 11112 HAS SOUPS 4725 WITH SCORE 4777.515
AT ITER 1778 NEW BEST:: SOT 91617 SOS 52121 HAS SOPS 27798 HAS SOUS 11082 HAS SOUPS 4715 WITH SCORE 4767.121
AT ITER 1781 NEW BEST:: SOT 91958 SOS 52569 HAS SOPS 27998 HAS SOUS 11112 HAS SOUPS 4711 WITH SCORE 4763.569
AT ITER 1787 NEW BEST:: SOT 91906 SOS 52504 HAS SOPS 27998 HAS SOUS 11099 HAS SOUPS 4711 WITH SCORE 4763.504
AT ITER 1803 NEW BEST:: SOT 91891 SOS 52474 HAS SOPS 27982 HAS SOUS 11084 HAS SOUPS 4703 WITH SCORE 4755.474
AT ITER 1805 NEW BEST:: SOT 91762 SOS 52216 HAS SOPS 27982 HAS SOUS 10922 HAS SOUPS 4703 WITH SCORE 4755.216
AT ITER 1814 NEW BEST:: SOT 91840 SOS 52246 HAS SOPS 27940 HAS SOUS 10915 HAS SOUPS 4678 WITH SCORE 4730.246
AT ITER 1817 NEW BEST:: SOT 91854 SOS 52274 HAS SOPS 27938 HAS SOUS 10958 HAS SOUPS 4676 WITH SCORE 4728.274
AT ITER 1820 NEW BEST:: SOT 91604 SOS 52044 HAS SOPS 27708 HAS SOUS 10951 HAS SOUPS 4642 WITH SCORE 4694.044
AT ITER 1833 NEW BEST:: SOT 91596 SOS 52032 HAS SOPS 27716 HAS SOUS 10951 HAS SOUPS 4642 WITH SCORE 4694.032
AT ITER 1841 NEW BEST:: SOT 91959 SOS 52758 HAS SOPS 27716 HAS SOUS 11164 HAS SOUPS 4638 WITH SCORE 4690.758
AT ITER 1846 NEW BEST:: SOT 91548 SOS 52275 HAS SOPS 27233 HAS SOUS 11164 HAS SOUPS 4593 WITH SCORE 4645.275
AT ITER 1862 NEW BEST:: SOT 91554 SOS 52133 HAS SOPS 27168 HAS SOUS 11158 HAS SOUPS 4592 WITH SCORE 4644.133
AT ITER 1864 NEW BEST:: SOT 91612 SOS 52170 HAS SOPS 27158 HAS SOUS 11169 HAS SOUPS 4589 WITH SCORE 4641.17
AT ITER 1869 NEW BEST:: SOT 91551 SOS 52234 HAS SOPS 27240 HAS SOUS 11163 HAS SOUPS 4585 WITH SCORE 4637.234
AT ITER 1881 NEW BEST:: SOT 91410 SOS 51951 HAS SOPS 27171 HAS SOUS 11121 HAS SOUPS 4582 WITH SCORE 4633.951
AT ITER 1887 NEW BEST:: SOT 91402 SOS 51871 HAS SOPS 27115 HAS SOUS 11101 HAS SOUPS 4566 WITH SCORE 4617.871
AT ITER 1888 NEW BEST:: SOT 91374 SOS 51803 HAS SOPS 27107 HAS SOUS 11090 HAS SOUPS 4565 WITH SCORE 4616.803
AT ITER 1896 NEW BEST:: SOT 91373 SOS 51785 HAS SOPS 27093 HAS SOUS 11087 HAS SOUPS 4562 WITH SCORE 4613.785
AT ITER 1897 NEW BEST:: SOT 91377 SOS 51790 HAS SOPS 27093 HAS SOUS 11089 HAS SOUPS 4560 WITH SCORE 4611.79
AT ITER 1921 NEW BEST:: SOT 91348 SOS 51887 HAS SOPS 27196 HAS SOUS 11087 HAS SOUPS 4558 WITH SCORE 4609.887
AT ITER 1932 NEW BEST:: SOT 91035 SOS 51765 HAS SOPS 26908 HAS SOUS 11126 HAS SOUPS 4558 WITH SCORE 4609.765
AT ITER 1944 NEW BEST:: SOT 91035 SOS 51696 HAS SOPS 26855 HAS SOUS 11124 HAS SOUPS 4557 WITH SCORE 4608.696
AT ITER 1962 NEW BEST:: SOT 91116 SOS 51783 HAS SOPS 26867 HAS SOUS 11106 HAS SOUPS 4539 WITH SCORE 4590.783
AT ITER 1976 NEW BEST:: SOT 91053 SOS 51706 HAS SOPS 26832 HAS SOUS 11104 HAS SOUPS 4537 WITH SCORE 4588.706
AT ITER 2001 NEW BEST:: SOT 90981 SOS 51634 HAS SOPS 26760 HAS SOUS 11104 HAS SOUPS 4537 WITH SCORE 4588.634
AT ITER 2006 NEW BEST:: SOT 90942 SOS 51647 HAS SOPS 26708 HAS SOUS 11151 HAS SOUPS 4527 WITH SCORE 4578.647
AT ITER 2019 NEW BEST:: SOT 90782 SOS 51455 HAS SOPS 26612 HAS SOUS 11114 HAS SOUPS 4495 WITH SCORE 4546.455
AT ITER 2045 NEW BEST:: SOT 90445 SOS 51161 HAS SOPS 26394 HAS SOUS 11103 HAS SOUPS 4484 WITH SCORE 4535.161
AT ITER 2048 NEW BEST:: SOT 90030 SOS 50835 HAS SOPS 26167 HAS SOUS 11104 HAS SOUPS 4481 WITH SCORE 4531.835
AT ITER 2079 NEW BEST:: SOT 90024 SOS 50823 HAS SOPS 26155 HAS SOUS 11098 HAS SOUPS 4475 WITH SCORE 4525.823
AT ITER 2096 NEW BEST:: SOT 90365 SOS 50992 HAS SOPS 26324 HAS SOUS 11009 HAS SOUPS 4429 WITH SCORE 4479.992
AT ITER 2110 NEW BEST:: SOT 90132 SOS 50916 HAS SOPS 26069 HAS SOUS 11119 HAS SOUPS 4419 WITH SCORE 4469.916
AT ITER 2117 NEW BEST:: SOT 90129 SOS 50913 HAS SOPS 26060 HAS SOUS 11114 HAS SOUPS 4414 WITH SCORE 4464.913
AT ITER 2124 NEW BEST:: SOT 90123 SOS 50753 HAS SOPS 25895 HAS SOUS 11099 HAS SOUPS 4399 WITH SCORE 4449.753
AT ITER 2127 NEW BEST:: SOT 90107 SOS 50729 HAS SOPS 25871 HAS SOUS 11099 HAS SOUPS 4399 WITH SCORE 4449.729
AT ITER 2129 NEW BEST:: SOT 90125 SOS 50747 HAS SOPS 25871 HAS SOUS 11090 HAS SOUPS 4381 WITH SCORE 4431.747
AT ITER 2133 NEW BEST:: SOT 90055 SOS 50688 HAS SOPS 25631 HAS SOUS 11097 HAS SOUPS 4339 WITH SCORE 4389.688
AT ITER 2142 NEW BEST:: SOT 90143 SOS 50734 HAS SOPS 25677 HAS SOUS 11081 HAS SOUPS 4334 WITH SCORE 4384.734
AT ITER 2146 NEW BEST:: SOT 90135 SOS 50718 HAS SOPS 25677 HAS SOUS 11085 HAS SOUPS 4334 WITH SCORE 4384.718
AT ITER 2160 NEW BEST:: SOT 90080 SOS 50556 HAS SOPS 25645 HAS SOUS 11056 HAS SOUPS 4331 WITH SCORE 4381.556
AT ITER 2172 NEW BEST:: SOT 90080 SOS 50554 HAS SOPS 25645 HAS SOUS 11056 HAS SOUPS 4331 WITH SCORE 4381.554
AT ITER 2175 NEW BEST:: SOT 89492 SOS 50172 HAS SOPS 25281 HAS SOUS 11012 HAS SOUPS 4328 WITH SCORE 4378.172
AT ITER 2199 NEW BEST:: SOT 89446 SOS 50104 HAS SOPS 25237 HAS SOUS 10982 HAS SOUPS 4310 WITH SCORE 4360.104
AT ITER 2211 NEW BEST:: SOT 89446 SOS 50089 HAS SOPS 25237 HAS SOUS 10977 HAS SOUPS 4305 WITH SCORE 4355.089
AT ITER 2223 NEW BEST:: SOT 89415 SOS 50005 HAS SOPS 25175 HAS SOUS 10936 HAS SOUPS 4280 WITH SCORE 4330.005
AT ITER 2225 NEW BEST:: SOT 89199 SOS 49573 HAS SOPS 25175 HAS SOUS 10774 HAS SOUPS 4280 WITH SCORE 4329.573
AT ITER 2243 NEW BEST:: SOT 89229 SOS 49597 HAS SOPS 25199 HAS SOUS 10754 HAS SOUPS 4272 WITH SCORE 4321.597
AT ITER 2250 NEW BEST:: SOT 89065 SOS 49269 HAS SOPS 25199 HAS SOUS 10724 HAS SOUPS 4272 WITH SCORE 4321.269
AT ITER 2253 NEW BEST:: SOT 89065 SOS 49269 HAS SOPS 25193 HAS SOUS 10724 HAS SOUPS 4269 WITH SCORE 4318.269
AT ITER 2264 NEW BEST:: SOT 89035 SOS 49144 HAS SOPS 25123 HAS SOUS 10709 HAS SOUPS 4259 WITH SCORE 4308.144
AT ITER 2267 NEW BEST:: SOT 89039 SOS 49148 HAS SOPS 25127 HAS SOUS 10705 HAS SOUPS 4255 WITH SCORE 4304.148
AT ITER 2269 NEW BEST:: SOT 89058 SOS 49174 HAS SOPS 25133 HAS SOUS 10718 HAS SOUPS 4252 WITH SCORE 4301.174
AT ITER 2338 NEW BEST:: SOT 89050 SOS 49174 HAS SOPS 25137 HAS SOUS 10716 HAS SOUPS 4251 WITH SCORE 4300.174
AT ITER 2343 NEW BEST:: SOT 89047 SOS 49120 HAS SOPS 25101 HAS SOUS 10710 HAS SOUPS 4248 WITH SCORE 4297.12
AT ITER 2344 NEW BEST:: SOT 88791 SOS 48608 HAS SOPS 24973 HAS SOUS 10612 HAS SOUPS 4214 WITH SCORE 4262.608
AT ITER 2356 NEW BEST:: SOT 88782 SOS 48590 HAS SOPS 24973 HAS SOUS 10612 HAS SOUPS 4214 WITH SCORE 4262.59
AT ITER 2358 NEW BEST:: SOT 88775 SOS 48583 HAS SOPS 24969 HAS SOUS 10612 HAS SOUPS 4214 WITH SCORE 4262.583
AT ITER 2376 NEW BEST:: SOT 88781 SOS 48586 HAS SOPS 24963 HAS SOUS 10600 HAS SOUPS 4205 WITH SCORE 4253.586
AT ITER 2388 NEW BEST:: SOT 88759 SOS 48542 HAS SOPS 24941 HAS SOUS 10578 HAS SOUPS 4205 WITH SCORE 4253.542
AT ITER 2389 NEW BEST:: SOT 88936 SOS 48841 HAS SOPS 24965 HAS SOUS 10787 HAS SOUPS 4194 WITH SCORE 4242.841
AT ITER 2394 NEW BEST:: SOT 88924 SOS 48817 HAS SOPS 24965 HAS SOUS 10536 HAS SOUPS 4194 WITH SCORE 4242.817
AT ITER 2398 NEW BEST:: SOT 88921 SOS 48811 HAS SOPS 24965 HAS SOUS 10536 HAS SOUPS 4194 WITH SCORE 4242.811
AT ITER 2414 NEW BEST:: SOT 88915 SOS 48799 HAS SOPS 24965 HAS SOUS 10530 HAS SOUPS 4194 WITH SCORE 4242.799
AT ITER 2438 NEW BEST:: SOT 88911 SOS 48791 HAS SOPS 24965 HAS SOUS 10527 HAS SOUPS 4194 WITH SCORE 4242.791
AT ITER 2444 NEW BEST:: SOT 89087 SOS 48923 HAS SOPS 25053 HAS SOUS 10517 HAS SOUPS 4184 WITH SCORE 4232.923
AT ITER 2454 NEW BEST:: SOT 89057 SOS 48933 HAS SOPS 25013 HAS SOUS 10486 HAS SOUPS 4139 WITH SCORE 4187.933
AT ITER 2458 NEW BEST:: SOT 89225 SOS 48877 HAS SOPS 25237 HAS SOUS 10430 HAS SOUPS 4139 WITH SCORE 4187.877
AT ITER 2466 NEW BEST:: SOT 89229 SOS 48882 HAS SOPS 25237 HAS SOUS 10434 HAS SOUPS 4138 WITH SCORE 4186.882
AT ITER 2483 NEW BEST:: SOT 89255 SOS 49058 HAS SOPS 25337 HAS SOUS 10428 HAS SOUPS 4132 WITH SCORE 4181.058
AT ITER 2491 NEW BEST:: SOT 88831 SOS 48774 HAS SOPS 25053 HAS SOUS 10427 HAS SOUPS 4084 WITH SCORE 4132.774
AT ITER 2497 NEW BEST:: SOT 88521 SOS 48340 HAS SOPS 24867 HAS SOUS 10396 HAS SOUPS 4084 WITH SCORE 4132.34
AT ITER 2508 NEW BEST:: SOT 88453 SOS 48332 HAS SOPS 24803 HAS SOUS 10378 HAS SOUPS 4038 WITH SCORE 4086.332
AT ITER 2519 NEW BEST:: SOT 88224 SOS 47874 HAS SOPS 24803 HAS SOUS 10189 HAS SOUPS 4038 WITH SCORE 4085.874
AT ITER 2548 NEW BEST:: SOT 88123 SOS 47672 HAS SOPS 24803 HAS SOUS 10066 HAS SOUPS 4038 WITH SCORE 4085.672
AT ITER 2549 NEW BEST:: SOT 88063 SOS 47532 HAS SOPS 24763 HAS SOUS 10046 HAS SOUPS 4038 WITH SCORE 4085.532
AT ITER 2569 NEW BEST:: SOT 88013 SOS 47483 HAS SOPS 24695 HAS SOUS 10012 HAS SOUPS 4004 WITH SCORE 4051.483
AT ITER 2585 NEW BEST:: SOT 88112 SOS 47593 HAS SOPS 24751 HAS SOUS 10016 HAS SOUPS 4003 WITH SCORE 4050.593
AT ITER 2595 NEW BEST:: SOT 87944 SOS 47425 HAS SOPS 24607 HAS SOUS 10012 HAS SOUPS 3999 WITH SCORE 4046.425
AT ITER 2604 NEW BEST:: SOT 87825 SOS 47327 HAS SOPS 24527 HAS SOUS 10012 HAS SOUPS 3999 WITH SCORE 4046.327
AT ITER 2625 NEW BEST:: SOT 87917 SOS 47442 HAS SOPS 24527 HAS SOUS 9991 HAS SOUPS 3969 WITH SCORE 4016.442
AT ITER 2629 NEW BEST:: SOT 87882 SOS 47401 HAS SOPS 24504 HAS SOUS 9988 HAS SOUPS 3966 WITH SCORE 4013.401
AT ITER 2665 NEW BEST:: SOT 87846 SOS 47365 HAS SOPS 24468 HAS SOUS 9988 HAS SOUPS 3966 WITH SCORE 4013.365
AT ITER 2736 NEW BEST:: SOT 87726 SOS 47125 HAS SOPS 24468 HAS SOUS 9836 HAS SOUPS 3966 WITH SCORE 4013.125
AT ITER 2738 NEW BEST:: SOT 87718 SOS 47117 HAS SOPS 24460 HAS SOUS 9844 HAS SOUPS 3959 WITH SCORE 4006.117
AT ITER 2743 NEW BEST:: SOT 87550 SOS 46691 HAS SOPS 24184 HAS SOUS 9811 HAS SOUPS 3941 WITH SCORE 3987.691
AT ITER 2751 NEW BEST:: SOT 87553 SOS 46697 HAS SOPS 24180 HAS SOUS 9805 HAS SOUPS 3931 WITH SCORE 3977.697
AT ITER 2752 NEW BEST:: SOT 87553 SOS 46697 HAS SOPS 24180 HAS SOUS 9799 HAS SOUPS 3925 WITH SCORE 3971.697
AT ITER 2845 NEW BEST:: SOT 87555 SOS 46695 HAS SOPS 24172 HAS SOUS 9795 HAS SOUPS 3918 WITH SCORE 3964.695
AT ITER 2910 NEW BEST:: SOT 87518 SOS 46658 HAS SOPS 24170 HAS SOUS 9758 HAS SOUPS 3917 WITH SCORE 3963.658
AT ITER 2924 NEW BEST:: SOT 87506 SOS 46634 HAS SOPS 24170 HAS SOUS 10083 HAS SOUPS 3917 WITH SCORE 3963.634
AT ITER 3023 NEW BEST:: SOT 87475 SOS 46607 HAS SOPS 24150 HAS SOUS 10083 HAS SOUPS 3917 WITH SCORE 3963.607
AT ITER 3035 NEW BEST:: SOT 87471 SOS 46603 HAS SOPS 24146 HAS SOUS 10083 HAS SOUPS 3917 WITH SCORE 3963.603
AT ITER 3048 NEW BEST:: SOT 87756 SOS 46911 HAS SOPS 24310 HAS SOUS 10093 HAS SOUPS 3916 WITH SCORE 3962.911
AT ITER 3090 NEW BEST:: SOT 87692 SOS 46783 HAS SOPS 24278 HAS SOUS 10045 HAS SOUPS 3884 WITH SCORE 3930.783
AT ITER 3091 NEW BEST:: SOT 87690 SOS 46773 HAS SOPS 24274 HAS SOUS 10039 HAS SOUPS 3880 WITH SCORE 3926.773
AT ITER 3142 NEW BEST:: SOT 87452 SOS 46535 HAS SOPS 24206 HAS SOUS 10039 HAS SOUPS 3880 WITH SCORE 3926.535
AT ITER 3165 NEW BEST:: SOT 87452 SOS 46531 HAS SOPS 24206 HAS SOUS 10037 HAS SOUPS 3880 WITH SCORE 3926.531
AT ITER 3199 NEW BEST:: SOT 87431 SOS 46510 HAS SOPS 24164 HAS SOUS 10030 HAS SOUPS 3866 WITH SCORE 3912.51
AT ITER 3232 NEW BEST:: SOT 87467 SOS 46498 HAS SOPS 24212 HAS SOUS 10018 HAS SOUPS 3866 WITH SCORE 3912.498
AT ITER 3239 NEW BEST:: SOT 87491 SOS 46490 HAS SOPS 24244 HAS SOUS 9978 HAS SOUPS 3866 WITH SCORE 3912.49
AT ITER 3240 NEW BEST:: SOT 87457 SOS 46438 HAS SOPS 24144 HAS SOUS 9976 HAS SOUPS 3848 WITH SCORE 3894.438
AT ITER 3254 NEW BEST:: SOT 87463 SOS 46436 HAS SOPS 24136 HAS SOUS 9977 HAS SOUPS 3847 WITH SCORE 3893.436
AT ITER 3265 NEW BEST:: SOT 87432 SOS 46405 HAS SOPS 24105 HAS SOUS 9940 HAS SOUPS 3810 WITH SCORE 3856.405
AT ITER 3266 NEW BEST:: SOT 87436 SOS 46269 HAS SOPS 24005 HAS SOUS 9931 HAS SOUPS 3803 WITH SCORE 3849.269
AT ITER 3280 NEW BEST:: SOT 87517 SOS 46242 HAS SOPS 24113 HAS SOUS 9806 HAS SOUPS 3803 WITH SCORE 3849.242
AT ITER 3302 NEW BEST:: SOT 87515 SOS 46238 HAS SOPS 24109 HAS SOUS 9806 HAS SOUPS 3803 WITH SCORE 3849.238
AT ITER 3342 NEW BEST:: SOT 87499 SOS 46222 HAS SOPS 24085 HAS SOUS 9798 HAS SOUPS 3795 WITH SCORE 3841.222
AT ITER 3363 NEW BEST:: SOT 87505 SOS 45922 HAS SOPS 23881 HAS SOUS 9788 HAS SOUPS 3791 WITH SCORE 3836.922
AT ITER 3364 NEW BEST:: SOT 87502 SOS 45820 HAS SOPS 23827 HAS SOUS 9782 HAS SOUPS 3788 WITH SCORE 3833.82
AT ITER 3467 NEW BEST:: SOT 87339 SOS 45707 HAS SOPS 23663 HAS SOUS 9633 HAS SOUPS 3714 WITH SCORE 3759.707
AT ITER 3493 NEW BEST:: SOT 87150 SOS 45329 HAS SOPS 23663 HAS SOUS 9156 HAS SOUPS 3714 WITH SCORE 3759.329
AT ITER 3537 NEW BEST:: SOT 87098 SOS 45173 HAS SOPS 23663 HAS SOUS 9075 HAS SOUPS 3695 WITH SCORE 3740.173
AT ITER 3553 NEW BEST:: SOT 87112 SOS 45153 HAS SOPS 23619 HAS SOUS 9056 HAS SOUPS 3680 WITH SCORE 3725.153
AT ITER 3559 NEW BEST:: SOT 87042 SOS 45083 HAS SOPS 23579 HAS SOUS 9056 HAS SOUPS 3680 WITH SCORE 3725.083
AT ITER 3589 NEW BEST:: SOT 87032 SOS 45069 HAS SOPS 23573 HAS SOUS 9055 HAS SOUPS 3680 WITH SCORE 3725.069
AT ITER 3653 NEW BEST:: SOT 87035 SOS 45033 HAS SOPS 23537 HAS SOUS 9076 HAS SOUPS 3680 WITH SCORE 3725.033
AT ITER 3658 NEW BEST:: SOT 86985 SOS 44973 HAS SOPS 23477 HAS SOUS 9033 HAS SOUPS 3657 WITH SCORE 3701.973
AT ITER 3674 NEW BEST:: SOT 86957 SOS 44917 HAS SOPS 23477 HAS SOUS 9116 HAS SOUPS 3657 WITH SCORE 3701.917
AT ITER 3679 NEW BEST:: SOT 86950 SOS 44918 HAS SOPS 23461 HAS SOUS 9109 HAS SOUPS 3649 WITH SCORE 3693.918
AT ITER 3683 NEW BEST:: SOT 86898 SOS 44844 HAS SOPS 23387 HAS SOUS 9019 HAS SOUPS 3587 WITH SCORE 3631.844
AT ITER 3696 NEW BEST:: SOT 86887 SOS 44831 HAS SOPS 23381 HAS SOUS 9018 HAS SOUPS 3587 WITH SCORE 3631.831
AT ITER 3721 NEW BEST:: SOT 86893 SOS 44786 HAS SOPS 23393 HAS SOUS 9004 HAS SOUPS 3575 WITH SCORE 3619.786
AT ITER 3728 NEW BEST:: SOT 86881 SOS 44768 HAS SOPS 23389 HAS SOUS 9000 HAS SOUPS 3573 WITH SCORE 3617.768
AT ITER 3766 NEW BEST:: SOT 86821 SOS 44648 HAS SOPS 23389 HAS SOUS 8895 HAS SOUPS 3573 WITH SCORE 3617.648
AT ITER 3777 NEW BEST:: SOT 86617 SOS 44410 HAS SOPS 23287 HAS SOUS 8844 HAS SOUPS 3539 WITH SCORE 3583.41
AT ITER 3816 NEW BEST:: SOT 86627 SOS 44422 HAS SOPS 23291 HAS SOUS 8844 HAS SOUPS 3538 WITH SCORE 3582.422
AT ITER 3828 NEW BEST:: SOT 86533 SOS 44234 HAS SOPS 23291 HAS SOUS 8772 HAS SOUPS 3538 WITH SCORE 3582.234
AT ITER 3859 NEW BEST:: SOT 86499 SOS 44156 HAS SOPS 23213 HAS SOUS 8758 HAS SOUPS 3524 WITH SCORE 3568.156
AT ITER 3910 NEW BEST:: SOT 86466 SOS 44123 HAS SOPS 23185 HAS SOUS 8765 HAS SOUPS 3516 WITH SCORE 3560.123
AT ITER 3989 NEW BEST:: SOT 86454 SOS 44087 HAS SOPS 23185 HAS SOUS 8753 HAS SOUPS 3516 WITH SCORE 3560.087
AT ITER 4072 NEW BEST:: SOT 85949 SOS 43648 HAS SOPS 22760 HAS SOUS 8924 HAS SOUPS 3512 WITH SCORE 3555.648
AT ITER 4090 NEW BEST:: SOT 85949 SOS 43648 HAS SOPS 22760 HAS SOUS 8870 HAS SOUPS 3482 WITH SCORE 3525.648
AT ITER 4132 NEW BEST:: SOT 85833 SOS 43516 HAS SOPS 22688 HAS SOUS 8864 HAS SOUPS 3476 WITH SCORE 3519.516
AT ITER 4140 NEW BEST:: SOT 85833 SOS 43474 HAS SOPS 22694 HAS SOUS 8861 HAS SOUPS 3476 WITH SCORE 3519.474
AT ITER 4146 NEW BEST:: SOT 85874 SOS 43523 HAS SOPS 22711 HAS SOUS 8862 HAS SOUPS 3473 WITH SCORE 3516.523
AT ITER 4170 NEW BEST:: SOT 85868 SOS 43501 HAS SOPS 22689 HAS SOUS 8861 HAS SOUPS 3472 WITH SCORE 3515.501
AT ITER 4171 NEW BEST:: SOT 85780 SOS 43381 HAS SOPS 22641 HAS SOUS 8837 HAS SOUPS 3456 WITH SCORE 3499.381
AT ITER 4183 NEW BEST:: SOT 85783 SOS 43387 HAS SOPS 22647 HAS SOUS 8824 HAS SOUPS 3443 WITH SCORE 3486.387
AT ITER 4234 NEW BEST:: SOT 85792 SOS 43322 HAS SOPS 22758 HAS SOUS 8802 HAS SOUPS 3432 WITH SCORE 3475.322
AT ITER 4265 NEW BEST:: SOT 85814 SOS 43350 HAS SOPS 22770 HAS SOUS 8794 HAS SOUPS 3416 WITH SCORE 3459.35
AT ITER 4279 NEW BEST:: SOT 85856 SOS 43336 HAS SOPS 22826 HAS SOUS 8780 HAS SOUPS 3416 WITH SCORE 3459.336
AT ITER 4298 NEW BEST:: SOT 85857 SOS 43338 HAS SOPS 22818 HAS SOUS 8779 HAS SOUPS 3413 WITH SCORE 3456.338
AT ITER 4305 NEW BEST:: SOT 85849 SOS 43332 HAS SOPS 22814 HAS SOUS 8779 HAS SOUPS 3413 WITH SCORE 3456.332
AT ITER 4306 NEW BEST:: SOT 85842 SOS 43330 HAS SOPS 22820 HAS SOUS 8776 HAS SOUPS 3412 WITH SCORE 3455.33
AT ITER 4322 NEW BEST:: SOT 85846 SOS 43326 HAS SOPS 22820 HAS SOUS 8768 HAS SOUPS 3404 WITH SCORE 3447.326
AT ITER 4330 NEW BEST:: SOT 85773 SOS 43241 HAS SOPS 22778 HAS SOUS 8695 HAS SOUPS 3383 WITH SCORE 3426.241
AT ITER 4349 NEW BEST:: SOT 85725 SOS 42778 HAS SOPS 22332 HAS SOUS 8503 HAS SOUPS 3300 WITH SCORE 3342.778
AT ITER 4389 NEW BEST:: SOT 85653 SOS 42732 HAS SOPS 22278 HAS SOUS 8504 HAS SOUPS 3292 WITH SCORE 3334.732
AT ITER 4450 NEW BEST:: SOT 85635 SOS 42696 HAS SOPS 22266 HAS SOUS 8479 HAS SOUPS 3281 WITH SCORE 3323.696
AT ITER 4479 NEW BEST:: SOT 85520 SOS 42557 HAS SOPS 22192 HAS SOUS 8477 HAS SOUPS 3279 WITH SCORE 3321.557
AT ITER 4498 NEW BEST:: SOT 85132 SOS 42324 HAS SOPS 21880 HAS SOUS 8572 HAS SOUPS 3265 WITH SCORE 3307.324
AT ITER 4583 NEW BEST:: SOT 85099 SOS 42143 HAS SOPS 21770 HAS SOUS 8571 HAS SOUPS 3264 WITH SCORE 3306.143
AT ITER 4608 NEW BEST:: SOT 85102 SOS 42107 HAS SOPS 21752 HAS SOUS 8568 HAS SOUPS 3264 WITH SCORE 3306.107
AT ITER 4615 NEW BEST:: SOT 85102 SOS 42107 HAS SOPS 21752 HAS SOUS 8550 HAS SOUPS 3260 WITH SCORE 3302.107
AT ITER 4634 NEW BEST:: SOT 85101 SOS 42105 HAS SOPS 21750 HAS SOUS 8543 HAS SOUPS 3253 WITH SCORE 3295.105
AT ITER 4687 NEW BEST:: SOT 84982 SOS 41986 HAS SOPS 21682 HAS SOUS 8543 HAS SOUPS 3253 WITH SCORE 3294.986
AT ITER 4717 NEW BEST:: SOT 84993 SOS 41993 HAS SOPS 21682 HAS SOUS 8538 HAS SOUPS 3243 WITH SCORE 3284.993
AT ITER 4759 NEW BEST:: SOT 85024 SOS 42036 HAS SOPS 21707 HAS SOUS 8466 HAS SOUPS 3216 WITH SCORE 3258.036
AT ITER 4767 NEW BEST:: SOT 85027 SOS 42039 HAS SOPS 21705 HAS SOUS 8465 HAS SOUPS 3215 WITH SCORE 3257.039
AT ITER 4837 NEW BEST:: SOT 84997 SOS 42011 HAS SOPS 21677 HAS SOUS 8459 HAS SOUPS 3209 WITH SCORE 3251.011
AT ITER 4925 NEW BEST:: SOT 84986 SOS 41824 HAS SOPS 21490 HAS SOUS 8455 HAS SOUPS 3205 WITH SCORE 3246.824
AT ITER 4948 NEW BEST:: SOT 85051 SOS 41834 HAS SOPS 21434 HAS SOUS 8474 HAS SOUPS 3204 WITH SCORE 3245.834
AT ITER 4951 NEW BEST:: SOT 85122 SOS 41888 HAS SOPS 21438 HAS SOUS 8523 HAS SOUPS 3194 WITH SCORE 3235.888
AT ITER 4974 NEW BEST:: SOT 85116 SOS 41876 HAS SOPS 21424 HAS SOUS 8505 HAS SOUPS 3180 WITH SCORE 3221.876
AT ITER 4975 NEW BEST:: SOT 85113 SOS 41873 HAS SOPS 21421 HAS SOUS 8502 HAS SOUPS 3177 WITH SCORE 3218.873
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-2a-CTLFireability-00 (EF( (AG( (! (! ((potential((tk(P146)>=1) & (tk(P113)>=1))))))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-01 (AF( (EF( (AX( ((potential((tk(P89)>=1) & (tk(P151)>=1))))))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-02 ( ( (AX( ( ( ((potential((tk(P99)>=1)))) | ((potential((tk(P9)>=1) & (tk(P159)>=1)))) ) | ((potential((tk(P92)>=1) & (tk(P152)>=1)))) ))) & ( ( (AX( ((potential((tk(P106)>=1) & (tk(P186)>=1)))))) & ( ( ((potential((tk(P105)>=1)))) & ((potential((tk(P99)>=1) & (tk(P184)>=1)))) ) | (! ((potential((tk(P36)>=1) & (tk(P135)>=1))))) ) ) & ((potential((tk(P126)>=1) & (tk(P158)>=1)))) ) ) | (AG( (! (AX( ((potential((tk(P111)>=1) & (tk(P146)>=1))))))))) )
PROPERTY: DLCshifumi-PT-2a-CTLFireability-03 (! (AG( ( ((potential((tk(P115)>=1) & (tk(P137)>=1)))) | (EF( ((potential((tk(P115)>=1) & (tk(P130)>=1)))))) ))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-04 (EF( (EF( (AG( ((potential((tk(P110)>=1) & (tk(P142)>=1))))))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-05 (EF( ( (EG( ( ((potential((tk(P11)>=1)))) | ((potential((tk(P180)>=1) & (tk(P123)>=1)))) ))) & (! (AG( ((potential((tk(P19)>=1))))))) )))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-06 (EF( ( ( ( ( ((potential((tk(P110)>=1) & (tk(P144)>=1)))) | ((potential((tk(P112)>=1) & (tk(P156)>=1)))) ) & ( ((potential((tk(P125)>=1) & (tk(P173)>=1)))) & ((potential((tk(P114)>=1) & (tk(P132)>=1)))) ) ) & (! ( ((potential((tk(P59)>=1)))) | ((potential((tk(P36)>=1) & (tk(P136)>=1)))) )) ) & (! ((potential((tk(P127)>=1) & (tk(P115)>=1))))) )))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-07 (EF( ((potential((tk(P120)>=1) & (tk(P188)>=1))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-08 (! (EF( (EU( ((potential((tk(P116)>=1) & (tk(P142)>=1)))) , ((potential((tk(P112)>=1) & (tk(P140)>=1)))) )))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-09 (EF( ( (EF( (! ((potential((tk(P8)>=1) & (tk(P158)>=1))))))) & ( ((potential((tk(P13)>=1)))) | (AG( ((potential((tk(P57)>=1) & (tk(P142)>=1)))))) ) )))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-10 (EF( ((potential((tk(P112)>=1) & (tk(P132)>=1))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-11 (EF( (AF( (AG( ((potential((tk(P28)>=1))))))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-12 (EF( ((potential((tk(P120)>=1) & (tk(P166)>=1))))))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-13 (AG( ( (AF( (! ((potential((tk(P122)>=1) & (tk(P166)>=1))))))) & (! ( ( ((potential((tk(P38)>=1)))) & ((potential((tk(P41)>=1)))) ) | ((potential((tk(P112)>=1) & (tk(P140)>=1)))) )) )))
PROPERTY: DLCshifumi-PT-2a-CTLFireability-14 ( (! (AX( ((potential((tk(P27)>=1))))))) & ( (! ((potential((tk(P93)>=1) & (tk(P153)>=1))))) | (EF( (EF( ((potential((tk(P85)>=1) & (tk(P180)>=1)))))))) ) )
PROPERTY: DLCshifumi-PT-2a-CTLFireability-15 ( (AG( (! (EX( ((potential((tk(P50)>=1) & (tk(P140)>=1))))))))) & ((potential((tk(P165)>=1) & (tk(P125)>=1)))) )

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="DLCshifumi-PT-2a"
export BK_EXAMINATION="CTLFireability"
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 CTLFireability"
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-158922806800004"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;