Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r515-tall-167987242200240.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is EisenbergMcGuire-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 932K
-rw-r--r-- 1 mcc users 9.1K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 14K Mar 23 15:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Mar 23 15:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Mar 23 15:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 421K Mar 26 22:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679879897346

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EisenbergMcGuire-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 295 places, 800 transitions, 3600 arcs.
AT ITER 0 NEW BEST:: SOT 171997 SOS 86699 HAS SOPS 61156 HAS SOUS 48654 HAS SOUPS 46176 WITH SCORE 46262.699
AT ITER 4 NEW BEST:: SOT 172042 SOS 86674 HAS SOPS 61176 HAS SOUS 48615 HAS SOUPS 46137 WITH SCORE 46223.674
AT ITER 8 NEW BEST:: SOT 172042 SOS 86626 HAS SOPS 61128 HAS SOUS 48615 HAS SOUPS 46137 WITH SCORE 46223.626
AT ITER 11 NEW BEST:: SOT 172027 SOS 86611 HAS SOPS 61071 HAS SOUS 48570 HAS SOUPS 46080 WITH SCORE 46166.611
AT ITER 18 NEW BEST:: SOT 172258 SOS 85370 HAS SOPS 60985 HAS SOUS 48377 HAS SOUPS 46081 WITH SCORE 46166.37
AT ITER 27 NEW BEST:: SOT 172207 SOS 85224 HAS SOPS 60839 HAS SOUS 48277 HAS SOUPS 45981 WITH SCORE 46066.224
AT ITER 29 NEW BEST:: SOT 172063 SOS 85324 HAS SOPS 61084 HAS SOUS 48117 HAS SOUPS 45821 WITH SCORE 45906.324
AT ITER 30 NEW BEST:: SOT 172063 SOS 85276 HAS SOPS 61036 HAS SOUS 48117 HAS SOUPS 45821 WITH SCORE 45906.276
AT ITER 36 NEW BEST:: SOT 172057 SOS 85245 HAS SOPS 61041 HAS SOUS 48101 HAS SOUPS 45805 WITH SCORE 45890.245
AT ITER 49 NEW BEST:: SOT 172057 SOS 85226 HAS SOPS 61022 HAS SOUS 48101 HAS SOUPS 45805 WITH SCORE 45890.226
AT ITER 56 NEW BEST:: SOT 171059 SOS 84470 HAS SOPS 59979 HAS SOUS 47543 HAS SOUPS 45035 WITH SCORE 45119.47
AT ITER 60 NEW BEST:: SOT 171026 SOS 84404 HAS SOPS 59913 HAS SOUS 47526 HAS SOUPS 45018 WITH SCORE 45102.404
AT ITER 63 NEW BEST:: SOT 170998 SOS 84404 HAS SOPS 59899 HAS SOUS 47512 HAS SOUPS 44990 WITH SCORE 45074.404
AT ITER 67 NEW BEST:: SOT 171048 SOS 84413 HAS SOPS 59870 HAS SOUS 47483 HAS SOUPS 44961 WITH SCORE 45045.413
AT ITER 72 NEW BEST:: SOT 171030 SOS 84395 HAS SOPS 59798 HAS SOUS 47456 HAS SOUPS 44889 WITH SCORE 44973.395
AT ITER 85 NEW BEST:: SOT 170959 SOS 84127 HAS SOPS 59530 HAS SOUS 47385 HAS SOUPS 44818 WITH SCORE 44902.127
AT ITER 87 NEW BEST:: SOT 170750 SOS 83850 HAS SOPS 59373 HAS SOUS 47195 HAS SOUPS 44661 WITH SCORE 44744.85
AT ITER 89 NEW BEST:: SOT 171310 SOS 84457 HAS SOPS 59134 HAS SOUS 46792 HAS SOUPS 44422 WITH SCORE 44506.457
AT ITER 91 NEW BEST:: SOT 171320 SOS 84494 HAS SOPS 59100 HAS SOUS 46784 HAS SOUPS 44388 WITH SCORE 44472.494
AT ITER 94 NEW BEST:: SOT 171185 SOS 84425 HAS SOPS 59449 HAS SOUS 46777 HAS SOUPS 44381 WITH SCORE 44465.425
AT ITER 98 NEW BEST:: SOT 171982 SOS 85571 HAS SOPS 59687 HAS SOUS 46537 HAS SOUPS 44187 WITH SCORE 44272.571
AT ITER 114 NEW BEST:: SOT 171941 SOS 85499 HAS SOPS 59667 HAS SOUS 46504 HAS SOUPS 44149 WITH SCORE 44234.499
AT ITER 116 NEW BEST:: SOT 171826 SOS 85929 HAS SOPS 60049 HAS SOUS 46414 HAS SOUPS 44059 WITH SCORE 44144.929
AT ITER 117 NEW BEST:: SOT 169297 SOS 88002 HAS SOPS 65018 HAS SOUS 45500 HAS SOUPS 43147 WITH SCORE 43235.002
AT ITER 118 NEW BEST:: SOT 169183 SOS 90759 HAS SOPS 64591 HAS SOUS 45514 HAS SOUPS 42979 WITH SCORE 43069.759
AT ITER 122 NEW BEST:: SOT 169178 SOS 90363 HAS SOPS 64195 HAS SOUS 45488 HAS SOUPS 42953 WITH SCORE 43043.363
AT ITER 126 NEW BEST:: SOT 169065 SOS 90295 HAS SOPS 64087 HAS SOUS 45420 HAS SOUPS 42865 WITH SCORE 42955.295
AT ITER 133 NEW BEST:: SOT 168859 SOS 90202 HAS SOPS 63583 HAS SOUS 45300 HAS SOUPS 42708 WITH SCORE 42798.202
AT ITER 136 NEW BEST:: SOT 168768 SOS 90002 HAS SOPS 63019 HAS SOUS 44711 HAS SOUPS 42119 WITH SCORE 42209.002
AT ITER 138 NEW BEST:: SOT 168767 SOS 90000 HAS SOPS 63017 HAS SOUS 44709 HAS SOUPS 42117 WITH SCORE 42207.0
AT ITER 140 NEW BEST:: SOT 168577 SOS 89792 HAS SOPS 62809 HAS SOUS 44501 HAS SOUPS 41909 WITH SCORE 41998.792
AT ITER 143 NEW BEST:: SOT 168565 SOS 89774 HAS SOPS 62771 HAS SOUS 44489 HAS SOUPS 41897 WITH SCORE 41986.774
AT ITER 144 NEW BEST:: SOT 168565 SOS 89763 HAS SOPS 62771 HAS SOUS 44478 HAS SOUPS 41897 WITH SCORE 41986.763
AT ITER 151 NEW BEST:: SOT 168554 SOS 89451 HAS SOPS 62459 HAS SOUS 44456 HAS SOUPS 41875 WITH SCORE 41964.451
AT ITER 153 NEW BEST:: SOT 168512 SOS 89241 HAS SOPS 62249 HAS SOUS 44350 HAS SOUPS 41769 WITH SCORE 41858.241
AT ITER 159 NEW BEST:: SOT 168411 SOS 88938 HAS SOPS 60936 HAS SOUS 43138 HAS SOUPS 40557 WITH SCORE 40645.938
AT ITER 161 NEW BEST:: SOT 168355 SOS 88825 HAS SOPS 60851 HAS SOUS 43064 HAS SOUPS 40483 WITH SCORE 40571.825
AT ITER 171 NEW BEST:: SOT 166887 SOS 87305 HAS SOPS 59331 HAS SOUS 42800 HAS SOUPS 40219 WITH SCORE 40306.305
AT ITER 172 NEW BEST:: SOT 166880 SOS 87251 HAS SOPS 59324 HAS SOUS 42793 HAS SOUPS 40212 WITH SCORE 40299.251
AT ITER 174 NEW BEST:: SOT 166341 SOS 90415 HAS SOPS 59680 HAS SOUS 42962 HAS SOUPS 40170 WITH SCORE 40260.415
AT ITER 182 NEW BEST:: SOT 166117 SOS 90125 HAS SOPS 59633 HAS SOUS 42655 HAS SOUPS 39907 WITH SCORE 39997.125
AT ITER 186 NEW BEST:: SOT 166069 SOS 89885 HAS SOPS 59393 HAS SOUS 42582 HAS SOUPS 39834 WITH SCORE 39923.885
AT ITER 197 NEW BEST:: SOT 166044 SOS 89756 HAS SOPS 59029 HAS SOUS 42383 HAS SOUPS 39470 WITH SCORE 39559.756
AT ITER 199 NEW BEST:: SOT 164839 SOS 91159 HAS SOPS 57842 HAS SOUS 41497 HAS SOUPS 38454 WITH SCORE 38545.159
AT ITER 203 NEW BEST:: SOT 164839 SOS 91095 HAS SOPS 57778 HAS SOUS 41497 HAS SOUPS 38454 WITH SCORE 38545.095
AT ITER 204 NEW BEST:: SOT 164846 SOS 91085 HAS SOPS 57768 HAS SOUS 41487 HAS SOUPS 38444 WITH SCORE 38535.085
AT ITER 206 NEW BEST:: SOT 164827 SOS 91047 HAS SOPS 57730 HAS SOUS 41449 HAS SOUPS 38406 WITH SCORE 38497.047
AT ITER 207 NEW BEST:: SOT 164820 SOS 90945 HAS SOPS 57628 HAS SOUS 41435 HAS SOUPS 38392 WITH SCORE 38482.945
AT ITER 220 NEW BEST:: SOT 164764 SOS 90803 HAS SOPS 57342 HAS SOUS 41280 HAS SOUPS 38167 WITH SCORE 38257.803
AT ITER 223 NEW BEST:: SOT 164764 SOS 90726 HAS SOPS 57265 HAS SOUS 41280 HAS SOUPS 38167 WITH SCORE 38257.726
AT ITER 227 NEW BEST:: SOT 164764 SOS 90710 HAS SOPS 57249 HAS SOUS 41280 HAS SOUPS 38167 WITH SCORE 38257.71
AT ITER 231 NEW BEST:: SOT 164010 SOS 89910 HAS SOPS 59115 HAS SOUS 41195 HAS SOUPS 38020 WITH SCORE 38109.91
AT ITER 239 NEW BEST:: SOT 163994 SOS 89754 HAS SOPS 58959 HAS SOUS 41163 HAS SOUPS 37988 WITH SCORE 38077.754
AT ITER 244 NEW BEST:: SOT 163812 SOS 89572 HAS SOPS 58871 HAS SOUS 41182 HAS SOUPS 37912 WITH SCORE 38001.572
AT ITER 247 NEW BEST:: SOT 163812 SOS 89572 HAS SOPS 58871 HAS SOUS 41180 HAS SOUPS 37910 WITH SCORE 37999.572
AT ITER 257 NEW BEST:: SOT 163718 SOS 89488 HAS SOPS 58744 HAS SOUS 41028 HAS SOUPS 37769 WITH SCORE 37858.488
AT ITER 264 NEW BEST:: SOT 163705 SOS 89514 HAS SOPS 58770 HAS SOUS 41002 HAS SOUPS 37743 WITH SCORE 37832.514
AT ITER 268 NEW BEST:: SOT 163705 SOS 89533 HAS SOPS 58751 HAS SOUS 40983 HAS SOUPS 37724 WITH SCORE 37813.533
AT ITER 275 NEW BEST:: SOT 163608 SOS 89413 HAS SOPS 58693 HAS SOUS 40917 HAS SOUPS 37595 WITH SCORE 37684.413
AT ITER 281 NEW BEST:: SOT 163601 SOS 89464 HAS SOPS 58744 HAS SOUS 40903 HAS SOUPS 37581 WITH SCORE 37670.464
AT ITER 289 NEW BEST:: SOT 163601 SOS 89419 HAS SOPS 58699 HAS SOUS 40903 HAS SOUPS 37581 WITH SCORE 37670.419
AT ITER 298 NEW BEST:: SOT 163651 SOS 89411 HAS SOPS 58521 HAS SOUS 40871 HAS SOUPS 37549 WITH SCORE 37638.411
AT ITER 300 NEW BEST:: SOT 163600 SOS 89429 HAS SOPS 58539 HAS SOUS 40756 HAS SOUPS 37434 WITH SCORE 37523.429
AT ITER 303 NEW BEST:: SOT 163522 SOS 89286 HAS SOPS 58535 HAS SOUS 40677 HAS SOUPS 37418 WITH SCORE 37507.286
AT ITER 313 NEW BEST:: SOT 163511 SOS 89268 HAS SOPS 58517 HAS SOUS 40659 HAS SOUPS 37400 WITH SCORE 37489.268
AT ITER 316 NEW BEST:: SOT 163511 SOS 89255 HAS SOPS 58504 HAS SOUS 40659 HAS SOUPS 37400 WITH SCORE 37489.255
AT ITER 322 NEW BEST:: SOT 163511 SOS 89276 HAS SOPS 58525 HAS SOUS 40651 HAS SOUPS 37392 WITH SCORE 37481.276
AT ITER 324 NEW BEST:: SOT 163475 SOS 89282 HAS SOPS 58411 HAS SOUS 40639 HAS SOUPS 37278 WITH SCORE 37367.282
AT ITER 332 NEW BEST:: SOT 163473 SOS 89313 HAS SOPS 58432 HAS SOUS 40635 HAS SOUPS 37274 WITH SCORE 37363.313
AT ITER 333 NEW BEST:: SOT 163465 SOS 89350 HAS SOPS 58469 HAS SOUS 40619 HAS SOUPS 37258 WITH SCORE 37347.35
AT ITER 339 NEW BEST:: SOT 163461 SOS 89299 HAS SOPS 58418 HAS SOUS 40611 HAS SOUPS 37250 WITH SCORE 37339.299
AT ITER 351 NEW BEST:: SOT 163498 SOS 89336 HAS SOPS 58416 HAS SOUS 40641 HAS SOUPS 37242 WITH SCORE 37331.336
AT ITER 353 NEW BEST:: SOT 163358 SOS 89075 HAS SOPS 58017 HAS SOUS 40417 HAS SOUPS 36951 WITH SCORE 37040.075
AT ITER 355 NEW BEST:: SOT 163204 SOS 88864 HAS SOPS 57714 HAS SOUS 40178 HAS SOUPS 36712 WITH SCORE 36800.864
AT ITER 361 NEW BEST:: SOT 163195 SOS 88855 HAS SOPS 57702 HAS SOUS 40167 HAS SOUPS 36701 WITH SCORE 36789.855
AT ITER 363 NEW BEST:: SOT 163103 SOS 88702 HAS SOPS 57509 HAS SOUS 40009 HAS SOUPS 36543 WITH SCORE 36631.702
AT ITER 365 NEW BEST:: SOT 163097 SOS 88706 HAS SOPS 57497 HAS SOUS 39998 HAS SOUPS 36531 WITH SCORE 36619.706
AT ITER 374 NEW BEST:: SOT 163007 SOS 88571 HAS SOPS 57362 HAS SOUS 39863 HAS SOUPS 36396 WITH SCORE 36484.571
AT ITER 378 NEW BEST:: SOT 162531 SOS 87989 HAS SOPS 57327 HAS SOUS 39826 HAS SOUPS 36361 WITH SCORE 36448.989
AT ITER 383 NEW BEST:: SOT 161491 SOS 87675 HAS SOPS 57549 HAS SOUS 39637 HAS SOUPS 36172 WITH SCORE 36259.675
AT ITER 386 NEW BEST:: SOT 161423 SOS 87532 HAS SOPS 57406 HAS SOUS 39551 HAS SOUPS 36086 WITH SCORE 36173.532
AT ITER 387 NEW BEST:: SOT 161374 SOS 86378 HAS SOPS 57439 HAS SOUS 39384 HAS SOUPS 36008 WITH SCORE 36094.378
AT ITER 399 NEW BEST:: SOT 161376 SOS 86380 HAS SOPS 57429 HAS SOUS 39374 HAS SOUPS 35998 WITH SCORE 36084.38
AT ITER 401 NEW BEST:: SOT 161376 SOS 86339 HAS SOPS 57388 HAS SOUS 39374 HAS SOUPS 35998 WITH SCORE 36084.339
AT ITER 402 NEW BEST:: SOT 161382 SOS 86351 HAS SOPS 57400 HAS SOUS 39338 HAS SOUPS 35962 WITH SCORE 36048.351
AT ITER 403 NEW BEST:: SOT 161374 SOS 86302 HAS SOPS 57144 HAS SOUS 39322 HAS SOUPS 35898 WITH SCORE 35984.302
AT ITER 409 NEW BEST:: SOT 161374 SOS 86268 HAS SOPS 57110 HAS SOUS 39322 HAS SOUPS 35898 WITH SCORE 35984.268
AT ITER 410 NEW BEST:: SOT 161229 SOS 85833 HAS SOPS 56965 HAS SOUS 39050 HAS SOUPS 35684 WITH SCORE 35769.833
AT ITER 414 NEW BEST:: SOT 161175 SOS 85613 HAS SOPS 56745 HAS SOUS 38938 HAS SOUPS 35572 WITH SCORE 35657.613
AT ITER 415 NEW BEST:: SOT 161055 SOS 85477 HAS SOPS 56697 HAS SOUS 38922 HAS SOUPS 35556 WITH SCORE 35641.477
AT ITER 423 NEW BEST:: SOT 160719 SOS 85504 HAS SOPS 57999 HAS SOUS 38904 HAS SOUPS 35538 WITH SCORE 35623.504
AT ITER 442 NEW BEST:: SOT 160654 SOS 85796 HAS SOPS 58451 HAS SOUS 38857 HAS SOUPS 35491 WITH SCORE 35576.796
AT ITER 446 NEW BEST:: SOT 160630 SOS 85748 HAS SOPS 58403 HAS SOUS 38809 HAS SOUPS 35443 WITH SCORE 35528.748
AT ITER 448 NEW BEST:: SOT 160637 SOS 85835 HAS SOPS 58399 HAS SOUS 38753 HAS SOUPS 35394 WITH SCORE 35479.835
AT ITER 450 NEW BEST:: SOT 160635 SOS 85831 HAS SOPS 58395 HAS SOUS 38749 HAS SOUPS 35390 WITH SCORE 35475.831
AT ITER 451 NEW BEST:: SOT 160605 SOS 85722 HAS SOPS 58286 HAS SOUS 38689 HAS SOUPS 35330 WITH SCORE 35415.722
AT ITER 459 NEW BEST:: SOT 160605 SOS 85727 HAS SOPS 58291 HAS SOUS 38662 HAS SOUPS 35303 WITH SCORE 35388.727
AT ITER 462 NEW BEST:: SOT 160550 SOS 85719 HAS SOPS 58316 HAS SOUS 38658 HAS SOUPS 35299 WITH SCORE 35384.719
AT ITER 478 NEW BEST:: SOT 160538 SOS 85678 HAS SOPS 58292 HAS SOUS 38634 HAS SOUPS 35275 WITH SCORE 35360.678
AT ITER 487 NEW BEST:: SOT 160320 SOS 85414 HAS SOPS 58028 HAS SOUS 38410 HAS SOUPS 35051 WITH SCORE 35136.414
AT ITER 493 NEW BEST:: SOT 160307 SOS 85400 HAS SOPS 58014 HAS SOUS 38396 HAS SOUPS 35037 WITH SCORE 35122.4
AT ITER 498 NEW BEST:: SOT 160307 SOS 84973 HAS SOPS 57582 HAS SOUS 38352 HAS SOUPS 34993 WITH SCORE 35077.973
AT ITER 502 NEW BEST:: SOT 160283 SOS 84875 HAS SOPS 57484 HAS SOUS 38328 HAS SOUPS 34969 WITH SCORE 35053.875
AT ITER 508 NEW BEST:: SOT 160277 SOS 84821 HAS SOPS 57430 HAS SOUS 38316 HAS SOUPS 34957 WITH SCORE 35041.821
AT ITER 531 NEW BEST:: SOT 160275 SOS 84780 HAS SOPS 56942 HAS SOUS 37872 HAS SOUPS 34513 WITH SCORE 34597.78
AT ITER 535 NEW BEST:: SOT 160254 SOS 84759 HAS SOPS 56921 HAS SOUS 37830 HAS SOUPS 34471 WITH SCORE 34555.759
AT ITER 538 NEW BEST:: SOT 160258 SOS 84731 HAS SOPS 56893 HAS SOUS 37830 HAS SOUPS 34471 WITH SCORE 34555.731
AT ITER 545 NEW BEST:: SOT 160086 SOS 84559 HAS SOPS 56733 HAS SOUS 37684 HAS SOUPS 34311 WITH SCORE 34395.559
AT ITER 559 NEW BEST:: SOT 160061 SOS 84571 HAS SOPS 56712 HAS SOUS 37634 HAS SOUPS 34261 WITH SCORE 34345.571
AT ITER 564 NEW BEST:: SOT 160053 SOS 84562 HAS SOPS 56703 HAS SOUS 37625 HAS SOUPS 34252 WITH SCORE 34336.562
AT ITER 580 NEW BEST:: SOT 160002 SOS 84315 HAS SOPS 56456 HAS SOUS 37621 HAS SOUPS 34248 WITH SCORE 34332.315
AT ITER 588 NEW BEST:: SOT 159262 SOS 83701 HAS SOPS 55699 HAS SOUS 36908 HAS SOUPS 33455 WITH SCORE 33538.701
AT ITER 606 NEW BEST:: SOT 159260 SOS 83693 HAS SOPS 55691 HAS SOUS 36904 HAS SOUPS 33451 WITH SCORE 33534.693
AT ITER 611 NEW BEST:: SOT 159227 SOS 83660 HAS SOPS 55548 HAS SOUS 36695 HAS SOUPS 33242 WITH SCORE 33325.66
AT ITER 630 NEW BEST:: SOT 159228 SOS 83661 HAS SOPS 55549 HAS SOUS 36681 HAS SOUPS 33228 WITH SCORE 33311.661
AT ITER 632 NEW BEST:: SOT 159160 SOS 83563 HAS SOPS 55489 HAS SOUS 36621 HAS SOUPS 33168 WITH SCORE 33251.563
AT ITER 635 NEW BEST:: SOT 159160 SOS 83525 HAS SOPS 55451 HAS SOUS 36621 HAS SOUPS 33168 WITH SCORE 33251.525
AT ITER 641 NEW BEST:: SOT 159166 SOS 83531 HAS SOPS 55434 HAS SOUS 36604 HAS SOUPS 33151 WITH SCORE 33234.531
AT ITER 656 NEW BEST:: SOT 159108 SOS 82866 HAS SOPS 55421 HAS SOUS 36521 HAS SOUPS 33091 WITH SCORE 33173.866
AT ITER 663 NEW BEST:: SOT 159096 SOS 82828 HAS SOPS 55383 HAS SOUS 36509 HAS SOUPS 33079 WITH SCORE 33161.828
AT ITER 664 NEW BEST:: SOT 159115 SOS 82621 HAS SOPS 55356 HAS SOUS 36481 HAS SOUPS 33063 WITH SCORE 33145.621
AT ITER 677 NEW BEST:: SOT 159062 SOS 82484 HAS SOPS 54773 HAS SOUS 35961 HAS SOUPS 32543 WITH SCORE 32625.484
AT ITER 680 NEW BEST:: SOT 159486 SOS 82899 HAS SOPS 54625 HAS SOUS 35557 HAS SOUPS 32139 WITH SCORE 32221.899
AT ITER 683 NEW BEST:: SOT 159463 SOS 82853 HAS SOPS 53963 HAS SOUS 34911 HAS SOUPS 31533 WITH SCORE 31615.853
AT ITER 697 NEW BEST:: SOT 159412 SOS 82836 HAS SOPS 53946 HAS SOUS 34908 HAS SOUPS 31530 WITH SCORE 31612.836
AT ITER 720 NEW BEST:: SOT 159399 SOS 82810 HAS SOPS 53920 HAS SOUS 34882 HAS SOUPS 31504 WITH SCORE 31586.81
AT ITER 725 NEW BEST:: SOT 159351 SOS 82736 HAS SOPS 53846 HAS SOUS 34870 HAS SOUPS 31492 WITH SCORE 31574.736
AT ITER 726 NEW BEST:: SOT 159351 SOS 82715 HAS SOPS 53832 HAS SOUS 34849 HAS SOUPS 31471 WITH SCORE 31553.715
AT ITER 736 NEW BEST:: SOT 159356 SOS 82566 HAS SOPS 53822 HAS SOUS 34838 HAS SOUPS 31464 WITH SCORE 31546.566
AT ITER 739 NEW BEST:: SOT 159454 SOS 82639 HAS SOPS 53708 HAS SOUS 34861 HAS SOUPS 31459 WITH SCORE 31541.639
AT ITER 740 NEW BEST:: SOT 159440 SOS 82625 HAS SOPS 53694 HAS SOUS 34833 HAS SOUPS 31431 WITH SCORE 31513.625
AT ITER 742 NEW BEST:: SOT 159579 SOS 82819 HAS SOPS 53689 HAS SOUS 34806 HAS SOUPS 31404 WITH SCORE 31486.819
AT ITER 759 NEW BEST:: SOT 160068 SOS 83308 HAS SOPS 54258 HAS SOUS 34686 HAS SOUPS 31324 WITH SCORE 31407.308
AT ITER 762 NEW BEST:: SOT 159959 SOS 83375 HAS SOPS 54171 HAS SOUS 34684 HAS SOUPS 31298 WITH SCORE 31381.375
AT ITER 763 NEW BEST:: SOT 159713 SOS 81272 HAS SOPS 50397 HAS SOUS 34641 HAS SOUPS 31188 WITH SCORE 31269.272
AT ITER 765 NEW BEST:: SOT 159696 SOS 81203 HAS SOPS 50309 HAS SOUS 34588 HAS SOUPS 31135 WITH SCORE 31216.203
AT ITER 768 NEW BEST:: SOT 159687 SOS 81180 HAS SOPS 50300 HAS SOUS 34579 HAS SOUPS 31126 WITH SCORE 31207.18
AT ITER 786 NEW BEST:: SOT 159598 SOS 80809 HAS SOPS 50211 HAS SOUS 34496 HAS SOUPS 31056 WITH SCORE 31136.809
AT ITER 787 NEW BEST:: SOT 159456 SOS 80585 HAS SOPS 49927 HAS SOUS 34268 HAS SOUPS 30772 WITH SCORE 30852.585
AT ITER 790 NEW BEST:: SOT 159448 SOS 80428 HAS SOPS 49820 HAS SOUS 34157 HAS SOUPS 30759 WITH SCORE 30839.428
AT ITER 795 NEW BEST:: SOT 159443 SOS 80423 HAS SOPS 49815 HAS SOUS 34127 HAS SOUPS 30729 WITH SCORE 30809.423
AT ITER 800 NEW BEST:: SOT 159443 SOS 80399 HAS SOPS 49791 HAS SOUS 34115 HAS SOUPS 30717 WITH SCORE 30797.399
AT ITER 815 NEW BEST:: SOT 159443 SOS 80377 HAS SOPS 49747 HAS SOUS 34093 HAS SOUPS 30695 WITH SCORE 30775.377
AT ITER 827 NEW BEST:: SOT 159213 SOS 80371 HAS SOPS 49313 HAS SOUS 34168 HAS SOUPS 30671 WITH SCORE 30751.371
AT ITER 832 NEW BEST:: SOT 159183 SOS 80331 HAS SOPS 49243 HAS SOUS 34108 HAS SOUPS 30601 WITH SCORE 30681.331
AT ITER 841 NEW BEST:: SOT 159155 SOS 80299 HAS SOPS 49208 HAS SOUS 34091 HAS SOUPS 30584 WITH SCORE 30664.299
AT ITER 850 NEW BEST:: SOT 159162 SOS 80306 HAS SOPS 49195 HAS SOUS 34104 HAS SOUPS 30571 WITH SCORE 30651.306
AT ITER 866 NEW BEST:: SOT 159098 SOS 80242 HAS SOPS 49163 HAS SOUS 34120 HAS SOUPS 30539 WITH SCORE 30619.242
AT ITER 869 NEW BEST:: SOT 159076 SOS 80228 HAS SOPS 49149 HAS SOUS 34106 HAS SOUPS 30525 WITH SCORE 30605.228
AT ITER 875 NEW BEST:: SOT 159076 SOS 80213 HAS SOPS 49134 HAS SOUS 34106 HAS SOUPS 30525 WITH SCORE 30605.213
AT ITER 879 NEW BEST:: SOT 159076 SOS 80211 HAS SOPS 49132 HAS SOUS 34106 HAS SOUPS 30525 WITH SCORE 30605.211
AT ITER 900 NEW BEST:: SOT 159075 SOS 80220 HAS SOPS 49148 HAS SOUS 34087 HAS SOUPS 30506 WITH SCORE 30586.22
AT ITER 901 NEW BEST:: SOT 159069 SOS 80208 HAS SOPS 49136 HAS SOUS 34075 HAS SOUPS 30494 WITH SCORE 30574.208
AT ITER 904 NEW BEST:: SOT 159044 SOS 80183 HAS SOPS 49111 HAS SOUS 34025 HAS SOUPS 30444 WITH SCORE 30524.183
AT ITER 924 NEW BEST:: SOT 159049 SOS 80152 HAS SOPS 49069 HAS SOUS 33996 HAS SOUPS 30415 WITH SCORE 30495.152
AT ITER 927 NEW BEST:: SOT 159044 SOS 80137 HAS SOPS 49054 HAS SOUS 33986 HAS SOUPS 30405 WITH SCORE 30485.137
AT ITER 946 NEW BEST:: SOT 159023 SOS 80116 HAS SOPS 49033 HAS SOUS 33965 HAS SOUPS 30384 WITH SCORE 30464.116
AT ITER 956 NEW BEST:: SOT 158947 SOS 80040 HAS SOPS 48875 HAS SOUS 33818 HAS SOUPS 30232 WITH SCORE 30312.04
AT ITER 958 NEW BEST:: SOT 158942 SOS 80035 HAS SOPS 48870 HAS SOUS 33813 HAS SOUPS 30227 WITH SCORE 30307.035
AT ITER 965 NEW BEST:: SOT 158942 SOS 79996 HAS SOPS 48831 HAS SOUS 33806 HAS SOUPS 30220 WITH SCORE 30299.996
AT ITER 967 NEW BEST:: SOT 158935 SOS 79970 HAS SOPS 48805 HAS SOUS 33776 HAS SOUPS 30190 WITH SCORE 30269.97
AT ITER 984 NEW BEST:: SOT 158935 SOS 79951 HAS SOPS 48767 HAS SOUS 33757 HAS SOUPS 30171 WITH SCORE 30250.951
AT ITER 987 NEW BEST:: SOT 158779 SOS 79795 HAS SOPS 47619 HAS SOUS 33638 HAS SOUPS 29997 WITH SCORE 30076.795
AT ITER 992 NEW BEST:: SOT 158792 SOS 79780 HAS SOPS 47512 HAS SOUS 33594 HAS SOUPS 29953 WITH SCORE 30032.78
AT ITER 1017 NEW BEST:: SOT 158731 SOS 79777 HAS SOPS 47499 HAS SOUS 33585 HAS SOUPS 29944 WITH SCORE 30023.777
AT ITER 1018 NEW BEST:: SOT 158702 SOS 79720 HAS SOPS 47442 HAS SOUS 33517 HAS SOUPS 29876 WITH SCORE 29955.72
AT ITER 1021 NEW BEST:: SOT 158702 SOS 79605 HAS SOPS 47327 HAS SOUS 33517 HAS SOUPS 29876 WITH SCORE 29955.605
AT ITER 1024 NEW BEST:: SOT 158697 SOS 79600 HAS SOPS 47304 HAS SOUS 33494 HAS SOUPS 29853 WITH SCORE 29932.6
AT ITER 1027 NEW BEST:: SOT 158735 SOS 79652 HAS SOPS 47338 HAS SOUS 33476 HAS SOUPS 29837 WITH SCORE 29916.652
AT ITER 1036 NEW BEST:: SOT 158717 SOS 79588 HAS SOPS 47246 HAS SOUS 33430 HAS SOUPS 29791 WITH SCORE 29870.588
AT ITER 1040 NEW BEST:: SOT 158662 SOS 79533 HAS SOPS 47191 HAS SOUS 33397 HAS SOUPS 29758 WITH SCORE 29837.533
AT ITER 1062 NEW BEST:: SOT 158661 SOS 79532 HAS SOPS 47185 HAS SOUS 33397 HAS SOUPS 29752 WITH SCORE 29831.532
AT ITER 1063 NEW BEST:: SOT 158661 SOS 79537 HAS SOPS 47180 HAS SOUS 33392 HAS SOUPS 29747 WITH SCORE 29826.537
AT ITER 1069 NEW BEST:: SOT 158652 SOS 79519 HAS SOPS 47162 HAS SOUS 33374 HAS SOUPS 29729 WITH SCORE 29808.519
AT ITER 1079 NEW BEST:: SOT 158584 SOS 79396 HAS SOPS 47039 HAS SOUS 33301 HAS SOUPS 29656 WITH SCORE 29735.396
AT ITER 1096 NEW BEST:: SOT 158520 SOS 79304 HAS SOPS 46947 HAS SOUS 33221 HAS SOUPS 29576 WITH SCORE 29655.304
AT ITER 1100 NEW BEST:: SOT 158496 SOS 79274 HAS SOPS 46917 HAS SOUS 33191 HAS SOUPS 29546 WITH SCORE 29625.274
AT ITER 1101 NEW BEST:: SOT 158490 SOS 79307 HAS SOPS 46905 HAS SOUS 33179 HAS SOUPS 29534 WITH SCORE 29613.307
AT ITER 1128 NEW BEST:: SOT 158459 SOS 79279 HAS SOPS 46880 HAS SOUS 33134 HAS SOUPS 29489 WITH SCORE 29568.279
AT ITER 1136 NEW BEST:: SOT 158519 SOS 79339 HAS SOPS 46925 HAS SOUS 33119 HAS SOUPS 29474 WITH SCORE 29553.339
AT ITER 1165 NEW BEST:: SOT 158305 SOS 79125 HAS SOPS 46711 HAS SOUS 32905 HAS SOUPS 29260 WITH SCORE 29339.125
AT ITER 1174 NEW BEST:: SOT 158194 SOS 79014 HAS SOPS 46614 HAS SOUS 32825 HAS SOUPS 29163 WITH SCORE 29242.014
AT ITER 1197 NEW BEST:: SOT 158172 SOS 79007 HAS SOPS 46607 HAS SOUS 32813 HAS SOUPS 29151 WITH SCORE 29230.007
AT ITER 1209 NEW BEST:: SOT 158170 SOS 79003 HAS SOPS 46603 HAS SOUS 32809 HAS SOUPS 29147 WITH SCORE 29226.003
AT ITER 1214 NEW BEST:: SOT 158103 SOS 78869 HAS SOPS 46469 HAS SOUS 32675 HAS SOUPS 29013 WITH SCORE 29091.869
AT ITER 1221 NEW BEST:: SOT 158091 SOS 78851 HAS SOPS 46445 HAS SOUS 32662 HAS SOUPS 28995 WITH SCORE 29073.851
AT ITER 1224 NEW BEST:: SOT 158091 SOS 78851 HAS SOPS 46441 HAS SOUS 32658 HAS SOUPS 28991 WITH SCORE 29069.851
AT ITER 1247 NEW BEST:: SOT 157819 SOS 78579 HAS SOPS 46169 HAS SOUS 32586 HAS SOUPS 28919 WITH SCORE 28997.579
AT ITER 1261 NEW BEST:: SOT 157858 SOS 78773 HAS SOPS 46363 HAS SOUS 32580 HAS SOUPS 28913 WITH SCORE 28991.773
AT ITER 1263 NEW BEST:: SOT 157963 SOS 78878 HAS SOPS 46433 HAS SOUS 32545 HAS SOUPS 28878 WITH SCORE 28956.878
AT ITER 1266 NEW BEST:: SOT 157958 SOS 78873 HAS SOPS 46428 HAS SOUS 32540 HAS SOUPS 28873 WITH SCORE 28951.873
AT ITER 1294 NEW BEST:: SOT 157953 SOS 78858 HAS SOPS 46413 HAS SOUS 32530 HAS SOUPS 28863 WITH SCORE 28941.858
AT ITER 1299 NEW BEST:: SOT 157952 SOS 78827 HAS SOPS 46411 HAS SOUS 32528 HAS SOUPS 28861 WITH SCORE 28939.827
AT ITER 1303 NEW BEST:: SOT 157877 SOS 78858 HAS SOPS 46338 HAS SOUS 32455 HAS SOUPS 28726 WITH SCORE 28804.858
AT ITER 1347 NEW BEST:: SOT 157877 SOS 78852 HAS SOPS 46332 HAS SOUS 32455 HAS SOUPS 28726 WITH SCORE 28804.852
AT ITER 1355 NEW BEST:: SOT 157872 SOS 78842 HAS SOPS 46322 HAS SOUS 32445 HAS SOUPS 28716 WITH SCORE 28794.842
AT ITER 1357 NEW BEST:: SOT 157861 SOS 77363 HAS SOPS 46112 HAS SOUS 32363 HAS SOUPS 28653 WITH SCORE 28730.363
AT ITER 1362 NEW BEST:: SOT 157798 SOS 77161 HAS SOPS 45925 HAS SOUS 32262 HAS SOUPS 28552 WITH SCORE 28629.161
AT ITER 1377 NEW BEST:: SOT 157575 SOS 76932 HAS SOPS 45691 HAS SOUS 32088 HAS SOUPS 28378 WITH SCORE 28454.932
AT ITER 1383 NEW BEST:: SOT 157569 SOS 76885 HAS SOPS 45644 HAS SOUS 32076 HAS SOUPS 28366 WITH SCORE 28442.885
AT ITER 1392 NEW BEST:: SOT 157569 SOS 76868 HAS SOPS 45644 HAS SOUS 32076 HAS SOUPS 28366 WITH SCORE 28442.868
AT ITER 1396 NEW BEST:: SOT 157568 SOS 76866 HAS SOPS 45642 HAS SOUS 32074 HAS SOUPS 28364 WITH SCORE 28440.866
AT ITER 1403 NEW BEST:: SOT 157567 SOS 76894 HAS SOPS 45670 HAS SOUS 32072 HAS SOUPS 28362 WITH SCORE 28438.894
AT ITER 1422 NEW BEST:: SOT 157555 SOS 76852 HAS SOPS 45628 HAS SOUS 32038 HAS SOUPS 28328 WITH SCORE 28404.852
AT ITER 1423 NEW BEST:: SOT 157555 SOS 76882 HAS SOPS 45658 HAS SOUS 32032 HAS SOUPS 28322 WITH SCORE 28398.882
AT ITER 1430 NEW BEST:: SOT 157537 SOS 76862 HAS SOPS 45638 HAS SOUS 32003 HAS SOUPS 28293 WITH SCORE 28369.862
AT ITER 1435 NEW BEST:: SOT 157538 SOS 76865 HAS SOPS 45641 HAS SOUS 31986 HAS SOUPS 28276 WITH SCORE 28352.865
AT ITER 1437 NEW BEST:: SOT 157539 SOS 76943 HAS SOPS 45719 HAS SOUS 31941 HAS SOUPS 28231 WITH SCORE 28307.943
AT ITER 1471 NEW BEST:: SOT 157539 SOS 76931 HAS SOPS 45707 HAS SOUS 31941 HAS SOUPS 28231 WITH SCORE 28307.931
AT ITER 1472 NEW BEST:: SOT 157539 SOS 76931 HAS SOPS 45707 HAS SOUS 31923 HAS SOUPS 28213 WITH SCORE 28289.931
AT ITER 1477 NEW BEST:: SOT 157524 SOS 76926 HAS SOPS 45701 HAS SOUS 31919 HAS SOUPS 28209 WITH SCORE 28285.926
AT ITER 1478 NEW BEST:: SOT 157489 SOS 76916 HAS SOPS 45666 HAS SOUS 31884 HAS SOUPS 28174 WITH SCORE 28250.916
AT ITER 1490 NEW BEST:: SOT 157309 SOS 76720 HAS SOPS 45482 HAS SOUS 31879 HAS SOUPS 28169 WITH SCORE 28245.72
AT ITER 1505 NEW BEST:: SOT 157380 SOS 76868 HAS SOPS 45440 HAS SOUS 31943 HAS SOUPS 28127 WITH SCORE 28203.868
AT ITER 1508 NEW BEST:: SOT 157423 SOS 77020 HAS SOPS 45387 HAS SOUS 31933 HAS SOUPS 28074 WITH SCORE 28151.02
AT ITER 1512 NEW BEST:: SOT 157247 SOS 76946 HAS SOPS 45220 HAS SOUS 31901 HAS SOUPS 28006 WITH SCORE 28082.946
AT ITER 1541 NEW BEST:: SOT 157186 SOS 76936 HAS SOPS 45227 HAS SOUS 31837 HAS SOUPS 27942 WITH SCORE 28018.936
AT ITER 1553 NEW BEST:: SOT 157186 SOS 76914 HAS SOPS 45205 HAS SOUS 31835 HAS SOUPS 27940 WITH SCORE 28016.914
AT ITER 1564 NEW BEST:: SOT 157193 SOS 76921 HAS SOPS 45204 HAS SOUS 31834 HAS SOUPS 27939 WITH SCORE 28015.921
AT ITER 1567 NEW BEST:: SOT 157291 SOS 76608 HAS SOPS 41635 HAS SOUS 31367 HAS SOUPS 27472 WITH SCORE 27548.608
AT ITER 1568 NEW BEST:: SOT 157291 SOS 76633 HAS SOPS 41539 HAS SOUS 31271 HAS SOUPS 27376 WITH SCORE 27452.633
AT ITER 1586 NEW BEST:: SOT 157290 SOS 76632 HAS SOPS 41538 HAS SOUS 31270 HAS SOUPS 27375 WITH SCORE 27451.632
AT ITER 1652 NEW BEST:: SOT 157320 SOS 76677 HAS SOPS 41523 HAS SOUS 31256 HAS SOUPS 27361 WITH SCORE 27437.677
AT ITER 1658 NEW BEST:: SOT 157320 SOS 76527 HAS SOPS 41373 HAS SOUS 31256 HAS SOUPS 27361 WITH SCORE 27437.527
AT ITER 1691 NEW BEST:: SOT 157334 SOS 76541 HAS SOPS 41380 HAS SOUS 31193 HAS SOUPS 27291 WITH SCORE 27367.541
AT ITER 1696 NEW BEST:: SOT 157300 SOS 76241 HAS SOPS 41318 HAS SOUS 31160 HAS SOUPS 27272 WITH SCORE 27348.241
AT ITER 1733 NEW BEST:: SOT 157300 SOS 76207 HAS SOPS 41284 HAS SOUS 31140 HAS SOUPS 27252 WITH SCORE 27328.207
AT ITER 1743 NEW BEST:: SOT 157327 SOS 75988 HAS SOPS 40926 HAS SOUS 30977 HAS SOUPS 27073 WITH SCORE 27148.988
AT ITER 1754 NEW BEST:: SOT 157385 SOS 76243 HAS SOPS 40934 HAS SOUS 30918 HAS SOUPS 27014 WITH SCORE 27090.243
AT ITER 1758 NEW BEST:: SOT 157378 SOS 76236 HAS SOPS 40920 HAS SOUS 30904 HAS SOUPS 27000 WITH SCORE 27076.236
AT ITER 1789 NEW BEST:: SOT 157327 SOS 76185 HAS SOPS 40845 HAS SOUS 30844 HAS SOUPS 26940 WITH SCORE 27016.185
AT ITER 1817 NEW BEST:: SOT 157309 SOS 76167 HAS SOPS 40809 HAS SOUS 30808 HAS SOUPS 26904 WITH SCORE 26980.167
AT ITER 1836 NEW BEST:: SOT 157309 SOS 76140 HAS SOPS 40782 HAS SOUS 30808 HAS SOUPS 26904 WITH SCORE 26980.14
AT ITER 1838 NEW BEST:: SOT 157285 SOS 76007 HAS SOPS 40674 HAS SOUS 30749 HAS SOUPS 26845 WITH SCORE 26921.007
AT ITER 1849 NEW BEST:: SOT 157281 SOS 75999 HAS SOPS 40666 HAS SOUS 30741 HAS SOUPS 26837 WITH SCORE 26912.999
AT ITER 1908 NEW BEST:: SOT 157259 SOS 75525 HAS SOPS 40679 HAS SOUS 30663 HAS SOUPS 26781 WITH SCORE 26856.525
AT ITER 1914 NEW BEST:: SOT 157259 SOS 75514 HAS SOPS 40668 HAS SOUS 30652 HAS SOUPS 26770 WITH SCORE 26845.514
AT ITER 1915 NEW BEST:: SOT 157259 SOS 75475 HAS SOPS 40629 HAS SOUS 30613 HAS SOUPS 26731 WITH SCORE 26806.475
AT ITER 1952 NEW BEST:: SOT 157259 SOS 75468 HAS SOPS 40622 HAS SOUS 30613 HAS SOUPS 26731 WITH SCORE 26806.468
AT ITER 1966 NEW BEST:: SOT 157259 SOS 75642 HAS SOPS 40796 HAS SOUS 30601 HAS SOUPS 26719 WITH SCORE 26794.642
AT ITER 1974 NEW BEST:: SOT 157148 SOS 76111 HAS SOPS 40667 HAS SOUS 30481 HAS SOUPS 26590 WITH SCORE 26666.111
AT ITER 1988 NEW BEST:: SOT 157146 SOS 76101 HAS SOPS 40663 HAS SOUS 30479 HAS SOUPS 26586 WITH SCORE 26662.101
AT ITER 2000 NEW BEST:: SOT 157138 SOS 76093 HAS SOPS 40647 HAS SOUS 30471 HAS SOUPS 26570 WITH SCORE 26646.093
AT ITER 2037 NEW BEST:: SOT 157116 SOS 76071 HAS SOPS 40603 HAS SOUS 30438 HAS SOUPS 26537 WITH SCORE 26613.071
AT ITER 2040 NEW BEST:: SOT 157080 SOS 75997 HAS SOPS 40529 HAS SOUS 30364 HAS SOUPS 26463 WITH SCORE 26538.997
AT ITER 2073 NEW BEST:: SOT 157063 SOS 75961 HAS SOPS 40493 HAS SOUS 30330 HAS SOUPS 26429 WITH SCORE 26504.961
AT ITER 2080 NEW BEST:: SOT 157026 SOS 76023 HAS SOPS 40402 HAS SOUS 30294 HAS SOUPS 26365 WITH SCORE 26441.023
AT ITER 2083 NEW BEST:: SOT 157026 SOS 76008 HAS SOPS 40387 HAS SOUS 30294 HAS SOUPS 26365 WITH SCORE 26441.008
AT ITER 2101 NEW BEST:: SOT 157025 SOS 76007 HAS SOPS 40385 HAS SOUS 30292 HAS SOUPS 26363 WITH SCORE 26439.007
AT ITER 2134 NEW BEST:: SOT 157025 SOS 76242 HAS SOPS 40620 HAS SOUS 30285 HAS SOUPS 26356 WITH SCORE 26432.242
AT ITER 2147 NEW BEST:: SOT 157024 SOS 76240 HAS SOPS 40618 HAS SOUS 30283 HAS SOUPS 26354 WITH SCORE 26430.24
AT ITER 2148 NEW BEST:: SOT 156949 SOS 76188 HAS SOPS 40566 HAS SOUS 30274 HAS SOUPS 26345 WITH SCORE 26421.188
AT ITER 2154 NEW BEST:: SOT 156867 SOS 76093 HAS SOPS 40420 HAS SOUS 30130 HAS SOUPS 26201 WITH SCORE 26277.093
AT ITER 2179 NEW BEST:: SOT 156865 SOS 76098 HAS SOPS 40425 HAS SOUS 30126 HAS SOUPS 26197 WITH SCORE 26273.098
AT ITER 2181 NEW BEST:: SOT 157151 SOS 76384 HAS SOPS 40711 HAS SOUS 30117 HAS SOUPS 26188 WITH SCORE 26264.384
AT ITER 2198 NEW BEST:: SOT 157109 SOS 76354 HAS SOPS 40627 HAS SOUS 30033 HAS SOUPS 26104 WITH SCORE 26180.354
AT ITER 2204 NEW BEST:: SOT 157107 SOS 76340 HAS SOPS 40613 HAS SOUS 30029 HAS SOUPS 26100 WITH SCORE 26176.34
AT ITER 2212 NEW BEST:: SOT 157107 SOS 76247 HAS SOPS 40613 HAS SOUS 30029 HAS SOUPS 26100 WITH SCORE 26176.247
AT ITER 2239 NEW BEST:: SOT 157085 SOS 76181 HAS SOPS 40547 HAS SOUS 29985 HAS SOUPS 26056 WITH SCORE 26132.181
AT ITER 2248 NEW BEST:: SOT 157091 SOS 76268 HAS SOPS 40634 HAS SOUS 29982 HAS SOUPS 26053 WITH SCORE 26129.268
AT ITER 2253 NEW BEST:: SOT 157084 SOS 76261 HAS SOPS 40627 HAS SOUS 29975 HAS SOUPS 26046 WITH SCORE 26122.261
AT ITER 2278 NEW BEST:: SOT 157131 SOS 76080 HAS SOPS 40666 HAS SOUS 29943 HAS SOUPS 26027 WITH SCORE 26103.08
AT ITER 2313 NEW BEST:: SOT 157114 SOS 76069 HAS SOPS 40603 HAS SOUS 29880 HAS SOUPS 25964 WITH SCORE 26040.069
AT ITER 2320 NEW BEST:: SOT 157106 SOS 76061 HAS SOPS 40587 HAS SOUS 29864 HAS SOUPS 25948 WITH SCORE 26024.061
AT ITER 2326 NEW BEST:: SOT 157099 SOS 76043 HAS SOPS 40569 HAS SOUS 29846 HAS SOUPS 25930 WITH SCORE 26006.043
AT ITER 2329 NEW BEST:: SOT 157047 SOS 76047 HAS SOPS 40562 HAS SOUS 29829 HAS SOUPS 25913 WITH SCORE 25989.047
AT ITER 2342 NEW BEST:: SOT 156985 SOS 75830 HAS SOPS 40345 HAS SOUS 29767 HAS SOUPS 25851 WITH SCORE 25926.83
AT ITER 2380 NEW BEST:: SOT 157002 SOS 75717 HAS SOPS 40232 HAS SOUS 29741 HAS SOUPS 25825 WITH SCORE 25900.717
AT ITER 2384 NEW BEST:: SOT 156832 SOS 76066 HAS SOPS 39977 HAS SOUS 29703 HAS SOUPS 25661 WITH SCORE 25737.066
AT ITER 2389 NEW BEST:: SOT 156826 SOS 76058 HAS SOPS 39963 HAS SOUS 29691 HAS SOUPS 25647 WITH SCORE 25723.058
AT ITER 2396 NEW BEST:: SOT 156707 SOS 76205 HAS SOPS 40105 HAS SOUS 29653 HAS SOUPS 25609 WITH SCORE 25685.205
AT ITER 2423 NEW BEST:: SOT 156712 SOS 76215 HAS SOPS 40115 HAS SOUS 29651 HAS SOUPS 25607 WITH SCORE 25683.215
AT ITER 2426 NEW BEST:: SOT 156678 SOS 76349 HAS SOPS 40249 HAS SOUS 29645 HAS SOUPS 25601 WITH SCORE 25677.349
AT ITER 2452 NEW BEST:: SOT 156716 SOS 76387 HAS SOPS 40249 HAS SOUS 29588 HAS SOUPS 25530 WITH SCORE 25606.387
AT ITER 2468 NEW BEST:: SOT 156779 SOS 76159 HAS SOPS 40336 HAS SOUS 29518 HAS SOUPS 25530 WITH SCORE 25606.159
AT ITER 2544 NEW BEST:: SOT 156421 SOS 75784 HAS SOPS 39950 HAS SOUS 29476 HAS SOUPS 25473 WITH SCORE 25548.784
AT ITER 2555 NEW BEST:: SOT 156396 SOS 75709 HAS SOPS 39891 HAS SOUS 29476 HAS SOUPS 25473 WITH SCORE 25548.709
AT ITER 2561 NEW BEST:: SOT 156394 SOS 75640 HAS SOPS 39887 HAS SOUS 29472 HAS SOUPS 25469 WITH SCORE 25544.64
AT ITER 2586 NEW BEST:: SOT 156416 SOS 75662 HAS SOPS 39865 HAS SOUS 29290 HAS SOUPS 25291 WITH SCORE 25366.662
AT ITER 2595 NEW BEST:: SOT 156377 SOS 75524 HAS SOPS 39727 HAS SOUS 29243 HAS SOUPS 25244 WITH SCORE 25319.524
AT ITER 2620 NEW BEST:: SOT 156400 SOS 75523 HAS SOPS 39722 HAS SOUS 29238 HAS SOUPS 25239 WITH SCORE 25314.523
AT ITER 2629 NEW BEST:: SOT 156400 SOS 75513 HAS SOPS 39712 HAS SOUS 29238 HAS SOUPS 25239 WITH SCORE 25314.513
AT ITER 2634 NEW BEST:: SOT 156394 SOS 75507 HAS SOPS 39706 HAS SOUS 29232 HAS SOUPS 25233 WITH SCORE 25308.507
AT ITER 2641 NEW BEST:: SOT 156380 SOS 75699 HAS SOPS 39898 HAS SOUS 29204 HAS SOUPS 25205 WITH SCORE 25280.699
AT ITER 2659 NEW BEST:: SOT 156368 SOS 74751 HAS SOPS 39730 HAS SOUS 29144 HAS SOUPS 25157 WITH SCORE 25231.751
AT ITER 2719 NEW BEST:: SOT 156351 SOS 74713 HAS SOPS 39692 HAS SOUS 29140 HAS SOUPS 25153 WITH SCORE 25227.713
AT ITER 2733 NEW BEST:: SOT 156404 SOS 74766 HAS SOPS 39653 HAS SOUS 29101 HAS SOUPS 25114 WITH SCORE 25188.766
AT ITER 2744 NEW BEST:: SOT 156354 SOS 74730 HAS SOPS 39623 HAS SOUS 29057 HAS SOUPS 25070 WITH SCORE 25144.73
AT ITER 2751 NEW BEST:: SOT 156321 SOS 74893 HAS SOPS 39594 HAS SOUS 29053 HAS SOUPS 25063 WITH SCORE 25137.893
AT ITER 2768 NEW BEST:: SOT 156321 SOS 74745 HAS SOPS 39446 HAS SOUS 29053 HAS SOUPS 25063 WITH SCORE 25137.745
AT ITER 2794 NEW BEST:: SOT 156156 SOS 75131 HAS SOPS 39310 HAS SOUS 29074 HAS SOUPS 25055 WITH SCORE 25130.131
AT ITER 2829 NEW BEST:: SOT 155975 SOS 75167 HAS SOPS 39367 HAS SOUS 28963 HAS SOUPS 24944 WITH SCORE 25019.167
AT ITER 2840 NEW BEST:: SOT 155946 SOS 75591 HAS SOPS 39705 HAS SOUS 28905 HAS SOUPS 24886 WITH SCORE 24961.591
AT ITER 2890 NEW BEST:: SOT 155945 SOS 75586 HAS SOPS 39700 HAS SOUS 28903 HAS SOUPS 24884 WITH SCORE 24959.586
AT ITER 2891 NEW BEST:: SOT 155944 SOS 75577 HAS SOPS 39691 HAS SOUS 28901 HAS SOUPS 24882 WITH SCORE 24957.577
AT ITER 2935 NEW BEST:: SOT 155930 SOS 75551 HAS SOPS 39651 HAS SOUS 28847 HAS SOUPS 24828 WITH SCORE 24903.551
AT ITER 2945 NEW BEST:: SOT 155930 SOS 75551 HAS SOPS 39647 HAS SOUS 28847 HAS SOUPS 24824 WITH SCORE 24899.551
AT ITER 2953 NEW BEST:: SOT 155903 SOS 75524 HAS SOPS 39620 HAS SOUS 28831 HAS SOUPS 24808 WITH SCORE 24883.524
AT ITER 2956 NEW BEST:: SOT 155894 SOS 75515 HAS SOPS 39602 HAS SOUS 28813 HAS SOUPS 24790 WITH SCORE 24865.515
AT ITER 2965 NEW BEST:: SOT 155888 SOS 75509 HAS SOPS 39596 HAS SOUS 28807 HAS SOUPS 24784 WITH SCORE 24859.509
AT ITER 2970 NEW BEST:: SOT 155851 SOS 75200 HAS SOPS 39287 HAS SOUS 28797 HAS SOUPS 24774 WITH SCORE 24849.2
AT ITER 2978 NEW BEST:: SOT 155830 SOS 74901 HAS SOPS 38988 HAS SOUS 28751 HAS SOUPS 24728 WITH SCORE 24802.901
AT ITER 2979 NEW BEST:: SOT 155711 SOS 74709 HAS SOPS 38458 HAS SOUS 28571 HAS SOUPS 24475 WITH SCORE 24549.709
AT ITER 2988 NEW BEST:: SOT 155711 SOS 74710 HAS SOPS 38457 HAS SOUS 28570 HAS SOUPS 24474 WITH SCORE 24548.71
AT ITER 2991 NEW BEST:: SOT 155711 SOS 74676 HAS SOPS 38423 HAS SOUS 28536 HAS SOUPS 24440 WITH SCORE 24514.676
AT ITER 2994 NEW BEST:: SOT 155711 SOS 74670 HAS SOPS 38417 HAS SOUS 28536 HAS SOUPS 24440 WITH SCORE 24514.67
AT ITER 3009 NEW BEST:: SOT 155556 SOS 74484 HAS SOPS 38145 HAS SOUS 28281 HAS SOUPS 24185 WITH SCORE 24259.484
AT ITER 3026 NEW BEST:: SOT 155596 SOS 74528 HAS SOPS 38185 HAS SOUS 28273 HAS SOUPS 24177 WITH SCORE 24251.528
AT ITER 3115 NEW BEST:: SOT 155566 SOS 74468 HAS SOPS 38125 HAS SOUS 28249 HAS SOUPS 24153 WITH SCORE 24227.468
AT ITER 3125 NEW BEST:: SOT 155541 SOS 74507 HAS SOPS 38100 HAS SOUS 28254 HAS SOUPS 24142 WITH SCORE 24216.507
AT ITER 3128 NEW BEST:: SOT 155581 SOS 74395 HAS SOPS 38132 HAS SOUS 28238 HAS SOUPS 24134 WITH SCORE 24208.395
AT ITER 3154 NEW BEST:: SOT 155581 SOS 74395 HAS SOPS 38074 HAS SOUS 28238 HAS SOUPS 24076 WITH SCORE 24150.395
AT ITER 3160 NEW BEST:: SOT 155597 SOS 74429 HAS SOPS 38116 HAS SOUS 28215 HAS SOUPS 24053 WITH SCORE 24127.429
AT ITER 3185 NEW BEST:: SOT 155576 SOS 74187 HAS SOPS 37874 HAS SOUS 28173 HAS SOUPS 24011 WITH SCORE 24085.187
AT ITER 3191 NEW BEST:: SOT 155548 SOS 74159 HAS SOPS 37804 HAS SOUS 28112 HAS SOUPS 23941 WITH SCORE 24015.159
AT ITER 3199 NEW BEST:: SOT 155542 SOS 74161 HAS SOPS 37792 HAS SOUS 28100 HAS SOUPS 23929 WITH SCORE 24003.161
AT ITER 3235 NEW BEST:: SOT 155539 SOS 74158 HAS SOPS 37786 HAS SOUS 28094 HAS SOUPS 23923 WITH SCORE 23997.158
AT ITER 3281 NEW BEST:: SOT 155551 SOS 74199 HAS SOPS 37827 HAS SOUS 28090 HAS SOUPS 23919 WITH SCORE 23993.199
AT ITER 3317 NEW BEST:: SOT 155545 SOS 74177 HAS SOPS 37805 HAS SOUS 28079 HAS SOUPS 23908 WITH SCORE 23982.177
AT ITER 3319 NEW BEST:: SOT 155502 SOS 74056 HAS SOPS 37684 HAS SOUS 28032 HAS SOUPS 23861 WITH SCORE 23935.056
AT ITER 3351 NEW BEST:: SOT 155490 SOS 74032 HAS SOPS 37660 HAS SOUS 28018 HAS SOUPS 23847 WITH SCORE 23921.032
AT ITER 3365 NEW BEST:: SOT 155417 SOS 73919 HAS SOPS 37547 HAS SOUS 27905 HAS SOUPS 23734 WITH SCORE 23807.919
AT ITER 3384 NEW BEST:: SOT 155414 SOS 73913 HAS SOPS 37538 HAS SOUS 27896 HAS SOUPS 23725 WITH SCORE 23798.913
AT ITER 3415 NEW BEST:: SOT 155407 SOS 73906 HAS SOPS 37524 HAS SOUS 27882 HAS SOUPS 23711 WITH SCORE 23784.906
AT ITER 3466 NEW BEST:: SOT 155406 SOS 73904 HAS SOPS 37522 HAS SOUS 27880 HAS SOUPS 23709 WITH SCORE 23782.904
AT ITER 3483 NEW BEST:: SOT 155406 SOS 73848 HAS SOPS 37530 HAS SOUS 27866 HAS SOUPS 23699 WITH SCORE 23772.848
AT ITER 3498 NEW BEST:: SOT 155612 SOS 74081 HAS SOPS 37645 HAS SOUS 27827 HAS SOUPS 23660 WITH SCORE 23734.081
AT ITER 3501 NEW BEST:: SOT 155612 SOS 74097 HAS SOPS 37657 HAS SOUS 27823 HAS SOUPS 23656 WITH SCORE 23730.097
AT ITER 3508 NEW BEST:: SOT 155612 SOS 74061 HAS SOPS 37621 HAS SOUS 27823 HAS SOUPS 23656 WITH SCORE 23730.061
AT ITER 3526 NEW BEST:: SOT 155622 SOS 74073 HAS SOPS 37617 HAS SOUS 27819 HAS SOUPS 23652 WITH SCORE 23726.073
AT ITER 3540 NEW BEST:: SOT 155620 SOS 74051 HAS SOPS 37595 HAS SOUS 27815 HAS SOUPS 23648 WITH SCORE 23722.051
AT ITER 3589 NEW BEST:: SOT 155585 SOS 73981 HAS SOPS 37370 HAS SOUS 27745 HAS SOUPS 23547 WITH SCORE 23620.981
AT ITER 3640 NEW BEST:: SOT 155624 SOS 74064 HAS SOPS 37360 HAS SOUS 27756 HAS SOUPS 23537 WITH SCORE 23611.064
AT ITER 3672 NEW BEST:: SOT 155628 SOS 74104 HAS SOPS 37386 HAS SOUS 27754 HAS SOUPS 23535 WITH SCORE 23609.104
AT ITER 3686 NEW BEST:: SOT 155747 SOS 74226 HAS SOPS 37530 HAS SOUS 27693 HAS SOUPS 23474 WITH SCORE 23548.226
AT ITER 3692 NEW BEST:: SOT 155745 SOS 74222 HAS SOPS 37531 HAS SOUS 27690 HAS SOUPS 23471 WITH SCORE 23545.222
AT ITER 3693 NEW BEST:: SOT 155745 SOS 74198 HAS SOPS 37507 HAS SOUS 27690 HAS SOUPS 23471 WITH SCORE 23545.198
AT ITER 3760 NEW BEST:: SOT 155757 SOS 74173 HAS SOPS 37699 HAS SOUS 27670 HAS SOUPS 23451 WITH SCORE 23525.173
AT ITER 3767 NEW BEST:: SOT 155649 SOS 74056 HAS SOPS 37546 HAS SOUS 27641 HAS SOUPS 23413 WITH SCORE 23487.056
AT ITER 3865 NEW BEST:: SOT 155617 SOS 74006 HAS SOPS 37530 HAS SOUS 27649 HAS SOUPS 23397 WITH SCORE 23471.006
AT ITER 3887 NEW BEST:: SOT 155575 SOS 73978 HAS SOPS 37502 HAS SOUS 27621 HAS SOUPS 23369 WITH SCORE 23442.978
AT ITER 3905 NEW BEST:: SOT 155526 SOS 74285 HAS SOPS 37821 HAS SOUS 27574 HAS SOUPS 23322 WITH SCORE 23396.285
AT ITER 3924 NEW BEST:: SOT 155518 SOS 74278 HAS SOPS 37814 HAS SOUS 27566 HAS SOUPS 23314 WITH SCORE 23388.278
AT ITER 3948 NEW BEST:: SOT 155508 SOS 74258 HAS SOPS 37774 HAS SOUS 27546 HAS SOUPS 23274 WITH SCORE 23348.258
AT ITER 3954 NEW BEST:: SOT 155508 SOS 74222 HAS SOPS 37774 HAS SOUS 27546 HAS SOUPS 23274 WITH SCORE 23348.222
AT ITER 3975 NEW BEST:: SOT 155508 SOS 74215 HAS SOPS 37753 HAS SOUS 27551 HAS SOUPS 23272 WITH SCORE 23346.215
AT ITER 3998 NEW BEST:: SOT 155503 SOS 74235 HAS SOPS 37773 HAS SOUS 27546 HAS SOUPS 23267 WITH SCORE 23341.235
AT ITER 3999 NEW BEST:: SOT 155488 SOS 74177 HAS SOPS 37682 HAS SOUS 27524 HAS SOUPS 23245 WITH SCORE 23319.177
AT ITER 4001 NEW BEST:: SOT 155476 SOS 74143 HAS SOPS 37658 HAS SOUS 27500 HAS SOUPS 23221 WITH SCORE 23295.143
AT ITER 4010 NEW BEST:: SOT 155432 SOS 74099 HAS SOPS 37647 HAS SOUS 27467 HAS SOUPS 23188 WITH SCORE 23262.099
AT ITER 4011 NEW BEST:: SOT 155431 SOS 74097 HAS SOPS 37645 HAS SOUS 27465 HAS SOUPS 23186 WITH SCORE 23260.097
AT ITER 4044 NEW BEST:: SOT 155430 SOS 74095 HAS SOPS 37640 HAS SOUS 27460 HAS SOUPS 23181 WITH SCORE 23255.095
AT ITER 4066 NEW BEST:: SOT 155434 SOS 74067 HAS SOPS 37654 HAS SOUS 27456 HAS SOUPS 23179 WITH SCORE 23253.067
AT ITER 4077 NEW BEST:: SOT 155434 SOS 74007 HAS SOPS 37607 HAS SOUS 27433 HAS SOUPS 23156 WITH SCORE 23230.007
AT ITER 4078 NEW BEST:: SOT 155412 SOS 73975 HAS SOPS 37532 HAS SOUS 27391 HAS SOUPS 23081 WITH SCORE 23154.975
AT ITER 4096 NEW BEST:: SOT 155408 SOS 73967 HAS SOPS 37524 HAS SOUS 27383 HAS SOUPS 23073 WITH SCORE 23146.967
AT ITER 4118 NEW BEST:: SOT 155408 SOS 73856 HAS SOPS 37413 HAS SOUS 27367 HAS SOUPS 23057 WITH SCORE 23130.856
AT ITER 4142 NEW BEST:: SOT 155407 SOS 73838 HAS SOPS 37395 HAS SOUS 27365 HAS SOUPS 23055 WITH SCORE 23128.838
AT ITER 4178 NEW BEST:: SOT 155408 SOS 73833 HAS SOPS 37373 HAS SOUS 27360 HAS SOUPS 23044 WITH SCORE 23117.833
AT ITER 4197 NEW BEST:: SOT 155418 SOS 73823 HAS SOPS 37373 HAS SOUS 27362 HAS SOUPS 23044 WITH SCORE 23117.823
AT ITER 4270 NEW BEST:: SOT 155420 SOS 73825 HAS SOPS 37375 HAS SOUS 27348 HAS SOUPS 23030 WITH SCORE 23103.825
AT ITER 4277 NEW BEST:: SOT 155420 SOS 73821 HAS SOPS 37371 HAS SOUS 27348 HAS SOUPS 23030 WITH SCORE 23103.821
AT ITER 4282 NEW BEST:: SOT 155395 SOS 73799 HAS SOPS 37349 HAS SOUS 27348 HAS SOUPS 23030 WITH SCORE 23103.799
AT ITER 4304 NEW BEST:: SOT 155200 SOS 73604 HAS SOPS 37130 HAS SOUS 27283 HAS SOUPS 22965 WITH SCORE 23038.604
AT ITER 4315 NEW BEST:: SOT 155191 SOS 73595 HAS SOPS 37118 HAS SOUS 27271 HAS SOUPS 22953 WITH SCORE 23026.595
AT ITER 4333 NEW BEST:: SOT 155192 SOS 73591 HAS SOPS 37110 HAS SOUS 27267 HAS SOUPS 22945 WITH SCORE 23018.591
AT ITER 4336 NEW BEST:: SOT 155174 SOS 73573 HAS SOPS 37092 HAS SOUS 27249 HAS SOUPS 22927 WITH SCORE 23000.573
AT ITER 4340 NEW BEST:: SOT 155166 SOS 73557 HAS SOPS 37076 HAS SOUS 27249 HAS SOUPS 22927 WITH SCORE 23000.557
AT ITER 4418 NEW BEST:: SOT 155120 SOS 73530 HAS SOPS 36954 HAS SOUS 27241 HAS SOUPS 22919 WITH SCORE 22992.53
AT ITER 4436 NEW BEST:: SOT 155064 SOS 73474 HAS SOPS 36826 HAS SOUS 27057 HAS SOUPS 22735 WITH SCORE 22808.474
AT ITER 4443 NEW BEST:: SOT 155059 SOS 73557 HAS SOPS 36909 HAS SOUS 27047 HAS SOUPS 22725 WITH SCORE 22798.557
AT ITER 4466 NEW BEST:: SOT 155037 SOS 73533 HAS SOPS 36883 HAS SOUS 27043 HAS SOUPS 22721 WITH SCORE 22794.533
AT ITER 4470 NEW BEST:: SOT 154933 SOS 73421 HAS SOPS 36755 HAS SOUS 27015 HAS SOUPS 22685 WITH SCORE 22758.421
AT ITER 4473 NEW BEST:: SOT 154909 SOS 73397 HAS SOPS 36731 HAS SOUS 27003 HAS SOUPS 22661 WITH SCORE 22734.397
AT ITER 4485 NEW BEST:: SOT 154884 SOS 73330 HAS SOPS 36681 HAS SOUS 26953 HAS SOUPS 22611 WITH SCORE 22684.33
AT ITER 4516 NEW BEST:: SOT 154842 SOS 73288 HAS SOPS 36639 HAS SOUS 26953 HAS SOUPS 22611 WITH SCORE 22684.288
AT ITER 4560 NEW BEST:: SOT 154836 SOS 73282 HAS SOPS 36633 HAS SOUS 26953 HAS SOUPS 22611 WITH SCORE 22684.282
AT ITER 4569 NEW BEST:: SOT 154836 SOS 73246 HAS SOPS 36597 HAS SOUS 26953 HAS SOUPS 22611 WITH SCORE 22684.246
AT ITER 4577 NEW BEST:: SOT 154901 SOS 73374 HAS SOPS 36342 HAS SOUS 26941 HAS SOUPS 22585 WITH SCORE 22658.374
AT ITER 4591 NEW BEST:: SOT 154914 SOS 72201 HAS SOPS 36187 HAS SOUS 26890 HAS SOUPS 22554 WITH SCORE 22626.201
AT ITER 4617 NEW BEST:: SOT 154918 SOS 72205 HAS SOPS 36191 HAS SOUS 26884 HAS SOUPS 22548 WITH SCORE 22620.205
AT ITER 4636 NEW BEST:: SOT 154917 SOS 72203 HAS SOPS 36189 HAS SOUS 26882 HAS SOUPS 22546 WITH SCORE 22618.203
AT ITER 4637 NEW BEST:: SOT 154915 SOS 72213 HAS SOPS 36187 HAS SOUS 26864 HAS SOUPS 22528 WITH SCORE 22600.213
AT ITER 4715 NEW BEST:: SOT 154920 SOS 72269 HAS SOPS 36243 HAS SOUS 26860 HAS SOUPS 22524 WITH SCORE 22596.269
AT ITER 4730 NEW BEST:: SOT 154917 SOS 72266 HAS SOPS 36240 HAS SOUS 26854 HAS SOUPS 22518 WITH SCORE 22590.266
AT ITER 4741 NEW BEST:: SOT 154965 SOS 72309 HAS SOPS 36283 HAS SOUS 26817 HAS SOUPS 22481 WITH SCORE 22553.309
AT ITER 4748 NEW BEST:: SOT 154825 SOS 72141 HAS SOPS 36115 HAS SOUS 26789 HAS SOUPS 22453 WITH SCORE 22525.141
AT ITER 4754 NEW BEST:: SOT 154797 SOS 72113 HAS SOPS 36171 HAS SOUS 26783 HAS SOUPS 22447 WITH SCORE 22519.113
AT ITER 4771 NEW BEST:: SOT 154842 SOS 72158 HAS SOPS 36141 HAS SOUS 26753 HAS SOUPS 22417 WITH SCORE 22489.158
AT ITER 4784 NEW BEST:: SOT 154841 SOS 72133 HAS SOPS 36139 HAS SOUS 26751 HAS SOUPS 22415 WITH SCORE 22487.133
AT ITER 4787 NEW BEST:: SOT 154838 SOS 72128 HAS SOPS 36134 HAS SOUS 26751 HAS SOUPS 22415 WITH SCORE 22487.128
AT ITER 4789 NEW BEST:: SOT 154975 SOS 72320 HAS SOPS 36326 HAS SOUS 26701 HAS SOUPS 22365 WITH SCORE 22437.32
AT ITER 4800 NEW BEST:: SOT 154969 SOS 72314 HAS SOPS 36318 HAS SOUS 26693 HAS SOUPS 22357 WITH SCORE 22429.314
AT ITER 4835 NEW BEST:: SOT 154965 SOS 72362 HAS SOPS 36366 HAS SOUS 26685 HAS SOUPS 22349 WITH SCORE 22421.362
AT ITER 4857 NEW BEST:: SOT 154950 SOS 72326 HAS SOPS 36330 HAS SOUS 26675 HAS SOUPS 22339 WITH SCORE 22411.326
AT ITER 4897 NEW BEST:: SOT 154946 SOS 72353 HAS SOPS 36357 HAS SOUS 26667 HAS SOUPS 22331 WITH SCORE 22403.353
AT ITER 4912 NEW BEST:: SOT 154926 SOS 72313 HAS SOPS 36317 HAS SOUS 26647 HAS SOUPS 22311 WITH SCORE 22383.313
AT ITER 4937 NEW BEST:: SOT 154924 SOS 72279 HAS SOPS 36283 HAS SOUS 26643 HAS SOUPS 22307 WITH SCORE 22379.279
AT ITER 4945 NEW BEST:: SOT 154916 SOS 72207 HAS SOPS 36211 HAS SOUS 26627 HAS SOUPS 22291 WITH SCORE 22363.207
AT ITER 4966 NEW BEST:: SOT 154917 SOS 72148 HAS SOPS 36161 HAS SOUS 26627 HAS SOUPS 22291 WITH SCORE 22363.148
AT ITER 4968 NEW BEST:: SOT 154907 SOS 72412 HAS SOPS 36425 HAS SOUS 26622 HAS SOUPS 22286 WITH SCORE 22358.412
AT ITER 5087 NEW BEST:: SOT 154859 SOS 72329 HAS SOPS 36329 HAS SOUS 26526 HAS SOUPS 22190 WITH SCORE 22262.329
AT ITER 5094 NEW BEST:: SOT 154856 SOS 72295 HAS SOPS 36295 HAS SOUS 26520 HAS SOUPS 22184 WITH SCORE 22256.295
AT ITER 5126 NEW BEST:: SOT 154855 SOS 72282 HAS SOPS 36281 HAS SOUS 26439 HAS SOUPS 22103 WITH SCORE 22175.282
AT ITER 5132 NEW BEST:: SOT 154847 SOS 72277 HAS SOPS 36278 HAS SOUS 26436 HAS SOUPS 22100 WITH SCORE 22172.277
AT ITER 5133 NEW BEST:: SOT 154821 SOS 72251 HAS SOPS 36254 HAS SOUS 26412 HAS SOUPS 22076 WITH SCORE 22148.251
AT ITER 5143 NEW BEST:: SOT 154804 SOS 72234 HAS SOPS 36220 HAS SOUS 26378 HAS SOUPS 22042 WITH SCORE 22114.234
AT ITER 5174 NEW BEST:: SOT 154696 SOS 72117 HAS SOPS 36094 HAS SOUS 26365 HAS SOUPS 22020 WITH SCORE 22092.117
AT ITER 5185 NEW BEST:: SOT 154695 SOS 72116 HAS SOPS 36094 HAS SOUS 26365 HAS SOUPS 22020 WITH SCORE 22092.116
AT ITER 5191 NEW BEST:: SOT 154689 SOS 72112 HAS SOPS 36092 HAS SOUS 26363 HAS SOUPS 22018 WITH SCORE 22090.112
AT ITER 5217 NEW BEST:: SOT 154683 SOS 72130 HAS SOPS 36083 HAS SOUS 26360 HAS SOUPS 22009 WITH SCORE 22081.13
AT ITER 5244 NEW BEST:: SOT 154672 SOS 72108 HAS SOPS 36061 HAS SOUS 26338 HAS SOUPS 21987 WITH SCORE 22059.108
AT ITER 5253 NEW BEST:: SOT 154660 SOS 72096 HAS SOPS 36024 HAS SOUS 26301 HAS SOUPS 21950 WITH SCORE 22022.096
AT ITER 5267 NEW BEST:: SOT 154657 SOS 72093 HAS SOPS 35968 HAS SOUS 26233 HAS SOUPS 21882 WITH SCORE 21954.093
AT ITER 5282 NEW BEST:: SOT 154657 SOS 72092 HAS SOPS 35967 HAS SOUS 26232 HAS SOUPS 21881 WITH SCORE 21953.092
AT ITER 5321 NEW BEST:: SOT 154647 SOS 72215 HAS SOPS 35947 HAS SOUS 26263 HAS SOUPS 21861 WITH SCORE 21933.215
AT ITER 5359 NEW BEST:: SOT 154609 SOS 72175 HAS SOPS 35943 HAS SOUS 26251 HAS SOUPS 21849 WITH SCORE 21921.175
AT ITER 5457 NEW BEST:: SOT 154605 SOS 72163 HAS SOPS 35931 HAS SOUS 26247 HAS SOUPS 21845 WITH SCORE 21917.163
AT ITER 5473 NEW BEST:: SOT 154422 SOS 72594 HAS SOPS 35725 HAS SOUS 26328 HAS SOUPS 21831 WITH SCORE 21903.594
AT ITER 5474 NEW BEST:: SOT 154412 SOS 72589 HAS SOPS 35480 HAS SOUS 26363 HAS SOUPS 21801 WITH SCORE 21873.589
AT ITER 5489 NEW BEST:: SOT 154403 SOS 72475 HAS SOPS 35366 HAS SOUS 26345 HAS SOUPS 21783 WITH SCORE 21855.475
AT ITER 5504 NEW BEST:: SOT 154406 SOS 72400 HAS SOPS 35366 HAS SOUS 26319 HAS SOUPS 21754 WITH SCORE 21826.4
AT ITER 5514 NEW BEST:: SOT 154405 SOS 72398 HAS SOPS 35364 HAS SOUS 26318 HAS SOUPS 21753 WITH SCORE 21825.398
AT ITER 5525 NEW BEST:: SOT 154406 SOS 72390 HAS SOPS 35351 HAS SOUS 26315 HAS SOUPS 21750 WITH SCORE 21822.39
AT ITER 5532 NEW BEST:: SOT 154395 SOS 72362 HAS SOPS 35312 HAS SOUS 26276 HAS SOUPS 21711 WITH SCORE 21783.362
AT ITER 5561 NEW BEST:: SOT 154368 SOS 72364 HAS SOPS 35364 HAS SOUS 26269 HAS SOUPS 21704 WITH SCORE 21776.364
AT ITER 5585 NEW BEST:: SOT 154363 SOS 72357 HAS SOPS 35357 HAS SOUS 26262 HAS SOUPS 21697 WITH SCORE 21769.357
AT ITER 5611 NEW BEST:: SOT 154321 SOS 72271 HAS SOPS 35271 HAS SOUS 26191 HAS SOUPS 21626 WITH SCORE 21698.271
AT ITER 5612 NEW BEST:: SOT 154255 SOS 72128 HAS SOPS 35128 HAS SOUS 26048 HAS SOUPS 21483 WITH SCORE 21555.128
AT ITER 5662 NEW BEST:: SOT 154261 SOS 72115 HAS SOPS 35115 HAS SOUS 26038 HAS SOUPS 21473 WITH SCORE 21545.115
AT ITER 5728 NEW BEST:: SOT 154245 SOS 72187 HAS SOPS 35103 HAS SOUS 26038 HAS SOUPS 21469 WITH SCORE 21541.187
AT ITER 5756 NEW BEST:: SOT 154254 SOS 72183 HAS SOPS 35095 HAS SOUS 26034 HAS SOUPS 21461 WITH SCORE 21533.183
AT ITER 5760 NEW BEST:: SOT 154248 SOS 72156 HAS SOPS 35107 HAS SOUS 26023 HAS SOUPS 21450 WITH SCORE 21522.156
AT ITER 5809 NEW BEST:: SOT 154402 SOS 72310 HAS SOPS 35261 HAS SOUS 26018 HAS SOUPS 21445 WITH SCORE 21517.31
AT ITER 5819 NEW BEST:: SOT 154386 SOS 72307 HAS SOPS 35258 HAS SOUS 25997 HAS SOUPS 21424 WITH SCORE 21496.307
AT ITER 5826 NEW BEST:: SOT 154537 SOS 71715 HAS SOPS 35397 HAS SOUS 25941 HAS SOUPS 21420 WITH SCORE 21491.715
AT ITER 5851 NEW BEST:: SOT 154530 SOS 71725 HAS SOPS 35407 HAS SOUS 25927 HAS SOUPS 21406 WITH SCORE 21477.725
AT ITER 5912 NEW BEST:: SOT 154456 SOS 71628 HAS SOPS 35310 HAS SOUS 25830 HAS SOUPS 21309 WITH SCORE 21380.628
AT ITER 5955 NEW BEST:: SOT 154499 SOS 71681 HAS SOPS 35396 HAS SOUS 25828 HAS SOUPS 21307 WITH SCORE 21378.681
AT ITER 6005 NEW BEST:: SOT 154492 SOS 71681 HAS SOPS 35382 HAS SOUS 25814 HAS SOUPS 21293 WITH SCORE 21364.681
AT ITER 6018 NEW BEST:: SOT 154492 SOS 71661 HAS SOPS 35362 HAS SOUS 25814 HAS SOUPS 21293 WITH SCORE 21364.661
AT ITER 6042 NEW BEST:: SOT 154492 SOS 71711 HAS SOPS 35412 HAS SOUS 25786 HAS SOUPS 21265 WITH SCORE 21336.711
AT ITER 6049 NEW BEST:: SOT 154491 SOS 71710 HAS SOPS 35411 HAS SOUS 25785 HAS SOUPS 21264 WITH SCORE 21335.71
AT ITER 6111 NEW BEST:: SOT 154490 SOS 71709 HAS SOPS 35410 HAS SOUS 25783 HAS SOUPS 21262 WITH SCORE 21333.709
AT ITER 6122 NEW BEST:: SOT 154516 SOS 71701 HAS SOPS 35402 HAS SOUS 25766 HAS SOUPS 21245 WITH SCORE 21316.701
AT ITER 6126 NEW BEST:: SOT 154516 SOS 71705 HAS SOPS 35405 HAS SOUS 25765 HAS SOUPS 21244 WITH SCORE 21315.705
AT ITER 6179 NEW BEST:: SOT 154456 SOS 71630 HAS SOPS 35330 HAS SOUS 25765 HAS SOUPS 21244 WITH SCORE 21315.63
AT ITER 6204 NEW BEST:: SOT 154461 SOS 71635 HAS SOPS 35325 HAS SOUS 25760 HAS SOUPS 21239 WITH SCORE 21310.635
AT ITER 6239 NEW BEST:: SOT 154459 SOS 71629 HAS SOPS 35319 HAS SOUS 25756 HAS SOUPS 21235 WITH SCORE 21306.629
AT ITER 6275 NEW BEST:: SOT 154453 SOS 71623 HAS SOPS 35313 HAS SOUS 25750 HAS SOUPS 21229 WITH SCORE 21300.623
AT ITER 6297 NEW BEST:: SOT 154462 SOS 71617 HAS SOPS 35307 HAS SOUS 25744 HAS SOUPS 21223 WITH SCORE 21294.617
AT ITER 6311 NEW BEST:: SOT 154447 SOS 71602 HAS SOPS 35148 HAS SOUS 25720 HAS SOUPS 21193 WITH SCORE 21264.602
AT ITER 6329 NEW BEST:: SOT 154445 SOS 71600 HAS SOPS 35144 HAS SOUS 25716 HAS SOUPS 21189 WITH SCORE 21260.6
AT ITER 6330 NEW BEST:: SOT 154445 SOS 71589 HAS SOPS 35133 HAS SOUS 25716 HAS SOUPS 21189 WITH SCORE 21260.589
AT ITER 6349 NEW BEST:: SOT 154379 SOS 71523 HAS SOPS 35061 HAS SOUS 25688 HAS SOUPS 21161 WITH SCORE 21232.523
AT ITER 6355 NEW BEST:: SOT 154374 SOS 71509 HAS SOPS 35051 HAS SOUS 25678 HAS SOUPS 21151 WITH SCORE 21222.509
AT ITER 6369 NEW BEST:: SOT 154357 SOS 71471 HAS SOPS 35013 HAS SOUS 25665 HAS SOUPS 21138 WITH SCORE 21209.471
AT ITER 6377 NEW BEST:: SOT 154358 SOS 71472 HAS SOPS 35006 HAS SOUS 25658 HAS SOUPS 21131 WITH SCORE 21202.472
AT ITER 6405 NEW BEST:: SOT 154284 SOS 71324 HAS SOPS 34858 HAS SOUS 25512 HAS SOUPS 20983 WITH SCORE 21054.324
AT ITER 6437 NEW BEST:: SOT 154288 SOS 71318 HAS SOPS 34852 HAS SOUS 25511 HAS SOUPS 20982 WITH SCORE 21053.318
AT ITER 6449 NEW BEST:: SOT 154286 SOS 71316 HAS SOPS 34850 HAS SOUS 25511 HAS SOUPS 20982 WITH SCORE 21053.316
AT ITER 6505 NEW BEST:: SOT 154285 SOS 71240 HAS SOPS 34774 HAS SOUS 25509 HAS SOUPS 20980 WITH SCORE 21051.24
AT ITER 6525 NEW BEST:: SOT 154285 SOS 70913 HAS SOPS 34441 HAS SOUS 25497 HAS SOUPS 20968 WITH SCORE 21038.913
AT ITER 6530 NEW BEST:: SOT 154285 SOS 70901 HAS SOPS 34429 HAS SOUS 25495 HAS SOUPS 20966 WITH SCORE 21036.901
AT ITER 6535 NEW BEST:: SOT 154249 SOS 71028 HAS SOPS 34396 HAS SOUS 25490 HAS SOUPS 20953 WITH SCORE 21024.028
AT ITER 6644 NEW BEST:: SOT 154246 SOS 71025 HAS SOPS 34396 HAS SOUS 25490 HAS SOUPS 20953 WITH SCORE 21024.025
AT ITER 6653 NEW BEST:: SOT 154238 SOS 71009 HAS SOPS 34395 HAS SOUS 25489 HAS SOUPS 20952 WITH SCORE 21023.009
AT ITER 6730 NEW BEST:: SOT 154282 SOS 70981 HAS SOPS 34367 HAS SOUS 25436 HAS SOUPS 20899 WITH SCORE 20969.981
AT ITER 6772 NEW BEST:: SOT 154248 SOS 70950 HAS SOPS 34332 HAS SOUS 25425 HAS SOUPS 20888 WITH SCORE 20958.95
AT ITER 6831 NEW BEST:: SOT 154224 SOS 70920 HAS SOPS 34332 HAS SOUS 25425 HAS SOUPS 20888 WITH SCORE 20958.92
AT ITER 6846 NEW BEST:: SOT 154216 SOS 70914 HAS SOPS 34316 HAS SOUS 25421 HAS SOUPS 20884 WITH SCORE 20954.914
AT ITER 6880 NEW BEST:: SOT 154215 SOS 70942 HAS SOPS 34344 HAS SOUS 25419 HAS SOUPS 20882 WITH SCORE 20952.942
AT ITER 6957 NEW BEST:: SOT 154200 SOS 70921 HAS SOPS 34308 HAS SOUS 25393 HAS SOUPS 20856 WITH SCORE 20926.921
AT ITER 6965 NEW BEST:: SOT 154200 SOS 70918 HAS SOPS 34297 HAS SOUS 25380 HAS SOUPS 20843 WITH SCORE 20913.918
AT ITER 6993 NEW BEST:: SOT 154146 SOS 71325 HAS SOPS 34358 HAS SOUS 25405 HAS SOUPS 20839 WITH SCORE 20910.325
AT ITER 7012 NEW BEST:: SOT 153994 SOS 71150 HAS SOPS 34284 HAS SOUS 25387 HAS SOUPS 20821 WITH SCORE 20892.15
AT ITER 7025 NEW BEST:: SOT 153963 SOS 71135 HAS SOPS 34269 HAS SOUS 25387 HAS SOUPS 20821 WITH SCORE 20892.135
AT ITER 7027 NEW BEST:: SOT 153962 SOS 71133 HAS SOPS 34267 HAS SOUS 25385 HAS SOUPS 20819 WITH SCORE 20890.133
AT ITER 7076 NEW BEST:: SOT 153955 SOS 71126 HAS SOPS 34253 HAS SOUS 25371 HAS SOUPS 20805 WITH SCORE 20876.126
AT ITER 7171 NEW BEST:: SOT 153890 SOS 71277 HAS SOPS 34161 HAS SOUS 25333 HAS SOUPS 20713 WITH SCORE 20784.277
AT ITER 7178 NEW BEST:: SOT 153890 SOS 71235 HAS SOPS 34119 HAS SOUS 25330 HAS SOUPS 20710 WITH SCORE 20781.235
AT ITER 7185 NEW BEST:: SOT 153857 SOS 71225 HAS SOPS 34092 HAS SOUS 25303 HAS SOUPS 20683 WITH SCORE 20754.225
AT ITER 7189 NEW BEST:: SOT 153846 SOS 71238 HAS SOPS 34081 HAS SOUS 25291 HAS SOUPS 20665 WITH SCORE 20736.238
AT ITER 7214 NEW BEST:: SOT 153843 SOS 71229 HAS SOPS 34072 HAS SOUS 25285 HAS SOUPS 20659 WITH SCORE 20730.229
AT ITER 7218 NEW BEST:: SOT 153831 SOS 71257 HAS SOPS 34100 HAS SOUS 25261 HAS SOUPS 20635 WITH SCORE 20706.257
AT ITER 7357 NEW BEST:: SOT 153853 SOS 71279 HAS SOPS 34122 HAS SOUS 25259 HAS SOUPS 20633 WITH SCORE 20704.279
AT ITER 7397 NEW BEST:: SOT 153885 SOS 71315 HAS SOPS 34176 HAS SOUS 25225 HAS SOUPS 20599 WITH SCORE 20670.315
AT ITER 7526 NEW BEST:: SOT 153868 SOS 71341 HAS SOPS 34243 HAS SOUS 25216 HAS SOUPS 20590 WITH SCORE 20661.341
AT ITER 7527 NEW BEST:: SOT 153905 SOS 71391 HAS SOPS 34239 HAS SOUS 25213 HAS SOUPS 20586 WITH SCORE 20657.391
AT ITER 7580 NEW BEST:: SOT 153860 SOS 71450 HAS SOPS 34198 HAS SOUS 25193 HAS SOUPS 20562 WITH SCORE 20633.45
AT ITER 7653 NEW BEST:: SOT 153902 SOS 71506 HAS SOPS 34184 HAS SOUS 25179 HAS SOUPS 20548 WITH SCORE 20619.506
AT ITER 7694 NEW BEST:: SOT 153840 SOS 71444 HAS SOPS 34132 HAS SOUS 25159 HAS SOUPS 20528 WITH SCORE 20599.444
AT ITER 7745 NEW BEST:: SOT 153835 SOS 71459 HAS SOPS 34147 HAS SOUS 25149 HAS SOUPS 20518 WITH SCORE 20589.459
AT ITER 7780 NEW BEST:: SOT 153830 SOS 71494 HAS SOPS 34182 HAS SOUS 25146 HAS SOUPS 20515 WITH SCORE 20586.494
AT ITER 7806 NEW BEST:: SOT 153808 SOS 71450 HAS SOPS 34138 HAS SOUS 25124 HAS SOUPS 20493 WITH SCORE 20564.45
AT ITER 7823 NEW BEST:: SOT 153823 SOS 71344 HAS SOPS 34032 HAS SOUS 25119 HAS SOUPS 20488 WITH SCORE 20559.344
AT ITER 7844 NEW BEST:: SOT 153820 SOS 71343 HAS SOPS 34031 HAS SOUS 25113 HAS SOUPS 20482 WITH SCORE 20553.343
AT ITER 7861 NEW BEST:: SOT 153822 SOS 71347 HAS SOPS 34021 HAS SOUS 25103 HAS SOUPS 20472 WITH SCORE 20543.347
AT ITER 7871 NEW BEST:: SOT 153821 SOS 71346 HAS SOPS 34019 HAS SOUS 25101 HAS SOUPS 20470 WITH SCORE 20541.346
AT ITER 7880 NEW BEST:: SOT 153816 SOS 71336 HAS SOPS 34009 HAS SOUS 25091 HAS SOUPS 20460 WITH SCORE 20531.336
AT ITER 7995 NEW BEST:: SOT 153846 SOS 71366 HAS SOPS 34004 HAS SOUS 25060 HAS SOUPS 20429 WITH SCORE 20500.366
AT ITER 7997 NEW BEST:: SOT 153834 SOS 71359 HAS SOPS 34005 HAS SOUS 25053 HAS SOUPS 20426 WITH SCORE 20497.359
AT ITER 8016 NEW BEST:: SOT 153827 SOS 71357 HAS SOPS 34003 HAS SOUS 25051 HAS SOUPS 20424 WITH SCORE 20495.357
AT ITER 8092 NEW BEST:: SOT 153813 SOS 71381 HAS SOPS 34027 HAS SOUS 25023 HAS SOUPS 20396 WITH SCORE 20467.381
AT ITER 8143 NEW BEST:: SOT 153635 SOS 71211 HAS SOPS 33867 HAS SOUS 25007 HAS SOUPS 20380 WITH SCORE 20451.211
AT ITER 8183 NEW BEST:: SOT 153683 SOS 71259 HAS SOPS 33843 HAS SOUS 24977 HAS SOUPS 20356 WITH SCORE 20427.259
AT ITER 8239 NEW BEST:: SOT 153678 SOS 71239 HAS SOPS 33823 HAS SOUS 24972 HAS SOUPS 20351 WITH SCORE 20422.239
AT ITER 8274 NEW BEST:: SOT 153564 SOS 71125 HAS SOPS 33705 HAS SOUS 24966 HAS SOUPS 20345 WITH SCORE 20416.125
AT ITER 8295 NEW BEST:: SOT 153545 SOS 71117 HAS SOPS 33678 HAS SOUS 24939 HAS SOUPS 20318 WITH SCORE 20389.117
AT ITER 8369 NEW BEST:: SOT 153482 SOS 71091 HAS SOPS 33655 HAS SOUS 24922 HAS SOUPS 20301 WITH SCORE 20372.091
AT ITER 8407 NEW BEST:: SOT 153472 SOS 70963 HAS SOPS 33515 HAS SOUS 24902 HAS SOUPS 20281 WITH SCORE 20351.963
AT ITER 8420 NEW BEST:: SOT 153457 SOS 70948 HAS SOPS 33510 HAS SOUS 24897 HAS SOUPS 20276 WITH SCORE 20346.948
AT ITER 8422 NEW BEST:: SOT 153457 SOS 70964 HAS SOPS 33526 HAS SOUS 24889 HAS SOUPS 20268 WITH SCORE 20338.964
AT ITER 8452 NEW BEST:: SOT 153452 SOS 70954 HAS SOPS 33516 HAS SOUS 24879 HAS SOUPS 20258 WITH SCORE 20328.954
AT ITER 8484 NEW BEST:: SOT 153444 SOS 70946 HAS SOPS 33516 HAS SOUS 24879 HAS SOUPS 20258 WITH SCORE 20328.946
AT ITER 8493 NEW BEST:: SOT 153439 SOS 70936 HAS SOPS 33516 HAS SOUS 24884 HAS SOUPS 20258 WITH SCORE 20328.936
AT ITER 8498 NEW BEST:: SOT 153416 SOS 70936 HAS SOPS 33532 HAS SOUS 24876 HAS SOUPS 20250 WITH SCORE 20320.936
AT ITER 8536 NEW BEST:: SOT 153415 SOS 70936 HAS SOPS 33533 HAS SOUS 24876 HAS SOUPS 20249 WITH SCORE 20319.936
AT ITER 8544 NEW BEST:: SOT 153415 SOS 70923 HAS SOPS 33520 HAS SOUS 24863 HAS SOUPS 20236 WITH SCORE 20306.923
AT ITER 8568 NEW BEST:: SOT 153415 SOS 70922 HAS SOPS 33519 HAS SOUS 24863 HAS SOUPS 20236 WITH SCORE 20306.922
AT ITER 8570 NEW BEST:: SOT 153395 SOS 70982 HAS SOPS 33499 HAS SOUS 24859 HAS SOUPS 20228 WITH SCORE 20298.982
AT ITER 8609 NEW BEST:: SOT 153417 SOS 71015 HAS SOPS 33532 HAS SOUS 24837 HAS SOUPS 20206 WITH SCORE 20277.015
AT ITER 8636 NEW BEST:: SOT 153414 SOS 70969 HAS SOPS 33486 HAS SOUS 24831 HAS SOUPS 20200 WITH SCORE 20270.969
AT ITER 8651 NEW BEST:: SOT 153413 SOS 70969 HAS SOPS 33486 HAS SOUS 24829 HAS SOUPS 20198 WITH SCORE 20268.969
AT ITER 8662 NEW BEST:: SOT 153393 SOS 70953 HAS SOPS 33470 HAS SOUS 24826 HAS SOUPS 20195 WITH SCORE 20265.953
AT ITER 8674 NEW BEST:: SOT 153393 SOS 70953 HAS SOPS 33470 HAS SOUS 24820 HAS SOUPS 20189 WITH SCORE 20259.953
AT ITER 8719 NEW BEST:: SOT 153389 SOS 70947 HAS SOPS 33462 HAS SOUS 24816 HAS SOUPS 20181 WITH SCORE 20251.947
AT ITER 8720 NEW BEST:: SOT 153349 SOS 71117 HAS SOPS 33432 HAS SOUS 24816 HAS SOUPS 20171 WITH SCORE 20242.117
AT ITER 8747 NEW BEST:: SOT 153407 SOS 71046 HAS SOPS 33511 HAS SOUS 24770 HAS SOUPS 20157 WITH SCORE 20228.046
AT ITER 8752 NEW BEST:: SOT 153456 SOS 71095 HAS SOPS 33539 HAS SOUS 24754 HAS SOUPS 20141 WITH SCORE 20212.095
AT ITER 8970 NEW BEST:: SOT 153457 SOS 71109 HAS SOPS 33553 HAS SOUS 24750 HAS SOUPS 20137 WITH SCORE 20208.109
AT ITER 8982 NEW BEST:: SOT 153293 SOS 70945 HAS SOPS 33401 HAS SOUS 24737 HAS SOUPS 20124 WITH SCORE 20194.945
AT ITER 8988 NEW BEST:: SOT 153042 SOS 70694 HAS SOPS 33174 HAS SOUS 24616 HAS SOUPS 20003 WITH SCORE 20073.694
AT ITER 8993 NEW BEST:: SOT 153042 SOS 70693 HAS SOPS 33172 HAS SOUS 24614 HAS SOUPS 20001 WITH SCORE 20071.693
AT ITER 8997 NEW BEST:: SOT 153027 SOS 70666 HAS SOPS 33142 HAS SOUS 24584 HAS SOUPS 19971 WITH SCORE 20041.666
AT ITER 9020 NEW BEST:: SOT 153009 SOS 70663 HAS SOPS 33160 HAS SOUS 24583 HAS SOUPS 19970 WITH SCORE 20040.663
AT ITER 9029 NEW BEST:: SOT 153008 SOS 70656 HAS SOPS 33153 HAS SOUS 24581 HAS SOUPS 19968 WITH SCORE 20038.656
AT ITER 9123 NEW BEST:: SOT 153002 SOS 70650 HAS SOPS 33147 HAS SOUS 24575 HAS SOUPS 19962 WITH SCORE 20032.65
AT ITER 9139 NEW BEST:: SOT 153000 SOS 70646 HAS SOPS 33143 HAS SOUS 24571 HAS SOUPS 19958 WITH SCORE 20028.646
AT ITER 9141 NEW BEST:: SOT 152952 SOS 70598 HAS SOPS 33095 HAS SOUS 24571 HAS SOUPS 19958 WITH SCORE 20028.598
AT ITER 9149 NEW BEST:: SOT 152947 SOS 70591 HAS SOPS 33089 HAS SOUS 24565 HAS SOUPS 19952 WITH SCORE 20022.591
AT ITER 9163 NEW BEST:: SOT 152943 SOS 70591 HAS SOPS 33089 HAS SOUS 24557 HAS SOUPS 19944 WITH SCORE 20014.591
AT ITER 9235 NEW BEST:: SOT 152903 SOS 70514 HAS SOPS 33085 HAS SOUS 24553 HAS SOUPS 19940 WITH SCORE 20010.514
AT ITER 9286 NEW BEST:: SOT 152820 SOS 70431 HAS SOPS 32991 HAS SOUS 24492 HAS SOUPS 19879 WITH SCORE 19949.431
AT ITER 9323 NEW BEST:: SOT 152774 SOS 70658 HAS SOPS 32945 HAS SOUS 24510 HAS SOUPS 19833 WITH SCORE 19903.658
AT ITER 9379 NEW BEST:: SOT 152738 SOS 70622 HAS SOPS 32904 HAS SOUS 24469 HAS SOUPS 19792 WITH SCORE 19862.622
AT ITER 9434 NEW BEST:: SOT 152736 SOS 70608 HAS SOPS 32890 HAS SOUS 24465 HAS SOUPS 19788 WITH SCORE 19858.608
AT ITER 9461 NEW BEST:: SOT 152781 SOS 70777 HAS SOPS 32905 HAS SOUS 24486 HAS SOUPS 19783 WITH SCORE 19853.777
AT ITER 9467 NEW BEST:: SOT 152778 SOS 70774 HAS SOPS 32899 HAS SOUS 24479 HAS SOUPS 19776 WITH SCORE 19846.774
AT ITER 9472 NEW BEST:: SOT 152798 SOS 70794 HAS SOPS 32897 HAS SOUS 24477 HAS SOUPS 19774 WITH SCORE 19844.794
AT ITER 9545 NEW BEST:: SOT 152790 SOS 70786 HAS SOPS 32885 HAS SOUS 24465 HAS SOUPS 19762 WITH SCORE 19832.786
AT ITER 9579 NEW BEST:: SOT 152779 SOS 70765 HAS SOPS 32848 HAS SOUS 24453 HAS SOUPS 19745 WITH SCORE 19815.765
AT ITER 9691 NEW BEST:: SOT 152755 SOS 70694 HAS SOPS 32777 HAS SOUS 24422 HAS SOUPS 19714 WITH SCORE 19784.694
AT ITER 9702 NEW BEST:: SOT 152763 SOS 70665 HAS SOPS 32715 HAS SOUS 24386 HAS SOUPS 19678 WITH SCORE 19748.665
AT ITER 9709 NEW BEST:: SOT 152763 SOS 70662 HAS SOPS 32712 HAS SOUS 24386 HAS SOUPS 19678 WITH SCORE 19748.662
AT ITER 9805 NEW BEST:: SOT 152762 SOS 70656 HAS SOPS 32695 HAS SOUS 24380 HAS SOUPS 19677 WITH SCORE 19747.656
AT ITER 9847 NEW BEST:: SOT 152762 SOS 70646 HAS SOPS 32685 HAS SOUS 24368 HAS SOUPS 19665 WITH SCORE 19735.646
AT ITER 9884 NEW BEST:: SOT 152761 SOS 70645 HAS SOPS 32685 HAS SOUS 24368 HAS SOUPS 19665 WITH SCORE 19735.645
AT ITER 9928 NEW BEST:: SOT 152760 SOS 70644 HAS SOPS 32684 HAS SOUS 24366 HAS SOUPS 19663 WITH SCORE 19733.644
AT ITER 9951 NEW BEST:: SOT 152751 SOS 70626 HAS SOPS 32666 HAS SOUS 24366 HAS SOUPS 19663 WITH SCORE 19733.626
AT ITER 9964 NEW BEST:: SOT 152751 SOS 70617 HAS SOPS 32655 HAS SOUS 24365 HAS SOUPS 19662 WITH SCORE 19732.617
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5837932 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151516 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="EisenbergMcGuire-PT-05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is EisenbergMcGuire-PT-05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r515-tall-167987242200240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/EisenbergMcGuire-PT-05.tgz
mv EisenbergMcGuire-PT-05 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;