fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508600468
Last Updated
Jun 28, 2020

About the Execution of smart for AutoFlight-PT-12a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.110 3600000.00 3599981.00 69.30 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600468.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-12a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600468
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 4.7K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 10:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 85K 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 AutoFlight-PT-12a-CTLFireability-00
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-01
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-02
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-03
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-04
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-05
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-06
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-07
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-08
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-09
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-10
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-11
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-12
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-13
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-14
FORMULA_NAME AutoFlight-PT-12a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589165469549

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12a
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: 307 places, 305 transitions, 980 arcs.
AT ITER 0 NEW BEST:: SOT 71679 SOS 47340 HAS SOPS 47340 HAS SOUS 33153 HAS SOUPS 33153 WITH SCORE 33200.34
AT ITER 1 NEW BEST:: SOT 71305 SOS 47018 HAS SOPS 47018 HAS SOUS 32965 HAS SOUPS 32965 WITH SCORE 33012.018
AT ITER 2 NEW BEST:: SOT 71305 SOS 46644 HAS SOPS 46644 HAS SOUS 32729 HAS SOUPS 32729 WITH SCORE 32775.644
AT ITER 4 NEW BEST:: SOT 70648 SOS 46019 HAS SOPS 46019 HAS SOUS 32342 HAS SOUPS 32342 WITH SCORE 32388.019
AT ITER 8 NEW BEST:: SOT 70157 SOS 45168 HAS SOPS 45168 HAS SOUS 31865 HAS SOUPS 31865 WITH SCORE 31910.168
AT ITER 10 NEW BEST:: SOT 69684 SOS 44358 HAS SOPS 44358 HAS SOUS 31367 HAS SOUPS 31367 WITH SCORE 31411.358
AT ITER 11 NEW BEST:: SOT 69659 SOS 43864 HAS SOPS 43802 HAS SOUS 31031 HAS SOUPS 30969 WITH SCORE 31012.864
AT ITER 12 NEW BEST:: SOT 69638 SOS 43842 HAS SOPS 43780 HAS SOUS 31009 HAS SOUPS 30947 WITH SCORE 30990.842
AT ITER 17 NEW BEST:: SOT 69147 SOS 43351 HAS SOPS 43289 HAS SOUS 30684 HAS SOUPS 30622 WITH SCORE 30665.351
AT ITER 18 NEW BEST:: SOT 68117 SOS 41890 HAS SOPS 41828 HAS SOUS 29776 HAS SOUPS 29714 WITH SCORE 29755.89
AT ITER 19 NEW BEST:: SOT 68117 SOS 41607 HAS SOPS 41545 HAS SOUS 29620 HAS SOUPS 29558 WITH SCORE 29599.607
AT ITER 20 NEW BEST:: SOT 68102 SOS 41591 HAS SOPS 41529 HAS SOUS 29604 HAS SOUPS 29542 WITH SCORE 29583.591
AT ITER 24 NEW BEST:: SOT 68102 SOS 41217 HAS SOPS 41155 HAS SOUS 29387 HAS SOUPS 29325 WITH SCORE 29366.217
AT ITER 37 NEW BEST:: SOT 68101 SOS 40882 HAS SOPS 40820 HAS SOUS 29170 HAS SOUPS 29108 WITH SCORE 29148.882
AT ITER 43 NEW BEST:: SOT 68007 SOS 40788 HAS SOPS 40726 HAS SOUS 29076 HAS SOUPS 29014 WITH SCORE 29054.788
AT ITER 45 NEW BEST:: SOT 68007 SOS 40787 HAS SOPS 40725 HAS SOUS 29075 HAS SOUPS 29013 WITH SCORE 29053.787
AT ITER 46 NEW BEST:: SOT 68007 SOS 40787 HAS SOPS 40725 HAS SOUS 29057 HAS SOUPS 28995 WITH SCORE 29035.787
AT ITER 49 NEW BEST:: SOT 67937 SOS 40333 HAS SOPS 40271 HAS SOUS 28818 HAS SOUPS 28756 WITH SCORE 28796.333
AT ITER 51 NEW BEST:: SOT 67346 SOS 39718 HAS SOPS 39656 HAS SOUS 28448 HAS SOUPS 28386 WITH SCORE 28425.718
AT ITER 52 NEW BEST:: SOT 67053 SOS 39424 HAS SOPS 39362 HAS SOUS 28274 HAS SOUPS 28212 WITH SCORE 28251.424
AT ITER 53 NEW BEST:: SOT 67116 SOS 39441 HAS SOPS 39379 HAS SOUS 28271 HAS SOUPS 28209 WITH SCORE 28248.441
AT ITER 54 NEW BEST:: SOT 67006 SOS 39529 HAS SOPS 39269 HAS SOUS 28236 HAS SOUPS 28099 WITH SCORE 28138.529
AT ITER 55 NEW BEST:: SOT 66864 SOS 39473 HAS SOPS 38757 HAS SOUS 28018 HAS SOUPS 27741 WITH SCORE 27780.473
AT ITER 56 NEW BEST:: SOT 66864 SOS 39214 HAS SOPS 38498 HAS SOUS 27893 HAS SOUPS 27616 WITH SCORE 27655.214
AT ITER 61 NEW BEST:: SOT 65959 SOS 37898 HAS SOPS 37182 HAS SOUS 27091 HAS SOUPS 26814 WITH SCORE 26851.898
AT ITER 62 NEW BEST:: SOT 65523 SOS 37852 HAS SOPS 37136 HAS SOUS 27045 HAS SOUPS 26768 WITH SCORE 26805.852
AT ITER 67 NEW BEST:: SOT 65269 SOS 37598 HAS SOPS 36882 HAS SOUS 26951 HAS SOUPS 26674 WITH SCORE 26711.598
AT ITER 68 NEW BEST:: SOT 65132 SOS 37460 HAS SOPS 36744 HAS SOUS 26867 HAS SOUPS 26590 WITH SCORE 26627.46
AT ITER 69 NEW BEST:: SOT 64314 SOS 36641 HAS SOPS 35925 HAS SOUS 26282 HAS SOUPS 26005 WITH SCORE 26041.641
AT ITER 71 NEW BEST:: SOT 64267 SOS 36620 HAS SOPS 35878 HAS SOUS 26254 HAS SOUPS 25958 WITH SCORE 25994.62
AT ITER 75 NEW BEST:: SOT 63912 SOS 36531 HAS SOPS 35789 HAS SOUS 26165 HAS SOUPS 25869 WITH SCORE 25905.531
AT ITER 77 NEW BEST:: SOT 63823 SOS 36442 HAS SOPS 35700 HAS SOUS 25995 HAS SOUPS 25699 WITH SCORE 25735.442
AT ITER 78 NEW BEST:: SOT 63617 SOS 36236 HAS SOPS 35494 HAS SOUS 25896 HAS SOUPS 25600 WITH SCORE 25636.236
AT ITER 79 NEW BEST:: SOT 63066 SOS 35391 HAS SOPS 34649 HAS SOUS 25405 HAS SOUPS 25109 WITH SCORE 25144.391
AT ITER 82 NEW BEST:: SOT 63041 SOS 35365 HAS SOPS 34623 HAS SOUS 25379 HAS SOUPS 25083 WITH SCORE 25118.365
AT ITER 83 NEW BEST:: SOT 63093 SOS 35326 HAS SOPS 34584 HAS SOUS 25330 HAS SOUPS 25034 WITH SCORE 25069.326
AT ITER 87 NEW BEST:: SOT 62473 SOS 34753 HAS SOPS 34011 HAS SOUS 24869 HAS SOUPS 24573 WITH SCORE 24607.753
AT ITER 88 NEW BEST:: SOT 62425 SOS 34247 HAS SOPS 33505 HAS SOUS 24842 HAS SOUPS 24546 WITH SCORE 24580.247
AT ITER 90 NEW BEST:: SOT 62000 SOS 33856 HAS SOPS 33114 HAS SOUS 24590 HAS SOUPS 24294 WITH SCORE 24327.856
AT ITER 91 NEW BEST:: SOT 61875 SOS 33739 HAS SOPS 32988 HAS SOUS 24473 HAS SOUPS 24168 WITH SCORE 24201.739
AT ITER 93 NEW BEST:: SOT 61845 SOS 33709 HAS SOPS 32958 HAS SOUS 24413 HAS SOUPS 24108 WITH SCORE 24141.709
AT ITER 95 NEW BEST:: SOT 61687 SOS 33833 HAS SOPS 32800 HAS SOUS 24250 HAS SOUPS 23849 WITH SCORE 23882.833
AT ITER 97 NEW BEST:: SOT 61585 SOS 33619 HAS SOPS 32586 HAS SOUS 24138 HAS SOUPS 23737 WITH SCORE 23770.619
AT ITER 100 NEW BEST:: SOT 61398 SOS 33431 HAS SOPS 32398 HAS SOUS 24016 HAS SOUPS 23615 WITH SCORE 23648.431
AT ITER 105 NEW BEST:: SOT 60807 SOS 32840 HAS SOPS 31807 HAS SOUS 23675 HAS SOUPS 23274 WITH SCORE 23306.84
AT ITER 106 NEW BEST:: SOT 60878 SOS 32799 HAS SOPS 31766 HAS SOUS 23661 HAS SOUPS 23260 WITH SCORE 23292.799
AT ITER 110 NEW BEST:: SOT 60636 SOS 32557 HAS SOPS 31524 HAS SOUS 23460 HAS SOUPS 23059 WITH SCORE 23091.557
AT ITER 115 NEW BEST:: SOT 60636 SOS 32607 HAS SOPS 31574 HAS SOUS 23459 HAS SOUPS 23058 WITH SCORE 23090.607
AT ITER 120 NEW BEST:: SOT 60154 SOS 32124 HAS SOPS 31091 HAS SOUS 23164 HAS SOUPS 22763 WITH SCORE 22795.124
AT ITER 121 NEW BEST:: SOT 59893 SOS 31935 HAS SOPS 30902 HAS SOUS 23073 HAS SOUPS 22672 WITH SCORE 22703.935
AT ITER 124 NEW BEST:: SOT 59892 SOS 31832 HAS SOPS 30799 HAS SOUS 23004 HAS SOUPS 22603 WITH SCORE 22634.832
AT ITER 130 NEW BEST:: SOT 59830 SOS 31826 HAS SOPS 30736 HAS SOUS 22976 HAS SOUPS 22540 WITH SCORE 22571.826
AT ITER 143 NEW BEST:: SOT 59801 SOS 31797 HAS SOPS 30707 HAS SOUS 22875 HAS SOUPS 22439 WITH SCORE 22470.797
AT ITER 146 NEW BEST:: SOT 59800 SOS 31589 HAS SOPS 30499 HAS SOUS 22813 HAS SOUPS 22377 WITH SCORE 22408.589
AT ITER 148 NEW BEST:: SOT 59792 SOS 31581 HAS SOPS 30491 HAS SOUS 22813 HAS SOUPS 22377 WITH SCORE 22408.581
AT ITER 152 NEW BEST:: SOT 59992 SOS 31486 HAS SOPS 30396 HAS SOUS 22744 HAS SOUPS 22308 WITH SCORE 22339.486
AT ITER 177 NEW BEST:: SOT 60117 SOS 31165 HAS SOPS 30075 HAS SOUS 22563 HAS SOUPS 22127 WITH SCORE 22158.165
AT ITER 178 NEW BEST:: SOT 60099 SOS 30767 HAS SOPS 29677 HAS SOUS 22390 HAS SOUPS 21954 WITH SCORE 21984.767
AT ITER 179 NEW BEST:: SOT 60068 SOS 30736 HAS SOPS 29646 HAS SOUS 22359 HAS SOUPS 21923 WITH SCORE 21953.736
AT ITER 189 NEW BEST:: SOT 60068 SOS 30749 HAS SOPS 29659 HAS SOUS 22358 HAS SOUPS 21922 WITH SCORE 21952.749
AT ITER 198 NEW BEST:: SOT 59703 SOS 30384 HAS SOPS 29294 HAS SOUS 21993 HAS SOUPS 21557 WITH SCORE 21587.384
AT ITER 199 NEW BEST:: SOT 59640 SOS 30114 HAS SOPS 29024 HAS SOUS 21899 HAS SOUPS 21463 WITH SCORE 21493.114
AT ITER 203 NEW BEST:: SOT 59640 SOS 30038 HAS SOPS 28948 HAS SOUS 21898 HAS SOUPS 21462 WITH SCORE 21492.038
AT ITER 207 NEW BEST:: SOT 59554 SOS 29654 HAS SOPS 28564 HAS SOUS 21666 HAS SOUPS 21230 WITH SCORE 21259.654
AT ITER 213 NEW BEST:: SOT 59554 SOS 27776 HAS SOPS 26686 HAS SOUS 21586 HAS SOUPS 21150 WITH SCORE 21177.776
AT ITER 214 NEW BEST:: SOT 59483 SOS 27736 HAS SOPS 26108 HAS SOUS 21336 HAS SOUPS 20720 WITH SCORE 20747.736
AT ITER 215 NEW BEST:: SOT 59384 SOS 27649 HAS SOPS 26021 HAS SOUS 21149 HAS SOUPS 20533 WITH SCORE 20560.649
AT ITER 218 NEW BEST:: SOT 59362 SOS 27670 HAS SOPS 25999 HAS SOUS 21155 HAS SOUPS 20511 WITH SCORE 20538.67
AT ITER 223 NEW BEST:: SOT 59362 SOS 27604 HAS SOPS 25933 HAS SOUS 21122 HAS SOUPS 20478 WITH SCORE 20505.604
AT ITER 226 NEW BEST:: SOT 59350 SOS 27592 HAS SOPS 25921 HAS SOUS 21104 HAS SOUPS 20460 WITH SCORE 20487.592
AT ITER 255 NEW BEST:: SOT 59251 SOS 27501 HAS SOPS 25830 HAS SOUS 21042 HAS SOUPS 20398 WITH SCORE 20425.501
AT ITER 260 NEW BEST:: SOT 59000 SOS 26831 HAS SOPS 25160 HAS SOUS 20656 HAS SOUPS 20012 WITH SCORE 20038.831
AT ITER 263 NEW BEST:: SOT 58652 SOS 26440 HAS SOPS 24754 HAS SOUS 20333 HAS SOUPS 19674 WITH SCORE 19700.44
AT ITER 266 NEW BEST:: SOT 58572 SOS 26314 HAS SOPS 24628 HAS SOUS 20219 HAS SOUPS 19560 WITH SCORE 19586.314
AT ITER 271 NEW BEST:: SOT 58572 SOS 26268 HAS SOPS 24582 HAS SOUS 20173 HAS SOUPS 19514 WITH SCORE 19540.268
AT ITER 278 NEW BEST:: SOT 58572 SOS 26268 HAS SOPS 24582 HAS SOUS 20172 HAS SOUPS 19513 WITH SCORE 19539.268
AT ITER 286 NEW BEST:: SOT 58571 SOS 26237 HAS SOPS 24551 HAS SOUS 20156 HAS SOUPS 19497 WITH SCORE 19523.237
AT ITER 288 NEW BEST:: SOT 58571 SOS 26228 HAS SOPS 24542 HAS SOUS 20147 HAS SOUPS 19488 WITH SCORE 19514.228
AT ITER 290 NEW BEST:: SOT 58541 SOS 26197 HAS SOPS 24511 HAS SOUS 20116 HAS SOUPS 19457 WITH SCORE 19483.197
AT ITER 291 NEW BEST:: SOT 58591 SOS 25852 HAS SOPS 24166 HAS SOUS 19940 HAS SOUPS 19281 WITH SCORE 19306.852
AT ITER 292 NEW BEST:: SOT 58581 SOS 25827 HAS SOPS 24138 HAS SOUS 19915 HAS SOUPS 19253 WITH SCORE 19278.827
AT ITER 293 NEW BEST:: SOT 58426 SOS 25554 HAS SOPS 23865 HAS SOUS 19642 HAS SOUPS 18980 WITH SCORE 19005.554
AT ITER 298 NEW BEST:: SOT 58176 SOS 25429 HAS SOPS 23740 HAS SOUS 19642 HAS SOUPS 18980 WITH SCORE 19005.429
AT ITER 301 NEW BEST:: SOT 58222 SOS 25417 HAS SOPS 23728 HAS SOUS 19640 HAS SOUPS 18978 WITH SCORE 19003.417
AT ITER 305 NEW BEST:: SOT 57939 SOS 25246 HAS SOPS 23557 HAS SOUS 19534 HAS SOUPS 18872 WITH SCORE 18897.246
AT ITER 308 NEW BEST:: SOT 57911 SOS 25203 HAS SOPS 23501 HAS SOUS 19491 HAS SOUPS 18816 WITH SCORE 18841.203
AT ITER 310 NEW BEST:: SOT 57908 SOS 25183 HAS SOPS 23481 HAS SOUS 19473 HAS SOUPS 18798 WITH SCORE 18823.183
AT ITER 314 NEW BEST:: SOT 57888 SOS 25163 HAS SOPS 23461 HAS SOUS 19463 HAS SOUPS 18788 WITH SCORE 18813.163
AT ITER 319 NEW BEST:: SOT 57772 SOS 24958 HAS SOPS 23256 HAS SOUS 19432 HAS SOUPS 18757 WITH SCORE 18781.958
AT ITER 321 NEW BEST:: SOT 57575 SOS 24761 HAS SOPS 23059 HAS SOUS 19333 HAS SOUPS 18658 WITH SCORE 18682.761
AT ITER 323 NEW BEST:: SOT 57575 SOS 24610 HAS SOPS 22908 HAS SOUS 19261 HAS SOUPS 18586 WITH SCORE 18610.61
AT ITER 335 NEW BEST:: SOT 57753 SOS 24570 HAS SOPS 22868 HAS SOUS 19247 HAS SOUPS 18572 WITH SCORE 18596.57
AT ITER 341 NEW BEST:: SOT 57714 SOS 24478 HAS SOPS 22749 HAS SOUS 19155 HAS SOUPS 18453 WITH SCORE 18477.478
AT ITER 342 NEW BEST:: SOT 57726 SOS 24474 HAS SOPS 22745 HAS SOUS 19143 HAS SOUPS 18441 WITH SCORE 18465.474
AT ITER 344 NEW BEST:: SOT 57723 SOS 24468 HAS SOPS 22739 HAS SOUS 19137 HAS SOUPS 18435 WITH SCORE 18459.468
AT ITER 357 NEW BEST:: SOT 57248 SOS 23635 HAS SOPS 22362 HAS SOUS 18898 HAS SOUPS 18336 WITH SCORE 18359.635
AT ITER 360 NEW BEST:: SOT 57246 SOS 23645 HAS SOPS 22362 HAS SOUS 18906 HAS SOUPS 18334 WITH SCORE 18357.645
AT ITER 366 NEW BEST:: SOT 57118 SOS 23419 HAS SOPS 22136 HAS SOUS 18778 HAS SOUPS 18206 WITH SCORE 18229.419
AT ITER 370 NEW BEST:: SOT 57177 SOS 23413 HAS SOPS 22130 HAS SOUS 18771 HAS SOUPS 18199 WITH SCORE 18222.413
AT ITER 371 NEW BEST:: SOT 56935 SOS 23380 HAS SOPS 21821 HAS SOUS 18463 HAS SOUPS 17796 WITH SCORE 17819.38
AT ITER 378 NEW BEST:: SOT 56809 SOS 23254 HAS SOPS 21695 HAS SOUS 18463 HAS SOUPS 17796 WITH SCORE 17819.254
AT ITER 383 NEW BEST:: SOT 56766 SOS 23211 HAS SOPS 21652 HAS SOUS 18420 HAS SOUPS 17753 WITH SCORE 17776.211
AT ITER 388 NEW BEST:: SOT 56766 SOS 23031 HAS SOPS 21472 HAS SOUS 18342 HAS SOUPS 17675 WITH SCORE 17698.031
AT ITER 391 NEW BEST:: SOT 56831 SOS 23008 HAS SOPS 21449 HAS SOUS 18319 HAS SOUPS 17652 WITH SCORE 17675.008
AT ITER 395 NEW BEST:: SOT 56723 SOS 22900 HAS SOPS 21341 HAS SOUS 18247 HAS SOUPS 17580 WITH SCORE 17602.9
AT ITER 406 NEW BEST:: SOT 56617 SOS 22794 HAS SOPS 21235 HAS SOUS 18183 HAS SOUPS 17516 WITH SCORE 17538.794
AT ITER 421 NEW BEST:: SOT 56609 SOS 22564 HAS SOPS 21005 HAS SOUS 18065 HAS SOUPS 17398 WITH SCORE 17420.564
AT ITER 426 NEW BEST:: SOT 56609 SOS 22483 HAS SOPS 20933 HAS SOUS 17984 HAS SOUPS 17326 WITH SCORE 17348.483
AT ITER 428 NEW BEST:: SOT 56609 SOS 22507 HAS SOPS 20882 HAS SOUS 17984 HAS SOUPS 17275 WITH SCORE 17297.507
AT ITER 433 NEW BEST:: SOT 56611 SOS 22449 HAS SOPS 20824 HAS SOUS 17926 HAS SOUPS 17217 WITH SCORE 17239.449
AT ITER 434 NEW BEST:: SOT 56599 SOS 22458 HAS SOPS 20811 HAS SOUS 17927 HAS SOUPS 17204 WITH SCORE 17226.458
AT ITER 443 NEW BEST:: SOT 56555 SOS 22387 HAS SOPS 20740 HAS SOUS 17877 HAS SOUPS 17154 WITH SCORE 17176.387
AT ITER 459 NEW BEST:: SOT 56521 SOS 22325 HAS SOPS 20672 HAS SOUS 17809 HAS SOUPS 17086 WITH SCORE 17108.325
AT ITER 470 NEW BEST:: SOT 56385 SOS 22155 HAS SOPS 20502 HAS SOUS 17707 HAS SOUPS 16984 WITH SCORE 17006.155
AT ITER 472 NEW BEST:: SOT 56373 SOS 22135 HAS SOPS 20482 HAS SOUS 17695 HAS SOUPS 16972 WITH SCORE 16994.135
AT ITER 479 NEW BEST:: SOT 56373 SOS 22068 HAS SOPS 20415 HAS SOUS 17628 HAS SOUPS 16905 WITH SCORE 16927.068
AT ITER 480 NEW BEST:: SOT 56372 SOS 21799 HAS SOPS 20254 HAS SOUS 17575 HAS SOUPS 16852 WITH SCORE 16873.799
AT ITER 481 NEW BEST:: SOT 56229 SOS 21656 HAS SOPS 20111 HAS SOUS 17486 HAS SOUPS 16763 WITH SCORE 16784.656
AT ITER 484 NEW BEST:: SOT 55971 SOS 21252 HAS SOPS 19707 HAS SOUS 17184 HAS SOUPS 16461 WITH SCORE 16482.252
AT ITER 502 NEW BEST:: SOT 55853 SOS 21134 HAS SOPS 19589 HAS SOUS 16946 HAS SOUPS 16223 WITH SCORE 16244.134
AT ITER 503 NEW BEST:: SOT 55825 SOS 21105 HAS SOPS 19560 HAS SOUS 16917 HAS SOUPS 16194 WITH SCORE 16215.105
AT ITER 504 NEW BEST:: SOT 55815 SOS 21094 HAS SOPS 19549 HAS SOUS 16906 HAS SOUPS 16183 WITH SCORE 16204.094
AT ITER 507 NEW BEST:: SOT 55815 SOS 21064 HAS SOPS 19519 HAS SOUS 16891 HAS SOUPS 16168 WITH SCORE 16189.064
AT ITER 508 NEW BEST:: SOT 55827 SOS 21076 HAS SOPS 19531 HAS SOUS 16853 HAS SOUPS 16130 WITH SCORE 16151.076
AT ITER 510 NEW BEST:: SOT 55812 SOS 20941 HAS SOPS 19396 HAS SOUS 16783 HAS SOUPS 16060 WITH SCORE 16080.941
AT ITER 516 NEW BEST:: SOT 55810 SOS 20939 HAS SOPS 19394 HAS SOUS 16772 HAS SOUPS 16049 WITH SCORE 16069.939
AT ITER 518 NEW BEST:: SOT 55715 SOS 21190 HAS SOPS 19645 HAS SOUS 16589 HAS SOUPS 15866 WITH SCORE 15887.19
AT ITER 524 NEW BEST:: SOT 55874 SOS 21821 HAS SOPS 19633 HAS SOUS 16763 HAS SOUPS 15854 WITH SCORE 15875.821
AT ITER 525 NEW BEST:: SOT 55880 SOS 21827 HAS SOPS 19597 HAS SOUS 16769 HAS SOUPS 15818 WITH SCORE 15839.827
AT ITER 526 NEW BEST:: SOT 55865 SOS 21842 HAS SOPS 19567 HAS SOUS 16769 HAS SOUPS 15788 WITH SCORE 15809.842
AT ITER 536 NEW BEST:: SOT 55901 SOS 21872 HAS SOPS 19597 HAS SOUS 16763 HAS SOUPS 15782 WITH SCORE 15803.872
AT ITER 537 NEW BEST:: SOT 55623 SOS 21694 HAS SOPS 19350 HAS SOUS 16602 HAS SOUPS 15587 WITH SCORE 15608.694
AT ITER 540 NEW BEST:: SOT 55623 SOS 21661 HAS SOPS 19317 HAS SOUS 16595 HAS SOUPS 15580 WITH SCORE 15601.661
AT ITER 541 NEW BEST:: SOT 55623 SOS 21661 HAS SOPS 19317 HAS SOUS 16593 HAS SOUPS 15578 WITH SCORE 15599.661
AT ITER 545 NEW BEST:: SOT 55674 SOS 21671 HAS SOPS 19299 HAS SOUS 16603 HAS SOUPS 15560 WITH SCORE 15581.671
AT ITER 561 NEW BEST:: SOT 55608 SOS 21597 HAS SOPS 19225 HAS SOUS 16551 HAS SOUPS 15508 WITH SCORE 15529.597
AT ITER 563 NEW BEST:: SOT 55608 SOS 21578 HAS SOPS 19206 HAS SOUS 16544 HAS SOUPS 15501 WITH SCORE 15522.578
AT ITER 571 NEW BEST:: SOT 55632 SOS 21542 HAS SOPS 19170 HAS SOUS 16518 HAS SOUPS 15475 WITH SCORE 15496.542
AT ITER 574 NEW BEST:: SOT 55519 SOS 21411 HAS SOPS 19039 HAS SOUS 16371 HAS SOUPS 15328 WITH SCORE 15349.411
AT ITER 589 NEW BEST:: SOT 55451 SOS 21343 HAS SOPS 18952 HAS SOUS 16352 HAS SOUPS 15290 WITH SCORE 15311.343
AT ITER 590 NEW BEST:: SOT 55451 SOS 21262 HAS SOPS 18871 HAS SOUS 16323 HAS SOUPS 15261 WITH SCORE 15282.262
AT ITER 591 NEW BEST:: SOT 55430 SOS 21234 HAS SOPS 18843 HAS SOUS 16302 HAS SOUPS 15240 WITH SCORE 15261.234
AT ITER 594 NEW BEST:: SOT 55270 SOS 21074 HAS SOPS 18650 HAS SOUS 16189 HAS SOUPS 15127 WITH SCORE 15148.074
AT ITER 598 NEW BEST:: SOT 55159 SOS 21054 HAS SOPS 18630 HAS SOUS 16169 HAS SOUPS 15107 WITH SCORE 15128.054
AT ITER 602 NEW BEST:: SOT 55077 SOS 20944 HAS SOPS 18520 HAS SOUS 16059 HAS SOUPS 14997 WITH SCORE 15017.944
AT ITER 613 NEW BEST:: SOT 54941 SOS 20690 HAS SOPS 18266 HAS SOUS 15897 HAS SOUPS 14835 WITH SCORE 14855.69
AT ITER 615 NEW BEST:: SOT 54938 SOS 20687 HAS SOPS 18260 HAS SOUS 15894 HAS SOUPS 14829 WITH SCORE 14849.687
AT ITER 618 NEW BEST:: SOT 54688 SOS 20611 HAS SOPS 18184 HAS SOUS 15760 HAS SOUPS 14695 WITH SCORE 14715.611
AT ITER 627 NEW BEST:: SOT 54706 SOS 20609 HAS SOPS 18182 HAS SOUS 15754 HAS SOUPS 14689 WITH SCORE 14709.609
AT ITER 650 NEW BEST:: SOT 54706 SOS 20684 HAS SOPS 17957 HAS SOUS 15679 HAS SOUPS 14539 WITH SCORE 14559.684
AT ITER 664 NEW BEST:: SOT 54703 SOS 20630 HAS SOPS 17903 HAS SOUS 15629 HAS SOUPS 14489 WITH SCORE 14509.63
AT ITER 668 NEW BEST:: SOT 54683 SOS 20610 HAS SOPS 17838 HAS SOUS 15609 HAS SOUPS 14424 WITH SCORE 14444.61
AT ITER 675 NEW BEST:: SOT 54667 SOS 20594 HAS SOPS 17822 HAS SOUS 15593 HAS SOUPS 14408 WITH SCORE 14428.594
AT ITER 676 NEW BEST:: SOT 54560 SOS 20533 HAS SOPS 17761 HAS SOUS 15423 HAS SOUPS 14238 WITH SCORE 14258.533
AT ITER 677 NEW BEST:: SOT 54606 SOS 20932 HAS SOPS 17624 HAS SOUS 15428 HAS SOUPS 14101 WITH SCORE 14121.932
AT ITER 680 NEW BEST:: SOT 54606 SOS 20887 HAS SOPS 17579 HAS SOUS 15398 HAS SOUPS 14071 WITH SCORE 14091.887
AT ITER 681 NEW BEST:: SOT 54586 SOS 20867 HAS SOPS 17559 HAS SOUS 15378 HAS SOUPS 14051 WITH SCORE 14071.867
AT ITER 682 NEW BEST:: SOT 54583 SOS 20864 HAS SOPS 17556 HAS SOUS 15378 HAS SOUPS 14051 WITH SCORE 14071.864
AT ITER 683 NEW BEST:: SOT 54582 SOS 20740 HAS SOPS 17432 HAS SOUS 15295 HAS SOUPS 13968 WITH SCORE 13988.74
AT ITER 689 NEW BEST:: SOT 54576 SOS 20693 HAS SOPS 17426 HAS SOUS 15248 HAS SOUPS 13962 WITH SCORE 13982.693
AT ITER 691 NEW BEST:: SOT 54564 SOS 20693 HAS SOPS 17420 HAS SOUS 15248 HAS SOUPS 13956 WITH SCORE 13976.693
AT ITER 692 NEW BEST:: SOT 54564 SOS 20681 HAS SOPS 17408 HAS SOUS 15242 HAS SOUPS 13950 WITH SCORE 13970.681
AT ITER 701 NEW BEST:: SOT 54552 SOS 20679 HAS SOPS 17406 HAS SOUS 15232 HAS SOUPS 13940 WITH SCORE 13960.679
AT ITER 702 NEW BEST:: SOT 54480 SOS 20607 HAS SOPS 17334 HAS SOUS 15196 HAS SOUPS 13904 WITH SCORE 13924.607
AT ITER 707 NEW BEST:: SOT 54402 SOS 20579 HAS SOPS 17306 HAS SOUS 15188 HAS SOUPS 13896 WITH SCORE 13916.579
AT ITER 714 NEW BEST:: SOT 54402 SOS 20546 HAS SOPS 17273 HAS SOUS 15172 HAS SOUPS 13880 WITH SCORE 13900.546
AT ITER 718 NEW BEST:: SOT 54364 SOS 20565 HAS SOPS 17292 HAS SOUS 15138 HAS SOUPS 13846 WITH SCORE 13866.565
AT ITER 720 NEW BEST:: SOT 54329 SOS 20572 HAS SOPS 17299 HAS SOUS 15102 HAS SOUPS 13810 WITH SCORE 13830.572
AT ITER 722 NEW BEST:: SOT 54244 SOS 20425 HAS SOPS 17296 HAS SOUS 15063 HAS SOUPS 13807 WITH SCORE 13827.425
AT ITER 727 NEW BEST:: SOT 54263 SOS 20425 HAS SOPS 17258 HAS SOUS 15044 HAS SOUPS 13769 WITH SCORE 13789.425
AT ITER 736 NEW BEST:: SOT 54205 SOS 20341 HAS SOPS 17200 HAS SOUS 14996 HAS SOUPS 13740 WITH SCORE 13760.341
AT ITER 744 NEW BEST:: SOT 54163 SOS 20329 HAS SOPS 17188 HAS SOUS 14985 HAS SOUPS 13729 WITH SCORE 13749.329
AT ITER 750 NEW BEST:: SOT 54163 SOS 20270 HAS SOPS 17129 HAS SOUS 14969 HAS SOUPS 13713 WITH SCORE 13733.27
AT ITER 759 NEW BEST:: SOT 54123 SOS 20396 HAS SOPS 17089 HAS SOUS 15095 HAS SOUPS 13673 WITH SCORE 13693.396
AT ITER 767 NEW BEST:: SOT 54123 SOS 20421 HAS SOPS 17086 HAS SOUS 15092 HAS SOUPS 13670 WITH SCORE 13690.421
AT ITER 781 NEW BEST:: SOT 54105 SOS 20391 HAS SOPS 17056 HAS SOUS 15074 HAS SOUPS 13652 WITH SCORE 13672.391
AT ITER 782 NEW BEST:: SOT 53946 SOS 20232 HAS SOPS 16897 HAS SOUS 14916 HAS SOUPS 13494 WITH SCORE 13514.232
AT ITER 789 NEW BEST:: SOT 53944 SOS 20230 HAS SOPS 16895 HAS SOUS 14914 HAS SOUPS 13492 WITH SCORE 13512.23
AT ITER 805 NEW BEST:: SOT 53927 SOS 20213 HAS SOPS 16875 HAS SOUS 14908 HAS SOUPS 13486 WITH SCORE 13506.213
AT ITER 821 NEW BEST:: SOT 53922 SOS 20244 HAS SOPS 16906 HAS SOUS 14902 HAS SOUPS 13480 WITH SCORE 13500.244
AT ITER 827 NEW BEST:: SOT 53916 SOS 20258 HAS SOPS 16902 HAS SOUS 14914 HAS SOUPS 13474 WITH SCORE 13494.258
AT ITER 837 NEW BEST:: SOT 53976 SOS 20386 HAS SOPS 16962 HAS SOUS 14966 HAS SOUPS 13458 WITH SCORE 13478.386
AT ITER 849 NEW BEST:: SOT 54007 SOS 20417 HAS SOPS 16961 HAS SOUS 14997 HAS SOUPS 13457 WITH SCORE 13477.417
AT ITER 864 NEW BEST:: SOT 54007 SOS 20440 HAS SOPS 16984 HAS SOUS 14996 HAS SOUPS 13456 WITH SCORE 13476.44
AT ITER 875 NEW BEST:: SOT 53998 SOS 20353 HAS SOPS 16966 HAS SOUS 14959 HAS SOUPS 13438 WITH SCORE 13458.353
AT ITER 885 NEW BEST:: SOT 53981 SOS 20336 HAS SOPS 16969 HAS SOUS 14905 HAS SOUPS 13399 WITH SCORE 13419.336
AT ITER 890 NEW BEST:: SOT 53981 SOS 20306 HAS SOPS 16939 HAS SOUS 14902 HAS SOUPS 13396 WITH SCORE 13416.306
AT ITER 899 NEW BEST:: SOT 53961 SOS 20286 HAS SOPS 16919 HAS SOUS 14871 HAS SOUPS 13365 WITH SCORE 13385.286
AT ITER 917 NEW BEST:: SOT 53946 SOS 20276 HAS SOPS 16904 HAS SOUS 14861 HAS SOUPS 13350 WITH SCORE 13370.276
AT ITER 919 NEW BEST:: SOT 53917 SOS 20235 HAS SOPS 16863 HAS SOUS 14822 HAS SOUPS 13311 WITH SCORE 13331.235
AT ITER 932 NEW BEST:: SOT 53906 SOS 20224 HAS SOPS 16852 HAS SOUS 14822 HAS SOUPS 13311 WITH SCORE 13331.224
AT ITER 946 NEW BEST:: SOT 53867 SOS 20183 HAS SOPS 16811 HAS SOUS 14781 HAS SOUPS 13270 WITH SCORE 13290.183
AT ITER 960 NEW BEST:: SOT 53865 SOS 20105 HAS SOPS 16733 HAS SOUS 14749 HAS SOUPS 13238 WITH SCORE 13258.105
AT ITER 966 NEW BEST:: SOT 53864 SOS 20083 HAS SOPS 16731 HAS SOUS 14747 HAS SOUPS 13236 WITH SCORE 13256.083
AT ITER 967 NEW BEST:: SOT 53818 SOS 20037 HAS SOPS 16685 HAS SOUS 14731 HAS SOUPS 13220 WITH SCORE 13240.037
AT ITER 977 NEW BEST:: SOT 53796 SOS 20015 HAS SOPS 16663 HAS SOUS 14709 HAS SOUPS 13198 WITH SCORE 13218.015
AT ITER 979 NEW BEST:: SOT 53691 SOS 19970 HAS SOPS 16618 HAS SOUS 14638 HAS SOUPS 13127 WITH SCORE 13146.97
AT ITER 989 NEW BEST:: SOT 53643 SOS 19938 HAS SOPS 16586 HAS SOUS 14624 HAS SOUPS 13113 WITH SCORE 13132.938
AT ITER 998 NEW BEST:: SOT 53582 SOS 19831 HAS SOPS 16479 HAS SOUS 14517 HAS SOUPS 13006 WITH SCORE 13025.831
AT ITER 1003 NEW BEST:: SOT 53558 SOS 19791 HAS SOPS 16439 HAS SOUS 14493 HAS SOUPS 12982 WITH SCORE 13001.791
AT ITER 1015 NEW BEST:: SOT 53403 SOS 19721 HAS SOPS 16369 HAS SOUS 14465 HAS SOUPS 12954 WITH SCORE 12973.721
AT ITER 1019 NEW BEST:: SOT 53402 SOS 19695 HAS SOPS 16343 HAS SOUS 14443 HAS SOUPS 12932 WITH SCORE 12951.695
AT ITER 1037 NEW BEST:: SOT 53395 SOS 19684 HAS SOPS 16332 HAS SOUS 14439 HAS SOUPS 12928 WITH SCORE 12947.684
AT ITER 1045 NEW BEST:: SOT 53394 SOS 19725 HAS SOPS 16331 HAS SOUS 14438 HAS SOUPS 12906 WITH SCORE 12925.725
AT ITER 1049 NEW BEST:: SOT 53394 SOS 19725 HAS SOPS 16331 HAS SOUS 14434 HAS SOUPS 12902 WITH SCORE 12921.725
AT ITER 1054 NEW BEST:: SOT 53371 SOS 19727 HAS SOPS 16196 HAS SOUS 14315 HAS SOUPS 12767 WITH SCORE 12786.727
AT ITER 1075 NEW BEST:: SOT 53371 SOS 19720 HAS SOPS 16189 HAS SOUS 14308 HAS SOUPS 12760 WITH SCORE 12779.72
AT ITER 1104 NEW BEST:: SOT 53340 SOS 19639 HAS SOPS 16108 HAS SOUS 14227 HAS SOUPS 12679 WITH SCORE 12698.639
AT ITER 1106 NEW BEST:: SOT 53353 SOS 19652 HAS SOPS 16121 HAS SOUS 14211 HAS SOUPS 12663 WITH SCORE 12682.652
AT ITER 1123 NEW BEST:: SOT 53367 SOS 19628 HAS SOPS 16097 HAS SOUS 14201 HAS SOUPS 12653 WITH SCORE 12672.628
AT ITER 1148 NEW BEST:: SOT 53415 SOS 19670 HAS SOPS 16139 HAS SOUS 14168 HAS SOUPS 12620 WITH SCORE 12639.67
AT ITER 1156 NEW BEST:: SOT 53413 SOS 19665 HAS SOPS 16134 HAS SOUS 14165 HAS SOUPS 12617 WITH SCORE 12636.665
AT ITER 1166 NEW BEST:: SOT 53413 SOS 19685 HAS SOPS 16154 HAS SOUS 14159 HAS SOUPS 12611 WITH SCORE 12630.685
AT ITER 1175 NEW BEST:: SOT 53345 SOS 20210 HAS SOPS 16679 HAS SOUS 14145 HAS SOUPS 12597 WITH SCORE 12617.21
AT ITER 1178 NEW BEST:: SOT 53341 SOS 20237 HAS SOPS 16670 HAS SOUS 14136 HAS SOUPS 12588 WITH SCORE 12608.237
AT ITER 1217 NEW BEST:: SOT 53327 SOS 20208 HAS SOPS 16641 HAS SOUS 14119 HAS SOUPS 12571 WITH SCORE 12591.208
AT ITER 1224 NEW BEST:: SOT 53326 SOS 20201 HAS SOPS 16634 HAS SOUS 14112 HAS SOUPS 12564 WITH SCORE 12584.201
AT ITER 1264 NEW BEST:: SOT 53284 SOS 19966 HAS SOPS 16607 HAS SOUS 14033 HAS SOUPS 12537 WITH SCORE 12556.966
AT ITER 1275 NEW BEST:: SOT 53284 SOS 19882 HAS SOPS 16523 HAS SOUS 14033 HAS SOUPS 12537 WITH SCORE 12556.882
AT ITER 1278 NEW BEST:: SOT 53263 SOS 19861 HAS SOPS 16502 HAS SOUS 14024 HAS SOUPS 12528 WITH SCORE 12547.861
AT ITER 1279 NEW BEST:: SOT 53247 SOS 19839 HAS SOPS 16480 HAS SOUS 14002 HAS SOUPS 12506 WITH SCORE 12525.839
AT ITER 1281 NEW BEST:: SOT 53250 SOS 19839 HAS SOPS 16479 HAS SOUS 14002 HAS SOUPS 12505 WITH SCORE 12524.839
AT ITER 1311 NEW BEST:: SOT 53199 SOS 19481 HAS SOPS 16450 HAS SOUS 13880 HAS SOUPS 12472 WITH SCORE 12491.481
AT ITER 1326 NEW BEST:: SOT 53197 SOS 19479 HAS SOPS 16448 HAS SOUS 13880 HAS SOUPS 12472 WITH SCORE 12491.479
AT ITER 1344 NEW BEST:: SOT 53168 SOS 19468 HAS SOPS 16433 HAS SOUS 13877 HAS SOUPS 12465 WITH SCORE 12484.468
AT ITER 1348 NEW BEST:: SOT 53261 SOS 19984 HAS SOPS 16526 HAS SOUS 13970 HAS SOUPS 12445 WITH SCORE 12464.984
AT ITER 1351 NEW BEST:: SOT 53243 SOS 19966 HAS SOPS 16490 HAS SOUS 13943 HAS SOUPS 12409 WITH SCORE 12428.966
AT ITER 1357 NEW BEST:: SOT 53250 SOS 20214 HAS SOPS 16486 HAS SOUS 14002 HAS SOUPS 12405 WITH SCORE 12425.214
AT ITER 1362 NEW BEST:: SOT 53246 SOS 20206 HAS SOPS 16478 HAS SOUS 13990 HAS SOUPS 12393 WITH SCORE 12413.206
AT ITER 1364 NEW BEST:: SOT 53195 SOS 20087 HAS SOPS 16359 HAS SOUS 13922 HAS SOUPS 12325 WITH SCORE 12345.087
AT ITER 1372 NEW BEST:: SOT 53189 SOS 20081 HAS SOPS 16353 HAS SOUS 13922 HAS SOUPS 12325 WITH SCORE 12345.081
AT ITER 1373 NEW BEST:: SOT 53224 SOS 20091 HAS SOPS 16363 HAS SOUS 13920 HAS SOUPS 12323 WITH SCORE 12343.091
AT ITER 1387 NEW BEST:: SOT 53223 SOS 20090 HAS SOPS 16362 HAS SOUS 13920 HAS SOUPS 12323 WITH SCORE 12343.09
AT ITER 1392 NEW BEST:: SOT 53211 SOS 20068 HAS SOPS 16338 HAS SOUS 13896 HAS SOUPS 12299 WITH SCORE 12319.068
AT ITER 1397 NEW BEST:: SOT 53203 SOS 20039 HAS SOPS 16309 HAS SOUS 13842 HAS SOUPS 12245 WITH SCORE 12265.039
AT ITER 1406 NEW BEST:: SOT 53179 SOS 20015 HAS SOPS 16285 HAS SOUS 13818 HAS SOUPS 12221 WITH SCORE 12241.015
AT ITER 1410 NEW BEST:: SOT 53141 SOS 19975 HAS SOPS 16245 HAS SOUS 13797 HAS SOUPS 12200 WITH SCORE 12219.975
AT ITER 1411 NEW BEST:: SOT 53140 SOS 19976 HAS SOPS 16235 HAS SOUS 13796 HAS SOUPS 12190 WITH SCORE 12209.976
AT ITER 1424 NEW BEST:: SOT 53106 SOS 19934 HAS SOPS 16193 HAS SOUS 13754 HAS SOUPS 12148 WITH SCORE 12167.934
AT ITER 1429 NEW BEST:: SOT 53102 SOS 19862 HAS SOPS 16121 HAS SOUS 13716 HAS SOUPS 12110 WITH SCORE 12129.862
AT ITER 1447 NEW BEST:: SOT 53080 SOS 19829 HAS SOPS 16088 HAS SOUS 13683 HAS SOUPS 12077 WITH SCORE 12096.829
AT ITER 1448 NEW BEST:: SOT 53076 SOS 19825 HAS SOPS 16084 HAS SOUS 13679 HAS SOUPS 12073 WITH SCORE 12092.825
AT ITER 1450 NEW BEST:: SOT 53123 SOS 19872 HAS SOPS 16131 HAS SOUS 13613 HAS SOUPS 12007 WITH SCORE 12026.872
AT ITER 1472 NEW BEST:: SOT 53087 SOS 19824 HAS SOPS 16083 HAS SOUS 13584 HAS SOUPS 11978 WITH SCORE 11997.824
AT ITER 1483 NEW BEST:: SOT 53087 SOS 19829 HAS SOPS 16075 HAS SOUS 13591 HAS SOUPS 11972 WITH SCORE 11991.829
AT ITER 1485 NEW BEST:: SOT 53083 SOS 19831 HAS SOPS 16067 HAS SOUS 13582 HAS SOUPS 11963 WITH SCORE 11982.831
AT ITER 1493 NEW BEST:: SOT 53048 SOS 19803 HAS SOPS 15995 HAS SOUS 13554 HAS SOUPS 11891 WITH SCORE 11910.803
AT ITER 1498 NEW BEST:: SOT 53048 SOS 19760 HAS SOPS 15995 HAS SOUS 13511 HAS SOUPS 11891 WITH SCORE 11910.76
AT ITER 1541 NEW BEST:: SOT 53060 SOS 19782 HAS SOPS 15979 HAS SOUS 13495 HAS SOUPS 11875 WITH SCORE 11894.782
AT ITER 1548 NEW BEST:: SOT 53035 SOS 19461 HAS SOPS 15978 HAS SOUS 13414 HAS SOUPS 11874 WITH SCORE 11893.461
AT ITER 1553 NEW BEST:: SOT 52984 SOS 19441 HAS SOPS 15958 HAS SOUS 13394 HAS SOUPS 11854 WITH SCORE 11873.441
AT ITER 1564 NEW BEST:: SOT 52991 SOS 19289 HAS SOPS 15806 HAS SOUS 13297 HAS SOUPS 11757 WITH SCORE 11776.289
AT ITER 1575 NEW BEST:: SOT 52959 SOS 19192 HAS SOPS 15709 HAS SOUS 13262 HAS SOUPS 11722 WITH SCORE 11741.192
AT ITER 1580 NEW BEST:: SOT 52950 SOS 19174 HAS SOPS 15691 HAS SOUS 13253 HAS SOUPS 11713 WITH SCORE 11732.174
AT ITER 1584 NEW BEST:: SOT 52941 SOS 19165 HAS SOPS 15682 HAS SOUS 13235 HAS SOUPS 11695 WITH SCORE 11714.165
AT ITER 1609 NEW BEST:: SOT 52909 SOS 19005 HAS SOPS 15650 HAS SOUS 13203 HAS SOUPS 11695 WITH SCORE 11714.005
AT ITER 1618 NEW BEST:: SOT 52909 SOS 18986 HAS SOPS 15631 HAS SOUS 13193 HAS SOUPS 11685 WITH SCORE 11703.986
AT ITER 1621 NEW BEST:: SOT 52928 SOS 18963 HAS SOPS 15608 HAS SOUS 13170 HAS SOUPS 11662 WITH SCORE 11680.963
AT ITER 1622 NEW BEST:: SOT 52869 SOS 18938 HAS SOPS 15583 HAS SOUS 13131 HAS SOUPS 11623 WITH SCORE 11641.938
AT ITER 1626 NEW BEST:: SOT 52869 SOS 18936 HAS SOPS 15581 HAS SOUS 13129 HAS SOUPS 11621 WITH SCORE 11639.936
AT ITER 1647 NEW BEST:: SOT 52870 SOS 18949 HAS SOPS 15594 HAS SOUS 13127 HAS SOUPS 11619 WITH SCORE 11637.949
AT ITER 1654 NEW BEST:: SOT 52868 SOS 18945 HAS SOPS 15590 HAS SOUS 13124 HAS SOUPS 11616 WITH SCORE 11634.945
AT ITER 1663 NEW BEST:: SOT 52878 SOS 18949 HAS SOPS 15570 HAS SOUS 13121 HAS SOUPS 11605 WITH SCORE 11623.949
AT ITER 1681 NEW BEST:: SOT 52816 SOS 18825 HAS SOPS 15446 HAS SOUS 13059 HAS SOUPS 11543 WITH SCORE 11561.825
AT ITER 1683 NEW BEST:: SOT 52806 SOS 18906 HAS SOPS 15519 HAS SOUS 13054 HAS SOUPS 11538 WITH SCORE 11556.906
AT ITER 1687 NEW BEST:: SOT 52812 SOS 18879 HAS SOPS 15492 HAS SOUS 13027 HAS SOUPS 11511 WITH SCORE 11529.879
AT ITER 1700 NEW BEST:: SOT 52792 SOS 18779 HAS SOPS 15472 HAS SOUS 12987 HAS SOUPS 11491 WITH SCORE 11509.779
AT ITER 1722 NEW BEST:: SOT 52792 SOS 18735 HAS SOPS 15406 HAS SOUS 12965 HAS SOUPS 11447 WITH SCORE 11465.735
AT ITER 1735 NEW BEST:: SOT 52767 SOS 18697 HAS SOPS 15368 HAS SOUS 12946 HAS SOUPS 11428 WITH SCORE 11446.697
AT ITER 1743 NEW BEST:: SOT 52766 SOS 18692 HAS SOPS 15366 HAS SOUS 12943 HAS SOUPS 11426 WITH SCORE 11444.692
AT ITER 1745 NEW BEST:: SOT 52749 SOS 18651 HAS SOPS 15325 HAS SOUS 12920 HAS SOUPS 11403 WITH SCORE 11421.651
AT ITER 1765 NEW BEST:: SOT 52608 SOS 18423 HAS SOPS 15097 HAS SOUS 12791 HAS SOUPS 11274 WITH SCORE 11292.423
AT ITER 1775 NEW BEST:: SOT 52579 SOS 18368 HAS SOPS 15042 HAS SOUS 12780 HAS SOUPS 11263 WITH SCORE 11281.368
AT ITER 1784 NEW BEST:: SOT 52562 SOS 18351 HAS SOPS 15028 HAS SOUS 12743 HAS SOUPS 11229 WITH SCORE 11247.351
AT ITER 1798 NEW BEST:: SOT 52562 SOS 18360 HAS SOPS 15025 HAS SOUS 12743 HAS SOUPS 11226 WITH SCORE 11244.36
AT ITER 1799 NEW BEST:: SOT 52560 SOS 18373 HAS SOPS 15023 HAS SOUS 12749 HAS SOUPS 11224 WITH SCORE 11242.373
AT ITER 1802 NEW BEST:: SOT 52551 SOS 18364 HAS SOPS 15005 HAS SOUS 12740 HAS SOUPS 11206 WITH SCORE 11224.364
AT ITER 1818 NEW BEST:: SOT 52502 SOS 18200 HAS SOPS 14958 HAS SOUS 12691 HAS SOUPS 11202 WITH SCORE 11220.2
AT ITER 1832 NEW BEST:: SOT 52489 SOS 18221 HAS SOPS 14928 HAS SOUS 12690 HAS SOUPS 11172 WITH SCORE 11190.221
AT ITER 1836 NEW BEST:: SOT 52460 SOS 18208 HAS SOPS 14915 HAS SOUS 12677 HAS SOUPS 11159 WITH SCORE 11177.208
AT ITER 1842 NEW BEST:: SOT 52460 SOS 18098 HAS SOPS 14805 HAS SOUS 12665 HAS SOUPS 11147 WITH SCORE 11165.098
AT ITER 1855 NEW BEST:: SOT 52371 SOS 17820 HAS SOPS 14716 HAS SOUS 12576 HAS SOUPS 11115 WITH SCORE 11132.82
AT ITER 1856 NEW BEST:: SOT 52371 SOS 17820 HAS SOPS 14638 HAS SOUS 12576 HAS SOUPS 11037 WITH SCORE 11054.82
AT ITER 1872 NEW BEST:: SOT 52359 SOS 17821 HAS SOPS 14639 HAS SOUS 12564 HAS SOUPS 11025 WITH SCORE 11042.821
AT ITER 1885 NEW BEST:: SOT 52359 SOS 17782 HAS SOPS 14639 HAS SOUS 12525 HAS SOUPS 11025 WITH SCORE 11042.782
AT ITER 1919 NEW BEST:: SOT 52342 SOS 17759 HAS SOPS 14616 HAS SOUS 12508 HAS SOUPS 11008 WITH SCORE 11025.759
AT ITER 1931 NEW BEST:: SOT 52318 SOS 17719 HAS SOPS 14576 HAS SOUS 12468 HAS SOUPS 10968 WITH SCORE 10985.719
AT ITER 1941 NEW BEST:: SOT 52283 SOS 17835 HAS SOPS 14692 HAS SOUS 12440 HAS SOUPS 10940 WITH SCORE 10957.835
AT ITER 1946 NEW BEST:: SOT 52338 SOS 17929 HAS SOPS 14786 HAS SOUS 12423 HAS SOUPS 10923 WITH SCORE 10940.929
AT ITER 1958 NEW BEST:: SOT 52320 SOS 17893 HAS SOPS 14750 HAS SOUS 12405 HAS SOUPS 10905 WITH SCORE 10922.893
AT ITER 1990 NEW BEST:: SOT 52244 SOS 17817 HAS SOPS 14674 HAS SOUS 12371 HAS SOUPS 10871 WITH SCORE 10888.817
AT ITER 2004 NEW BEST:: SOT 52244 SOS 17805 HAS SOPS 14674 HAS SOUS 12359 HAS SOUPS 10871 WITH SCORE 10888.805
AT ITER 2020 NEW BEST:: SOT 52248 SOS 17809 HAS SOPS 14670 HAS SOUS 12346 HAS SOUPS 10867 WITH SCORE 10884.809
AT ITER 2035 NEW BEST:: SOT 52249 SOS 17830 HAS SOPS 14661 HAS SOUS 12347 HAS SOUPS 10858 WITH SCORE 10875.83
AT ITER 2048 NEW BEST:: SOT 52199 SOS 17705 HAS SOPS 14536 HAS SOUS 12272 HAS SOUPS 10783 WITH SCORE 10800.705
AT ITER 2059 NEW BEST:: SOT 52188 SOS 17606 HAS SOPS 14437 HAS SOUS 12250 HAS SOUPS 10761 WITH SCORE 10778.606
AT ITER 2061 NEW BEST:: SOT 52180 SOS 17626 HAS SOPS 14457 HAS SOUS 12247 HAS SOUPS 10758 WITH SCORE 10775.626
AT ITER 2087 NEW BEST:: SOT 52180 SOS 17615 HAS SOPS 14457 HAS SOUS 12236 HAS SOUPS 10758 WITH SCORE 10775.615
AT ITER 2101 NEW BEST:: SOT 52180 SOS 17600 HAS SOPS 14457 HAS SOUS 12236 HAS SOUPS 10758 WITH SCORE 10775.6
AT ITER 2139 NEW BEST:: SOT 52179 SOS 17593 HAS SOPS 14450 HAS SOUS 12234 HAS SOUPS 10756 WITH SCORE 10773.593
AT ITER 2140 NEW BEST:: SOT 52171 SOS 17577 HAS SOPS 14434 HAS SOUS 12222 HAS SOUPS 10744 WITH SCORE 10761.577
AT ITER 2142 NEW BEST:: SOT 52171 SOS 17718 HAS SOPS 14428 HAS SOUS 12216 HAS SOUPS 10700 WITH SCORE 10717.718
AT ITER 2149 NEW BEST:: SOT 52191 SOS 17758 HAS SOPS 14468 HAS SOUS 12194 HAS SOUPS 10678 WITH SCORE 10695.758
AT ITER 2180 NEW BEST:: SOT 52163 SOS 17772 HAS SOPS 14527 HAS SOUS 12180 HAS SOUPS 10664 WITH SCORE 10681.772
AT ITER 2190 NEW BEST:: SOT 52173 SOS 17776 HAS SOPS 14531 HAS SOUS 12174 HAS SOUPS 10658 WITH SCORE 10675.776
AT ITER 2195 NEW BEST:: SOT 52172 SOS 17775 HAS SOPS 14530 HAS SOUS 12174 HAS SOUPS 10658 WITH SCORE 10675.775
AT ITER 2204 NEW BEST:: SOT 52158 SOS 17769 HAS SOPS 14511 HAS SOUS 12173 HAS SOUPS 10644 WITH SCORE 10661.769
AT ITER 2249 NEW BEST:: SOT 52229 SOS 18108 HAS SOPS 14582 HAS SOUS 12230 HAS SOUPS 10616 WITH SCORE 10634.108
AT ITER 2267 NEW BEST:: SOT 52209 SOS 18089 HAS SOPS 14563 HAS SOUS 12210 HAS SOUPS 10596 WITH SCORE 10614.089
AT ITER 2280 NEW BEST:: SOT 52181 SOS 18074 HAS SOPS 14548 HAS SOUS 12189 HAS SOUPS 10575 WITH SCORE 10593.074
AT ITER 2292 NEW BEST:: SOT 52157 SOS 18050 HAS SOPS 14448 HAS SOUS 12241 HAS SOUPS 10551 WITH SCORE 10569.05
AT ITER 2324 NEW BEST:: SOT 52150 SOS 18050 HAS SOPS 14441 HAS SOUS 12241 HAS SOUPS 10544 WITH SCORE 10562.05
AT ITER 2329 NEW BEST:: SOT 52124 SOS 17986 HAS SOPS 14415 HAS SOUS 12194 HAS SOUPS 10518 WITH SCORE 10535.986
AT ITER 2346 NEW BEST:: SOT 52102 SOS 17964 HAS SOPS 14393 HAS SOUS 12183 HAS SOUPS 10507 WITH SCORE 10524.964
AT ITER 2353 NEW BEST:: SOT 52058 SOS 17920 HAS SOPS 14393 HAS SOUS 12139 HAS SOUPS 10507 WITH SCORE 10524.92
AT ITER 2365 NEW BEST:: SOT 52104 SOS 17945 HAS SOPS 14418 HAS SOUS 12122 HAS SOUPS 10490 WITH SCORE 10507.945
AT ITER 2377 NEW BEST:: SOT 52101 SOS 17939 HAS SOPS 14415 HAS SOUS 12116 HAS SOUPS 10487 WITH SCORE 10504.939
AT ITER 2403 NEW BEST:: SOT 52143 SOS 17935 HAS SOPS 14411 HAS SOUS 12112 HAS SOUPS 10483 WITH SCORE 10500.935
AT ITER 2413 NEW BEST:: SOT 52145 SOS 17934 HAS SOPS 14410 HAS SOUS 12111 HAS SOUPS 10482 WITH SCORE 10499.934
AT ITER 2416 NEW BEST:: SOT 52145 SOS 17910 HAS SOPS 14386 HAS SOUS 12099 HAS SOUPS 10470 WITH SCORE 10487.91
AT ITER 2442 NEW BEST:: SOT 52061 SOS 17743 HAS SOPS 14219 HAS SOUS 12030 HAS SOUPS 10401 WITH SCORE 10418.743
AT ITER 2453 NEW BEST:: SOT 52058 SOS 17734 HAS SOPS 14213 HAS SOUS 12027 HAS SOUPS 10398 WITH SCORE 10415.734
AT ITER 2456 NEW BEST:: SOT 52049 SOS 17691 HAS SOPS 14170 HAS SOUS 11997 HAS SOUPS 10368 WITH SCORE 10385.691
AT ITER 2457 NEW BEST:: SOT 52039 SOS 17666 HAS SOPS 14145 HAS SOUS 11991 HAS SOUPS 10362 WITH SCORE 10379.666
AT ITER 2463 NEW BEST:: SOT 52020 SOS 17634 HAS SOPS 14113 HAS SOUS 11978 HAS SOUPS 10349 WITH SCORE 10366.634
AT ITER 2471 NEW BEST:: SOT 52019 SOS 17617 HAS SOPS 14112 HAS SOUS 11973 HAS SOUPS 10348 WITH SCORE 10365.617
AT ITER 2474 NEW BEST:: SOT 52028 SOS 17633 HAS SOPS 14111 HAS SOUS 11972 HAS SOUPS 10347 WITH SCORE 10364.633
AT ITER 2512 NEW BEST:: SOT 52026 SOS 17535 HAS SOPS 14055 HAS SOUS 11907 HAS SOUPS 10324 WITH SCORE 10341.535
AT ITER 2522 NEW BEST:: SOT 52026 SOS 17535 HAS SOPS 14055 HAS SOUS 11852 HAS SOUPS 10269 WITH SCORE 10286.535
AT ITER 2531 NEW BEST:: SOT 52020 SOS 17529 HAS SOPS 14049 HAS SOUS 11846 HAS SOUPS 10263 WITH SCORE 10280.529
AT ITER 2555 NEW BEST:: SOT 51988 SOS 17497 HAS SOPS 14017 HAS SOUS 11813 HAS SOUPS 10230 WITH SCORE 10247.497
AT ITER 2578 NEW BEST:: SOT 51988 SOS 17510 HAS SOPS 14030 HAS SOUS 11800 HAS SOUPS 10217 WITH SCORE 10234.51
AT ITER 2645 NEW BEST:: SOT 51980 SOS 17495 HAS SOPS 14015 HAS SOUS 11791 HAS SOUPS 10208 WITH SCORE 10225.495
AT ITER 2646 NEW BEST:: SOT 51975 SOS 17487 HAS SOPS 14007 HAS SOUS 11788 HAS SOUPS 10205 WITH SCORE 10222.487
AT ITER 2683 NEW BEST:: SOT 51962 SOS 17474 HAS SOPS 13994 HAS SOUS 11780 HAS SOUPS 10197 WITH SCORE 10214.474
AT ITER 2688 NEW BEST:: SOT 51950 SOS 17435 HAS SOPS 13954 HAS SOUS 11757 HAS SOUPS 10173 WITH SCORE 10190.435
AT ITER 2698 NEW BEST:: SOT 51943 SOS 17414 HAS SOPS 13933 HAS SOUS 11743 HAS SOUPS 10159 WITH SCORE 10176.414
AT ITER 2712 NEW BEST:: SOT 51943 SOS 17407 HAS SOPS 13926 HAS SOUS 11736 HAS SOUPS 10152 WITH SCORE 10169.407
AT ITER 2725 NEW BEST:: SOT 51951 SOS 17415 HAS SOPS 13922 HAS SOUS 11744 HAS SOUPS 10148 WITH SCORE 10165.415
AT ITER 2739 NEW BEST:: SOT 51967 SOS 17426 HAS SOPS 13937 HAS SOUS 11718 HAS SOUPS 10122 WITH SCORE 10139.426
AT ITER 2755 NEW BEST:: SOT 51974 SOS 17380 HAS SOPS 13891 HAS SOUS 11672 HAS SOUPS 10076 WITH SCORE 10093.38
AT ITER 2756 NEW BEST:: SOT 51970 SOS 17368 HAS SOPS 13879 HAS SOUS 11668 HAS SOUPS 10072 WITH SCORE 10089.368
AT ITER 2766 NEW BEST:: SOT 51970 SOS 17216 HAS SOPS 13727 HAS SOUS 11652 HAS SOUPS 10056 WITH SCORE 10073.216
AT ITER 2776 NEW BEST:: SOT 51952 SOS 17190 HAS SOPS 13701 HAS SOUS 11621 HAS SOUPS 10025 WITH SCORE 10042.19
AT ITER 2783 NEW BEST:: SOT 51950 SOS 17188 HAS SOPS 13699 HAS SOUS 11620 HAS SOUPS 10024 WITH SCORE 10041.188
AT ITER 2791 NEW BEST:: SOT 51907 SOS 17145 HAS SOPS 13656 HAS SOUS 11620 HAS SOUPS 10024 WITH SCORE 10041.145
AT ITER 2799 NEW BEST:: SOT 51907 SOS 17120 HAS SOPS 13626 HAS SOUS 11615 HAS SOUPS 10014 WITH SCORE 10031.12
AT ITER 2808 NEW BEST:: SOT 51877 SOS 17138 HAS SOPS 13644 HAS SOUS 11613 HAS SOUPS 10012 WITH SCORE 10029.138
AT ITER 2819 NEW BEST:: SOT 51825 SOS 17086 HAS SOPS 13592 HAS SOUS 11587 HAS SOUPS 9986 WITH SCORE 10003.086
AT ITER 2839 NEW BEST:: SOT 51800 SOS 17027 HAS SOPS 13542 HAS SOUS 11554 HAS SOUPS 9953 WITH SCORE 9970.027
AT ITER 2849 NEW BEST:: SOT 51744 SOS 17219 HAS SOPS 13486 HAS SOUS 11606 HAS SOUPS 9897 WITH SCORE 9914.219
AT ITER 2850 NEW BEST:: SOT 51734 SOS 17206 HAS SOPS 13463 HAS SOUS 11603 HAS SOUPS 9884 WITH SCORE 9901.206
AT ITER 2868 NEW BEST:: SOT 51729 SOS 17186 HAS SOPS 13443 HAS SOUS 11583 HAS SOUPS 9864 WITH SCORE 9881.186
AT ITER 2874 NEW BEST:: SOT 51705 SOS 17158 HAS SOPS 13419 HAS SOUS 11555 HAS SOUPS 9840 WITH SCORE 9857.158
AT ITER 2880 NEW BEST:: SOT 51865 SOS 17287 HAS SOPS 13541 HAS SOUS 11545 HAS SOUPS 9823 WITH SCORE 9840.287
AT ITER 2895 NEW BEST:: SOT 51837 SOS 17267 HAS SOPS 13521 HAS SOUS 11533 HAS SOUPS 9811 WITH SCORE 9828.267
AT ITER 2897 NEW BEST:: SOT 51834 SOS 17264 HAS SOPS 13518 HAS SOUS 11531 HAS SOUPS 9809 WITH SCORE 9826.264
AT ITER 2898 NEW BEST:: SOT 51842 SOS 17256 HAS SOPS 13510 HAS SOUS 11523 HAS SOUPS 9801 WITH SCORE 9818.256
AT ITER 2899 NEW BEST:: SOT 51847 SOS 17237 HAS SOPS 13491 HAS SOUS 11514 HAS SOUPS 9792 WITH SCORE 9809.237
AT ITER 2908 NEW BEST:: SOT 51875 SOS 17333 HAS SOPS 13487 HAS SOUS 11534 HAS SOUPS 9787 WITH SCORE 9804.333
AT ITER 2954 NEW BEST:: SOT 51727 SOS 17179 HAS SOPS 13267 HAS SOUS 11531 HAS SOUPS 9718 WITH SCORE 9735.179
AT ITER 2995 NEW BEST:: SOT 51836 SOS 17288 HAS SOPS 13291 HAS SOUS 11544 HAS SOUPS 9646 WITH SCORE 9663.288
AT ITER 3013 NEW BEST:: SOT 51833 SOS 17285 HAS SOPS 13285 HAS SOUS 11541 HAS SOUPS 9640 WITH SCORE 9657.285
AT ITER 3032 NEW BEST:: SOT 51833 SOS 17232 HAS SOPS 13285 HAS SOUS 11541 HAS SOUPS 9640 WITH SCORE 9657.232
AT ITER 3033 NEW BEST:: SOT 51823 SOS 17222 HAS SOPS 13313 HAS SOUS 11483 HAS SOUPS 9620 WITH SCORE 9637.222
AT ITER 3057 NEW BEST:: SOT 51830 SOS 17217 HAS SOPS 13308 HAS SOUS 11478 HAS SOUPS 9615 WITH SCORE 9632.217
AT ITER 3097 NEW BEST:: SOT 51826 SOS 17217 HAS SOPS 13300 HAS SOUS 11470 HAS SOUPS 9607 WITH SCORE 9624.217
AT ITER 3120 NEW BEST:: SOT 51811 SOS 17454 HAS SOPS 13537 HAS SOUS 11452 HAS SOUPS 9589 WITH SCORE 9606.454
AT ITER 3122 NEW BEST:: SOT 51815 SOS 17486 HAS SOPS 13486 HAS SOUS 11484 HAS SOUPS 9538 WITH SCORE 9555.486
AT ITER 3143 NEW BEST:: SOT 51814 SOS 17485 HAS SOPS 13485 HAS SOUS 11483 HAS SOUPS 9537 WITH SCORE 9554.485
AT ITER 3149 NEW BEST:: SOT 51824 SOS 17609 HAS SOPS 13433 HAS SOUS 11472 HAS SOUPS 9482 WITH SCORE 9499.609
AT ITER 3158 NEW BEST:: SOT 51824 SOS 17603 HAS SOPS 13433 HAS SOUS 11466 HAS SOUPS 9482 WITH SCORE 9499.603
AT ITER 3211 NEW BEST:: SOT 51819 SOS 17583 HAS SOPS 13433 HAS SOUS 11461 HAS SOUPS 9482 WITH SCORE 9499.583
AT ITER 3233 NEW BEST:: SOT 51810 SOS 17817 HAS SOPS 13648 HAS SOUS 11470 HAS SOUPS 9472 WITH SCORE 9489.817
AT ITER 3247 NEW BEST:: SOT 51814 SOS 17811 HAS SOPS 13642 HAS SOUS 11460 HAS SOUPS 9462 WITH SCORE 9479.811
AT ITER 3260 NEW BEST:: SOT 51818 SOS 17813 HAS SOPS 13644 HAS SOUS 11458 HAS SOUPS 9460 WITH SCORE 9477.813
AT ITER 3292 NEW BEST:: SOT 51811 SOS 17807 HAS SOPS 13638 HAS SOUS 11452 HAS SOUPS 9454 WITH SCORE 9471.807
AT ITER 3302 NEW BEST:: SOT 51814 SOS 17810 HAS SOPS 13641 HAS SOUS 11446 HAS SOUPS 9448 WITH SCORE 9465.81
AT ITER 3317 NEW BEST:: SOT 51812 SOS 17808 HAS SOPS 13639 HAS SOUS 11444 HAS SOUPS 9446 WITH SCORE 9463.808
AT ITER 3391 NEW BEST:: SOT 51810 SOS 17806 HAS SOPS 13637 HAS SOUS 11442 HAS SOUPS 9444 WITH SCORE 9461.806
AT ITER 3410 NEW BEST:: SOT 51810 SOS 17808 HAS SOPS 13638 HAS SOUS 11441 HAS SOUPS 9443 WITH SCORE 9460.808
AT ITER 3444 NEW BEST:: SOT 51802 SOS 17799 HAS SOPS 13629 HAS SOUS 11432 HAS SOUPS 9434 WITH SCORE 9451.799
AT ITER 3529 NEW BEST:: SOT 51802 SOS 17793 HAS SOPS 13623 HAS SOUS 11414 HAS SOUPS 9416 WITH SCORE 9433.793
AT ITER 3562 NEW BEST:: SOT 51802 SOS 17786 HAS SOPS 13623 HAS SOUS 11407 HAS SOUPS 9416 WITH SCORE 9433.786
AT ITER 3638 NEW BEST:: SOT 51802 SOS 17786 HAS SOPS 13619 HAS SOUS 11407 HAS SOUPS 9412 WITH SCORE 9429.786
AT ITER 3690 NEW BEST:: SOT 51802 SOS 17942 HAS SOPS 13583 HAS SOUS 11421 HAS SOUPS 9376 WITH SCORE 9393.942
AT ITER 3705 NEW BEST:: SOT 51794 SOS 17934 HAS SOPS 13575 HAS SOUS 11413 HAS SOUPS 9368 WITH SCORE 9385.934
AT ITER 3728 NEW BEST:: SOT 51794 SOS 17883 HAS SOPS 13524 HAS SOUS 11362 HAS SOUPS 9317 WITH SCORE 9334.883
AT ITER 3729 NEW BEST:: SOT 51827 SOS 18122 HAS SOPS 13557 HAS SOUS 11395 HAS SOUPS 9281 WITH SCORE 9299.122
AT ITER 3737 NEW BEST:: SOT 51790 SOS 17578 HAS SOPS 13525 HAS SOUS 11232 HAS SOUPS 9249 WITH SCORE 9266.578
AT ITER 3812 NEW BEST:: SOT 51796 SOS 17590 HAS SOPS 13537 HAS SOUS 11226 HAS SOUPS 9243 WITH SCORE 9260.59
AT ITER 3818 NEW BEST:: SOT 51808 SOS 17602 HAS SOPS 13533 HAS SOUS 11222 HAS SOUPS 9239 WITH SCORE 9256.602
AT ITER 3829 NEW BEST:: SOT 51774 SOS 17498 HAS SOPS 13429 HAS SOUS 11118 HAS SOUPS 9135 WITH SCORE 9152.498
AT ITER 3868 NEW BEST:: SOT 51773 SOS 17497 HAS SOPS 13428 HAS SOUS 11118 HAS SOUPS 9135 WITH SCORE 9152.497
AT ITER 3879 NEW BEST:: SOT 51773 SOS 17468 HAS SOPS 13399 HAS SOUS 11109 HAS SOUPS 9126 WITH SCORE 9143.468
AT ITER 3920 NEW BEST:: SOT 51772 SOS 17614 HAS SOPS 13398 HAS SOUS 11255 HAS SOUPS 9125 WITH SCORE 9142.614
AT ITER 3924 NEW BEST:: SOT 51767 SOS 17692 HAS SOPS 13476 HAS SOUS 11245 HAS SOUPS 9115 WITH SCORE 9132.692
AT ITER 3934 NEW BEST:: SOT 51765 SOS 17688 HAS SOPS 13472 HAS SOUS 11243 HAS SOUPS 9113 WITH SCORE 9130.688
AT ITER 3944 NEW BEST:: SOT 51836 SOS 18053 HAS SOPS 13461 HAS SOUS 11314 HAS SOUPS 9102 WITH SCORE 9120.053
AT ITER 3965 NEW BEST:: SOT 51865 SOS 18031 HAS SOPS 13439 HAS SOUS 11292 HAS SOUPS 9080 WITH SCORE 9098.031
AT ITER 3975 NEW BEST:: SOT 51863 SOS 18025 HAS SOPS 13437 HAS SOUS 11290 HAS SOUPS 9079 WITH SCORE 9097.025
AT ITER 3978 NEW BEST:: SOT 51883 SOS 18022 HAS SOPS 13426 HAS SOUS 11287 HAS SOUPS 9068 WITH SCORE 9086.022
AT ITER 3993 NEW BEST:: SOT 51859 SOS 18012 HAS SOPS 13416 HAS SOUS 11278 HAS SOUPS 9059 WITH SCORE 9077.012
AT ITER 4042 NEW BEST:: SOT 51859 SOS 18033 HAS SOPS 13402 HAS SOUS 11278 HAS SOUPS 9045 WITH SCORE 9063.033
AT ITER 4055 NEW BEST:: SOT 51858 SOS 18033 HAS SOPS 13399 HAS SOUS 11277 HAS SOUPS 9043 WITH SCORE 9061.033
AT ITER 4118 NEW BEST:: SOT 51868 SOS 18043 HAS SOPS 13390 HAS SOUS 11287 HAS SOUPS 9034 WITH SCORE 9052.043
AT ITER 4137 NEW BEST:: SOT 51868 SOS 18043 HAS SOPS 13390 HAS SOUS 11269 HAS SOUPS 9016 WITH SCORE 9034.043
AT ITER 4158 NEW BEST:: SOT 51851 SOS 18026 HAS SOPS 13373 HAS SOUS 11265 HAS SOUPS 9012 WITH SCORE 9030.026
AT ITER 4159 NEW BEST:: SOT 51747 SOS 17823 HAS SOPS 13269 HAS SOUS 11062 HAS SOUPS 8908 WITH SCORE 8925.823
AT ITER 4163 NEW BEST:: SOT 51739 SOS 17811 HAS SOPS 13257 HAS SOUS 11054 HAS SOUPS 8900 WITH SCORE 8917.811
AT ITER 4197 NEW BEST:: SOT 51736 SOS 17808 HAS SOPS 13254 HAS SOUS 11054 HAS SOUPS 8900 WITH SCORE 8917.808
AT ITER 4224 NEW BEST:: SOT 51699 SOS 17805 HAS SOPS 13214 HAS SOUS 11051 HAS SOUPS 8860 WITH SCORE 8877.805
AT ITER 4279 NEW BEST:: SOT 51699 SOS 17771 HAS SOPS 13180 HAS SOUS 11034 HAS SOUPS 8843 WITH SCORE 8860.771
AT ITER 4308 NEW BEST:: SOT 51667 SOS 17739 HAS SOPS 13180 HAS SOUS 10998 HAS SOUPS 8824 WITH SCORE 8841.739
AT ITER 4341 NEW BEST:: SOT 51701 SOS 17722 HAS SOPS 13163 HAS SOUS 10998 HAS SOUPS 8824 WITH SCORE 8841.722
AT ITER 4345 NEW BEST:: SOT 51687 SOS 17699 HAS SOPS 13140 HAS SOUS 10975 HAS SOUPS 8801 WITH SCORE 8818.699
AT ITER 4362 NEW BEST:: SOT 51717 SOS 17824 HAS SOPS 13129 HAS SOUS 11005 HAS SOUPS 8790 WITH SCORE 8807.824
AT ITER 4378 NEW BEST:: SOT 51717 SOS 17779 HAS SOPS 13129 HAS SOUS 11005 HAS SOUPS 8790 WITH SCORE 8807.779
AT ITER 4395 NEW BEST:: SOT 51673 SOS 17751 HAS SOPS 13101 HAS SOUS 10945 HAS SOUPS 8730 WITH SCORE 8747.751
AT ITER 4420 NEW BEST:: SOT 51673 SOS 17772 HAS SOPS 13094 HAS SOUS 10945 HAS SOUPS 8723 WITH SCORE 8740.772
AT ITER 4429 NEW BEST:: SOT 51649 SOS 17771 HAS SOPS 13050 HAS SOUS 10944 HAS SOUPS 8679 WITH SCORE 8696.771
AT ITER 4489 NEW BEST:: SOT 51646 SOS 17766 HAS SOPS 13049 HAS SOUS 10942 HAS SOUPS 8678 WITH SCORE 8695.766
AT ITER 4520 NEW BEST:: SOT 51659 SOS 17763 HAS SOPS 13046 HAS SOUS 10939 HAS SOUPS 8675 WITH SCORE 8692.763
AT ITER 4562 NEW BEST:: SOT 51652 SOS 17756 HAS SOPS 13032 HAS SOUS 10939 HAS SOUPS 8661 WITH SCORE 8678.756
AT ITER 4579 NEW BEST:: SOT 51652 SOS 17751 HAS SOPS 13032 HAS SOUS 10939 HAS SOUPS 8661 WITH SCORE 8678.751
AT ITER 4610 NEW BEST:: SOT 51613 SOS 17748 HAS SOPS 13029 HAS SOUS 10936 HAS SOUPS 8658 WITH SCORE 8675.748
AT ITER 4661 NEW BEST:: SOT 51663 SOS 17785 HAS SOPS 13066 HAS SOUS 10917 HAS SOUPS 8639 WITH SCORE 8656.785
AT ITER 4667 NEW BEST:: SOT 51643 SOS 17705 HAS SOPS 12986 HAS SOUS 10907 HAS SOUPS 8629 WITH SCORE 8646.705
AT ITER 4694 NEW BEST:: SOT 51635 SOS 17697 HAS SOPS 12953 HAS SOUS 10910 HAS SOUPS 8607 WITH SCORE 8624.697
AT ITER 4704 NEW BEST:: SOT 51632 SOS 17694 HAS SOPS 12951 HAS SOUS 10907 HAS SOUPS 8605 WITH SCORE 8622.694
AT ITER 4728 NEW BEST:: SOT 51629 SOS 17691 HAS SOPS 12945 HAS SOUS 10901 HAS SOUPS 8599 WITH SCORE 8616.691
AT ITER 4763 NEW BEST:: SOT 51606 SOS 17660 HAS SOPS 12940 HAS SOUS 10896 HAS SOUPS 8594 WITH SCORE 8611.66
AT ITER 4765 NEW BEST:: SOT 51579 SOS 17633 HAS SOPS 12913 HAS SOUS 10869 HAS SOUPS 8567 WITH SCORE 8584.633
AT ITER 4826 NEW BEST:: SOT 51550 SOS 17604 HAS SOPS 12896 HAS SOUS 10881 HAS SOUPS 8550 WITH SCORE 8567.604
AT ITER 4831 NEW BEST:: SOT 51543 SOS 17587 HAS SOPS 12878 HAS SOUS 10864 HAS SOUPS 8532 WITH SCORE 8549.587
AT ITER 4840 NEW BEST:: SOT 51554 SOS 17598 HAS SOPS 12889 HAS SOUS 10862 HAS SOUPS 8530 WITH SCORE 8547.598
AT ITER 4841 NEW BEST:: SOT 51545 SOS 17574 HAS SOPS 12880 HAS SOUS 10853 HAS SOUPS 8526 WITH SCORE 8543.574
AT ITER 4908 NEW BEST:: SOT 51528 SOS 17556 HAS SOPS 12862 HAS SOUS 10845 HAS SOUPS 8518 WITH SCORE 8535.556
AT ITER 4970 NEW BEST:: SOT 51511 SOS 17515 HAS SOPS 12852 HAS SOUS 10835 HAS SOUPS 8508 WITH SCORE 8525.515
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-12a-CTLFireability-00 (AF( ( ( (EG( ((potential((tk(P78)>=1) & (tk(P133)>=1)))))) & (EX( ((potential((tk(P155)>=1)))))) ) & ( (EG( ((potential((tk(P62)>=1)))))) | (EF( ((potential((tk(P39)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-01 (EF( ( ( ( (! ((potential((tk(P39)>=1))))) & (! ((potential((tk(P5)>=1) & (tk(P221)>=1))))) ) & (AG( ((potential((tk(P251)>=1) & (tk(P306)>=1)))))) ) | (AU( ((potential((tk(P116)>=1) & (tk(P297)>=1)))) , ((potential((tk(P16)>=1) & (tk(P173)>=1)))) )) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-02 (AF( ((potential((tk(P17)>=1))))))
PROPERTY: AutoFlight-PT-12a-CTLFireability-03 (AU( (! (AG( ((potential((tk(P1)>=1))))))) , (EG( ((potential((tk(P35)>=1) & (tk(P260)>=1)))))) ))
PROPERTY: AutoFlight-PT-12a-CTLFireability-04 (AU( ( ( ( ((potential((tk(P263)>=1) & (tk(P306)>=1)))) | ((potential((tk(P64)>=1) & (tk(P193)>=1)))) ) & ( ((potential((tk(P20)>=1)))) & ((potential((tk(P43)>=1) & (tk(P164)>=1)))) ) ) & ( (! ((potential((tk(P263)>=1) & (tk(P306)>=1))))) | ( ((potential((tk(P56)>=1) & (tk(P278)>=1)))) | ((potential((tk(P102)>=1)))) ) ) ) , (AF( ( ((potential((tk(P201)>=1)))) & ((potential((tk(P234)>=1) & (tk(P307)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-12a-CTLFireability-05 (EG( ( (AG( ( ((potential((tk(P11)>=1)))) & ((potential((tk(P136)>=1)))) ))) | ( ( ( ((potential((tk(P204)>=1)))) & ((potential((tk(P42)>=1)))) ) & ((potential((tk(P110)>=1) & (tk(P285)>=1)))) ) | (AF( ((potential((tk(P46)>=1) & (tk(P271)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-06 ( ( ( (! ( ((potential((tk(P44)>=1) & (tk(P177)>=1)))) | ( ((potential((tk(P85)>=1) & (tk(P220)>=1)))) | ((potential((tk(P1)>=1)))) ) )) | (AF( ((potential((tk(P64)>=1) & (tk(P217)>=1)))))) ) | ((potential((tk(P78)>=1) & (tk(P195)>=1)))) ) | ( ( ( (! ( ((potential((tk(P245)>=1) & (tk(P306)>=1)))) & ((potential((tk(P77)>=1) & (tk(P296)>=1)))) )) & ( ((potential((tk(P10)>=1)))) & ((potential((tk(P46)>=1) & (tk(P271)>=1)))) ) ) | (AX( ( ((potential((tk(P97)>=1) & (tk(P256)>=1)))) | ((potential((tk(P6)>=1)))) ))) ) | (EU( ( ((potential((tk(P92)>=1) & (tk(P249)>=1)))) | ((potential((tk(P4)>=1) & (tk(P235)>=1)))) ) , ( ((potential((tk(P82)>=1) & (tk(P232)>=1)))) & ((potential((tk(P150)>=1)))) ) )) ) )
PROPERTY: AutoFlight-PT-12a-CTLFireability-07 (EF( (AF( (AF( ((potential((tk(P24)>=1))))))))))
PROPERTY: AutoFlight-PT-12a-CTLFireability-08 (EG( ( (! ((potential((tk(P7)>=1) & (tk(P236)>=1))))) | (AX( ( ((potential((tk(P203)>=1)))) | ((potential((tk(P14)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-09 (EF( ( ( (AG( ((potential((tk(P22)>=1) & (tk(P161)>=1)))))) | (AX( ((potential((tk(P71)>=1) & (tk(P132)>=1)))))) ) | (AX( ((potential((tk(P240)>=1) & (tk(P307)>=1)))))) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-10 (EF( ( (EU( ((potential((tk(P7)>=1)))) , ((potential((tk(P6)>=1)))) )) | (AX( ( ((potential((tk(P25)>=1) & (tk(P253)>=1)))) & ((potential((tk(P63)>=1) & (tk(P284)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-11 (! (! (AG( (! ( ((potential((tk(P46)>=1)))) & ((potential((tk(P38)>=1)))) ))))))
PROPERTY: AutoFlight-PT-12a-CTLFireability-12 (AX( (AF( (EX( ((potential((tk(P83)>=1))))))))))
PROPERTY: AutoFlight-PT-12a-CTLFireability-13 (EU( (AF( (! ((potential((tk(P35)>=1))))))) , (AU( ((potential((tk(P48)>=1)))) , ((potential((tk(P28)>=1) & (tk(P254)>=1)))) )) ))
PROPERTY: AutoFlight-PT-12a-CTLFireability-14 (EF( ( (AX( ((potential((tk(P4)>=1) & (tk(P235)>=1)))))) | ( ((potential((tk(P16)>=1) & (tk(P173)>=1)))) & (EX( ((potential((tk(P94)>=1) & (tk(P250)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-12a-CTLFireability-15 (AF( (EX( ((potential((tk(P122)>=1) & (tk(P307)>=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="AutoFlight-PT-12a"
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 AutoFlight-PT-12a, 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 r003-smll-158897508600468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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