About the Execution of smart for Vasy2003-PT-none
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.830 | 3600000.00 | 3600039.00 | 0.00 | [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 '/local/x2003239/mcc2020-input.r190-csrt-159033383000604.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Vasy2003-PT-none, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033383000604
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 392K
-rw-r--r-- 1 mcc users 3.7K Apr 12 20:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 20:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 23:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 15 10:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 15 10:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 22:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 207K Mar 24 05:38 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 Vasy2003-PT-none-CTLFireability-00
FORMULA_NAME Vasy2003-PT-none-CTLFireability-01
FORMULA_NAME Vasy2003-PT-none-CTLFireability-02
FORMULA_NAME Vasy2003-PT-none-CTLFireability-03
FORMULA_NAME Vasy2003-PT-none-CTLFireability-04
FORMULA_NAME Vasy2003-PT-none-CTLFireability-05
FORMULA_NAME Vasy2003-PT-none-CTLFireability-06
FORMULA_NAME Vasy2003-PT-none-CTLFireability-07
FORMULA_NAME Vasy2003-PT-none-CTLFireability-08
FORMULA_NAME Vasy2003-PT-none-CTLFireability-09
FORMULA_NAME Vasy2003-PT-none-CTLFireability-10
FORMULA_NAME Vasy2003-PT-none-CTLFireability-11
FORMULA_NAME Vasy2003-PT-none-CTLFireability-12
FORMULA_NAME Vasy2003-PT-none-CTLFireability-13
FORMULA_NAME Vasy2003-PT-none-CTLFireability-14
FORMULA_NAME Vasy2003-PT-none-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590409171551
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Vasy2003 (PT), instance none
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: 485 places, 776 transitions, 2809 arcs.
AT ITER 0 NEW BEST:: SOT 312987 SOS 279620 HAS SOPS 279598 HAS SOUS 152075 HAS SOUPS 152053 WITH SCORE 152332.62
AT ITER 2 NEW BEST:: SOT 311590 SOS 279197 HAS SOPS 278529 HAS SOUS 151865 HAS SOUPS 151680 WITH SCORE 151959.197
AT ITER 3 NEW BEST:: SOT 311303 SOS 278910 HAS SOPS 278242 HAS SOUS 151344 HAS SOUPS 151159 WITH SCORE 151437.91
AT ITER 5 NEW BEST:: SOT 311303 SOS 272353 HAS SOPS 271685 HAS SOUS 151278 HAS SOUPS 151093 WITH SCORE 151365.353
AT ITER 6 NEW BEST:: SOT 311185 SOS 272235 HAS SOPS 271567 HAS SOUS 151262 HAS SOUPS 151077 WITH SCORE 151349.235
AT ITER 9 NEW BEST:: SOT 311170 SOS 272233 HAS SOPS 271565 HAS SOUS 151246 HAS SOUPS 151061 WITH SCORE 151333.233
AT ITER 10 NEW BEST:: SOT 311153 SOS 272199 HAS SOPS 271531 HAS SOUS 151229 HAS SOUPS 151044 WITH SCORE 151316.199
AT ITER 11 NEW BEST:: SOT 311124 SOS 271961 HAS SOPS 271270 HAS SOUS 151117 HAS SOUPS 150909 WITH SCORE 151180.961
AT ITER 12 NEW BEST:: SOT 311104 SOS 271941 HAS SOPS 271250 HAS SOUS 151116 HAS SOUPS 150908 WITH SCORE 151179.941
AT ITER 18 NEW BEST:: SOT 310957 SOS 271794 HAS SOPS 271103 HAS SOUS 151114 HAS SOUPS 150906 WITH SCORE 151177.794
AT ITER 21 NEW BEST:: SOT 310696 SOS 271533 HAS SOPS 270842 HAS SOUS 150848 HAS SOUPS 150640 WITH SCORE 150911.533
AT ITER 29 NEW BEST:: SOT 310696 SOS 271606 HAS SOPS 270915 HAS SOUS 150775 HAS SOUPS 150567 WITH SCORE 150838.606
AT ITER 37 NEW BEST:: SOT 310696 SOS 271606 HAS SOPS 270915 HAS SOUS 150726 HAS SOUPS 150518 WITH SCORE 150789.606
AT ITER 38 NEW BEST:: SOT 288261 SOS 249209 HAS SOPS 248480 HAS SOUS 132444 HAS SOUPS 132224 WITH SCORE 132473.209
AT ITER 41 NEW BEST:: SOT 288231 SOS 249119 HAS SOPS 248390 HAS SOUS 132414 HAS SOUPS 132194 WITH SCORE 132443.119
AT ITER 43 NEW BEST:: SOT 287276 SOS 248548 HAS SOPS 247435 HAS SOUS 132017 HAS SOUPS 131668 WITH SCORE 131916.548
AT ITER 45 NEW BEST:: SOT 269749 SOS 230899 HAS SOPS 229786 HAS SOUS 114239 HAS SOUPS 113890 WITH SCORE 114120.899
AT ITER 58 NEW BEST:: SOT 269471 SOS 230409 HAS SOPS 229296 HAS SOUS 114238 HAS SOUPS 113889 WITH SCORE 114119.409
AT ITER 62 NEW BEST:: SOT 269471 SOS 230409 HAS SOPS 229296 HAS SOUS 114234 HAS SOUPS 113885 WITH SCORE 114115.409
AT ITER 63 NEW BEST:: SOT 269266 SOS 230204 HAS SOPS 229091 HAS SOUS 114169 HAS SOUPS 113820 WITH SCORE 114050.204
AT ITER 64 NEW BEST:: SOT 269148 SOS 229990 HAS SOPS 228877 HAS SOUS 114138 HAS SOUPS 113789 WITH SCORE 114018.99
AT ITER 65 NEW BEST:: SOT 269141 SOS 229983 HAS SOPS 228870 HAS SOUS 114129 HAS SOUPS 113780 WITH SCORE 114009.983
AT ITER 77 NEW BEST:: SOT 269141 SOS 229867 HAS SOPS 228754 HAS SOUS 114071 HAS SOUPS 113722 WITH SCORE 113951.867
AT ITER 80 NEW BEST:: SOT 269141 SOS 229822 HAS SOPS 228709 HAS SOUS 114056 HAS SOUPS 113707 WITH SCORE 113936.822
AT ITER 82 NEW BEST:: SOT 269044 SOS 227786 HAS SOPS 226673 HAS SOUS 113692 HAS SOUPS 113343 WITH SCORE 113570.786
AT ITER 86 NEW BEST:: SOT 268996 SOS 227767 HAS SOPS 226654 HAS SOUS 113298 HAS SOUPS 112949 WITH SCORE 113176.767
AT ITER 89 NEW BEST:: SOT 268909 SOS 227624 HAS SOPS 226511 HAS SOUS 112891 HAS SOUPS 112542 WITH SCORE 112769.624
AT ITER 94 NEW BEST:: SOT 264678 SOS 223228 HAS SOPS 222115 HAS SOUS 108495 HAS SOUPS 108146 WITH SCORE 108369.228
AT ITER 95 NEW BEST:: SOT 264712 SOS 223177 HAS SOPS 222072 HAS SOUS 108429 HAS SOUPS 108103 WITH SCORE 108326.177
AT ITER 99 NEW BEST:: SOT 264622 SOS 223087 HAS SOPS 221982 HAS SOUS 108346 HAS SOUPS 108020 WITH SCORE 108243.087
AT ITER 100 NEW BEST:: SOT 263732 SOS 223216 HAS SOPS 221130 HAS SOUS 108254 HAS SOUPS 107547 WITH SCORE 107770.216
AT ITER 102 NEW BEST:: SOT 263711 SOS 223195 HAS SOPS 221109 HAS SOUS 108233 HAS SOUPS 107526 WITH SCORE 107749.195
AT ITER 103 NEW BEST:: SOT 263536 SOS 223020 HAS SOPS 220934 HAS SOUS 107872 HAS SOUPS 107165 WITH SCORE 107388.02
AT ITER 104 NEW BEST:: SOT 263498 SOS 222943 HAS SOPS 220857 HAS SOUS 107779 HAS SOUPS 107072 WITH SCORE 107294.943
AT ITER 106 NEW BEST:: SOT 263026 SOS 222471 HAS SOPS 220385 HAS SOUS 107725 HAS SOUPS 107018 WITH SCORE 107240.471
AT ITER 109 NEW BEST:: SOT 262990 SOS 222435 HAS SOPS 220349 HAS SOUS 107671 HAS SOUPS 106964 WITH SCORE 107186.435
AT ITER 117 NEW BEST:: SOT 262877 SOS 222056 HAS SOPS 219970 HAS SOUS 107550 HAS SOUPS 106843 WITH SCORE 107065.056
AT ITER 118 NEW BEST:: SOT 262680 SOS 221698 HAS SOPS 219414 HAS SOUS 107192 HAS SOUPS 106287 WITH SCORE 106508.698
AT ITER 119 NEW BEST:: SOT 262630 SOS 221648 HAS SOPS 219364 HAS SOUS 107142 HAS SOUPS 106237 WITH SCORE 106458.648
AT ITER 121 NEW BEST:: SOT 262630 SOS 221666 HAS SOPS 219382 HAS SOUS 107124 HAS SOUPS 106219 WITH SCORE 106440.666
AT ITER 124 NEW BEST:: SOT 262660 SOS 221696 HAS SOPS 219412 HAS SOUS 106962 HAS SOUPS 106057 WITH SCORE 106278.696
AT ITER 128 NEW BEST:: SOT 262643 SOS 221679 HAS SOPS 219395 HAS SOUS 106907 HAS SOUPS 106002 WITH SCORE 106223.679
AT ITER 129 NEW BEST:: SOT 262703 SOS 221884 HAS SOPS 219600 HAS SOUS 106804 HAS SOUPS 105899 WITH SCORE 106120.884
AT ITER 133 NEW BEST:: SOT 236567 SOS 196938 HAS SOPS 193737 HAS SOUS 82768 HAS SOUPS 81739 WITH SCORE 81935.938
AT ITER 154 NEW BEST:: SOT 236558 SOS 196926 HAS SOPS 193725 HAS SOUS 82756 HAS SOUPS 81727 WITH SCORE 81923.926
AT ITER 157 NEW BEST:: SOT 236374 SOS 196742 HAS SOPS 193541 HAS SOUS 82576 HAS SOUPS 81547 WITH SCORE 81743.742
AT ITER 159 NEW BEST:: SOT 234646 SOS 195014 HAS SOPS 191813 HAS SOUS 81589 HAS SOUPS 80560 WITH SCORE 80755.014
AT ITER 162 NEW BEST:: SOT 234642 SOS 195010 HAS SOPS 191809 HAS SOUS 81585 HAS SOUPS 80556 WITH SCORE 80751.01
AT ITER 164 NEW BEST:: SOT 234617 SOS 194985 HAS SOPS 191784 HAS SOUS 81473 HAS SOUPS 80444 WITH SCORE 80638.985
AT ITER 167 NEW BEST:: SOT 234586 SOS 194954 HAS SOPS 191753 HAS SOUS 81442 HAS SOUPS 80413 WITH SCORE 80607.954
AT ITER 174 NEW BEST:: SOT 234441 SOS 194660 HAS SOPS 191459 HAS SOUS 81148 HAS SOUPS 80119 WITH SCORE 80313.66
AT ITER 180 NEW BEST:: SOT 234414 SOS 195383 HAS SOPS 191818 HAS SOUS 81175 HAS SOUPS 80069 WITH SCORE 80264.383
AT ITER 187 NEW BEST:: SOT 234105 SOS 194496 HAS SOPS 190931 HAS SOUS 81016 HAS SOUPS 79910 WITH SCORE 80104.496
AT ITER 203 NEW BEST:: SOT 234041 SOS 194432 HAS SOPS 190867 HAS SOUS 81015 HAS SOUPS 79909 WITH SCORE 80103.432
AT ITER 204 NEW BEST:: SOT 233945 SOS 194287 HAS SOPS 190668 HAS SOUS 80869 HAS SOUPS 79710 WITH SCORE 79904.287
AT ITER 214 NEW BEST:: SOT 233796 SOS 192501 HAS SOPS 188526 HAS SOUS 80524 HAS SOUPS 79133 WITH SCORE 79325.501
AT ITER 229 NEW BEST:: SOT 233772 SOS 192477 HAS SOPS 188502 HAS SOUS 80406 HAS SOUPS 79015 WITH SCORE 79207.477
AT ITER 248 NEW BEST:: SOT 234161 SOS 192866 HAS SOPS 188891 HAS SOUS 80298 HAS SOUPS 78907 WITH SCORE 79099.866
AT ITER 250 NEW BEST:: SOT 234161 SOS 192902 HAS SOPS 188927 HAS SOUS 80276 HAS SOUPS 78885 WITH SCORE 79077.902
AT ITER 252 NEW BEST:: SOT 234007 SOS 192681 HAS SOPS 188706 HAS SOUS 80209 HAS SOUPS 78818 WITH SCORE 79010.681
AT ITER 254 NEW BEST:: SOT 233950 SOS 192772 HAS SOPS 188837 HAS SOUS 80192 HAS SOUPS 78801 WITH SCORE 78993.772
AT ITER 259 NEW BEST:: SOT 233676 SOS 192498 HAS SOPS 188563 HAS SOUS 79631 HAS SOUPS 78240 WITH SCORE 78432.498
AT ITER 261 NEW BEST:: SOT 233676 SOS 192489 HAS SOPS 188534 HAS SOUS 79622 HAS SOUPS 78231 WITH SCORE 78423.489
AT ITER 274 NEW BEST:: SOT 233506 SOS 192213 HAS SOPS 188258 HAS SOUS 79275 HAS SOUPS 77884 WITH SCORE 78076.213
AT ITER 277 NEW BEST:: SOT 233506 SOS 192185 HAS SOPS 188230 HAS SOUS 79266 HAS SOUPS 77875 WITH SCORE 78067.185
AT ITER 278 NEW BEST:: SOT 233546 SOS 192401 HAS SOPS 188446 HAS SOUS 79155 HAS SOUPS 77764 WITH SCORE 77956.401
AT ITER 291 NEW BEST:: SOT 233487 SOS 190739 HAS SOPS 186784 HAS SOUS 79123 HAS SOUPS 77732 WITH SCORE 77922.739
AT ITER 292 NEW BEST:: SOT 233388 SOS 190301 HAS SOPS 186233 HAS SOUS 79024 HAS SOUPS 77633 WITH SCORE 77823.301
AT ITER 299 NEW BEST:: SOT 233500 SOS 190054 HAS SOPS 186179 HAS SOUS 78836 HAS SOUPS 77445 WITH SCORE 77635.054
AT ITER 301 NEW BEST:: SOT 233500 SOS 178294 HAS SOPS 173820 HAS SOUS 78237 HAS SOUPS 76846 WITH SCORE 77024.294
AT ITER 303 NEW BEST:: SOT 233271 SOS 177945 HAS SOPS 173471 HAS SOUS 78127 HAS SOUPS 76736 WITH SCORE 76913.945
AT ITER 305 NEW BEST:: SOT 232959 SOS 177494 HAS SOPS 173020 HAS SOUS 77861 HAS SOUPS 76470 WITH SCORE 76647.494
AT ITER 306 NEW BEST:: SOT 232829 SOS 177364 HAS SOPS 172890 HAS SOUS 77796 HAS SOUPS 76405 WITH SCORE 76582.364
AT ITER 314 NEW BEST:: SOT 232730 SOS 177265 HAS SOPS 172791 HAS SOUS 77697 HAS SOUPS 76306 WITH SCORE 76483.265
AT ITER 316 NEW BEST:: SOT 232544 SOS 176380 HAS SOPS 171906 HAS SOUS 77217 HAS SOUPS 75826 WITH SCORE 76002.38
AT ITER 317 NEW BEST:: SOT 232401 SOS 176131 HAS SOPS 171551 HAS SOUS 77121 HAS SOUPS 75730 WITH SCORE 75906.131
AT ITER 319 NEW BEST:: SOT 232319 SOS 176049 HAS SOPS 171469 HAS SOUS 77039 HAS SOUPS 75648 WITH SCORE 75824.049
AT ITER 320 NEW BEST:: SOT 232243 SOS 175897 HAS SOPS 171317 HAS SOUS 76925 HAS SOUPS 75534 WITH SCORE 75709.897
AT ITER 335 NEW BEST:: SOT 232230 SOS 175884 HAS SOPS 171304 HAS SOUS 76899 HAS SOUPS 75508 WITH SCORE 75683.884
AT ITER 338 NEW BEST:: SOT 232230 SOS 175948 HAS SOPS 171368 HAS SOUS 76771 HAS SOUPS 75380 WITH SCORE 75555.948
AT ITER 339 NEW BEST:: SOT 232126 SOS 175757 HAS SOPS 171090 HAS SOUS 76591 HAS SOUPS 75200 WITH SCORE 75375.757
AT ITER 340 NEW BEST:: SOT 232126 SOS 175533 HAS SOPS 170866 HAS SOUS 76591 HAS SOUPS 75200 WITH SCORE 75375.533
AT ITER 341 NEW BEST:: SOT 232126 SOS 175577 HAS SOPS 170910 HAS SOUS 76467 HAS SOUPS 75076 WITH SCORE 75251.577
AT ITER 342 NEW BEST:: SOT 232184 SOS 175635 HAS SOPS 170968 HAS SOUS 76323 HAS SOUPS 74932 WITH SCORE 75107.635
AT ITER 343 NEW BEST:: SOT 232034 SOS 175352 HAS SOPS 170685 HAS SOUS 76040 HAS SOUPS 74649 WITH SCORE 74824.352
AT ITER 344 NEW BEST:: SOT 231728 SOS 175046 HAS SOPS 170379 HAS SOUS 75532 HAS SOUPS 74141 WITH SCORE 74316.046
AT ITER 356 NEW BEST:: SOT 228347 SOS 172474 HAS SOPS 167353 HAS SOUS 72222 HAS SOUPS 70760 WITH SCORE 70932.474
AT ITER 362 NEW BEST:: SOT 228352 SOS 172479 HAS SOPS 167358 HAS SOUS 72117 HAS SOUPS 70655 WITH SCORE 70827.479
AT ITER 363 NEW BEST:: SOT 228248 SOS 170969 HAS SOPS 165692 HAS SOUS 71857 HAS SOUPS 70395 WITH SCORE 70565.969
AT ITER 373 NEW BEST:: SOT 228193 SOS 170758 HAS SOPS 165481 HAS SOUS 71756 HAS SOUPS 70294 WITH SCORE 70464.758
AT ITER 383 NEW BEST:: SOT 228119 SOS 170737 HAS SOPS 165460 HAS SOUS 71751 HAS SOUPS 70289 WITH SCORE 70459.737
AT ITER 384 NEW BEST:: SOT 228009 SOS 170631 HAS SOPS 165354 HAS SOUS 71509 HAS SOUPS 70047 WITH SCORE 70217.631
AT ITER 386 NEW BEST:: SOT 227956 SOS 170419 HAS SOPS 165089 HAS SOUS 71456 HAS SOUPS 69994 WITH SCORE 70164.419
AT ITER 389 NEW BEST:: SOT 227714 SOS 169663 HAS SOPS 164522 HAS SOUS 71397 HAS SOUPS 69935 WITH SCORE 70104.663
AT ITER 393 NEW BEST:: SOT 227650 SOS 169535 HAS SOPS 164394 HAS SOUS 71397 HAS SOUPS 69935 WITH SCORE 70104.535
AT ITER 394 NEW BEST:: SOT 227305 SOS 169119 HAS SOPS 163978 HAS SOUS 71266 HAS SOUPS 69804 WITH SCORE 69973.119
AT ITER 395 NEW BEST:: SOT 227305 SOS 169095 HAS SOPS 163954 HAS SOUS 71264 HAS SOUPS 69802 WITH SCORE 69971.095
AT ITER 399 NEW BEST:: SOT 227025 SOS 168935 HAS SOPS 163724 HAS SOUS 70997 HAS SOUPS 69525 WITH SCORE 69693.935
AT ITER 405 NEW BEST:: SOT 227025 SOS 168935 HAS SOPS 163724 HAS SOUS 70950 HAS SOUPS 69478 WITH SCORE 69646.935
AT ITER 417 NEW BEST:: SOT 226988 SOS 168824 HAS SOPS 163613 HAS SOUS 70876 HAS SOUPS 69404 WITH SCORE 69572.824
AT ITER 418 NEW BEST:: SOT 226946 SOS 168865 HAS SOPS 163654 HAS SOUS 70661 HAS SOUPS 69189 WITH SCORE 69357.865
AT ITER 419 NEW BEST:: SOT 226946 SOS 168865 HAS SOPS 163654 HAS SOUS 70633 HAS SOUPS 69161 WITH SCORE 69329.865
AT ITER 427 NEW BEST:: SOT 226946 SOS 168865 HAS SOPS 163654 HAS SOUS 70619 HAS SOUPS 69147 WITH SCORE 69315.865
AT ITER 429 NEW BEST:: SOT 226874 SOS 168792 HAS SOPS 163581 HAS SOUS 70617 HAS SOUPS 69145 WITH SCORE 69313.792
AT ITER 430 NEW BEST:: SOT 226735 SOS 168611 HAS SOPS 163400 HAS SOUS 70436 HAS SOUPS 68964 WITH SCORE 69132.611
AT ITER 448 NEW BEST:: SOT 226673 SOS 168549 HAS SOPS 163338 HAS SOUS 70400 HAS SOUPS 68928 WITH SCORE 69096.549
AT ITER 451 NEW BEST:: SOT 226673 SOS 168853 HAS SOPS 163642 HAS SOUS 70233 HAS SOUPS 68761 WITH SCORE 68929.853
AT ITER 452 NEW BEST:: SOT 226603 SOS 168783 HAS SOPS 163572 HAS SOUS 70158 HAS SOUPS 68686 WITH SCORE 68854.783
AT ITER 456 NEW BEST:: SOT 226601 SOS 168780 HAS SOPS 163569 HAS SOUS 70154 HAS SOUPS 68682 WITH SCORE 68850.78
AT ITER 457 NEW BEST:: SOT 226394 SOS 168218 HAS SOPS 163007 HAS SOUS 70154 HAS SOUPS 68682 WITH SCORE 68850.218
AT ITER 458 NEW BEST:: SOT 226394 SOS 168222 HAS SOPS 163011 HAS SOUS 70141 HAS SOUPS 68669 WITH SCORE 68837.222
AT ITER 462 NEW BEST:: SOT 225319 SOS 169548 HAS SOPS 162774 HAS SOUS 69363 HAS SOUPS 67785 WITH SCORE 67954.548
AT ITER 466 NEW BEST:: SOT 225312 SOS 169647 HAS SOPS 162873 HAS SOUS 69226 HAS SOUPS 67648 WITH SCORE 67817.647
AT ITER 468 NEW BEST:: SOT 217527 SOS 162261 HAS SOPS 155072 HAS SOUS 68007 HAS SOUPS 66226 WITH SCORE 66388.261
AT ITER 474 NEW BEST:: SOT 217640 SOS 162374 HAS SOPS 155185 HAS SOUS 67836 HAS SOUPS 66055 WITH SCORE 66217.374
AT ITER 485 NEW BEST:: SOT 217583 SOS 162075 HAS SOPS 154886 HAS SOUS 67822 HAS SOUPS 66041 WITH SCORE 66203.075
AT ITER 499 NEW BEST:: SOT 217568 SOS 161843 HAS SOPS 154451 HAS SOUS 67509 HAS SOUPS 65728 WITH SCORE 65889.843
AT ITER 505 NEW BEST:: SOT 217530 SOS 161805 HAS SOPS 154413 HAS SOUS 67508 HAS SOUPS 65727 WITH SCORE 65888.805
AT ITER 508 NEW BEST:: SOT 217489 SOS 161682 HAS SOPS 154290 HAS SOUS 67426 HAS SOUPS 65645 WITH SCORE 65806.682
AT ITER 524 NEW BEST:: SOT 217489 SOS 160696 HAS SOPS 153304 HAS SOUS 67415 HAS SOUPS 65634 WITH SCORE 65794.696
AT ITER 528 NEW BEST:: SOT 217474 SOS 160681 HAS SOPS 153289 HAS SOUS 67393 HAS SOUPS 65612 WITH SCORE 65772.681
AT ITER 534 NEW BEST:: SOT 217354 SOS 160461 HAS SOPS 153069 HAS SOUS 67233 HAS SOUPS 65452 WITH SCORE 65612.461
AT ITER 536 NEW BEST:: SOT 217369 SOS 160679 HAS SOPS 153112 HAS SOUS 67253 HAS SOUPS 65430 WITH SCORE 65590.679
AT ITER 550 NEW BEST:: SOT 217349 SOS 160639 HAS SOPS 153072 HAS SOUS 67223 HAS SOUPS 65400 WITH SCORE 65560.639
AT ITER 554 NEW BEST:: SOT 217223 SOS 160450 HAS SOPS 152883 HAS SOUS 67159 HAS SOUPS 65336 WITH SCORE 65496.45
AT ITER 580 NEW BEST:: SOT 217222 SOS 160305 HAS SOPS 152738 HAS SOUS 67110 HAS SOUPS 65287 WITH SCORE 65447.305
AT ITER 582 NEW BEST:: SOT 217071 SOS 160154 HAS SOPS 152587 HAS SOUS 67037 HAS SOUPS 65214 WITH SCORE 65374.154
AT ITER 587 NEW BEST:: SOT 217068 SOS 160151 HAS SOPS 152584 HAS SOUS 67034 HAS SOUPS 65211 WITH SCORE 65371.151
AT ITER 599 NEW BEST:: SOT 217062 SOS 160116 HAS SOPS 152549 HAS SOUS 66999 HAS SOUPS 65176 WITH SCORE 65336.116
AT ITER 610 NEW BEST:: SOT 217023 SOS 160077 HAS SOPS 152510 HAS SOUS 66960 HAS SOUPS 65137 WITH SCORE 65297.077
AT ITER 612 NEW BEST:: SOT 217017 SOS 160019 HAS SOPS 152452 HAS SOUS 66813 HAS SOUPS 64990 WITH SCORE 65150.019
AT ITER 614 NEW BEST:: SOT 217072 SOS 160074 HAS SOPS 152507 HAS SOUS 66628 HAS SOUPS 64805 WITH SCORE 64965.074
AT ITER 615 NEW BEST:: SOT 216809 SOS 159811 HAS SOPS 152244 HAS SOUS 66220 HAS SOUPS 64397 WITH SCORE 64556.811
AT ITER 623 NEW BEST:: SOT 216807 SOS 159809 HAS SOPS 152240 HAS SOUS 66216 HAS SOUPS 64393 WITH SCORE 64552.809
AT ITER 625 NEW BEST:: SOT 216715 SOS 159705 HAS SOPS 152136 HAS SOUS 66196 HAS SOUPS 64373 WITH SCORE 64532.705
AT ITER 631 NEW BEST:: SOT 216577 SOS 159372 HAS SOPS 151782 HAS SOUS 65866 HAS SOUPS 64022 WITH SCORE 64181.372
AT ITER 633 NEW BEST:: SOT 214405 SOS 157200 HAS SOPS 149610 HAS SOUS 63687 HAS SOUPS 61843 WITH SCORE 62000.2
AT ITER 642 NEW BEST:: SOT 214224 SOS 156917 HAS SOPS 149303 HAS SOUS 63514 HAS SOUPS 61670 WITH SCORE 61826.917
AT ITER 650 NEW BEST:: SOT 213720 SOS 157762 HAS SOPS 149154 HAS SOUS 63013 HAS SOUPS 61169 WITH SCORE 61326.762
AT ITER 652 NEW BEST:: SOT 213575 SOS 157068 HAS SOPS 148460 HAS SOUS 62964 HAS SOUPS 61120 WITH SCORE 61277.068
AT ITER 654 NEW BEST:: SOT 213623 SOS 157190 HAS SOPS 148582 HAS SOUS 62949 HAS SOUPS 61105 WITH SCORE 61262.19
AT ITER 660 NEW BEST:: SOT 213542 SOS 157082 HAS SOPS 148474 HAS SOUS 62895 HAS SOUPS 61051 WITH SCORE 61208.082
AT ITER 663 NEW BEST:: SOT 213542 SOS 157082 HAS SOPS 148474 HAS SOUS 62863 HAS SOUPS 61019 WITH SCORE 61176.082
AT ITER 665 NEW BEST:: SOT 213408 SOS 156814 HAS SOPS 148206 HAS SOUS 62729 HAS SOUPS 60885 WITH SCORE 61041.814
AT ITER 685 NEW BEST:: SOT 213246 SOS 156512 HAS SOPS 147904 HAS SOUS 62485 HAS SOUPS 60641 WITH SCORE 60797.512
AT ITER 699 NEW BEST:: SOT 213196 SOS 156462 HAS SOPS 147854 HAS SOUS 62432 HAS SOUPS 60588 WITH SCORE 60744.462
AT ITER 711 NEW BEST:: SOT 213229 SOS 156504 HAS SOPS 147719 HAS SOUS 62302 HAS SOUPS 60453 WITH SCORE 60609.504
AT ITER 726 NEW BEST:: SOT 213227 SOS 156502 HAS SOPS 147717 HAS SOUS 62291 HAS SOUPS 60442 WITH SCORE 60598.502
AT ITER 727 NEW BEST:: SOT 213145 SOS 156365 HAS SOPS 147580 HAS SOUS 62236 HAS SOUPS 60387 WITH SCORE 60543.365
AT ITER 734 NEW BEST:: SOT 212815 SOS 155881 HAS SOPS 147096 HAS SOUS 62037 HAS SOUPS 60188 WITH SCORE 60343.881
AT ITER 740 NEW BEST:: SOT 212798 SOS 155830 HAS SOPS 147045 HAS SOUS 62020 HAS SOUPS 60171 WITH SCORE 60326.83
AT ITER 741 NEW BEST:: SOT 212646 SOS 155602 HAS SOPS 146817 HAS SOUS 61868 HAS SOUPS 60019 WITH SCORE 60174.602
AT ITER 745 NEW BEST:: SOT 212206 SOS 155551 HAS SOPS 146451 HAS SOUS 61704 HAS SOUPS 59736 WITH SCORE 59891.551
AT ITER 751 NEW BEST:: SOT 212179 SOS 155393 HAS SOPS 146246 HAS SOUS 61665 HAS SOUPS 59697 WITH SCORE 59852.393
AT ITER 755 NEW BEST:: SOT 212167 SOS 155381 HAS SOPS 146234 HAS SOUS 61653 HAS SOUPS 59685 WITH SCORE 59840.381
AT ITER 786 NEW BEST:: SOT 212172 SOS 155184 HAS SOPS 146037 HAS SOUS 61248 HAS SOUPS 59280 WITH SCORE 59435.184
AT ITER 792 NEW BEST:: SOT 212111 SOS 154829 HAS SOPS 145682 HAS SOUS 60913 HAS SOUPS 58945 WITH SCORE 59099.829
AT ITER 794 NEW BEST:: SOT 212103 SOS 154813 HAS SOPS 145666 HAS SOUS 60889 HAS SOUPS 58921 WITH SCORE 59075.813
AT ITER 804 NEW BEST:: SOT 212023 SOS 154731 HAS SOPS 145584 HAS SOUS 60838 HAS SOUPS 58870 WITH SCORE 59024.731
AT ITER 816 NEW BEST:: SOT 210956 SOS 153900 HAS SOPS 145381 HAS SOUS 60163 HAS SOUPS 58195 WITH SCORE 58348.9
AT ITER 819 NEW BEST:: SOT 210598 SOS 153542 HAS SOPS 145023 HAS SOUS 59608 HAS SOUPS 57640 WITH SCORE 57793.542
AT ITER 822 NEW BEST:: SOT 210634 SOS 153578 HAS SOPS 145059 HAS SOUS 59458 HAS SOUPS 57490 WITH SCORE 57643.578
AT ITER 824 NEW BEST:: SOT 210674 SOS 150596 HAS SOPS 142077 HAS SOUS 59399 HAS SOUPS 57431 WITH SCORE 57581.596
AT ITER 828 NEW BEST:: SOT 210485 SOS 150367 HAS SOPS 141848 HAS SOUS 59048 HAS SOUPS 57080 WITH SCORE 57230.367
AT ITER 832 NEW BEST:: SOT 210261 SOS 150143 HAS SOPS 141624 HAS SOUS 58829 HAS SOUPS 56861 WITH SCORE 57011.143
AT ITER 844 NEW BEST:: SOT 210092 SOS 149974 HAS SOPS 141455 HAS SOUS 58509 HAS SOUPS 56541 WITH SCORE 56690.974
AT ITER 850 NEW BEST:: SOT 209475 SOS 152694 HAS SOPS 144259 HAS SOUS 57720 HAS SOUPS 55752 WITH SCORE 55904.694
AT ITER 860 NEW BEST:: SOT 209598 SOS 152817 HAS SOPS 144382 HAS SOUS 57601 HAS SOUPS 55633 WITH SCORE 55785.817
AT ITER 871 NEW BEST:: SOT 209585 SOS 152804 HAS SOPS 144369 HAS SOUS 57588 HAS SOUPS 55620 WITH SCORE 55772.804
AT ITER 881 NEW BEST:: SOT 209669 SOS 152888 HAS SOPS 144453 HAS SOUS 57540 HAS SOUPS 55572 WITH SCORE 55724.888
AT ITER 888 NEW BEST:: SOT 209439 SOS 150492 HAS SOPS 142057 HAS SOUS 57530 HAS SOUPS 55562 WITH SCORE 55712.492
AT ITER 901 NEW BEST:: SOT 209616 SOS 150764 HAS SOPS 142329 HAS SOUS 57377 HAS SOUPS 55409 WITH SCORE 55559.764
AT ITER 902 NEW BEST:: SOT 209576 SOS 150554 HAS SOPS 142119 HAS SOUS 57167 HAS SOUPS 55199 WITH SCORE 55349.554
AT ITER 903 NEW BEST:: SOT 209576 SOS 150554 HAS SOPS 142119 HAS SOUS 57116 HAS SOUPS 55148 WITH SCORE 55298.554
AT ITER 909 NEW BEST:: SOT 209573 SOS 150542 HAS SOPS 142107 HAS SOUS 57113 HAS SOUPS 55145 WITH SCORE 55295.542
AT ITER 917 NEW BEST:: SOT 209627 SOS 150596 HAS SOPS 142161 HAS SOUS 57055 HAS SOUPS 55087 WITH SCORE 55237.596
AT ITER 920 NEW BEST:: SOT 209631 SOS 150930 HAS SOPS 142495 HAS SOUS 56998 HAS SOUPS 55030 WITH SCORE 55180.93
AT ITER 926 NEW BEST:: SOT 209631 SOS 150930 HAS SOPS 142495 HAS SOUS 56980 HAS SOUPS 55012 WITH SCORE 55162.93
AT ITER 945 NEW BEST:: SOT 209650 SOS 150929 HAS SOPS 142474 HAS SOUS 56979 HAS SOUPS 54991 WITH SCORE 55141.929
AT ITER 955 NEW BEST:: SOT 209458 SOS 150737 HAS SOPS 142282 HAS SOUS 56718 HAS SOUPS 54730 WITH SCORE 54880.737
AT ITER 959 NEW BEST:: SOT 209649 SOS 150985 HAS SOPS 142155 HAS SOUS 56644 HAS SOUPS 54656 WITH SCORE 54806.985
AT ITER 976 NEW BEST:: SOT 209744 SOS 151080 HAS SOPS 142250 HAS SOUS 56531 HAS SOUPS 54543 WITH SCORE 54694.08
AT ITER 980 NEW BEST:: SOT 209631 SOS 150967 HAS SOPS 142137 HAS SOUS 56418 HAS SOUPS 54430 WITH SCORE 54580.967
AT ITER 982 NEW BEST:: SOT 209566 SOS 150861 HAS SOPS 141942 HAS SOUS 56438 HAS SOUPS 54361 WITH SCORE 54511.861
AT ITER 984 NEW BEST:: SOT 209143 SOS 150267 HAS SOPS 141177 HAS SOUS 55949 HAS SOUPS 53872 WITH SCORE 54022.267
AT ITER 996 NEW BEST:: SOT 209147 SOS 150271 HAS SOPS 141181 HAS SOUS 55907 HAS SOUPS 53830 WITH SCORE 53980.271
AT ITER 997 NEW BEST:: SOT 208782 SOS 149721 HAS SOPS 140816 HAS SOUS 55585 HAS SOUPS 53653 WITH SCORE 53802.721
AT ITER 999 NEW BEST:: SOT 208764 SOS 149703 HAS SOPS 140798 HAS SOUS 55496 HAS SOUPS 53564 WITH SCORE 53713.703
AT ITER 1012 NEW BEST:: SOT 208816 SOS 149807 HAS SOPS 140954 HAS SOUS 55488 HAS SOUPS 53556 WITH SCORE 53705.807
AT ITER 1019 NEW BEST:: SOT 208810 SOS 149801 HAS SOPS 140945 HAS SOUS 55479 HAS SOUPS 53547 WITH SCORE 53696.801
AT ITER 1022 NEW BEST:: SOT 208783 SOS 149774 HAS SOPS 140918 HAS SOUS 55452 HAS SOUPS 53520 WITH SCORE 53669.774
AT ITER 1027 NEW BEST:: SOT 208703 SOS 149694 HAS SOPS 140838 HAS SOUS 55452 HAS SOUPS 53520 WITH SCORE 53669.694
AT ITER 1028 NEW BEST:: SOT 209005 SOS 150388 HAS SOPS 141532 HAS SOUS 55357 HAS SOUPS 53425 WITH SCORE 53575.388
AT ITER 1030 NEW BEST:: SOT 209005 SOS 150388 HAS SOPS 141532 HAS SOUS 55329 HAS SOUPS 53397 WITH SCORE 53547.388
AT ITER 1039 NEW BEST:: SOT 208773 SOS 150156 HAS SOPS 141300 HAS SOUS 55221 HAS SOUPS 53289 WITH SCORE 53439.156
AT ITER 1042 NEW BEST:: SOT 208769 SOS 150152 HAS SOPS 141292 HAS SOUS 55217 HAS SOUPS 53285 WITH SCORE 53435.152
AT ITER 1043 NEW BEST:: SOT 208722 SOS 150105 HAS SOPS 141245 HAS SOUS 55123 HAS SOUPS 53191 WITH SCORE 53341.105
AT ITER 1054 NEW BEST:: SOT 208634 SOS 150017 HAS SOPS 141157 HAS SOUS 55073 HAS SOUPS 53141 WITH SCORE 53291.017
AT ITER 1065 NEW BEST:: SOT 208579 SOS 149962 HAS SOPS 141102 HAS SOUS 55027 HAS SOUPS 53095 WITH SCORE 53244.962
AT ITER 1080 NEW BEST:: SOT 208441 SOS 149755 HAS SOPS 140895 HAS SOUS 54855 HAS SOUPS 52923 WITH SCORE 53072.755
AT ITER 1091 NEW BEST:: SOT 208423 SOS 149166 HAS SOPS 140306 HAS SOUS 54641 HAS SOUPS 52709 WITH SCORE 52858.166
AT ITER 1093 NEW BEST:: SOT 208367 SOS 149082 HAS SOPS 140222 HAS SOUS 54641 HAS SOUPS 52709 WITH SCORE 52858.082
AT ITER 1095 NEW BEST:: SOT 202406 SOS 143360 HAS SOPS 134261 HAS SOUS 48680 HAS SOUPS 46509 WITH SCORE 46652.36
AT ITER 1097 NEW BEST:: SOT 202406 SOS 143360 HAS SOPS 134261 HAS SOUS 48470 HAS SOUPS 46299 WITH SCORE 46442.36
AT ITER 1099 NEW BEST:: SOT 202294 SOS 142984 HAS SOPS 134109 HAS SOUS 48404 HAS SOUPS 46233 WITH SCORE 46375.984
AT ITER 1102 NEW BEST:: SOT 202126 SOS 142424 HAS SOPS 133549 HAS SOUS 48274 HAS SOUPS 46103 WITH SCORE 46245.424
AT ITER 1111 NEW BEST:: SOT 202112 SOS 142326 HAS SOPS 133451 HAS SOUS 48246 HAS SOUPS 46075 WITH SCORE 46217.326
AT ITER 1118 NEW BEST:: SOT 202111 SOS 142325 HAS SOPS 133450 HAS SOUS 48245 HAS SOUPS 46074 WITH SCORE 46216.325
AT ITER 1119 NEW BEST:: SOT 202038 SOS 142252 HAS SOPS 133304 HAS SOUS 48245 HAS SOUPS 46001 WITH SCORE 46143.252
AT ITER 1128 NEW BEST:: SOT 201901 SOS 138875 HAS SOPS 129927 HAS SOUS 48163 HAS SOUPS 45919 WITH SCORE 46057.875
AT ITER 1130 NEW BEST:: SOT 201927 SOS 139040 HAS SOPS 130092 HAS SOUS 48033 HAS SOUPS 45789 WITH SCORE 45928.04
AT ITER 1147 NEW BEST:: SOT 201696 SOS 138809 HAS SOPS 129861 HAS SOUS 47802 HAS SOUPS 45558 WITH SCORE 45696.809
AT ITER 1171 NEW BEST:: SOT 201725 SOS 138838 HAS SOPS 129933 HAS SOUS 47760 HAS SOUPS 45516 WITH SCORE 45654.838
AT ITER 1172 NEW BEST:: SOT 201689 SOS 138766 HAS SOPS 129861 HAS SOUS 47724 HAS SOUPS 45480 WITH SCORE 45618.766
AT ITER 1191 NEW BEST:: SOT 201684 SOS 138761 HAS SOPS 129856 HAS SOUS 47719 HAS SOUPS 45475 WITH SCORE 45613.761
AT ITER 1194 NEW BEST:: SOT 201855 SOS 138932 HAS SOPS 130027 HAS SOUS 47691 HAS SOUPS 45447 WITH SCORE 45585.932
AT ITER 1201 NEW BEST:: SOT 201711 SOS 138588 HAS SOPS 129683 HAS SOUS 47446 HAS SOUPS 45202 WITH SCORE 45340.588
AT ITER 1213 NEW BEST:: SOT 201668 SOS 138549 HAS SOPS 129661 HAS SOUS 47424 HAS SOUPS 45180 WITH SCORE 45318.549
AT ITER 1226 NEW BEST:: SOT 201563 SOS 138384 HAS SOPS 129496 HAS SOUS 47350 HAS SOUPS 45106 WITH SCORE 45244.384
AT ITER 1234 NEW BEST:: SOT 201524 SOS 138345 HAS SOPS 129457 HAS SOUS 47254 HAS SOUPS 45010 WITH SCORE 45148.345
AT ITER 1248 NEW BEST:: SOT 201464 SOS 138285 HAS SOPS 129397 HAS SOUS 47134 HAS SOUPS 44890 WITH SCORE 45028.285
AT ITER 1258 NEW BEST:: SOT 201384 SOS 138205 HAS SOPS 129317 HAS SOUS 46974 HAS SOUPS 44730 WITH SCORE 44868.205
AT ITER 1262 NEW BEST:: SOT 201354 SOS 138175 HAS SOPS 129257 HAS SOUS 46944 HAS SOUPS 44700 WITH SCORE 44838.175
AT ITER 1272 NEW BEST:: SOT 201215 SOS 138036 HAS SOPS 129118 HAS SOUS 46876 HAS SOUPS 44632 WITH SCORE 44770.036
AT ITER 1277 NEW BEST:: SOT 201237 SOS 138053 HAS SOPS 129135 HAS SOUS 46826 HAS SOUPS 44582 WITH SCORE 44720.053
AT ITER 1287 NEW BEST:: SOT 201243 SOS 138059 HAS SOPS 129141 HAS SOUS 46780 HAS SOUPS 44536 WITH SCORE 44674.059
AT ITER 1317 NEW BEST:: SOT 201199 SOS 137999 HAS SOPS 129081 HAS SOUS 46756 HAS SOUPS 44512 WITH SCORE 44649.999
AT ITER 1326 NEW BEST:: SOT 201203 SOS 138003 HAS SOPS 129085 HAS SOUS 46726 HAS SOUPS 44482 WITH SCORE 44620.003
AT ITER 1368 NEW BEST:: SOT 201219 SOS 138019 HAS SOPS 129101 HAS SOUS 46718 HAS SOUPS 44474 WITH SCORE 44612.019
AT ITER 1390 NEW BEST:: SOT 201156 SOS 137956 HAS SOPS 129038 HAS SOUS 46655 HAS SOUPS 44411 WITH SCORE 44548.956
AT ITER 1392 NEW BEST:: SOT 201128 SOS 137928 HAS SOPS 129022 HAS SOUS 46619 HAS SOUPS 44375 WITH SCORE 44512.928
AT ITER 1394 NEW BEST:: SOT 201102 SOS 137900 HAS SOPS 128994 HAS SOUS 46606 HAS SOUPS 44362 WITH SCORE 44499.9
AT ITER 1413 NEW BEST:: SOT 201114 SOS 137879 HAS SOPS 128973 HAS SOUS 46550 HAS SOUPS 44306 WITH SCORE 44443.879
AT ITER 1419 NEW BEST:: SOT 201123 SOS 137888 HAS SOPS 128982 HAS SOUS 46546 HAS SOUPS 44302 WITH SCORE 44439.888
AT ITER 1432 NEW BEST:: SOT 201119 SOS 137884 HAS SOPS 128978 HAS SOUS 46538 HAS SOUPS 44294 WITH SCORE 44431.884
AT ITER 1438 NEW BEST:: SOT 201119 SOS 138003 HAS SOPS 129097 HAS SOUS 46532 HAS SOUPS 44288 WITH SCORE 44426.003
AT ITER 1444 NEW BEST:: SOT 200981 SOS 137860 HAS SOPS 128954 HAS SOUS 46410 HAS SOUPS 44166 WITH SCORE 44303.86
AT ITER 1448 NEW BEST:: SOT 201030 SOS 137909 HAS SOPS 129003 HAS SOUS 46231 HAS SOUPS 43987 WITH SCORE 44124.909
AT ITER 1449 NEW BEST:: SOT 201027 SOS 137906 HAS SOPS 129000 HAS SOUS 46225 HAS SOUPS 43981 WITH SCORE 44118.906
AT ITER 1451 NEW BEST:: SOT 201027 SOS 137906 HAS SOPS 129000 HAS SOUS 46189 HAS SOUPS 43945 WITH SCORE 44082.906
AT ITER 1468 NEW BEST:: SOT 201051 SOS 137930 HAS SOPS 129024 HAS SOUS 46185 HAS SOUPS 43941 WITH SCORE 44078.93
AT ITER 1470 NEW BEST:: SOT 200736 SOS 137291 HAS SOPS 128385 HAS SOUS 45870 HAS SOUPS 43626 WITH SCORE 43763.291
AT ITER 1474 NEW BEST:: SOT 200556 SOS 137111 HAS SOPS 127845 HAS SOUS 45990 HAS SOUPS 43608 WITH SCORE 43745.111
AT ITER 1475 NEW BEST:: SOT 200577 SOS 137132 HAS SOPS 127866 HAS SOUS 45984 HAS SOUPS 43602 WITH SCORE 43739.132
AT ITER 1478 NEW BEST:: SOT 200568 SOS 137123 HAS SOPS 127857 HAS SOUS 45975 HAS SOUPS 43593 WITH SCORE 43730.123
AT ITER 1504 NEW BEST:: SOT 200626 SOS 137181 HAS SOPS 127915 HAS SOUS 45935 HAS SOUPS 43553 WITH SCORE 43690.181
AT ITER 1510 NEW BEST:: SOT 200626 SOS 137181 HAS SOPS 127915 HAS SOUS 45933 HAS SOUPS 43551 WITH SCORE 43688.181
AT ITER 1512 NEW BEST:: SOT 200634 SOS 137189 HAS SOPS 127923 HAS SOUS 45931 HAS SOUPS 43549 WITH SCORE 43686.189
AT ITER 1521 NEW BEST:: SOT 200792 SOS 137380 HAS SOPS 128114 HAS SOUS 45679 HAS SOUPS 43297 WITH SCORE 43434.38
AT ITER 1528 NEW BEST:: SOT 200799 SOS 137387 HAS SOPS 128121 HAS SOUS 45677 HAS SOUPS 43295 WITH SCORE 43432.387
AT ITER 1534 NEW BEST:: SOT 200755 SOS 137255 HAS SOPS 128077 HAS SOUS 45633 HAS SOUPS 43251 WITH SCORE 43388.255
AT ITER 1536 NEW BEST:: SOT 200740 SOS 137307 HAS SOPS 128047 HAS SOUS 45549 HAS SOUPS 43167 WITH SCORE 43304.307
AT ITER 1544 NEW BEST:: SOT 200730 SOS 137297 HAS SOPS 128037 HAS SOUS 45543 HAS SOUPS 43161 WITH SCORE 43298.297
AT ITER 1557 NEW BEST:: SOT 200730 SOS 137297 HAS SOPS 128037 HAS SOUS 45488 HAS SOUPS 43106 WITH SCORE 43243.297
AT ITER 1562 NEW BEST:: SOT 200671 SOS 137238 HAS SOPS 127978 HAS SOUS 45370 HAS SOUPS 42988 WITH SCORE 43125.238
AT ITER 1566 NEW BEST:: SOT 200671 SOS 137239 HAS SOPS 127977 HAS SOUS 45369 HAS SOUPS 42987 WITH SCORE 43124.239
AT ITER 1570 NEW BEST:: SOT 200684 SOS 137252 HAS SOPS 127948 HAS SOUS 45332 HAS SOUPS 42950 WITH SCORE 43087.252
AT ITER 1588 NEW BEST:: SOT 200620 SOS 137092 HAS SOPS 127788 HAS SOUS 45268 HAS SOUPS 42886 WITH SCORE 43023.092
AT ITER 1593 NEW BEST:: SOT 200620 SOS 137029 HAS SOPS 127725 HAS SOUS 45268 HAS SOUPS 42886 WITH SCORE 43023.029
AT ITER 1594 NEW BEST:: SOT 200528 SOS 136909 HAS SOPS 127245 HAS SOUS 45246 HAS SOUPS 42864 WITH SCORE 43000.909
AT ITER 1601 NEW BEST:: SOT 200459 SOS 136840 HAS SOPS 127176 HAS SOUS 45246 HAS SOUPS 42864 WITH SCORE 43000.84
AT ITER 1604 NEW BEST:: SOT 200452 SOS 136800 HAS SOPS 127136 HAS SOUS 45215 HAS SOUPS 42833 WITH SCORE 42969.8
AT ITER 1612 NEW BEST:: SOT 200432 SOS 136759 HAS SOPS 127076 HAS SOUS 45195 HAS SOUPS 42813 WITH SCORE 42949.759
AT ITER 1613 NEW BEST:: SOT 200599 SOS 136926 HAS SOPS 127243 HAS SOUS 45185 HAS SOUPS 42803 WITH SCORE 42939.926
AT ITER 1660 NEW BEST:: SOT 200041 SOS 137733 HAS SOPS 126922 HAS SOUS 44912 HAS SOUPS 42342 WITH SCORE 42479.733
AT ITER 1670 NEW BEST:: SOT 200041 SOS 137704 HAS SOPS 126893 HAS SOUS 44912 HAS SOUPS 42342 WITH SCORE 42479.704
AT ITER 1675 NEW BEST:: SOT 199867 SOS 137527 HAS SOPS 126716 HAS SOUS 44842 HAS SOUPS 42272 WITH SCORE 42409.527
AT ITER 1677 NEW BEST:: SOT 199808 SOS 137468 HAS SOPS 126657 HAS SOUS 44814 HAS SOUPS 42244 WITH SCORE 42381.468
AT ITER 1681 NEW BEST:: SOT 199698 SOS 137269 HAS SOPS 126458 HAS SOUS 44753 HAS SOUPS 42183 WITH SCORE 42320.269
AT ITER 1685 NEW BEST:: SOT 199691 SOS 137262 HAS SOPS 126451 HAS SOUS 44699 HAS SOUPS 42129 WITH SCORE 42266.262
AT ITER 1689 NEW BEST:: SOT 199782 SOS 137353 HAS SOPS 126542 HAS SOUS 44521 HAS SOUPS 41951 WITH SCORE 42088.353
AT ITER 1711 NEW BEST:: SOT 199829 SOS 137447 HAS SOPS 126636 HAS SOUS 44282 HAS SOUPS 41712 WITH SCORE 41849.447
AT ITER 1722 NEW BEST:: SOT 199758 SOS 137386 HAS SOPS 126474 HAS SOUS 44242 HAS SOUPS 41573 WITH SCORE 41710.386
AT ITER 1733 NEW BEST:: SOT 199656 SOS 137284 HAS SOPS 126372 HAS SOUS 44012 HAS SOUPS 41343 WITH SCORE 41480.284
AT ITER 1734 NEW BEST:: SOT 199635 SOS 137256 HAS SOPS 126337 HAS SOUS 43977 HAS SOUPS 41308 WITH SCORE 41445.256
AT ITER 1752 NEW BEST:: SOT 199528 SOS 137097 HAS SOPS 126126 HAS SOUS 43919 HAS SOUPS 41250 WITH SCORE 41387.097
AT ITER 1758 NEW BEST:: SOT 199508 SOS 137077 HAS SOPS 126106 HAS SOUS 43775 HAS SOUPS 41106 WITH SCORE 41243.077
AT ITER 1763 NEW BEST:: SOT 199481 SOS 137068 HAS SOPS 126097 HAS SOUS 43757 HAS SOUPS 41088 WITH SCORE 41225.068
AT ITER 1768 NEW BEST:: SOT 199509 SOS 137096 HAS SOPS 126153 HAS SOUS 43619 HAS SOUPS 40950 WITH SCORE 41087.096
AT ITER 1778 NEW BEST:: SOT 199503 SOS 137090 HAS SOPS 126147 HAS SOUS 43610 HAS SOUPS 40941 WITH SCORE 41078.09
AT ITER 1782 NEW BEST:: SOT 199517 SOS 137066 HAS SOPS 126123 HAS SOUS 43587 HAS SOUPS 40918 WITH SCORE 41055.066
AT ITER 1784 NEW BEST:: SOT 199425 SOS 136828 HAS SOPS 125885 HAS SOUS 43420 HAS SOUPS 40751 WITH SCORE 40887.828
AT ITER 1787 NEW BEST:: SOT 199425 SOS 136828 HAS SOPS 125885 HAS SOUS 43406 HAS SOUPS 40737 WITH SCORE 40873.828
AT ITER 1799 NEW BEST:: SOT 199420 SOS 136823 HAS SOPS 125890 HAS SOUS 43388 HAS SOUPS 40719 WITH SCORE 40855.823
AT ITER 1808 NEW BEST:: SOT 199454 SOS 136823 HAS SOPS 125986 HAS SOUS 43230 HAS SOUPS 40657 WITH SCORE 40793.823
AT ITER 1813 NEW BEST:: SOT 199430 SOS 136103 HAS SOPS 125170 HAS SOUS 43110 HAS SOUPS 40537 WITH SCORE 40673.103
AT ITER 1820 NEW BEST:: SOT 199405 SOS 136078 HAS SOPS 125145 HAS SOUS 42990 HAS SOUPS 40417 WITH SCORE 40553.078
AT ITER 1823 NEW BEST:: SOT 199403 SOS 136076 HAS SOPS 125287 HAS SOUS 42986 HAS SOUPS 40413 WITH SCORE 40549.076
AT ITER 1830 NEW BEST:: SOT 199403 SOS 136076 HAS SOPS 125287 HAS SOUS 42938 HAS SOUPS 40365 WITH SCORE 40501.076
AT ITER 1834 NEW BEST:: SOT 199339 SOS 136012 HAS SOPS 125223 HAS SOUS 42938 HAS SOUPS 40365 WITH SCORE 40501.012
AT ITER 1839 NEW BEST:: SOT 199378 SOS 135838 HAS SOPS 125049 HAS SOUS 42763 HAS SOUPS 40190 WITH SCORE 40325.838
AT ITER 1846 NEW BEST:: SOT 199378 SOS 134634 HAS SOPS 123845 HAS SOUS 42762 HAS SOUPS 40189 WITH SCORE 40323.634
AT ITER 1851 NEW BEST:: SOT 199539 SOS 134220 HAS SOPS 123431 HAS SOUS 42619 HAS SOUPS 40046 WITH SCORE 40180.22
AT ITER 1853 NEW BEST:: SOT 199517 SOS 134176 HAS SOPS 123387 HAS SOUS 42608 HAS SOUPS 40035 WITH SCORE 40169.176
AT ITER 1859 NEW BEST:: SOT 199645 SOS 134304 HAS SOPS 123515 HAS SOUS 42543 HAS SOUPS 39970 WITH SCORE 40104.304
AT ITER 1871 NEW BEST:: SOT 199800 SOS 134459 HAS SOPS 123670 HAS SOUS 42539 HAS SOUPS 39966 WITH SCORE 40100.459
AT ITER 1875 NEW BEST:: SOT 199666 SOS 134309 HAS SOPS 123528 HAS SOUS 42159 HAS SOUPS 39586 WITH SCORE 39720.309
AT ITER 1884 NEW BEST:: SOT 199666 SOS 134309 HAS SOPS 123528 HAS SOUS 42113 HAS SOUPS 39540 WITH SCORE 39674.309
AT ITER 1899 NEW BEST:: SOT 199658 SOS 134311 HAS SOPS 123530 HAS SOUS 42064 HAS SOUPS 39491 WITH SCORE 39625.311
AT ITER 1901 NEW BEST:: SOT 199652 SOS 134305 HAS SOPS 123524 HAS SOUS 42052 HAS SOUPS 39479 WITH SCORE 39613.305
AT ITER 1911 NEW BEST:: SOT 199588 SOS 134341 HAS SOPS 123560 HAS SOUS 42032 HAS SOUPS 39459 WITH SCORE 39593.341
AT ITER 1927 NEW BEST:: SOT 199588 SOS 134341 HAS SOPS 123560 HAS SOUS 42030 HAS SOUPS 39457 WITH SCORE 39591.341
AT ITER 1936 NEW BEST:: SOT 199595 SOS 134348 HAS SOPS 123567 HAS SOUS 41990 HAS SOUPS 39417 WITH SCORE 39551.348
AT ITER 1939 NEW BEST:: SOT 199479 SOS 134232 HAS SOPS 123451 HAS SOUS 41990 HAS SOUPS 39417 WITH SCORE 39551.232
AT ITER 1959 NEW BEST:: SOT 199467 SOS 134220 HAS SOPS 123499 HAS SOUS 41978 HAS SOUPS 39405 WITH SCORE 39539.22
AT ITER 1972 NEW BEST:: SOT 199467 SOS 134197 HAS SOPS 123476 HAS SOUS 41939 HAS SOUPS 39366 WITH SCORE 39500.197
AT ITER 1997 NEW BEST:: SOT 199511 SOS 134269 HAS SOPS 123576 HAS SOUS 41895 HAS SOUPS 39322 WITH SCORE 39456.269
AT ITER 2001 NEW BEST:: SOT 199522 SOS 134280 HAS SOPS 123587 HAS SOUS 41864 HAS SOUPS 39291 WITH SCORE 39425.28
AT ITER 2004 NEW BEST:: SOT 199444 SOS 134358 HAS SOPS 123509 HAS SOUS 41786 HAS SOUPS 39187 WITH SCORE 39321.358
AT ITER 2007 NEW BEST:: SOT 199444 SOS 134358 HAS SOPS 123509 HAS SOUS 41778 HAS SOUPS 39179 WITH SCORE 39313.358
AT ITER 2015 NEW BEST:: SOT 199443 SOS 134357 HAS SOPS 123508 HAS SOUS 41776 HAS SOUPS 39177 WITH SCORE 39311.357
AT ITER 2029 NEW BEST:: SOT 199402 SOS 134316 HAS SOPS 123467 HAS SOUS 41758 HAS SOUPS 39159 WITH SCORE 39293.316
AT ITER 2034 NEW BEST:: SOT 199345 SOS 134259 HAS SOPS 123410 HAS SOUS 41709 HAS SOUPS 39110 WITH SCORE 39244.259
AT ITER 2036 NEW BEST:: SOT 199469 SOS 134345 HAS SOPS 123496 HAS SOUS 41643 HAS SOUPS 39044 WITH SCORE 39178.345
AT ITER 2037 NEW BEST:: SOT 199342 SOS 134730 HAS SOPS 123881 HAS SOUS 41587 HAS SOUPS 38988 WITH SCORE 39122.73
AT ITER 2040 NEW BEST:: SOT 199338 SOS 134726 HAS SOPS 123877 HAS SOUS 41579 HAS SOUPS 38980 WITH SCORE 39114.726
AT ITER 2042 NEW BEST:: SOT 199338 SOS 134726 HAS SOPS 123877 HAS SOUS 41571 HAS SOUPS 38972 WITH SCORE 39106.726
AT ITER 2043 NEW BEST:: SOT 199188 SOS 134406 HAS SOPS 123557 HAS SOUS 41336 HAS SOUPS 38737 WITH SCORE 38871.406
AT ITER 2054 NEW BEST:: SOT 199076 SOS 134294 HAS SOPS 123445 HAS SOUS 41336 HAS SOUPS 38737 WITH SCORE 38871.294
AT ITER 2062 NEW BEST:: SOT 199082 SOS 134300 HAS SOPS 123451 HAS SOUS 41328 HAS SOUPS 38729 WITH SCORE 38863.3
AT ITER 2067 NEW BEST:: SOT 198983 SOS 134035 HAS SOPS 123274 HAS SOUS 41273 HAS SOUPS 38674 WITH SCORE 38808.035
AT ITER 2075 NEW BEST:: SOT 198954 SOS 134006 HAS SOPS 123245 HAS SOUS 41273 HAS SOUPS 38674 WITH SCORE 38808.006
AT ITER 2083 NEW BEST:: SOT 198954 SOS 134006 HAS SOPS 123245 HAS SOUS 41234 HAS SOUPS 38635 WITH SCORE 38769.006
AT ITER 2092 NEW BEST:: SOT 199015 SOS 134067 HAS SOPS 123306 HAS SOUS 41207 HAS SOUPS 38608 WITH SCORE 38742.067
AT ITER 2094 NEW BEST:: SOT 198904 SOS 133956 HAS SOPS 123158 HAS SOUS 41059 HAS SOUPS 38460 WITH SCORE 38593.956
AT ITER 2095 NEW BEST:: SOT 198944 SOS 132503 HAS SOPS 121705 HAS SOUS 40829 HAS SOUPS 38230 WITH SCORE 38362.503
AT ITER 2109 NEW BEST:: SOT 198932 SOS 132461 HAS SOPS 121663 HAS SOUS 40818 HAS SOUPS 38219 WITH SCORE 38351.461
AT ITER 2126 NEW BEST:: SOT 199015 SOS 132544 HAS SOPS 121746 HAS SOUS 40649 HAS SOUPS 38050 WITH SCORE 38182.544
AT ITER 2130 NEW BEST:: SOT 198875 SOS 132264 HAS SOPS 121466 HAS SOUS 40527 HAS SOUPS 37928 WITH SCORE 38060.264
AT ITER 2135 NEW BEST:: SOT 198967 SOS 132356 HAS SOPS 121458 HAS SOUS 40619 HAS SOUPS 37920 WITH SCORE 38052.356
AT ITER 2162 NEW BEST:: SOT 198866 SOS 132228 HAS SOPS 121229 HAS SOUS 40390 HAS SOUPS 37691 WITH SCORE 37823.228
AT ITER 2166 NEW BEST:: SOT 198821 SOS 132183 HAS SOPS 121165 HAS SOUS 40395 HAS SOUPS 37677 WITH SCORE 37809.183
AT ITER 2170 NEW BEST:: SOT 198799 SOS 132161 HAS SOPS 121143 HAS SOUS 40364 HAS SOUPS 37646 WITH SCORE 37778.161
AT ITER 2177 NEW BEST:: SOT 198719 SOS 132081 HAS SOPS 120961 HAS SOUS 40182 HAS SOUPS 37464 WITH SCORE 37596.081
AT ITER 2182 NEW BEST:: SOT 198688 SOS 132000 HAS SOPS 120880 HAS SOUS 40129 HAS SOUPS 37411 WITH SCORE 37543.0
AT ITER 2183 NEW BEST:: SOT 198592 SOS 131908 HAS SOPS 120800 HAS SOUS 40048 HAS SOUPS 37330 WITH SCORE 37461.908
AT ITER 2209 NEW BEST:: SOT 198586 SOS 131902 HAS SOPS 120791 HAS SOUS 40042 HAS SOUPS 37321 WITH SCORE 37452.902
AT ITER 2239 NEW BEST:: SOT 198572 SOS 131888 HAS SOPS 120689 HAS SOUS 39984 HAS SOUPS 37263 WITH SCORE 37394.888
AT ITER 2255 NEW BEST:: SOT 198572 SOS 131888 HAS SOPS 120689 HAS SOUS 39978 HAS SOUPS 37257 WITH SCORE 37388.888
AT ITER 2277 NEW BEST:: SOT 198517 SOS 131833 HAS SOPS 120634 HAS SOUS 39938 HAS SOUPS 37217 WITH SCORE 37348.833
AT ITER 2289 NEW BEST:: SOT 198474 SOS 131704 HAS SOPS 120505 HAS SOUS 39895 HAS SOUPS 37174 WITH SCORE 37305.704
AT ITER 2311 NEW BEST:: SOT 198466 SOS 131688 HAS SOPS 120489 HAS SOUS 39883 HAS SOUPS 37162 WITH SCORE 37293.688
AT ITER 2348 NEW BEST:: SOT 198432 SOS 131640 HAS SOPS 120441 HAS SOUS 39865 HAS SOUPS 37144 WITH SCORE 37275.64
AT ITER 2358 NEW BEST:: SOT 198243 SOS 131388 HAS SOPS 120189 HAS SOUS 39765 HAS SOUPS 37044 WITH SCORE 37175.388
AT ITER 2360 NEW BEST:: SOT 198231 SOS 131348 HAS SOPS 120149 HAS SOUS 39725 HAS SOUPS 37004 WITH SCORE 37135.348
AT ITER 2387 NEW BEST:: SOT 198203 SOS 131320 HAS SOPS 120121 HAS SOUS 39669 HAS SOUPS 36948 WITH SCORE 37079.32
AT ITER 2420 NEW BEST:: SOT 198172 SOS 131289 HAS SOPS 120090 HAS SOUS 39657 HAS SOUPS 36936 WITH SCORE 37067.289
AT ITER 2424 NEW BEST:: SOT 198133 SOS 131250 HAS SOPS 120051 HAS SOUS 39653 HAS SOUPS 36932 WITH SCORE 37063.25
AT ITER 2438 NEW BEST:: SOT 198067 SOS 131184 HAS SOPS 119985 HAS SOUS 39562 HAS SOUPS 36841 WITH SCORE 36972.184
AT ITER 2445 NEW BEST:: SOT 198051 SOS 131164 HAS SOPS 119965 HAS SOUS 39553 HAS SOUPS 36832 WITH SCORE 36963.164
AT ITER 2462 NEW BEST:: SOT 198056 SOS 131169 HAS SOPS 119970 HAS SOUS 39540 HAS SOUPS 36819 WITH SCORE 36950.169
AT ITER 2479 NEW BEST:: SOT 198037 SOS 131150 HAS SOPS 119951 HAS SOUS 39540 HAS SOUPS 36819 WITH SCORE 36950.15
AT ITER 2485 NEW BEST:: SOT 197875 SOS 129232 HAS SOPS 118289 HAS SOUS 39411 HAS SOUPS 36690 WITH SCORE 36819.232
AT ITER 2508 NEW BEST:: SOT 197838 SOS 129195 HAS SOPS 118252 HAS SOUS 39393 HAS SOUPS 36672 WITH SCORE 36801.195
AT ITER 2510 NEW BEST:: SOT 197836 SOS 129147 HAS SOPS 118246 HAS SOUS 39387 HAS SOUPS 36666 WITH SCORE 36795.147
AT ITER 2540 NEW BEST:: SOT 198148 SOS 129459 HAS SOPS 118558 HAS SOUS 39112 HAS SOUPS 36391 WITH SCORE 36520.459
AT ITER 2541 NEW BEST:: SOT 198205 SOS 129026 HAS SOPS 118491 HAS SOUS 38985 HAS SOUPS 36325 WITH SCORE 36454.026
AT ITER 2542 NEW BEST:: SOT 198165 SOS 128986 HAS SOPS 118451 HAS SOUS 38905 HAS SOUPS 36245 WITH SCORE 36373.986
AT ITER 2558 NEW BEST:: SOT 198137 SOS 128930 HAS SOPS 118395 HAS SOUS 38877 HAS SOUPS 36217 WITH SCORE 36345.93
AT ITER 2584 NEW BEST:: SOT 198137 SOS 128920 HAS SOPS 118395 HAS SOUS 38877 HAS SOUPS 36217 WITH SCORE 36345.92
AT ITER 2586 NEW BEST:: SOT 198259 SOS 128108 HAS SOPS 117377 HAS SOUS 38823 HAS SOUPS 36163 WITH SCORE 36291.108
AT ITER 2595 NEW BEST:: SOT 198153 SOS 127982 HAS SOPS 117251 HAS SOUS 38587 HAS SOUPS 35927 WITH SCORE 36054.982
AT ITER 2620 NEW BEST:: SOT 198133 SOS 127962 HAS SOPS 117231 HAS SOUS 38557 HAS SOUPS 35897 WITH SCORE 36024.962
AT ITER 2639 NEW BEST:: SOT 198155 SOS 127984 HAS SOPS 117253 HAS SOUS 38535 HAS SOUPS 35875 WITH SCORE 36002.984
AT ITER 2653 NEW BEST:: SOT 198203 SOS 128032 HAS SOPS 117301 HAS SOUS 38487 HAS SOUPS 35827 WITH SCORE 35955.032
AT ITER 2679 NEW BEST:: SOT 198189 SOS 128041 HAS SOPS 117310 HAS SOUS 38427 HAS SOUPS 35767 WITH SCORE 35895.041
AT ITER 2701 NEW BEST:: SOT 198174 SOS 128026 HAS SOPS 117295 HAS SOUS 38410 HAS SOUPS 35750 WITH SCORE 35878.026
AT ITER 2725 NEW BEST:: SOT 198163 SOS 127928 HAS SOPS 117197 HAS SOUS 38370 HAS SOUPS 35710 WITH SCORE 35837.928
AT ITER 2735 NEW BEST:: SOT 198153 SOS 127913 HAS SOPS 117182 HAS SOUS 38360 HAS SOUPS 35700 WITH SCORE 35827.913
AT ITER 2748 NEW BEST:: SOT 198137 SOS 127777 HAS SOPS 117046 HAS SOUS 38274 HAS SOUPS 35614 WITH SCORE 35741.777
AT ITER 2759 NEW BEST:: SOT 198119 SOS 127735 HAS SOPS 117022 HAS SOUS 38274 HAS SOUPS 35614 WITH SCORE 35741.735
AT ITER 2761 NEW BEST:: SOT 198102 SOS 127718 HAS SOPS 117005 HAS SOUS 38225 HAS SOUPS 35565 WITH SCORE 35692.718
AT ITER 2787 NEW BEST:: SOT 198100 SOS 127715 HAS SOPS 117002 HAS SOUS 38223 HAS SOUPS 35563 WITH SCORE 35690.715
AT ITER 2789 NEW BEST:: SOT 198078 SOS 127693 HAS SOPS 116980 HAS SOUS 38179 HAS SOUPS 35519 WITH SCORE 35646.693
AT ITER 2802 NEW BEST:: SOT 198078 SOS 127614 HAS SOPS 116901 HAS SOUS 38145 HAS SOUPS 35485 WITH SCORE 35612.614
AT ITER 2803 NEW BEST:: SOT 198086 SOS 127801 HAS SOPS 117088 HAS SOUS 38018 HAS SOUPS 35358 WITH SCORE 35485.801
AT ITER 2816 NEW BEST:: SOT 198135 SOS 127850 HAS SOPS 117137 HAS SOUS 37994 HAS SOUPS 35334 WITH SCORE 35461.85
AT ITER 2824 NEW BEST:: SOT 198122 SOS 127824 HAS SOPS 117111 HAS SOUS 37949 HAS SOUPS 35289 WITH SCORE 35416.824
AT ITER 2846 NEW BEST:: SOT 198185 SOS 127950 HAS SOPS 117237 HAS SOUS 37944 HAS SOUPS 35284 WITH SCORE 35411.95
AT ITER 2852 NEW BEST:: SOT 198143 SOS 127880 HAS SOPS 117167 HAS SOUS 37902 HAS SOUPS 35242 WITH SCORE 35369.88
AT ITER 2866 NEW BEST:: SOT 198135 SOS 127872 HAS SOPS 117159 HAS SOUS 37894 HAS SOUPS 35234 WITH SCORE 35361.872
AT ITER 2872 NEW BEST:: SOT 198162 SOS 127903 HAS SOPS 117138 HAS SOUS 37910 HAS SOUPS 35213 WITH SCORE 35340.903
AT ITER 2877 NEW BEST:: SOT 198130 SOS 127871 HAS SOPS 117106 HAS SOUS 37878 HAS SOUPS 35181 WITH SCORE 35308.871
AT ITER 2880 NEW BEST:: SOT 198130 SOS 127915 HAS SOPS 117150 HAS SOUS 37865 HAS SOUPS 35168 WITH SCORE 35295.915
AT ITER 2889 NEW BEST:: SOT 198112 SOS 127897 HAS SOPS 117132 HAS SOUS 37829 HAS SOUPS 35132 WITH SCORE 35259.897
AT ITER 2928 NEW BEST:: SOT 198112 SOS 127883 HAS SOPS 117118 HAS SOUS 37808 HAS SOUPS 35111 WITH SCORE 35238.883
AT ITER 2946 NEW BEST:: SOT 198076 SOS 127696 HAS SOPS 116931 HAS SOUS 37701 HAS SOUPS 35004 WITH SCORE 35131.696
AT ITER 2949 NEW BEST:: SOT 198022 SOS 127538 HAS SOPS 116773 HAS SOUS 37645 HAS SOUPS 34948 WITH SCORE 35075.538
AT ITER 2953 NEW BEST:: SOT 197948 SOS 127443 HAS SOPS 116657 HAS SOUS 37617 HAS SOUPS 34920 WITH SCORE 35047.443
AT ITER 2970 NEW BEST:: SOT 197882 SOS 127369 HAS SOPS 116583 HAS SOUS 37609 HAS SOUPS 34912 WITH SCORE 35039.369
AT ITER 2977 NEW BEST:: SOT 197874 SOS 127141 HAS SOPS 116419 HAS SOUS 37539 HAS SOUPS 34860 WITH SCORE 34987.141
AT ITER 3017 NEW BEST:: SOT 197922 SOS 127242 HAS SOPS 116380 HAS SOUS 37512 HAS SOUPS 34833 WITH SCORE 34960.242
AT ITER 3020 NEW BEST:: SOT 197898 SOS 127218 HAS SOPS 116356 HAS SOUS 37488 HAS SOUPS 34809 WITH SCORE 34936.218
AT ITER 3021 NEW BEST:: SOT 197858 SOS 127178 HAS SOPS 116316 HAS SOUS 37447 HAS SOUPS 34768 WITH SCORE 34895.178
AT ITER 3036 NEW BEST:: SOT 197795 SOS 127052 HAS SOPS 116190 HAS SOUS 37387 HAS SOUPS 34708 WITH SCORE 34835.052
AT ITER 3042 NEW BEST:: SOT 197795 SOS 127050 HAS SOPS 116188 HAS SOUS 37387 HAS SOUPS 34708 WITH SCORE 34835.05
AT ITER 3054 NEW BEST:: SOT 197483 SOS 126870 HAS SOPS 115982 HAS SOUS 37283 HAS SOUPS 34591 WITH SCORE 34717.87
AT ITER 3060 NEW BEST:: SOT 197468 SOS 126908 HAS SOPS 115727 HAS SOUS 37335 HAS SOUPS 34483 WITH SCORE 34609.908
AT ITER 3070 NEW BEST:: SOT 197468 SOS 126868 HAS SOPS 115717 HAS SOUS 37325 HAS SOUPS 34478 WITH SCORE 34604.868
AT ITER 3076 NEW BEST:: SOT 197464 SOS 126864 HAS SOPS 115715 HAS SOUS 37321 HAS SOUPS 34476 WITH SCORE 34602.864
AT ITER 3082 NEW BEST:: SOT 197470 SOS 126870 HAS SOPS 115721 HAS SOUS 37210 HAS SOUPS 34365 WITH SCORE 34491.87
AT ITER 3105 NEW BEST:: SOT 197468 SOS 126868 HAS SOPS 115717 HAS SOUS 37206 HAS SOUPS 34361 WITH SCORE 34487.868
AT ITER 3127 NEW BEST:: SOT 197482 SOS 126896 HAS SOPS 115745 HAS SOUS 37160 HAS SOUPS 34315 WITH SCORE 34441.896
AT ITER 3142 NEW BEST:: SOT 197423 SOS 126813 HAS SOPS 115662 HAS SOUS 37066 HAS SOUPS 34221 WITH SCORE 34347.813
AT ITER 3165 NEW BEST:: SOT 197389 SOS 126769 HAS SOPS 115618 HAS SOUS 37046 HAS SOUPS 34201 WITH SCORE 34327.769
AT ITER 3174 NEW BEST:: SOT 197389 SOS 126769 HAS SOPS 115618 HAS SOUS 37022 HAS SOUPS 34177 WITH SCORE 34303.769
AT ITER 3176 NEW BEST:: SOT 197284 SOS 126773 HAS SOPS 115622 HAS SOUS 36978 HAS SOUPS 34133 WITH SCORE 34259.773
AT ITER 3180 NEW BEST:: SOT 197273 SOS 126762 HAS SOPS 115611 HAS SOUS 36967 HAS SOUPS 34122 WITH SCORE 34248.762
AT ITER 3185 NEW BEST:: SOT 197284 SOS 126744 HAS SOPS 115593 HAS SOUS 36962 HAS SOUPS 34117 WITH SCORE 34243.744
AT ITER 3207 NEW BEST:: SOT 197289 SOS 126749 HAS SOPS 115598 HAS SOUS 36909 HAS SOUPS 34064 WITH SCORE 34190.749
AT ITER 3213 NEW BEST:: SOT 197321 SOS 126749 HAS SOPS 115598 HAS SOUS 36868 HAS SOUPS 34023 WITH SCORE 34149.749
AT ITER 3214 NEW BEST:: SOT 197321 SOS 126686 HAS SOPS 115535 HAS SOUS 36807 HAS SOUPS 33962 WITH SCORE 34088.686
AT ITER 3229 NEW BEST:: SOT 197321 SOS 126686 HAS SOPS 115535 HAS SOUS 36667 HAS SOUPS 33822 WITH SCORE 33948.686
AT ITER 3232 NEW BEST:: SOT 197259 SOS 126614 HAS SOPS 115497 HAS SOUS 36563 HAS SOUPS 33784 WITH SCORE 33910.614
AT ITER 3239 NEW BEST:: SOT 197229 SOS 126554 HAS SOPS 115467 HAS SOUS 36503 HAS SOUPS 33784 WITH SCORE 33910.554
AT ITER 3262 NEW BEST:: SOT 197225 SOS 126550 HAS SOPS 115461 HAS SOUS 36499 HAS SOUPS 33778 WITH SCORE 33904.55
AT ITER 3269 NEW BEST:: SOT 197207 SOS 126460 HAS SOPS 115335 HAS SOUS 36499 HAS SOUPS 33760 WITH SCORE 33886.46
AT ITER 3271 NEW BEST:: SOT 197153 SOS 126361 HAS SOPS 115236 HAS SOUS 36436 HAS SOUPS 33697 WITH SCORE 33823.361
AT ITER 3276 NEW BEST:: SOT 197157 SOS 126369 HAS SOPS 115244 HAS SOUS 36422 HAS SOUPS 33683 WITH SCORE 33809.369
AT ITER 3283 NEW BEST:: SOT 197145 SOS 126357 HAS SOPS 115232 HAS SOUS 36416 HAS SOUPS 33677 WITH SCORE 33803.357
AT ITER 3287 NEW BEST:: SOT 197100 SOS 126312 HAS SOPS 115187 HAS SOUS 36416 HAS SOUPS 33677 WITH SCORE 33803.312
AT ITER 3288 NEW BEST:: SOT 197080 SOS 126292 HAS SOPS 115167 HAS SOUS 36386 HAS SOUPS 33647 WITH SCORE 33773.292
AT ITER 3290 NEW BEST:: SOT 196923 SOS 126135 HAS SOPS 115010 HAS SOUS 36386 HAS SOUPS 33647 WITH SCORE 33773.135
AT ITER 3298 NEW BEST:: SOT 196883 SOS 126215 HAS SOPS 115090 HAS SOUS 36346 HAS SOUPS 33607 WITH SCORE 33733.215
AT ITER 3322 NEW BEST:: SOT 196786 SOS 126206 HAS SOPS 115081 HAS SOUS 36337 HAS SOUPS 33598 WITH SCORE 33724.206
AT ITER 3333 NEW BEST:: SOT 196714 SOS 126134 HAS SOPS 115009 HAS SOUS 36312 HAS SOUPS 33573 WITH SCORE 33699.134
AT ITER 3335 NEW BEST:: SOT 196704 SOS 126124 HAS SOPS 114999 HAS SOUS 36308 HAS SOUPS 33569 WITH SCORE 33695.124
AT ITER 3337 NEW BEST:: SOT 196704 SOS 126099 HAS SOPS 114974 HAS SOUS 36308 HAS SOUPS 33569 WITH SCORE 33695.099
AT ITER 3349 NEW BEST:: SOT 196770 SOS 126165 HAS SOPS 115040 HAS SOUS 36242 HAS SOUPS 33503 WITH SCORE 33629.165
AT ITER 3357 NEW BEST:: SOT 196770 SOS 126168 HAS SOPS 115037 HAS SOUS 36239 HAS SOUPS 33500 WITH SCORE 33626.168
AT ITER 3388 NEW BEST:: SOT 196777 SOS 126175 HAS SOPS 115044 HAS SOUS 36233 HAS SOUPS 33494 WITH SCORE 33620.175
AT ITER 3416 NEW BEST:: SOT 196727 SOS 126125 HAS SOPS 114994 HAS SOUS 36208 HAS SOUPS 33469 WITH SCORE 33595.125
AT ITER 3433 NEW BEST:: SOT 196679 SOS 126029 HAS SOPS 114898 HAS SOUS 36205 HAS SOUPS 33466 WITH SCORE 33592.029
AT ITER 3435 NEW BEST:: SOT 196679 SOS 126023 HAS SOPS 114892 HAS SOUS 36199 HAS SOUPS 33460 WITH SCORE 33586.023
AT ITER 3456 NEW BEST:: SOT 196667 SOS 126003 HAS SOPS 114870 HAS SOUS 36195 HAS SOUPS 33456 WITH SCORE 33582.003
AT ITER 3486 NEW BEST:: SOT 196653 SOS 125938 HAS SOPS 114805 HAS SOUS 36130 HAS SOUPS 33391 WITH SCORE 33516.938
AT ITER 3505 NEW BEST:: SOT 196686 SOS 126085 HAS SOPS 114895 HAS SOUS 36116 HAS SOUPS 33377 WITH SCORE 33503.085
AT ITER 3508 NEW BEST:: SOT 196778 SOS 126177 HAS SOPS 114987 HAS SOUS 36050 HAS SOUPS 33311 WITH SCORE 33437.177
AT ITER 3510 NEW BEST:: SOT 196786 SOS 126185 HAS SOPS 114995 HAS SOUS 36040 HAS SOUPS 33301 WITH SCORE 33427.185
AT ITER 3524 NEW BEST:: SOT 196695 SOS 126003 HAS SOPS 114722 HAS SOUS 35981 HAS SOUPS 33242 WITH SCORE 33368.003
AT ITER 3531 NEW BEST:: SOT 196692 SOS 126000 HAS SOPS 114716 HAS SOUS 35975 HAS SOUPS 33236 WITH SCORE 33362.0
AT ITER 3533 NEW BEST:: SOT 196570 SOS 125842 HAS SOPS 114558 HAS SOUS 35855 HAS SOUPS 33116 WITH SCORE 33241.842
AT ITER 3554 NEW BEST:: SOT 196443 SOS 126352 HAS SOPS 115103 HAS SOUS 35733 HAS SOUPS 32994 WITH SCORE 33120.352
AT ITER 3560 NEW BEST:: SOT 196429 SOS 126324 HAS SOPS 115075 HAS SOUS 35656 HAS SOUPS 32917 WITH SCORE 33043.324
AT ITER 3574 NEW BEST:: SOT 196436 SOS 126338 HAS SOPS 115089 HAS SOUS 35649 HAS SOUPS 32910 WITH SCORE 33036.338
AT ITER 3577 NEW BEST:: SOT 196435 SOS 126337 HAS SOPS 115088 HAS SOUS 35646 HAS SOUPS 32907 WITH SCORE 33033.337
AT ITER 3578 NEW BEST:: SOT 196438 SOS 126340 HAS SOPS 115249 HAS SOUS 35455 HAS SOUPS 32758 WITH SCORE 32884.34
AT ITER 3584 NEW BEST:: SOT 196296 SOS 126198 HAS SOPS 115107 HAS SOUS 35332 HAS SOUPS 32635 WITH SCORE 32761.198
AT ITER 3595 NEW BEST:: SOT 196296 SOS 126207 HAS SOPS 115116 HAS SOUS 35323 HAS SOUPS 32626 WITH SCORE 32752.207
AT ITER 3609 NEW BEST:: SOT 196228 SOS 126111 HAS SOPS 114992 HAS SOUS 35291 HAS SOUPS 32594 WITH SCORE 32720.111
AT ITER 3610 NEW BEST:: SOT 196228 SOS 126111 HAS SOPS 114992 HAS SOUS 35285 HAS SOUPS 32588 WITH SCORE 32714.111
AT ITER 3618 NEW BEST:: SOT 196278 SOS 126161 HAS SOPS 115042 HAS SOUS 35215 HAS SOUPS 32518 WITH SCORE 32644.161
AT ITER 3639 NEW BEST:: SOT 196278 SOS 126161 HAS SOPS 115042 HAS SOUS 35214 HAS SOUPS 32517 WITH SCORE 32643.161
AT ITER 3663 NEW BEST:: SOT 196271 SOS 126154 HAS SOPS 115057 HAS SOUS 35179 HAS SOUPS 32482 WITH SCORE 32608.154
AT ITER 3666 NEW BEST:: SOT 196269 SOS 126152 HAS SOPS 115055 HAS SOUS 35175 HAS SOUPS 32478 WITH SCORE 32604.152
AT ITER 3672 NEW BEST:: SOT 196013 SOS 126977 HAS SOPS 116160 HAS SOUS 35074 HAS SOUPS 32377 WITH SCORE 32503.977
AT ITER 3688 NEW BEST:: SOT 196013 SOS 126977 HAS SOPS 116160 HAS SOUS 35068 HAS SOUPS 32371 WITH SCORE 32497.977
AT ITER 3693 NEW BEST:: SOT 196009 SOS 126973 HAS SOPS 116156 HAS SOUS 35066 HAS SOUPS 32369 WITH SCORE 32495.973
AT ITER 3702 NEW BEST:: SOT 195914 SOS 126825 HAS SOPS 116008 HAS SOUS 34948 HAS SOUPS 32251 WITH SCORE 32377.825
AT ITER 3708 NEW BEST:: SOT 195784 SOS 126949 HAS SOPS 115748 HAS SOUS 34953 HAS SOUPS 32123 WITH SCORE 32249.949
AT ITER 3709 NEW BEST:: SOT 195704 SOS 126943 HAS SOPS 115742 HAS SOUS 34867 HAS SOUPS 32037 WITH SCORE 32163.943
AT ITER 3720 NEW BEST:: SOT 195702 SOS 126941 HAS SOPS 115740 HAS SOUS 34863 HAS SOUPS 32033 WITH SCORE 32159.941
AT ITER 3726 NEW BEST:: SOT 195489 SOS 127666 HAS SOPS 116465 HAS SOUS 34749 HAS SOUPS 31919 WITH SCORE 32046.666
AT ITER 3758 NEW BEST:: SOT 195394 SOS 127571 HAS SOPS 116370 HAS SOUS 34654 HAS SOUPS 31824 WITH SCORE 31951.571
AT ITER 3781 NEW BEST:: SOT 195530 SOS 127737 HAS SOPS 116536 HAS SOUS 34587 HAS SOUPS 31757 WITH SCORE 31884.737
AT ITER 3782 NEW BEST:: SOT 195475 SOS 127682 HAS SOPS 116481 HAS SOUS 34587 HAS SOUPS 31757 WITH SCORE 31884.682
AT ITER 3795 NEW BEST:: SOT 195475 SOS 127666 HAS SOPS 116468 HAS SOUS 34584 HAS SOUPS 31757 WITH SCORE 31884.666
AT ITER 3836 NEW BEST:: SOT 195498 SOS 127688 HAS SOPS 116485 HAS SOUS 34571 HAS SOUPS 31744 WITH SCORE 31871.688
AT ITER 3838 NEW BEST:: SOT 195473 SOS 127622 HAS SOPS 116419 HAS SOUS 34399 HAS SOUPS 31572 WITH SCORE 31699.622
AT ITER 3841 NEW BEST:: SOT 195423 SOS 127572 HAS SOPS 116369 HAS SOUS 34299 HAS SOUPS 31472 WITH SCORE 31599.572
AT ITER 3847 NEW BEST:: SOT 195395 SOS 127544 HAS SOPS 116329 HAS SOUS 34291 HAS SOUPS 31464 WITH SCORE 31591.544
AT ITER 3872 NEW BEST:: SOT 195388 SOS 127533 HAS SOPS 116318 HAS SOUS 34290 HAS SOUPS 31463 WITH SCORE 31590.533
AT ITER 3883 NEW BEST:: SOT 195319 SOS 127418 HAS SOPS 116203 HAS SOUS 34221 HAS SOUPS 31394 WITH SCORE 31521.418
AT ITER 3916 NEW BEST:: SOT 195319 SOS 127409 HAS SOPS 116194 HAS SOUS 34194 HAS SOUPS 31367 WITH SCORE 31494.409
AT ITER 3922 NEW BEST:: SOT 195101 SOS 127191 HAS SOPS 115976 HAS SOUS 34127 HAS SOUPS 31300 WITH SCORE 31427.191
AT ITER 3926 NEW BEST:: SOT 195260 SOS 127350 HAS SOPS 116135 HAS SOUS 34120 HAS SOUPS 31293 WITH SCORE 31420.35
AT ITER 3999 NEW BEST:: SOT 195260 SOS 127325 HAS SOPS 116110 HAS SOUS 34095 HAS SOUPS 31268 WITH SCORE 31395.325
AT ITER 4020 NEW BEST:: SOT 195260 SOS 127325 HAS SOPS 116110 HAS SOUS 34059 HAS SOUPS 31232 WITH SCORE 31359.325
AT ITER 4092 NEW BEST:: SOT 195282 SOS 127347 HAS SOPS 116132 HAS SOUS 34057 HAS SOUPS 31230 WITH SCORE 31357.347
AT ITER 4107 NEW BEST:: SOT 195306 SOS 127371 HAS SOPS 116156 HAS SOUS 34043 HAS SOUPS 31216 WITH SCORE 31343.371
AT ITER 4115 NEW BEST:: SOT 195347 SOS 127453 HAS SOPS 116238 HAS SOUS 34002 HAS SOUPS 31175 WITH SCORE 31302.453
AT ITER 4121 NEW BEST:: SOT 195301 SOS 127272 HAS SOPS 116057 HAS SOUS 33930 HAS SOUPS 31103 WITH SCORE 31230.272
AT ITER 4138 NEW BEST:: SOT 195267 SOS 127238 HAS SOPS 116023 HAS SOUS 33883 HAS SOUPS 31056 WITH SCORE 31183.238
AT ITER 4141 NEW BEST:: SOT 195241 SOS 127212 HAS SOPS 115997 HAS SOUS 33857 HAS SOUPS 31030 WITH SCORE 31157.212
AT ITER 4147 NEW BEST:: SOT 195279 SOS 127250 HAS SOPS 116035 HAS SOUS 33829 HAS SOUPS 31002 WITH SCORE 31129.25
AT ITER 4148 NEW BEST:: SOT 195317 SOS 127288 HAS SOPS 116092 HAS SOUS 33777 HAS SOUPS 30969 WITH SCORE 31096.288
AT ITER 4149 NEW BEST:: SOT 195317 SOS 127348 HAS SOPS 116152 HAS SOUS 33726 HAS SOUPS 30918 WITH SCORE 31045.348
AT ITER 4150 NEW BEST:: SOT 195317 SOS 128214 HAS SOPS 117018 HAS SOUS 33723 HAS SOUPS 30915 WITH SCORE 31043.214
AT ITER 4152 NEW BEST:: SOT 195317 SOS 128214 HAS SOPS 117018 HAS SOUS 33707 HAS SOUPS 30899 WITH SCORE 31027.214
AT ITER 4174 NEW BEST:: SOT 195279 SOS 128138 HAS SOPS 116942 HAS SOUS 33688 HAS SOUPS 30880 WITH SCORE 31008.138
AT ITER 4210 NEW BEST:: SOT 195217 SOS 128076 HAS SOPS 116880 HAS SOUS 33688 HAS SOUPS 30880 WITH SCORE 31008.076
AT ITER 4216 NEW BEST:: SOT 195093 SOS 127883 HAS SOPS 116687 HAS SOUS 33673 HAS SOUPS 30865 WITH SCORE 30992.883
AT ITER 4218 NEW BEST:: SOT 195082 SOS 127863 HAS SOPS 116667 HAS SOUS 33669 HAS SOUPS 30861 WITH SCORE 30988.863
AT ITER 4220 NEW BEST:: SOT 195006 SOS 127737 HAS SOPS 116541 HAS SOUS 33657 HAS SOUPS 30849 WITH SCORE 30976.737
AT ITER 4244 NEW BEST:: SOT 195016 SOS 127751 HAS SOPS 116555 HAS SOUS 33588 HAS SOUPS 30780 WITH SCORE 30907.751
AT ITER 4249 NEW BEST:: SOT 195010 SOS 127735 HAS SOPS 116539 HAS SOUS 33560 HAS SOUPS 30752 WITH SCORE 30879.735
AT ITER 4253 NEW BEST:: SOT 194956 SOS 127681 HAS SOPS 116485 HAS SOUS 33506 HAS SOUPS 30698 WITH SCORE 30825.681
AT ITER 4273 NEW BEST:: SOT 194692 SOS 127343 HAS SOPS 116147 HAS SOUS 33453 HAS SOUPS 30645 WITH SCORE 30772.343
AT ITER 4318 NEW BEST:: SOT 194673 SOS 127324 HAS SOPS 116109 HAS SOUS 33415 HAS SOUPS 30607 WITH SCORE 30734.324
AT ITER 4323 NEW BEST:: SOT 194605 SOS 127265 HAS SOPS 116050 HAS SOUS 33404 HAS SOUPS 30596 WITH SCORE 30723.265
AT ITER 4327 NEW BEST:: SOT 194557 SOS 127217 HAS SOPS 116002 HAS SOUS 33404 HAS SOUPS 30596 WITH SCORE 30723.217
AT ITER 4339 NEW BEST:: SOT 194549 SOS 127209 HAS SOPS 115994 HAS SOUS 33380 HAS SOUPS 30572 WITH SCORE 30699.209
AT ITER 4341 NEW BEST:: SOT 194549 SOS 127071 HAS SOPS 115856 HAS SOUS 33378 HAS SOUPS 30570 WITH SCORE 30697.071
AT ITER 4349 NEW BEST:: SOT 194523 SOS 127019 HAS SOPS 115804 HAS SOUS 33339 HAS SOUPS 30531 WITH SCORE 30658.019
AT ITER 4366 NEW BEST:: SOT 194527 SOS 127023 HAS SOPS 115808 HAS SOUS 33335 HAS SOUPS 30527 WITH SCORE 30654.023
AT ITER 4371 NEW BEST:: SOT 194523 SOS 127015 HAS SOPS 115800 HAS SOUS 33327 HAS SOUPS 30519 WITH SCORE 30646.015
AT ITER 4394 NEW BEST:: SOT 194694 SOS 127190 HAS SOPS 115975 HAS SOUS 33325 HAS SOUPS 30517 WITH SCORE 30644.19
AT ITER 4423 NEW BEST:: SOT 194660 SOS 127139 HAS SOPS 115907 HAS SOUS 33274 HAS SOUPS 30466 WITH SCORE 30593.139
AT ITER 4426 NEW BEST:: SOT 194660 SOS 127139 HAS SOPS 115907 HAS SOUS 33252 HAS SOUPS 30444 WITH SCORE 30571.139
AT ITER 4436 NEW BEST:: SOT 194660 SOS 127123 HAS SOPS 115907 HAS SOUS 33252 HAS SOUPS 30444 WITH SCORE 30571.123
AT ITER 4456 NEW BEST:: SOT 194649 SOS 127112 HAS SOPS 115940 HAS SOUS 33186 HAS SOUPS 30422 WITH SCORE 30549.112
AT ITER 4459 NEW BEST:: SOT 194592 SOS 127055 HAS SOPS 115883 HAS SOUS 33162 HAS SOUPS 30398 WITH SCORE 30525.055
AT ITER 4488 NEW BEST:: SOT 194625 SOS 127063 HAS SOPS 115868 HAS SOUS 33157 HAS SOUPS 30383 WITH SCORE 30510.063
AT ITER 4509 NEW BEST:: SOT 194463 SOS 126817 HAS SOPS 115622 HAS SOUS 33015 HAS SOUPS 30241 WITH SCORE 30367.817
AT ITER 4535 NEW BEST:: SOT 194419 SOS 126773 HAS SOPS 115610 HAS SOUS 32971 HAS SOUPS 30229 WITH SCORE 30355.773
AT ITER 4567 NEW BEST:: SOT 194448 SOS 126862 HAS SOPS 115699 HAS SOUS 32860 HAS SOUPS 30118 WITH SCORE 30244.862
AT ITER 4624 NEW BEST:: SOT 194434 SOS 126841 HAS SOPS 115671 HAS SOUS 32832 HAS SOUPS 30090 WITH SCORE 30216.841
AT ITER 4668 NEW BEST:: SOT 194434 SOS 126841 HAS SOPS 115671 HAS SOUS 32830 HAS SOUPS 30088 WITH SCORE 30214.841
AT ITER 4720 NEW BEST:: SOT 194401 SOS 126792 HAS SOPS 115606 HAS SOUS 32782 HAS SOUPS 30040 WITH SCORE 30166.792
AT ITER 4776 NEW BEST:: SOT 194393 SOS 126798 HAS SOPS 115612 HAS SOUS 32766 HAS SOUPS 30024 WITH SCORE 30150.798
AT ITER 4779 NEW BEST:: SOT 194393 SOS 126855 HAS SOPS 115612 HAS SOUS 32766 HAS SOUPS 30005 WITH SCORE 30131.855
AT ITER 4794 NEW BEST:: SOT 194328 SOS 126686 HAS SOPS 115443 HAS SOUS 32650 HAS SOUPS 29889 WITH SCORE 30015.686
AT ITER 4800 NEW BEST:: SOT 194324 SOS 126682 HAS SOPS 115439 HAS SOUS 32648 HAS SOUPS 29887 WITH SCORE 30013.682
AT ITER 4808 NEW BEST:: SOT 194351 SOS 126709 HAS SOPS 115466 HAS SOUS 32608 HAS SOUPS 29847 WITH SCORE 29973.709
AT ITER 4816 NEW BEST:: SOT 194226 SOS 126490 HAS SOPS 115247 HAS SOUS 32461 HAS SOUPS 29700 WITH SCORE 29826.49
AT ITER 4836 NEW BEST:: SOT 194161 SOS 126425 HAS SOPS 115182 HAS SOUS 32397 HAS SOUPS 29636 WITH SCORE 29762.425
AT ITER 4859 NEW BEST:: SOT 194150 SOS 126450 HAS SOPS 115207 HAS SOUS 32387 HAS SOUPS 29626 WITH SCORE 29752.45
AT ITER 4915 NEW BEST:: SOT 194133 SOS 126433 HAS SOPS 115190 HAS SOUS 32318 HAS SOUPS 29557 WITH SCORE 29683.433
AT ITER 4933 NEW BEST:: SOT 194133 SOS 126413 HAS SOPS 115170 HAS SOUS 32318 HAS SOUPS 29557 WITH SCORE 29683.413
AT ITER 4944 NEW BEST:: SOT 194125 SOS 126405 HAS SOPS 115162 HAS SOUS 32312 HAS SOUPS 29551 WITH SCORE 29677.405
AT ITER 4983 NEW BEST:: SOT 194117 SOS 126397 HAS SOPS 115154 HAS SOUS 32304 HAS SOUPS 29543 WITH SCORE 29669.397
AT ITER 4998 NEW BEST:: SOT 194117 SOS 126397 HAS SOPS 115148 HAS SOUS 32301 HAS SOUPS 29540 WITH SCORE 29666.397
Bounds file is: CTLFireability.xml
PROPERTY: Vasy2003-PT-none-CTLFireability-00 (AG( (! ( ( ( ((potential((tk(P183)>=1) & (tk(P481)>=1)))) | ((potential((tk(P408)>=1) & (tk(P481)>=1)))) ) | ( ((potential((tk(P26)>=1) & (tk(P43)>=1)))) | ((potential((tk(P49)>=1) & (tk(P449)>=1)))) ) ) & ((potential((tk(P408)>=1) & (tk(P466)>=1)))) ))))
PROPERTY: Vasy2003-PT-none-CTLFireability-01 (EF( (AX( (EG( ((potential((tk(P318)>=1) & (tk(P481)>=1))))))))))
PROPERTY: Vasy2003-PT-none-CTLFireability-02 ( ( (AX( (EF( ((potential((tk(P477)>=1)))))))) & ( (! ( (! ((potential((tk(P395)>=1) & (tk(P481)>=1))))) & (! ((potential((tk(P125)>=1) & (tk(P167)>=1))))) )) & ((potential((tk(P387)>=1) & (tk(P481)>=1)))) ) ) | (EF( ( (! ((potential((tk(P125)>=1) & (tk(P167)>=1))))) & (AG( ((potential((tk(P153)>=1)))))) ))) )
PROPERTY: Vasy2003-PT-none-CTLFireability-03 (EG( (EF( (! (! ((potential((tk(P181)>=1) & (tk(P481)>=1))))))))))
PROPERTY: Vasy2003-PT-none-CTLFireability-04 ( (EF( ((potential((tk(P249)>=1) & (tk(P482)>=1)))))) & (AX( ((potential((tk(P103)>=1) & (tk(P118)>=1)))))) )
PROPERTY: Vasy2003-PT-none-CTLFireability-05 (EF( (AU( ( ((potential((tk(P368)>=1)))) | ((potential((tk(P431)>=1)))) ) , ( ((potential((tk(P118)>=1) & (tk(P437)>=1)))) | ((potential((tk(P112)>=1) & (tk(P248)>=1)))) ) ))))
PROPERTY: Vasy2003-PT-none-CTLFireability-06 (EU( (EF( ( ((potential((tk(P442)>=1) & (tk(P466)>=1)))) & ((potential((tk(P477)>=1) & (tk(P485)>=1)))) ))) , ( (EX( ((potential((tk(P151)>=1) & (tk(P481)>=1)))))) & (! ( ((potential((tk(P26)>=1) & (tk(P45)>=1)))) & ((potential((tk(P127)>=1) & (tk(P302)>=1)))) )) ) ))
PROPERTY: Vasy2003-PT-none-CTLFireability-07 ( (EF( ( ( ( ((potential((tk(P468)>=1)))) & ((potential((tk(P136)>=1)))) ) | ((potential((tk(P253)>=1) & (tk(P481)>=1)))) ) | ( ( ((potential((tk(P127)>=1) & (tk(P408)>=1)))) | ((potential((tk(P125)>=1) & (tk(P399)>=1)))) ) & ( ((potential((tk(P244)>=1) & (tk(P466)>=1)))) | ((potential((tk(P21)>=1) & (tk(P102)>=1)))) ) ) ))) | ( ( ( ( ( ((potential((tk(P117)>=1)))) | ((potential((tk(P125)>=1) & (tk(P162)>=1)))) ) | (! ((potential((tk(P161)>=1))))) ) & (AX( ((potential((tk(P127)>=1) & (tk(P175)>=1)))))) ) & (AG( ((potential((tk(P362)>=1)))))) ) & (EF( ( ( ((potential((tk(P125)>=1) & (tk(P342)>=1)))) | ((potential((tk(P127)>=1) & (tk(P355)>=1)))) ) & ( ((potential((tk(P468)>=1)))) | ((potential((tk(P420)>=1)))) ) ))) ) )
PROPERTY: Vasy2003-PT-none-CTLFireability-08 ( (AX( (AF( (! ((potential((tk(P127)>=1) & (tk(P408)>=1))))))))) & (AG( (! ( (! ((potential((tk(P442)>=1) & (tk(P466)>=1))))) & ( ((potential((tk(P380)>=1) & (tk(P481)>=1)))) & ((potential((tk(P303)>=1) & (tk(P483)>=1)))) ) )))) )
PROPERTY: Vasy2003-PT-none-CTLFireability-09 ( ( ((potential((tk(P318)>=1) & (tk(P466)>=1)))) | (! (! (AF( ((potential((tk(P65)>=1) & (tk(P76)>=1)))))))) ) | ( ((potential((tk(P169)>=1)))) | ( (EG( ((potential((tk(P112)>=1) & (tk(P306)>=1)))))) | (EF( ( ((potential((tk(P451)>=1) & (tk(P481)>=1)))) & ((potential((tk(P477)>=1)))) ))) ) ) )
PROPERTY: Vasy2003-PT-none-CTLFireability-10 ( (AU( ((potential((tk(P26)>=1) & (tk(P41)>=1)))) , (! (! ((potential((tk(P16)>=1) & (tk(P39)>=1)))))) )) | (! ( (EU( ((potential((tk(P26)>=1) & (tk(P33)>=1)))) , ((potential((tk(P127)>=1) & (tk(P258)>=1)))) )) | (EF( ((potential((tk(P127)>=1) & (tk(P208)>=1)))))) )) )
PROPERTY: Vasy2003-PT-none-CTLFireability-11 ( ( ((potential((tk(P456)>=1)))) | (EF( (EG( ((potential((tk(P125)>=1) & (tk(P317)>=1)))))))) ) | ((potential((tk(P390)>=1)))) )
PROPERTY: Vasy2003-PT-none-CTLFireability-12 ( ( ( ( (EX( ((potential((tk(P79)>=1) & (tk(P120)>=1)))))) & (EG( ((potential((tk(P184)>=1) & (tk(P466)>=1)))))) ) | ((potential((tk(P127)>=1) & (tk(P244)>=1)))) ) | (EF( (AX( ((potential((tk(P122)>=1) & (tk(P126)>=1)))))))) ) | ( (AG( ( (! ((potential((tk(P421)>=1) & (tk(P466)>=1))))) & ((potential((tk(P127)>=1) & (tk(P408)>=1)))) ))) | ( (EF( ( ((potential((tk(P44)>=1)))) & ((potential((tk(P127)>=1) & (tk(P431)>=1)))) ))) | ((potential((tk(P27)>=1) & (tk(P115)>=1)))) ) ) )
PROPERTY: Vasy2003-PT-none-CTLFireability-13 ( ( (! ( ((potential((tk(P89)>=1) & (tk(P112)>=1)))) | (! ((potential((tk(P272)>=1) & (tk(P466)>=1))))) )) | (AG( (! ((potential((tk(P127)>=1) & (tk(P302)>=1))))))) ) | ( ( ( (! ( ((potential((tk(P127)>=1) & (tk(P299)>=1)))) | ((potential((tk(P127)>=1) & (tk(P356)>=1)))) )) | (EG( ((potential((tk(P125)>=1) & (tk(P276)>=1)))))) ) & ( ( ((potential((tk(P49)>=1)))) & ( ((potential((tk(P57)>=1) & (tk(P64)>=1)))) | ((potential((tk(P168)>=1) & (tk(P466)>=1)))) ) ) | (EG( ((potential((tk(P99)>=1) & (tk(P115)>=1)))))) ) ) | (AG( (AX( ((potential((tk(P26)>=1) & (tk(P45)>=1)))))))) ) )
PROPERTY: Vasy2003-PT-none-CTLFireability-14 (! ( ( ( ( ((potential((tk(P327)>=1)))) & ( ((potential((tk(P302)>=1) & (tk(P481)>=1)))) | ((potential((tk(P26)>=1) & (tk(P33)>=1)))) ) ) | (EX( ((potential((tk(P191)>=1) & (tk(P484)>=1)))))) ) | ( ((potential((tk(P57)>=1) & (tk(P449)>=1)))) & (EG( ((potential((tk(P233)>=1)))))) ) ) | (AX( (EF( ((potential((tk(P227)>=1)))))))) ))
PROPERTY: Vasy2003-PT-none-CTLFireability-15 (AG( ( ((potential((tk(P127)>=1) & (tk(P431)>=1)))) | (! (! (! ((potential((tk(P244)>=1) & (tk(P466)>=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="Vasy2003-PT-none"
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 Vasy2003-PT-none, 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 r190-csrt-159033383000604"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none 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 '
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 ;