About the Execution of Smart+red for Medical-PT-04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.079 | 1261535.00 | 1295634.00 | 14835.80 | [undef] | Cannot compute |
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.r235-tall-167856422100664.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 smartxred
Input is Medical-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422100664
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 5.1K Feb 25 14:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Feb 25 14:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 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 1678678560010
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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 03:36:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 03:36:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 03:36:01] [INFO ] Load time of PNML (sax parser for PT used): 255 ms
[2023-03-13 03:36:01] [INFO ] Transformed 312 places.
[2023-03-13 03:36:01] [INFO ] Transformed 5431 transitions.
[2023-03-13 03:36:01] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 524 ms.
[2023-03-13 03:36:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 61 ms.
Total runtime 612 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 3 NEW BEST:: SOT 1168831 SOS 637076 HAS SOPS 634019 HAS SOUS 250579 HAS SOUPS 247791 WITH SCORE 248428.076
AT ITER 9 NEW BEST:: SOT 1169850 SOS 638015 HAS SOPS 634958 HAS SOUS 250050 HAS SOUPS 247262 WITH SCORE 247900.015
AT ITER 16 NEW BEST:: SOT 1170178 SOS 638843 HAS SOPS 635858 HAS SOUS 247926 HAS SOUPS 245138 WITH SCORE 245776.843
AT ITER 18 NEW BEST:: SOT 1154320 SOS 623039 HAS SOPS 620054 HAS SOUS 231381 HAS SOUPS 228593 WITH SCORE 229216.039
AT ITER 21 NEW BEST:: SOT 1154320 SOS 615386 HAS SOPS 611830 HAS SOUS 231411 HAS SOUPS 228496 WITH SCORE 229111.386
AT ITER 23 NEW BEST:: SOT 1154377 SOS 618059 HAS SOPS 614503 HAS SOUS 229792 HAS SOUPS 226877 WITH SCORE 227495.059
AT ITER 25 NEW BEST:: SOT 1154377 SOS 618059 HAS SOPS 614503 HAS SOUS 229777 HAS SOUPS 226862 WITH SCORE 227480.059
AT ITER 26 NEW BEST:: SOT 1153729 SOS 617375 HAS SOPS 613855 HAS SOUS 228238 HAS SOUPS 225350 WITH SCORE 225967.375
AT ITER 29 NEW BEST:: SOT 1154230 SOS 617800 HAS SOPS 614356 HAS SOUS 225401 HAS SOUPS 222582 WITH SCORE 223199.8
AT ITER 31 NEW BEST:: SOT 1154206 SOS 617774 HAS SOPS 614332 HAS SOUS 225358 HAS SOUPS 222540 WITH SCORE 223157.774
AT ITER 47 NEW BEST:: SOT 1153742 SOS 617294 HAS SOPS 613868 HAS SOUS 224935 HAS SOUPS 222133 WITH SCORE 222750.294
AT ITER 53 NEW BEST:: SOT 1153742 SOS 617586 HAS SOPS 614240 HAS SOUS 224569 HAS SOUPS 221783 WITH SCORE 222400.586
AT ITER 54 NEW BEST:: SOT 1153228 SOS 621872 HAS SOPS 618526 HAS SOUS 224542 HAS SOUPS 221756 WITH SCORE 222377.872
AT ITER 63 NEW BEST:: SOT 1153125 SOS 623174 HAS SOPS 619828 HAS SOUS 224104 HAS SOUPS 221318 WITH SCORE 221941.174
AT ITER 64 NEW BEST:: SOT 1153161 SOS 623210 HAS SOPS 619864 HAS SOUS 223900 HAS SOUPS 221114 WITH SCORE 221737.21
AT ITER 74 NEW BEST:: SOT 1154970 SOS 625672 HAS SOPS 622452 HAS SOUS 218940 HAS SOUPS 216256 WITH SCORE 216881.672
AT ITER 81 NEW BEST:: SOT 1154970 SOS 627184 HAS SOPS 623964 HAS SOUS 218886 HAS SOUPS 216202 WITH SCORE 216829.184
AT ITER 85 NEW BEST:: SOT 1153767 SOS 626012 HAS SOPS 622835 HAS SOUS 217742 HAS SOUPS 215058 WITH SCORE 215684.012
AT ITER 88 NEW BEST:: SOT 1153184 SOS 628813 HAS SOPS 625636 HAS SOUS 217593 HAS SOUPS 214909 WITH SCORE 215537.813
AT ITER 89 NEW BEST:: SOT 1150359 SOS 631258 HAS SOPS 627825 HAS SOUS 217349 HAS SOUPS 214575 WITH SCORE 215206.258
AT ITER 95 NEW BEST:: SOT 1150371 SOS 631942 HAS SOPS 628509 HAS SOUS 217205 HAS SOUPS 214431 WITH SCORE 215062.942
AT ITER 98 NEW BEST:: SOT 1150357 SOS 631928 HAS SOPS 628495 HAS SOUS 217191 HAS SOUPS 214417 WITH SCORE 215048.928
AT ITER 99 NEW BEST:: SOT 1150302 SOS 655337 HAS SOPS 651904 HAS SOUS 216715 HAS SOUPS 213941 WITH SCORE 214596.337
AT ITER 101 NEW BEST:: SOT 1150499 SOS 655880 HAS SOPS 652457 HAS SOUS 214073 HAS SOUPS 211299 WITH SCORE 211954.88
AT ITER 103 NEW BEST:: SOT 1151400 SOS 657004 HAS SOPS 654534 HAS SOUS 209852 HAS SOUPS 207970 WITH SCORE 208627.004
AT ITER 105 NEW BEST:: SOT 1151388 SOS 657280 HAS SOPS 654810 HAS SOUS 209840 HAS SOUPS 207958 WITH SCORE 208615.28
AT ITER 111 NEW BEST:: SOT 1151417 SOS 657957 HAS SOPS 655487 HAS SOUS 209752 HAS SOUPS 207870 WITH SCORE 208527.957
AT ITER 124 NEW BEST:: SOT 1150694 SOS 660900 HAS SOPS 658430 HAS SOUS 209397 HAS SOUPS 207515 WITH SCORE 208175.9
AT ITER 129 NEW BEST:: SOT 1151270 SOS 661459 HAS SOPS 659006 HAS SOUS 206358 HAS SOUPS 204493 WITH SCORE 205154.459
AT ITER 135 NEW BEST:: SOT 1150785 SOS 663606 HAS SOPS 661153 HAS SOUS 205687 HAS SOUPS 203822 WITH SCORE 204485.606
AT ITER 139 NEW BEST:: SOT 1150785 SOS 663606 HAS SOPS 661153 HAS SOUS 205309 HAS SOUPS 203444 WITH SCORE 204107.606
AT ITER 141 NEW BEST:: SOT 1150788 SOS 663609 HAS SOPS 661156 HAS SOUS 205243 HAS SOUPS 203378 WITH SCORE 204041.609
AT ITER 147 NEW BEST:: SOT 1150788 SOS 663609 HAS SOPS 661156 HAS SOUS 204955 HAS SOUPS 203090 WITH SCORE 203753.609
AT ITER 153 NEW BEST:: SOT 1149451 SOS 662272 HAS SOPS 659819 HAS SOUS 201829 HAS SOUPS 199964 WITH SCORE 200626.272
AT ITER 158 NEW BEST:: SOT 1149451 SOS 662732 HAS SOPS 660259 HAS SOUS 201793 HAS SOUPS 199924 WITH SCORE 200586.732
AT ITER 161 NEW BEST:: SOT 1149252 SOS 662533 HAS SOPS 660060 HAS SOUS 201684 HAS SOUPS 199815 WITH SCORE 200477.533
AT ITER 168 NEW BEST:: SOT 1150420 SOS 661434 HAS SOPS 659161 HAS SOUS 201422 HAS SOUPS 199603 WITH SCORE 200264.434
AT ITER 177 NEW BEST:: SOT 1151803 SOS 662512 HAS SOPS 660239 HAS SOUS 201279 HAS SOUPS 199460 WITH SCORE 200122.512
AT ITER 178 NEW BEST:: SOT 1151786 SOS 661555 HAS SOPS 658807 HAS SOUS 201177 HAS SOUPS 199223 WITH SCORE 199884.555
AT ITER 181 NEW BEST:: SOT 1151786 SOS 661555 HAS SOPS 658807 HAS SOUS 201175 HAS SOUPS 199221 WITH SCORE 199882.555
AT ITER 182 NEW BEST:: SOT 1151330 SOS 661080 HAS SOPS 658351 HAS SOUS 199948 HAS SOUPS 198013 WITH SCORE 198674.08
AT ITER 188 NEW BEST:: SOT 1149808 SOS 659108 HAS SOPS 656379 HAS SOUS 199172 HAS SOUPS 197237 WITH SCORE 197896.108
AT ITER 192 NEW BEST:: SOT 1149184 SOS 658446 HAS SOPS 655755 HAS SOUS 197764 HAS SOUPS 195855 WITH SCORE 196513.446
AT ITER 201 NEW BEST:: SOT 1147942 SOS 659469 HAS SOPS 656753 HAS SOUS 196980 HAS SOUPS 195046 WITH SCORE 195705.469
AT ITER 207 NEW BEST:: SOT 1146689 SOS 660660 HAS SOPS 657944 HAS SOUS 196024 HAS SOUPS 194090 WITH SCORE 194750.66
AT ITER 213 NEW BEST:: SOT 1146689 SOS 660004 HAS SOPS 657328 HAS SOUS 195986 HAS SOUPS 194060 WITH SCORE 194720.004
AT ITER 215 NEW BEST:: SOT 1132458 SOS 809176 HAS SOPS 806631 HAS SOUS 179101 HAS SOUPS 177276 WITH SCORE 178085.176
AT ITER 216 NEW BEST:: SOT 1132458 SOS 807928 HAS SOPS 805374 HAS SOUS 179042 HAS SOUPS 177217 WITH SCORE 178024.928
AT ITER 233 NEW BEST:: SOT 1132470 SOS 807940 HAS SOPS 805386 HAS SOUS 177714 HAS SOUPS 175889 WITH SCORE 176696.94
AT ITER 238 NEW BEST:: SOT 1132483 SOS 807953 HAS SOPS 805399 HAS SOUS 177666 HAS SOUPS 175841 WITH SCORE 176648.953
AT ITER 249 NEW BEST:: SOT 1132480 SOS 807950 HAS SOPS 805396 HAS SOUS 177663 HAS SOUPS 175838 WITH SCORE 176645.95
AT ITER 259 NEW BEST:: SOT 1129823 SOS 805293 HAS SOPS 802739 HAS SOUS 177483 HAS SOUPS 175658 WITH SCORE 176463.293
AT ITER 264 NEW BEST:: SOT 1130635 SOS 806128 HAS SOPS 803574 HAS SOUS 177092 HAS SOUPS 175267 WITH SCORE 176073.128
AT ITER 267 NEW BEST:: SOT 1130635 SOS 806128 HAS SOPS 803574 HAS SOUS 177088 HAS SOUPS 175263 WITH SCORE 176069.128
AT ITER 268 NEW BEST:: SOT 1130059 SOS 806040 HAS SOPS 803486 HAS SOUS 176642 HAS SOUPS 174817 WITH SCORE 175623.04
AT ITER 271 NEW BEST:: SOT 1130059 SOS 805096 HAS SOPS 802358 HAS SOUS 176747 HAS SOUPS 174738 WITH SCORE 175543.096
AT ITER 280 NEW BEST:: SOT 1130095 SOS 804033 HAS SOPS 800810 HAS SOUS 176759 HAS SOUPS 174615 WITH SCORE 175419.033
AT ITER 281 NEW BEST:: SOT 1129787 SOS 803725 HAS SOPS 800502 HAS SOUS 176655 HAS SOUPS 174511 WITH SCORE 175314.725
AT ITER 301 NEW BEST:: SOT 1129586 SOS 803524 HAS SOPS 800301 HAS SOUS 175795 HAS SOUPS 173651 WITH SCORE 174454.524
AT ITER 302 NEW BEST:: SOT 1131502 SOS 807579 HAS SOPS 805861 HAS SOUS 174133 HAS SOUPS 173480 WITH SCORE 174287.579
AT ITER 303 NEW BEST:: SOT 1131522 SOS 807599 HAS SOPS 805881 HAS SOUS 173744 HAS SOUPS 173091 WITH SCORE 173898.599
AT ITER 319 NEW BEST:: SOT 1131357 SOS 807434 HAS SOPS 805716 HAS SOUS 173522 HAS SOUPS 172869 WITH SCORE 173676.434
AT ITER 321 NEW BEST:: SOT 1131319 SOS 807396 HAS SOPS 805678 HAS SOUS 173446 HAS SOUPS 172793 WITH SCORE 173600.396
AT ITER 323 NEW BEST:: SOT 1131319 SOS 802802 HAS SOPS 800760 HAS SOUS 173341 HAS SOUPS 172688 WITH SCORE 173490.802
AT ITER 326 NEW BEST:: SOT 1131195 SOS 802678 HAS SOPS 800636 HAS SOUS 173217 HAS SOUPS 172564 WITH SCORE 173366.678
AT ITER 331 NEW BEST:: SOT 1131356 SOS 802554 HAS SOPS 800528 HAS SOUS 173106 HAS SOUPS 172460 WITH SCORE 173262.554
AT ITER 336 NEW BEST:: SOT 1131356 SOS 800418 HAS SOPS 798508 HAS SOUS 172944 HAS SOUPS 172298 WITH SCORE 173098.418
AT ITER 347 NEW BEST:: SOT 1131347 SOS 800409 HAS SOPS 798499 HAS SOUS 172935 HAS SOUPS 172289 WITH SCORE 173089.409
AT ITER 355 NEW BEST:: SOT 1130328 SOS 799390 HAS SOPS 797480 HAS SOUS 172699 HAS SOUPS 172053 WITH SCORE 172852.39
AT ITER 360 NEW BEST:: SOT 1130254 SOS 799316 HAS SOPS 797406 HAS SOUS 172530 HAS SOUPS 171884 WITH SCORE 172683.316
AT ITER 362 NEW BEST:: SOT 1130123 SOS 799185 HAS SOPS 797275 HAS SOUS 171967 HAS SOUPS 171321 WITH SCORE 172120.185
AT ITER 365 NEW BEST:: SOT 1130621 SOS 799864 HAS SOPS 797981 HAS SOUS 169725 HAS SOUPS 169106 WITH SCORE 169905.864
AT ITER 368 NEW BEST:: SOT 1129394 SOS 798703 HAS SOPS 796820 HAS SOUS 168685 HAS SOUPS 168066 WITH SCORE 168864.703
AT ITER 375 NEW BEST:: SOT 1129394 SOS 797569 HAS SOPS 795686 HAS SOUS 168622 HAS SOUPS 168003 WITH SCORE 168800.569
AT ITER 378 NEW BEST:: SOT 1129452 SOS 797627 HAS SOPS 795744 HAS SOUS 167129 HAS SOUPS 166510 WITH SCORE 167307.627
AT ITER 383 NEW BEST:: SOT 1129451 SOS 798293 HAS SOPS 796409 HAS SOUS 167128 HAS SOUPS 166508 WITH SCORE 167306.293
AT ITER 396 NEW BEST:: SOT 1129408 SOS 798250 HAS SOPS 796366 HAS SOUS 167021 HAS SOUPS 166401 WITH SCORE 167199.25
AT ITER 417 NEW BEST:: SOT 1131064 SOS 799906 HAS SOPS 798022 HAS SOUS 165466 HAS SOUPS 164846 WITH SCORE 165645.906
AT ITER 424 NEW BEST:: SOT 1131326 SOS 799724 HAS SOPS 797840 HAS SOUS 165459 HAS SOUPS 164839 WITH SCORE 165638.724
AT ITER 426 NEW BEST:: SOT 1130588 SOS 798805 HAS SOPS 795444 HAS SOUS 165013 HAS SOUPS 162916 WITH SCORE 163714.805
AT ITER 427 NEW BEST:: SOT 1131538 SOS 799755 HAS SOPS 796394 HAS SOUS 163370 HAS SOUPS 161273 WITH SCORE 162072.755
AT ITER 430 NEW BEST:: SOT 1131538 SOS 799705 HAS SOPS 796328 HAS SOUS 163003 HAS SOUPS 160906 WITH SCORE 161705.705
AT ITER 434 NEW BEST:: SOT 1132784 SOS 800951 HAS SOPS 797574 HAS SOUS 161287 HAS SOUPS 159190 WITH SCORE 159990.951
AT ITER 443 NEW BEST:: SOT 1132631 SOS 800798 HAS SOPS 797421 HAS SOUS 161030 HAS SOUPS 158933 WITH SCORE 159733.798
AT ITER 455 NEW BEST:: SOT 1132631 SOS 800798 HAS SOPS 797421 HAS SOUS 161010 HAS SOUPS 158913 WITH SCORE 159713.798
AT ITER 469 NEW BEST:: SOT 1132631 SOS 767774 HAS SOPS 764397 HAS SOUS 160936 HAS SOUPS 158839 WITH SCORE 159606.774
AT ITER 470 NEW BEST:: SOT 1132319 SOS 768735 HAS SOPS 765366 HAS SOUS 160519 HAS SOUPS 158430 WITH SCORE 159198.735
AT ITER 471 NEW BEST:: SOT 1132355 SOS 768747 HAS SOPS 765114 HAS SOUS 160561 HAS SOUPS 158406 WITH SCORE 159174.747
AT ITER 482 NEW BEST:: SOT 1132355 SOS 768747 HAS SOPS 765114 HAS SOUS 160546 HAS SOUPS 158391 WITH SCORE 159159.747
AT ITER 484 NEW BEST:: SOT 1131441 SOS 767833 HAS SOPS 764200 HAS SOUS 160321 HAS SOUPS 158166 WITH SCORE 158933.833
AT ITER 490 NEW BEST:: SOT 1131441 SOS 768979 HAS SOPS 765352 HAS SOUS 160068 HAS SOUPS 157919 WITH SCORE 158687.979
AT ITER 491 NEW BEST:: SOT 1131441 SOS 769711 HAS SOPS 766096 HAS SOUS 159731 HAS SOUPS 157594 WITH SCORE 158363.711
AT ITER 493 NEW BEST:: SOT 1130711 SOS 769622 HAS SOPS 766007 HAS SOUS 159226 HAS SOUPS 157089 WITH SCORE 157858.622
AT ITER 495 NEW BEST:: SOT 1130631 SOS 769542 HAS SOPS 765927 HAS SOUS 159130 HAS SOUPS 156993 WITH SCORE 157762.542
AT ITER 498 NEW BEST:: SOT 1130316 SOS 769227 HAS SOPS 765612 HAS SOUS 158367 HAS SOUPS 156230 WITH SCORE 156999.227
AT ITER 503 NEW BEST:: SOT 1130318 SOS 769949 HAS SOPS 766336 HAS SOUS 157583 HAS SOUPS 155446 WITH SCORE 156215.949
AT ITER 504 NEW BEST:: SOT 1130318 SOS 784479 HAS SOPS 780971 HAS SOUS 157164 HAS SOUPS 155048 WITH SCORE 155832.479
AT ITER 505 NEW BEST:: SOT 1130250 SOS 784493 HAS SOPS 780985 HAS SOUS 155799 HAS SOUPS 153683 WITH SCORE 154467.493
AT ITER 507 NEW BEST:: SOT 1129921 SOS 784164 HAS SOPS 780656 HAS SOUS 155664 HAS SOUPS 153548 WITH SCORE 154332.164
AT ITER 513 NEW BEST:: SOT 1130483 SOS 784726 HAS SOPS 781218 HAS SOUS 154423 HAS SOUPS 152307 WITH SCORE 153091.726
AT ITER 517 NEW BEST:: SOT 1130483 SOS 784716 HAS SOPS 781211 HAS SOUS 154292 HAS SOUPS 152179 WITH SCORE 152963.716
AT ITER 520 NEW BEST:: SOT 1130891 SOS 785124 HAS SOPS 781619 HAS SOUS 154246 HAS SOUPS 152133 WITH SCORE 152918.124
AT ITER 532 NEW BEST:: SOT 1133710 SOS 792120 HAS SOPS 788474 HAS SOUS 154253 HAS SOUPS 151999 WITH SCORE 152791.12
AT ITER 536 NEW BEST:: SOT 1134807 SOS 793217 HAS SOPS 789571 HAS SOUS 154093 HAS SOUPS 151839 WITH SCORE 152632.217
AT ITER 539 NEW BEST:: SOT 1134869 SOS 793279 HAS SOPS 789633 HAS SOUS 154069 HAS SOUPS 151815 WITH SCORE 152608.279
AT ITER 543 NEW BEST:: SOT 1134869 SOS 791687 HAS SOPS 788125 HAS SOUS 153963 HAS SOUPS 151709 WITH SCORE 152500.687
AT ITER 546 NEW BEST:: SOT 1134869 SOS 788616 HAS SOPS 785205 HAS SOUS 153871 HAS SOUPS 151632 WITH SCORE 152420.616
AT ITER 547 NEW BEST:: SOT 1136189 SOS 789936 HAS SOPS 786525 HAS SOUS 153868 HAS SOUPS 151629 WITH SCORE 152418.936
AT ITER 549 NEW BEST:: SOT 1137189 SOS 792160 HAS SOPS 788774 HAS SOUS 152234 HAS SOUPS 150020 WITH SCORE 150812.16
AT ITER 552 NEW BEST:: SOT 1140073 SOS 795375 HAS SOPS 791990 HAS SOUS 151094 HAS SOUPS 148881 WITH SCORE 149676.375
AT ITER 556 NEW BEST:: SOT 1140073 SOS 796118 HAS SOPS 792738 HAS SOUS 150878 HAS SOUPS 148670 WITH SCORE 149466.118
AT ITER 567 NEW BEST:: SOT 1139459 SOS 795504 HAS SOPS 792124 HAS SOUS 149598 HAS SOUPS 147390 WITH SCORE 148185.504
AT ITER 570 NEW BEST:: SOT 1139180 SOS 795231 HAS SOPS 791851 HAS SOUS 149128 HAS SOUPS 146920 WITH SCORE 147715.231
AT ITER 572 NEW BEST:: SOT 1138593 SOS 797011 HAS SOPS 793631 HAS SOUS 148923 HAS SOUPS 146715 WITH SCORE 147512.011
AT ITER 573 NEW BEST:: SOT 1138142 SOS 796560 HAS SOPS 793180 HAS SOUS 148103 HAS SOUPS 145895 WITH SCORE 146691.56
AT ITER 574 NEW BEST:: SOT 1138286 SOS 792906 HAS SOPS 789706 HAS SOUS 147673 HAS SOUPS 145645 WITH SCORE 146437.906
AT ITER 582 NEW BEST:: SOT 1138191 SOS 792811 HAS SOPS 789611 HAS SOUS 147659 HAS SOUPS 145631 WITH SCORE 146423.811
AT ITER 607 NEW BEST:: SOT 1138191 SOS 770085 HAS SOPS 766885 HAS SOUS 147613 HAS SOUPS 145585 WITH SCORE 146355.085
AT ITER 617 NEW BEST:: SOT 1138191 SOS 770085 HAS SOPS 766885 HAS SOUS 147338 HAS SOUPS 145310 WITH SCORE 146080.085
AT ITER 620 NEW BEST:: SOT 1138191 SOS 770085 HAS SOPS 766885 HAS SOUS 147300 HAS SOUPS 145272 WITH SCORE 146042.085
AT ITER 622 NEW BEST:: SOT 1137540 SOS 769434 HAS SOPS 766234 HAS SOUS 144460 HAS SOUPS 142432 WITH SCORE 143201.434
AT ITER 641 NEW BEST:: SOT 1136732 SOS 768626 HAS SOPS 765426 HAS SOUS 144443 HAS SOUPS 142415 WITH SCORE 143183.626
AT ITER 643 NEW BEST:: SOT 1136732 SOS 770001 HAS SOPS 766806 HAS SOUS 144182 HAS SOUPS 142159 WITH SCORE 142929.001
AT ITER 655 NEW BEST:: SOT 1136849 SOS 770170 HAS SOPS 766975 HAS SOUS 144029 HAS SOUPS 142006 WITH SCORE 142776.17
AT ITER 664 NEW BEST:: SOT 1136021 SOS 769342 HAS SOPS 766147 HAS SOUS 143399 HAS SOUPS 141376 WITH SCORE 142145.342
AT ITER 667 NEW BEST:: SOT 1135605 SOS 769111 HAS SOPS 765916 HAS SOUS 142655 HAS SOUPS 140632 WITH SCORE 141401.111
AT ITER 668 NEW BEST:: SOT 1135605 SOS 769711 HAS SOPS 766516 HAS SOUS 142630 HAS SOUPS 140607 WITH SCORE 141376.711
AT ITER 669 NEW BEST:: SOT 1135605 SOS 769353 HAS SOPS 766158 HAS SOUS 142583 HAS SOUPS 140560 WITH SCORE 141329.353
AT ITER 696 NEW BEST:: SOT 1134526 SOS 772573 HAS SOPS 769231 HAS SOUS 141930 HAS SOUPS 139848 WITH SCORE 140620.573
AT ITER 701 NEW BEST:: SOT 1134548 SOS 772595 HAS SOPS 769253 HAS SOUS 141855 HAS SOUPS 139773 WITH SCORE 140545.595
AT ITER 707 NEW BEST:: SOT 1134555 SOS 772602 HAS SOPS 769260 HAS SOUS 141722 HAS SOUPS 139640 WITH SCORE 140412.602
AT ITER 708 NEW BEST:: SOT 1133563 SOS 771610 HAS SOPS 768268 HAS SOUS 141051 HAS SOUPS 138969 WITH SCORE 139740.61
AT ITER 713 NEW BEST:: SOT 1133638 SOS 771685 HAS SOPS 768343 HAS SOUS 140920 HAS SOUPS 138838 WITH SCORE 139609.685
AT ITER 714 NEW BEST:: SOT 1133424 SOS 771471 HAS SOPS 768129 HAS SOUS 140471 HAS SOUPS 138389 WITH SCORE 139160.471
AT ITER 715 NEW BEST:: SOT 1133280 SOS 771327 HAS SOPS 767985 HAS SOUS 139528 HAS SOUPS 137446 WITH SCORE 138217.327
AT ITER 723 NEW BEST:: SOT 1133313 SOS 772383 HAS SOPS 769041 HAS SOUS 139484 HAS SOUPS 137402 WITH SCORE 138174.383
AT ITER 729 NEW BEST:: SOT 1133330 SOS 772400 HAS SOPS 769058 HAS SOUS 139171 HAS SOUPS 137089 WITH SCORE 137861.4
AT ITER 734 NEW BEST:: SOT 1133330 SOS 772175 HAS SOPS 768833 HAS SOUS 139153 HAS SOUPS 137071 WITH SCORE 137843.175
AT ITER 736 NEW BEST:: SOT 1134045 SOS 772907 HAS SOPS 769665 HAS SOUS 138606 HAS SOUPS 136544 WITH SCORE 137316.907
AT ITER 747 NEW BEST:: SOT 1136305 SOS 775167 HAS SOPS 771925 HAS SOUS 138202 HAS SOUPS 136140 WITH SCORE 136915.167
AT ITER 760 NEW BEST:: SOT 1134337 SOS 773631 HAS SOPS 770389 HAS SOUS 135510 HAS SOUPS 133448 WITH SCORE 134221.631
AT ITER 763 NEW BEST:: SOT 1134337 SOS 773631 HAS SOPS 770389 HAS SOUS 135494 HAS SOUPS 133432 WITH SCORE 134205.631
AT ITER 764 NEW BEST:: SOT 1134337 SOS 772981 HAS SOPS 769739 HAS SOUS 135478 HAS SOUPS 133416 WITH SCORE 134188.981
AT ITER 765 NEW BEST:: SOT 1134514 SOS 773158 HAS SOPS 769916 HAS SOUS 135410 HAS SOUPS 133348 WITH SCORE 134121.158
AT ITER 782 NEW BEST:: SOT 1136272 SOS 788356 HAS SOPS 784554 HAS SOUS 135334 HAS SOUPS 133157 WITH SCORE 133945.356
AT ITER 790 NEW BEST:: SOT 1135913 SOS 790694 HAS SOPS 786928 HAS SOUS 135206 HAS SOUPS 133065 WITH SCORE 133855.694
AT ITER 803 NEW BEST:: SOT 1136717 SOS 792043 HAS SOPS 788340 HAS SOUS 135156 HAS SOUPS 133062 WITH SCORE 133854.043
AT ITER 804 NEW BEST:: SOT 1136717 SOS 790049 HAS SOPS 786531 HAS SOUS 134952 HAS SOUPS 132895 WITH SCORE 133685.049
AT ITER 805 NEW BEST:: SOT 1136717 SOS 789785 HAS SOPS 786267 HAS SOUS 134943 HAS SOUPS 132886 WITH SCORE 133675.785
AT ITER 806 NEW BEST:: SOT 1137965 SOS 791033 HAS SOPS 787515 HAS SOUS 134390 HAS SOUPS 132333 WITH SCORE 133124.033
AT ITER 814 NEW BEST:: SOT 1138025 SOS 791093 HAS SOPS 787575 HAS SOUS 133994 HAS SOUPS 131937 WITH SCORE 132728.093
AT ITER 821 NEW BEST:: SOT 1138027 SOS 791329 HAS SOPS 787801 HAS SOUS 133992 HAS SOUPS 131933 WITH SCORE 132724.329
AT ITER 848 NEW BEST:: SOT 1138027 SOS 791337 HAS SOPS 787809 HAS SOUS 133970 HAS SOUPS 131911 WITH SCORE 132702.337
AT ITER 872 NEW BEST:: SOT 1138164 SOS 805060 HAS SOPS 801662 HAS SOUS 133660 HAS SOUPS 131630 WITH SCORE 132435.06
AT ITER 873 NEW BEST:: SOT 1138167 SOS 805132 HAS SOPS 801734 HAS SOUS 133654 HAS SOUPS 131624 WITH SCORE 132429.132
AT ITER 874 NEW BEST:: SOT 1137269 SOS 804234 HAS SOPS 800836 HAS SOUS 133611 HAS SOUPS 131581 WITH SCORE 132385.234
AT ITER 899 NEW BEST:: SOT 1137269 SOS 786161 HAS SOPS 782763 HAS SOUS 133532 HAS SOUPS 131502 WITH SCORE 132288.161
AT ITER 903 NEW BEST:: SOT 1136975 SOS 785867 HAS SOPS 782469 HAS SOUS 133250 HAS SOUPS 131220 WITH SCORE 132005.867
AT ITER 911 NEW BEST:: SOT 1136975 SOS 786275 HAS SOPS 782877 HAS SOUS 133116 HAS SOUPS 131086 WITH SCORE 131872.275
AT ITER 912 NEW BEST:: SOT 1137687 SOS 800399 HAS SOPS 797141 HAS SOUS 132647 HAS SOUPS 130645 WITH SCORE 131445.399
AT ITER 918 NEW BEST:: SOT 1137159 SOS 800240 HAS SOPS 796982 HAS SOUS 132601 HAS SOUPS 130599 WITH SCORE 131399.24
AT ITER 921 NEW BEST:: SOT 1137156 SOS 801413 HAS SOPS 798155 HAS SOUS 132541 HAS SOUPS 130539 WITH SCORE 131340.413
AT ITER 926 NEW BEST:: SOT 1137808 SOS 802065 HAS SOPS 798807 HAS SOUS 131856 HAS SOUPS 129854 WITH SCORE 130656.065
AT ITER 928 NEW BEST:: SOT 1137808 SOS 801817 HAS SOPS 798562 HAS SOUS 131853 HAS SOUPS 129851 WITH SCORE 130652.817
AT ITER 939 NEW BEST:: SOT 1137808 SOS 801180 HAS SOPS 797925 HAS SOUS 131840 HAS SOUPS 129838 WITH SCORE 130639.18
AT ITER 951 NEW BEST:: SOT 1137808 SOS 803851 HAS SOPS 800603 HAS SOUS 131663 HAS SOUPS 129668 WITH SCORE 130471.851
AT ITER 972 NEW BEST:: SOT 1137808 SOS 804530 HAS SOPS 801307 HAS SOUS 131576 HAS SOUPS 129606 WITH SCORE 130410.53
AT ITER 978 NEW BEST:: SOT 1138906 SOS 805782 HAS SOPS 801264 HAS SOUS 132793 HAS SOUPS 129528 WITH SCORE 130333.782
AT ITER 984 NEW BEST:: SOT 1139240 SOS 806116 HAS SOPS 801598 HAS SOUS 132293 HAS SOUPS 129028 WITH SCORE 129834.116
AT ITER 987 NEW BEST:: SOT 1139240 SOS 805978 HAS SOPS 801466 HAS SOUS 132287 HAS SOUPS 129022 WITH SCORE 129827.978
AT ITER 991 NEW BEST:: SOT 1138959 SOS 805697 HAS SOPS 801185 HAS SOUS 132222 HAS SOUPS 128957 WITH SCORE 129762.697
AT ITER 996 NEW BEST:: SOT 1138202 SOS 804940 HAS SOPS 800428 HAS SOUS 131553 HAS SOUPS 128288 WITH SCORE 129092.94
AT ITER 1014 NEW BEST:: SOT 1138202 SOS 804546 HAS SOPS 800079 HAS SOUS 131485 HAS SOUPS 128229 WITH SCORE 129033.546
AT ITER 1023 NEW BEST:: SOT 1138279 SOS 804623 HAS SOPS 800547 HAS SOUS 130812 HAS SOUPS 127947 WITH SCORE 128751.623
AT ITER 1026 NEW BEST:: SOT 1138279 SOS 800821 HAS SOPS 797046 HAS SOUS 130530 HAS SOUPS 127722 WITH SCORE 128522.821
AT ITER 1027 NEW BEST:: SOT 1137568 SOS 744998 HAS SOPS 741223 HAS SOUS 130579 HAS SOUPS 127771 WITH SCORE 128515.998
AT ITER 1029 NEW BEST:: SOT 1137122 SOS 744820 HAS SOPS 741045 HAS SOUS 130519 HAS SOUPS 127711 WITH SCORE 128455.82
AT ITER 1031 NEW BEST:: SOT 1137096 SOS 744794 HAS SOPS 741019 HAS SOUS 130493 HAS SOUPS 127685 WITH SCORE 128429.794
AT ITER 1049 NEW BEST:: SOT 1137096 SOS 745052 HAS SOPS 741277 HAS SOUS 130483 HAS SOUPS 127675 WITH SCORE 128420.052
AT ITER 1067 NEW BEST:: SOT 1137115 SOS 745214 HAS SOPS 741370 HAS SOUS 130479 HAS SOUPS 127663 WITH SCORE 128408.214
AT ITER 1076 NEW BEST:: SOT 1136562 SOS 744661 HAS SOPS 740817 HAS SOUS 130391 HAS SOUPS 127575 WITH SCORE 128319.661
AT ITER 1080 NEW BEST:: SOT 1136488 SOS 744587 HAS SOPS 740743 HAS SOUS 129959 HAS SOUPS 127143 WITH SCORE 127887.587
AT ITER 1090 NEW BEST:: SOT 1136031 SOS 744130 HAS SOPS 740286 HAS SOUS 129127 HAS SOUPS 126311 WITH SCORE 127055.13
AT ITER 1093 NEW BEST:: SOT 1135634 SOS 744135 HAS SOPS 740291 HAS SOUS 129104 HAS SOUPS 126288 WITH SCORE 127032.135
AT ITER 1115 NEW BEST:: SOT 1136454 SOS 748287 HAS SOPS 744533 HAS SOUS 128496 HAS SOUPS 125698 WITH SCORE 126446.287
AT ITER 1118 NEW BEST:: SOT 1136249 SOS 748082 HAS SOPS 744328 HAS SOUS 128108 HAS SOUPS 125310 WITH SCORE 126058.082
AT ITER 1120 NEW BEST:: SOT 1136392 SOS 748662 HAS SOPS 744908 HAS SOUS 127955 HAS SOUPS 125157 WITH SCORE 125905.662
AT ITER 1122 NEW BEST:: SOT 1136420 SOS 748714 HAS SOPS 744960 HAS SOUS 127683 HAS SOUPS 124885 WITH SCORE 125633.714
AT ITER 1124 NEW BEST:: SOT 1136225 SOS 748519 HAS SOPS 744765 HAS SOUS 126964 HAS SOUPS 124166 WITH SCORE 124914.519
AT ITER 1130 NEW BEST:: SOT 1135458 SOS 747752 HAS SOPS 743998 HAS SOUS 125963 HAS SOUPS 123165 WITH SCORE 123912.752
AT ITER 1143 NEW BEST:: SOT 1134724 SOS 747018 HAS SOPS 743264 HAS SOUS 124976 HAS SOUPS 122178 WITH SCORE 122925.018
AT ITER 1147 NEW BEST:: SOT 1134724 SOS 746932 HAS SOPS 743202 HAS SOUS 124900 HAS SOUPS 122108 WITH SCORE 122854.932
AT ITER 1152 NEW BEST:: SOT 1133546 SOS 745754 HAS SOPS 742024 HAS SOUS 124844 HAS SOUPS 122052 WITH SCORE 122797.754
AT ITER 1156 NEW BEST:: SOT 1133546 SOS 746198 HAS SOPS 742500 HAS SOUS 124723 HAS SOUPS 121963 WITH SCORE 122709.198
AT ITER 1161 NEW BEST:: SOT 1132939 SOS 746541 HAS SOPS 742843 HAS SOUS 124124 HAS SOUPS 121364 WITH SCORE 122110.541
AT ITER 1216 NEW BEST:: SOT 1133170 SOS 746772 HAS SOPS 743074 HAS SOUS 124068 HAS SOUPS 121308 WITH SCORE 122054.772
AT ITER 1223 NEW BEST:: SOT 1133170 SOS 746772 HAS SOPS 743074 HAS SOUS 124022 HAS SOUPS 121262 WITH SCORE 122008.772
AT ITER 1224 NEW BEST:: SOT 1133276 SOS 746878 HAS SOPS 743180 HAS SOUS 123834 HAS SOUPS 121074 WITH SCORE 121820.878
AT ITER 1226 NEW BEST:: SOT 1133276 SOS 746755 HAS SOPS 743057 HAS SOUS 123813 HAS SOUPS 121053 WITH SCORE 121799.755
AT ITER 1227 NEW BEST:: SOT 1135139 SOS 779074 HAS SOPS 775616 HAS SOUS 123012 HAS SOUPS 120252 WITH SCORE 121031.074
AT ITER 1237 NEW BEST:: SOT 1136702 SOS 780637 HAS SOPS 777179 HAS SOUS 122802 HAS SOUPS 120042 WITH SCORE 120822.637
AT ITER 1238 NEW BEST:: SOT 1136684 SOS 780619 HAS SOPS 777161 HAS SOUS 122765 HAS SOUPS 120005 WITH SCORE 120785.619
AT ITER 1242 NEW BEST:: SOT 1136332 SOS 780267 HAS SOPS 776809 HAS SOUS 122605 HAS SOUPS 119845 WITH SCORE 120625.267
AT ITER 1252 NEW BEST:: SOT 1138116 SOS 782051 HAS SOPS 778596 HAS SOUS 121115 HAS SOUPS 118358 WITH SCORE 119140.051
AT ITER 1259 NEW BEST:: SOT 1138154 SOS 782127 HAS SOPS 778674 HAS SOUS 121087 HAS SOUPS 118332 WITH SCORE 119114.127
AT ITER 1260 NEW BEST:: SOT 1138090 SOS 782063 HAS SOPS 778610 HAS SOUS 121023 HAS SOUPS 118268 WITH SCORE 119050.063
AT ITER 1262 NEW BEST:: SOT 1138102 SOS 785194 HAS SOPS 781743 HAS SOUS 120889 HAS SOUPS 118136 WITH SCORE 118921.194
AT ITER 1263 NEW BEST:: SOT 1138094 SOS 785186 HAS SOPS 781735 HAS SOUS 120789 HAS SOUPS 118036 WITH SCORE 118821.186
AT ITER 1268 NEW BEST:: SOT 1138102 SOS 785786 HAS SOPS 782249 HAS SOUS 120686 HAS SOUPS 117933 WITH SCORE 118718.786
AT ITER 1277 NEW BEST:: SOT 1136998 SOS 783818 HAS SOPS 780237 HAS SOUS 120640 HAS SOUPS 117843 WITH SCORE 118626.818
AT ITER 1278 NEW BEST:: SOT 1137098 SOS 783918 HAS SOPS 780337 HAS SOUS 120298 HAS SOUPS 117501 WITH SCORE 118284.918
AT ITER 1280 NEW BEST:: SOT 1137099 SOS 784320 HAS SOPS 780739 HAS SOUS 120235 HAS SOUPS 117438 WITH SCORE 118222.32
AT ITER 1293 NEW BEST:: SOT 1137088 SOS 784080 HAS SOPS 780499 HAS SOUS 120225 HAS SOUPS 117428 WITH SCORE 118212.08
AT ITER 1302 NEW BEST:: SOT 1137088 SOS 784080 HAS SOPS 780499 HAS SOUS 120165 HAS SOUPS 117368 WITH SCORE 118152.08
AT ITER 1306 NEW BEST:: SOT 1136925 SOS 783917 HAS SOPS 780336 HAS SOUS 119776 HAS SOUPS 116979 WITH SCORE 117762.917
AT ITER 1308 NEW BEST:: SOT 1136615 SOS 783607 HAS SOPS 780023 HAS SOUS 119424 HAS SOUPS 116624 WITH SCORE 117407.607
AT ITER 1317 NEW BEST:: SOT 1136616 SOS 775359 HAS SOPS 771775 HAS SOUS 119425 HAS SOUPS 116625 WITH SCORE 117400.359
AT ITER 1323 NEW BEST:: SOT 1136425 SOS 775168 HAS SOPS 771584 HAS SOUS 119124 HAS SOUPS 116324 WITH SCORE 117099.168
AT ITER 1330 NEW BEST:: SOT 1136425 SOS 773700 HAS SOPS 770272 HAS SOUS 118896 HAS SOUPS 116128 WITH SCORE 116901.7
AT ITER 1331 NEW BEST:: SOT 1136279 SOS 773590 HAS SOPS 770162 HAS SOUS 117630 HAS SOUPS 114862 WITH SCORE 115635.59
AT ITER 1332 NEW BEST:: SOT 1136279 SOS 772344 HAS SOPS 769026 HAS SOUS 117339 HAS SOUPS 114593 WITH SCORE 115365.344
AT ITER 1334 NEW BEST:: SOT 1136234 SOS 772299 HAS SOPS 768981 HAS SOUS 117319 HAS SOUPS 114573 WITH SCORE 115345.299
AT ITER 1339 NEW BEST:: SOT 1136159 SOS 772224 HAS SOPS 768906 HAS SOUS 117009 HAS SOUPS 114263 WITH SCORE 115035.224
AT ITER 1351 NEW BEST:: SOT 1137231 SOS 773336 HAS SOPS 770018 HAS SOUS 116652 HAS SOUPS 113906 WITH SCORE 114679.336
AT ITER 1356 NEW BEST:: SOT 1138865 SOS 774970 HAS SOPS 771652 HAS SOUS 115040 HAS SOUPS 112294 WITH SCORE 113068.97
AT ITER 1357 NEW BEST:: SOT 1138865 SOS 775781 HAS SOPS 772463 HAS SOUS 115027 HAS SOUPS 112281 WITH SCORE 113056.781
AT ITER 1358 NEW BEST:: SOT 1139231 SOS 776147 HAS SOPS 772829 HAS SOUS 114807 HAS SOUPS 112061 WITH SCORE 112837.147
AT ITER 1383 NEW BEST:: SOT 1139231 SOS 774340 HAS SOPS 771128 HAS SOUS 114048 HAS SOUPS 111330 WITH SCORE 112104.34
AT ITER 1384 NEW BEST:: SOT 1138638 SOS 773747 HAS SOPS 770535 HAS SOUS 113900 HAS SOUPS 111182 WITH SCORE 111955.747
AT ITER 1392 NEW BEST:: SOT 1135715 SOS 770824 HAS SOPS 767612 HAS SOUS 112828 HAS SOUPS 110110 WITH SCORE 110880.824
AT ITER 1399 NEW BEST:: SOT 1135715 SOS 768900 HAS SOPS 765788 HAS SOUS 112738 HAS SOUPS 110040 WITH SCORE 110808.9
AT ITER 1426 NEW BEST:: SOT 1135546 SOS 766753 HAS SOPS 763641 HAS SOUS 111355 HAS SOUPS 108657 WITH SCORE 109423.753
AT ITER 1429 NEW BEST:: SOT 1135546 SOS 766303 HAS SOPS 763191 HAS SOUS 111349 HAS SOUPS 108651 WITH SCORE 109417.303
AT ITER 1435 NEW BEST:: SOT 1135238 SOS 766120 HAS SOPS 762995 HAS SOUS 111335 HAS SOUPS 108624 WITH SCORE 109390.12
AT ITER 1443 NEW BEST:: SOT 1136321 SOS 767299 HAS SOPS 764174 HAS SOUS 111190 HAS SOUPS 108479 WITH SCORE 109246.299
AT ITER 1451 NEW BEST:: SOT 1136231 SOS 767209 HAS SOPS 764084 HAS SOUS 111154 HAS SOUPS 108443 WITH SCORE 109210.209
AT ITER 1462 NEW BEST:: SOT 1137039 SOS 768017 HAS SOPS 764892 HAS SOUS 110851 HAS SOUPS 108140 WITH SCORE 108908.017
AT ITER 1477 NEW BEST:: SOT 1137039 SOS 766713 HAS SOPS 763636 HAS SOUS 110805 HAS SOUPS 108106 WITH SCORE 108872.713
AT ITER 1479 NEW BEST:: SOT 1137809 SOS 767483 HAS SOPS 764406 HAS SOUS 110653 HAS SOUPS 107954 WITH SCORE 108721.483
AT ITER 1490 NEW BEST:: SOT 1137906 SOS 767668 HAS SOPS 764591 HAS SOUS 110645 HAS SOUPS 107946 WITH SCORE 108713.668
AT ITER 1501 NEW BEST:: SOT 1137906 SOS 768323 HAS SOPS 765246 HAS SOUS 110594 HAS SOUPS 107895 WITH SCORE 108663.323
AT ITER 1520 NEW BEST:: SOT 1137864 SOS 768281 HAS SOPS 765204 HAS SOUS 110512 HAS SOUPS 107813 WITH SCORE 108581.281
AT ITER 1521 NEW BEST:: SOT 1137864 SOS 768280 HAS SOPS 765203 HAS SOUS 110512 HAS SOUPS 107813 WITH SCORE 108581.28
AT ITER 1527 NEW BEST:: SOT 1136834 SOS 767240 HAS SOPS 764163 HAS SOUS 109556 HAS SOUPS 106857 WITH SCORE 107624.24
AT ITER 1547 NEW BEST:: SOT 1137012 SOS 770188 HAS SOPS 767192 HAS SOUS 109349 HAS SOUPS 106741 WITH SCORE 107511.188
AT ITER 1548 NEW BEST:: SOT 1137012 SOS 769997 HAS SOPS 766939 HAS SOUS 109287 HAS SOUPS 106668 WITH SCORE 107437.997
AT ITER 1555 NEW BEST:: SOT 1136292 SOS 747605 HAS SOPS 744547 HAS SOUS 108609 HAS SOUPS 105990 WITH SCORE 106737.605
AT ITER 1568 NEW BEST:: SOT 1136283 SOS 747596 HAS SOPS 744538 HAS SOUS 108586 HAS SOUPS 105967 WITH SCORE 106714.596
AT ITER 1587 NEW BEST:: SOT 1135882 SOS 747195 HAS SOPS 744137 HAS SOUS 108032 HAS SOUPS 105413 WITH SCORE 106160.195
AT ITER 1595 NEW BEST:: SOT 1133970 SOS 745667 HAS SOPS 742609 HAS SOUS 106848 HAS SOUPS 104229 WITH SCORE 104974.667
AT ITER 1626 NEW BEST:: SOT 1133970 SOS 745667 HAS SOPS 742609 HAS SOUS 106844 HAS SOUPS 104225 WITH SCORE 104970.667
AT ITER 1630 NEW BEST:: SOT 1134681 SOS 746469 HAS SOPS 743411 HAS SOUS 105705 HAS SOUPS 103086 WITH SCORE 103832.469
AT ITER 1635 NEW BEST:: SOT 1134448 SOS 747417 HAS SOPS 744359 HAS SOUS 105650 HAS SOUPS 103031 WITH SCORE 103778.417
AT ITER 1641 NEW BEST:: SOT 1134335 SOS 747298 HAS SOPS 744238 HAS SOUS 105564 HAS SOUPS 102943 WITH SCORE 103690.298
AT ITER 1645 NEW BEST:: SOT 1134288 SOS 747251 HAS SOPS 744191 HAS SOUS 105509 HAS SOUPS 102888 WITH SCORE 103635.251
AT ITER 1651 NEW BEST:: SOT 1134288 SOS 750187 HAS SOPS 747475 HAS SOUS 105208 HAS SOUPS 102607 WITH SCORE 103357.187
AT ITER 1654 NEW BEST:: SOT 1134288 SOS 749704 HAS SOPS 747013 HAS SOUS 105208 HAS SOUPS 102607 WITH SCORE 103356.704
AT ITER 1660 NEW BEST:: SOT 1134126 SOS 749542 HAS SOPS 746851 HAS SOUS 104864 HAS SOUPS 102263 WITH SCORE 103012.542
AT ITER 1669 NEW BEST:: SOT 1134126 SOS 749652 HAS SOPS 746966 HAS SOUS 104854 HAS SOUPS 102258 WITH SCORE 103007.652
AT ITER 1682 NEW BEST:: SOT 1134033 SOS 749562 HAS SOPS 746873 HAS SOUS 104846 HAS SOUPS 102247 WITH SCORE 102996.562
AT ITER 1685 NEW BEST:: SOT 1134033 SOS 748362 HAS SOPS 745673 HAS SOUS 104814 HAS SOUPS 102215 WITH SCORE 102963.362
AT ITER 1710 NEW BEST:: SOT 1133710 SOS 748039 HAS SOPS 745350 HAS SOUS 104218 HAS SOUPS 101619 WITH SCORE 102367.039
AT ITER 1717 NEW BEST:: SOT 1133710 SOS 747391 HAS SOPS 744702 HAS SOUS 104191 HAS SOUPS 101592 WITH SCORE 102339.391
AT ITER 1724 NEW BEST:: SOT 1133816 SOS 747496 HAS SOPS 744808 HAS SOUS 103890 HAS SOUPS 101292 WITH SCORE 102039.496
AT ITER 1751 NEW BEST:: SOT 1133821 SOS 747501 HAS SOPS 744813 HAS SOUS 103706 HAS SOUPS 101108 WITH SCORE 101855.501
AT ITER 1754 NEW BEST:: SOT 1133821 SOS 747549 HAS SOPS 744861 HAS SOUS 103680 HAS SOUPS 101082 WITH SCORE 101829.549
AT ITER 1762 NEW BEST:: SOT 1133798 SOS 750181 HAS SOPS 747274 HAS SOUS 103559 HAS SOUPS 100830 WITH SCORE 101580.181
AT ITER 1765 NEW BEST:: SOT 1133798 SOS 750181 HAS SOPS 747274 HAS SOUS 103505 HAS SOUPS 100776 WITH SCORE 101526.181
AT ITER 1767 NEW BEST:: SOT 1132410 SOS 751042 HAS SOPS 748135 HAS SOUS 103303 HAS SOUPS 100574 WITH SCORE 101325.042
AT ITER 1790 NEW BEST:: SOT 1131577 SOS 749724 HAS SOPS 746796 HAS SOUS 103302 HAS SOUPS 100552 WITH SCORE 101301.724
AT ITER 1793 NEW BEST:: SOT 1131605 SOS 755580 HAS SOPS 752660 HAS SOUS 102674 HAS SOUPS 99932 WITH SCORE 100687.58
AT ITER 1802 NEW BEST:: SOT 1131589 SOS 756291 HAS SOPS 753463 HAS SOUS 101667 HAS SOUPS 99004 WITH SCORE 99760.291
AT ITER 1823 NEW BEST:: SOT 1131595 SOS 759060 HAS SOPS 756232 HAS SOUS 101609 HAS SOUPS 98946 WITH SCORE 99705.06
AT ITER 1835 NEW BEST:: SOT 1131595 SOS 760739 HAS SOPS 757911 HAS SOUS 101607 HAS SOUPS 98944 WITH SCORE 99704.739
AT ITER 1844 NEW BEST:: SOT 1131535 SOS 760679 HAS SOPS 757851 HAS SOUS 101587 HAS SOUPS 98924 WITH SCORE 99684.679
AT ITER 1846 NEW BEST:: SOT 1130144 SOS 759404 HAS SOPS 756576 HAS SOUS 101259 HAS SOUPS 98596 WITH SCORE 99355.404
AT ITER 1875 NEW BEST:: SOT 1131121 SOS 760381 HAS SOPS 757553 HAS SOUS 101198 HAS SOUPS 98535 WITH SCORE 99295.381
AT ITER 1892 NEW BEST:: SOT 1131116 SOS 760376 HAS SOPS 757548 HAS SOUS 101193 HAS SOUPS 98530 WITH SCORE 99290.376
AT ITER 1894 NEW BEST:: SOT 1131350 SOS 765701 HAS SOPS 762874 HAS SOUS 100382 HAS SOUPS 97720 WITH SCORE 98485.701
AT ITER 1902 NEW BEST:: SOT 1131350 SOS 761569 HAS SOPS 758578 HAS SOUS 100373 HAS SOUPS 97547 WITH SCORE 98308.569
AT ITER 1903 NEW BEST:: SOT 1130432 SOS 763097 HAS SOPS 760106 HAS SOUS 100137 HAS SOUPS 97311 WITH SCORE 98074.097
AT ITER 1907 NEW BEST:: SOT 1130432 SOS 763097 HAS SOPS 760106 HAS SOUS 100130 HAS SOUPS 97304 WITH SCORE 98067.097
AT ITER 1916 NEW BEST:: SOT 1130648 SOS 763313 HAS SOPS 760322 HAS SOUS 100008 HAS SOUPS 97182 WITH SCORE 97945.313
AT ITER 1934 NEW BEST:: SOT 1131449 SOS 764114 HAS SOPS 761123 HAS SOUS 99777 HAS SOUPS 96951 WITH SCORE 97715.114
AT ITER 1936 NEW BEST:: SOT 1133547 SOS 766212 HAS SOPS 763221 HAS SOUS 99147 HAS SOUPS 96321 WITH SCORE 97087.212
AT ITER 1945 NEW BEST:: SOT 1131884 SOS 764339 HAS SOPS 761348 HAS SOUS 98526 HAS SOUPS 95700 WITH SCORE 96464.339
AT ITER 1953 NEW BEST:: SOT 1131628 SOS 764083 HAS SOPS 761092 HAS SOUS 98172 HAS SOUPS 95346 WITH SCORE 96110.083
AT ITER 1966 NEW BEST:: SOT 1131703 SOS 764278 HAS SOPS 761287 HAS SOUS 97932 HAS SOUPS 95106 WITH SCORE 95870.278
AT ITER 1981 NEW BEST:: SOT 1131295 SOS 763870 HAS SOPS 760879 HAS SOUS 97524 HAS SOUPS 94698 WITH SCORE 95461.87
AT ITER 1983 NEW BEST:: SOT 1131228 SOS 763803 HAS SOPS 760812 HAS SOUS 97425 HAS SOUPS 94599 WITH SCORE 95362.803
AT ITER 1986 NEW BEST:: SOT 1130885 SOS 763460 HAS SOPS 760469 HAS SOUS 97302 HAS SOUPS 94476 WITH SCORE 95239.46
AT ITER 1999 NEW BEST:: SOT 1130724 SOS 763299 HAS SOPS 760308 HAS SOUS 97258 HAS SOUPS 94432 WITH SCORE 95195.299
AT ITER 2000 NEW BEST:: SOT 1130686 SOS 763261 HAS SOPS 760270 HAS SOUS 97181 HAS SOUPS 94355 WITH SCORE 95118.261
AT ITER 2002 NEW BEST:: SOT 1130686 SOS 763846 HAS SOPS 760855 HAS SOUS 97118 HAS SOUPS 94292 WITH SCORE 95055.846
AT ITER 2007 NEW BEST:: SOT 1130686 SOS 763150 HAS SOPS 760159 HAS SOUS 97118 HAS SOUPS 94292 WITH SCORE 95055.15
AT ITER 2017 NEW BEST:: SOT 1130686 SOS 762111 HAS SOPS 759151 HAS SOUS 97100 HAS SOUPS 94278 WITH SCORE 95040.111
AT ITER 2020 NEW BEST:: SOT 1130590 SOS 762015 HAS SOPS 759055 HAS SOUS 96827 HAS SOUPS 94005 WITH SCORE 94767.015
AT ITER 2030 NEW BEST:: SOT 1130183 SOS 766388 HAS SOPS 763428 HAS SOUS 96612 HAS SOUPS 93790 WITH SCORE 94556.388
AT ITER 2060 NEW BEST:: SOT 1129535 SOS 765794 HAS SOPS 762834 HAS SOUS 96605 HAS SOUPS 93783 WITH SCORE 94548.794
AT ITER 2065 NEW BEST:: SOT 1129535 SOS 764498 HAS SOPS 761538 HAS SOUS 96551 HAS SOUPS 93729 WITH SCORE 94493.498
AT ITER 2089 NEW BEST:: SOT 1129535 SOS 764488 HAS SOPS 761528 HAS SOUS 96546 HAS SOUPS 93724 WITH SCORE 94488.488
AT ITER 2090 NEW BEST:: SOT 1129919 SOS 764872 HAS SOPS 761912 HAS SOUS 96504 HAS SOUPS 93682 WITH SCORE 94446.872
AT ITER 2105 NEW BEST:: SOT 1129921 SOS 764874 HAS SOPS 761914 HAS SOUS 96496 HAS SOUPS 93674 WITH SCORE 94438.874
AT ITER 2126 NEW BEST:: SOT 1128996 SOS 763607 HAS SOPS 760605 HAS SOUS 96454 HAS SOUPS 93590 WITH SCORE 94353.607
AT ITER 2127 NEW BEST:: SOT 1128999 SOS 773008 HAS SOPS 770032 HAS SOUS 96382 HAS SOUPS 93532 WITH SCORE 94305.008
AT ITER 2142 NEW BEST:: SOT 1128837 SOS 772846 HAS SOPS 769870 HAS SOUS 96205 HAS SOUPS 93355 WITH SCORE 94127.846
AT ITER 2143 NEW BEST:: SOT 1129692 SOS 774062 HAS SOPS 771109 HAS SOUS 96139 HAS SOUPS 93312 WITH SCORE 94086.062
AT ITER 2146 NEW BEST:: SOT 1129692 SOS 773364 HAS SOPS 770411 HAS SOUS 96117 HAS SOUPS 93290 WITH SCORE 94063.364
AT ITER 2147 NEW BEST:: SOT 1128934 SOS 772606 HAS SOPS 769653 HAS SOUS 96017 HAS SOUPS 93190 WITH SCORE 93962.606
AT ITER 2165 NEW BEST:: SOT 1129204 SOS 772924 HAS SOPS 769971 HAS SOUS 95891 HAS SOUPS 93064 WITH SCORE 93836.924
AT ITER 2179 NEW BEST:: SOT 1129204 SOS 770507 HAS SOPS 767687 HAS SOUS 95810 HAS SOUPS 93028 WITH SCORE 93798.507
AT ITER 2180 NEW BEST:: SOT 1129204 SOS 769791 HAS SOPS 766943 HAS SOUS 95838 HAS SOUPS 93028 WITH SCORE 93797.791
AT ITER 2184 NEW BEST:: SOT 1129166 SOS 769753 HAS SOPS 766905 HAS SOUS 95712 HAS SOUPS 92902 WITH SCORE 93671.753
AT ITER 2202 NEW BEST:: SOT 1129166 SOS 769705 HAS SOPS 766857 HAS SOUS 95712 HAS SOUPS 92902 WITH SCORE 93671.705
AT ITER 2223 NEW BEST:: SOT 1129204 SOS 769743 HAS SOPS 766895 HAS SOUS 94941 HAS SOUPS 92131 WITH SCORE 92900.743
AT ITER 2228 NEW BEST:: SOT 1129204 SOS 769743 HAS SOPS 766895 HAS SOUS 94862 HAS SOUPS 92052 WITH SCORE 92821.743
AT ITER 2248 NEW BEST:: SOT 1128701 SOS 769240 HAS SOPS 766392 HAS SOUS 94744 HAS SOUPS 91934 WITH SCORE 92703.24
AT ITER 2261 NEW BEST:: SOT 1128534 SOS 769073 HAS SOPS 766225 HAS SOUS 94577 HAS SOUPS 91767 WITH SCORE 92536.073
AT ITER 2264 NEW BEST:: SOT 1129570 SOS 770247 HAS SOPS 767399 HAS SOUS 94540 HAS SOUPS 91730 WITH SCORE 92500.247
AT ITER 2269 NEW BEST:: SOT 1129504 SOS 770181 HAS SOPS 767333 HAS SOUS 94365 HAS SOUPS 91555 WITH SCORE 92325.181
AT ITER 2349 NEW BEST:: SOT 1129614 SOS 773359 HAS SOPS 770511 HAS SOUS 93928 HAS SOUPS 91118 WITH SCORE 91891.359
AT ITER 2354 NEW BEST:: SOT 1129614 SOS 773083 HAS SOPS 770235 HAS SOUS 93928 HAS SOUPS 91118 WITH SCORE 91891.083
AT ITER 2371 NEW BEST:: SOT 1129614 SOS 772987 HAS SOPS 770139 HAS SOUS 93928 HAS SOUPS 91118 WITH SCORE 91890.987
AT ITER 2379 NEW BEST:: SOT 1129614 SOS 772757 HAS SOPS 769899 HAS SOUS 93938 HAS SOUPS 91118 WITH SCORE 91890.757
AT ITER 2382 NEW BEST:: SOT 1129566 SOS 772709 HAS SOPS 769851 HAS SOUS 93936 HAS SOUPS 91116 WITH SCORE 91888.709
AT ITER 2394 NEW BEST:: SOT 1129684 SOS 772827 HAS SOPS 769969 HAS SOUS 93744 HAS SOUPS 90924 WITH SCORE 91696.827
AT ITER 2395 NEW BEST:: SOT 1129333 SOS 772476 HAS SOPS 769618 HAS SOUS 93017 HAS SOUPS 90197 WITH SCORE 90969.476
AT ITER 2409 NEW BEST:: SOT 1128940 SOS 772083 HAS SOPS 769225 HAS SOUS 91656 HAS SOUPS 88836 WITH SCORE 89608.083
AT ITER 2410 NEW BEST:: SOT 1128940 SOS 771991 HAS SOPS 769133 HAS SOUS 91610 HAS SOUPS 88790 WITH SCORE 89561.991
AT ITER 2436 NEW BEST:: SOT 1128940 SOS 771046 HAS SOPS 768188 HAS SOUS 91589 HAS SOUPS 88769 WITH SCORE 89540.046
AT ITER 2450 NEW BEST:: SOT 1128940 SOS 771094 HAS SOPS 768236 HAS SOUS 91290 HAS SOUPS 88470 WITH SCORE 89241.094
AT ITER 2451 NEW BEST:: SOT 1128812 SOS 770846 HAS SOPS 767988 HAS SOUS 91278 HAS SOUPS 88458 WITH SCORE 89228.846
AT ITER 2468 NEW BEST:: SOT 1128812 SOS 770831 HAS SOPS 767988 HAS SOUS 91263 HAS SOUPS 88458 WITH SCORE 89228.831
AT ITER 2470 NEW BEST:: SOT 1128977 SOS 770345 HAS SOPS 767562 HAS SOUS 90263 HAS SOUPS 87488 WITH SCORE 88258.345
AT ITER 2471 NEW BEST:: SOT 1128973 SOS 770341 HAS SOPS 767558 HAS SOUS 90259 HAS SOUPS 87484 WITH SCORE 88254.341
AT ITER 2492 NEW BEST:: SOT 1129012 SOS 770380 HAS SOPS 767597 HAS SOUS 90052 HAS SOUPS 87277 WITH SCORE 88047.38
AT ITER 2505 NEW BEST:: SOT 1129012 SOS 770440 HAS SOPS 767657 HAS SOUS 89919 HAS SOUPS 87144 WITH SCORE 87914.44
AT ITER 2523 NEW BEST:: SOT 1128980 SOS 770408 HAS SOPS 767625 HAS SOUS 89904 HAS SOUPS 87129 WITH SCORE 87899.408
AT ITER 2542 NEW BEST:: SOT 1129431 SOS 770859 HAS SOPS 768076 HAS SOUS 89856 HAS SOUPS 87081 WITH SCORE 87851.859
AT ITER 2552 NEW BEST:: SOT 1129568 SOS 773658 HAS SOPS 770893 HAS SOUS 89617 HAS SOUPS 86852 WITH SCORE 87625.658
AT ITER 2554 NEW BEST:: SOT 1129568 SOS 776525 HAS SOPS 773797 HAS SOUS 89540 HAS SOUPS 86812 WITH SCORE 87588.525
AT ITER 2571 NEW BEST:: SOT 1129695 SOS 776652 HAS SOPS 773924 HAS SOUS 89489 HAS SOUPS 86761 WITH SCORE 87537.652
AT ITER 2573 NEW BEST:: SOT 1129695 SOS 776412 HAS SOPS 773684 HAS SOUS 89489 HAS SOUPS 86761 WITH SCORE 87537.412
AT ITER 2587 NEW BEST:: SOT 1128921 SOS 775638 HAS SOPS 772910 HAS SOUS 89078 HAS SOUPS 86350 WITH SCORE 87125.638
AT ITER 2589 NEW BEST:: SOT 1131393 SOS 778110 HAS SOPS 775382 HAS SOUS 88461 HAS SOUPS 85733 WITH SCORE 86511.11
AT ITER 2598 NEW BEST:: SOT 1130339 SOS 777056 HAS SOPS 774328 HAS SOUS 88268 HAS SOUPS 85540 WITH SCORE 86317.056
AT ITER 2603 NEW BEST:: SOT 1130339 SOS 776528 HAS SOPS 773800 HAS SOUS 88268 HAS SOUPS 85540 WITH SCORE 86316.528
AT ITER 2614 NEW BEST:: SOT 1130272 SOS 776461 HAS SOPS 773733 HAS SOUS 88143 HAS SOUPS 85415 WITH SCORE 86191.461
AT ITER 2636 NEW BEST:: SOT 1130165 SOS 776354 HAS SOPS 773626 HAS SOUS 88015 HAS SOUPS 85287 WITH SCORE 86063.354
AT ITER 2680 NEW BEST:: SOT 1130028 SOS 776237 HAS SOPS 773509 HAS SOUS 87828 HAS SOUPS 85100 WITH SCORE 85876.237
AT ITER 2682 NEW BEST:: SOT 1129509 SOS 775718 HAS SOPS 772990 HAS SOUS 87618 HAS SOUPS 84890 WITH SCORE 85665.718
AT ITER 2689 NEW BEST:: SOT 1129466 SOS 775651 HAS SOPS 772923 HAS SOUS 87555 HAS SOUPS 84827 WITH SCORE 85602.651
AT ITER 2702 NEW BEST:: SOT 1129515 SOS 775700 HAS SOPS 772972 HAS SOUS 87394 HAS SOUPS 84666 WITH SCORE 85441.7
AT ITER 2717 NEW BEST:: SOT 1129280 SOS 775465 HAS SOPS 772737 HAS SOUS 86253 HAS SOUPS 83525 WITH SCORE 84300.465
AT ITER 2718 NEW BEST:: SOT 1129067 SOS 775252 HAS SOPS 772524 HAS SOUS 86133 HAS SOUPS 83405 WITH SCORE 84180.252
AT ITER 2728 NEW BEST:: SOT 1129067 SOS 776301 HAS SOPS 773628 HAS SOUS 86050 HAS SOUPS 83377 WITH SCORE 84153.301
AT ITER 2744 NEW BEST:: SOT 1129067 SOS 776807 HAS SOPS 774088 HAS SOUS 86050 HAS SOUPS 83331 WITH SCORE 84107.807
AT ITER 2751 NEW BEST:: SOT 1129067 SOS 775752 HAS SOPS 773033 HAS SOUS 86003 HAS SOUPS 83284 WITH SCORE 84059.752
AT ITER 2752 NEW BEST:: SOT 1129067 SOS 775752 HAS SOPS 773033 HAS SOUS 85979 HAS SOUPS 83260 WITH SCORE 84035.752
AT ITER 2753 NEW BEST:: SOT 1129067 SOS 775437 HAS SOPS 772673 HAS SOUS 86024 HAS SOUPS 83260 WITH SCORE 84035.437
AT ITER 2769 NEW BEST:: SOT 1129067 SOS 775077 HAS SOPS 772313 HAS SOUS 86024 HAS SOUPS 83260 WITH SCORE 84035.077
AT ITER 2786 NEW BEST:: SOT 1130355 SOS 776365 HAS SOPS 773601 HAS SOUS 85853 HAS SOUPS 83089 WITH SCORE 83865.365
AT ITER 2789 NEW BEST:: SOT 1130481 SOS 720030 HAS SOPS 717266 HAS SOUS 85890 HAS SOUPS 83126 WITH SCORE 83846.03
AT ITER 2809 NEW BEST:: SOT 1130295 SOS 719851 HAS SOPS 717080 HAS SOUS 85863 HAS SOUPS 83092 WITH SCORE 83811.851
AT ITER 2828 NEW BEST:: SOT 1129618 SOS 719174 HAS SOPS 716403 HAS SOUS 85700 HAS SOUPS 82929 WITH SCORE 83648.174
AT ITER 2838 NEW BEST:: SOT 1129618 SOS 695297 HAS SOPS 692526 HAS SOUS 85700 HAS SOUPS 82929 WITH SCORE 83624.297
AT ITER 2844 NEW BEST:: SOT 1129272 SOS 695743 HAS SOPS 692972 HAS SOUS 85550 HAS SOUPS 82779 WITH SCORE 83474.743
AT ITER 2851 NEW BEST:: SOT 1129272 SOS 696117 HAS SOPS 693346 HAS SOUS 85533 HAS SOUPS 82762 WITH SCORE 83458.117
AT ITER 2866 NEW BEST:: SOT 1130050 SOS 696991 HAS SOPS 694220 HAS SOUS 85310 HAS SOUPS 82539 WITH SCORE 83235.991
AT ITER 2881 NEW BEST:: SOT 1130050 SOS 696809 HAS SOPS 694038 HAS SOUS 85310 HAS SOUPS 82539 WITH SCORE 83235.809
AT ITER 2953 NEW BEST:: SOT 1130050 SOS 696834 HAS SOPS 694062 HAS SOUS 85310 HAS SOUPS 82538 WITH SCORE 83234.834
AT ITER 2957 NEW BEST:: SOT 1130050 SOS 696462 HAS SOPS 693690 HAS SOUS 85310 HAS SOUPS 82538 WITH SCORE 83234.462
AT ITER 2958 NEW BEST:: SOT 1130050 SOS 696384 HAS SOPS 693612 HAS SOUS 85307 HAS SOUPS 82535 WITH SCORE 83231.384
AT ITER 2972 NEW BEST:: SOT 1132553 SOS 698887 HAS SOPS 696115 HAS SOUS 85141 HAS SOUPS 82369 WITH SCORE 83067.887
AT ITER 2982 NEW BEST:: SOT 1133443 SOS 699777 HAS SOPS 697010 HAS SOUS 85128 HAS SOUPS 82361 WITH SCORE 83060.777
AT ITER 2984 NEW BEST:: SOT 1132737 SOS 699071 HAS SOPS 696304 HAS SOUS 85090 HAS SOUPS 82323 WITH SCORE 83022.071
AT ITER 2985 NEW BEST:: SOT 1132605 SOS 698939 HAS SOPS 696172 HAS SOUS 84827 HAS SOUPS 82060 WITH SCORE 82758.939
AT ITER 3005 NEW BEST:: SOT 1132605 SOS 698983 HAS SOPS 696216 HAS SOUS 84070 HAS SOUPS 81303 WITH SCORE 82001.983
AT ITER 3012 NEW BEST:: SOT 1132605 SOS 698983 HAS SOPS 696216 HAS SOUS 83974 HAS SOUPS 81207 WITH SCORE 81905.983
AT ITER 3037 NEW BEST:: SOT 1132177 SOS 698555 HAS SOPS 695788 HAS SOUS 83764 HAS SOUPS 80997 WITH SCORE 81695.555
AT ITER 3040 NEW BEST:: SOT 1132215 SOS 698593 HAS SOPS 695826 HAS SOUS 82588 HAS SOUPS 79821 WITH SCORE 80519.593
AT ITER 3045 NEW BEST:: SOT 1132215 SOS 698677 HAS SOPS 695910 HAS SOUS 82502 HAS SOUPS 79735 WITH SCORE 80433.677
AT ITER 3048 NEW BEST:: SOT 1132215 SOS 698797 HAS SOPS 696030 HAS SOUS 82427 HAS SOUPS 79660 WITH SCORE 80358.797
AT ITER 3063 NEW BEST:: SOT 1133125 SOS 699707 HAS SOPS 696940 HAS SOUS 82297 HAS SOUPS 79530 WITH SCORE 80229.707
AT ITER 3075 NEW BEST:: SOT 1133391 SOS 699973 HAS SOPS 697206 HAS SOUS 81864 HAS SOUPS 79097 WITH SCORE 79796.973
AT ITER 3078 NEW BEST:: SOT 1133395 SOS 690373 HAS SOPS 687602 HAS SOUS 81872 HAS SOUPS 79104 WITH SCORE 79794.373
AT ITER 3083 NEW BEST:: SOT 1133395 SOS 689941 HAS SOPS 687170 HAS SOUS 81872 HAS SOUPS 79104 WITH SCORE 79793.941
AT ITER 3085 NEW BEST:: SOT 1133395 SOS 689941 HAS SOPS 687170 HAS SOUS 81727 HAS SOUPS 78959 WITH SCORE 79648.941
AT ITER 3105 NEW BEST:: SOT 1133318 SOS 689864 HAS SOPS 687093 HAS SOUS 81646 HAS SOUPS 78878 WITH SCORE 79567.864
AT ITER 3106 NEW BEST:: SOT 1133310 SOS 689856 HAS SOPS 687085 HAS SOUS 81638 HAS SOUPS 78870 WITH SCORE 79559.856
AT ITER 3111 NEW BEST:: SOT 1134597 SOS 691559 HAS SOPS 688788 HAS SOUS 81458 HAS SOUPS 78690 WITH SCORE 79381.559
AT ITER 3117 NEW BEST:: SOT 1134544 SOS 691626 HAS SOPS 688855 HAS SOUS 81332 HAS SOUPS 78564 WITH SCORE 79255.626
AT ITER 3125 NEW BEST:: SOT 1134584 SOS 691666 HAS SOPS 688895 HAS SOUS 80940 HAS SOUPS 78172 WITH SCORE 78863.666
AT ITER 3154 NEW BEST:: SOT 1134397 SOS 691479 HAS SOPS 688708 HAS SOUS 80851 HAS SOUPS 78083 WITH SCORE 78774.479
AT ITER 3164 NEW BEST:: SOT 1134397 SOS 691899 HAS SOPS 689128 HAS SOUS 80830 HAS SOUPS 78062 WITH SCORE 78753.899
AT ITER 3165 NEW BEST:: SOT 1134398 SOS 691896 HAS SOPS 689125 HAS SOUS 80829 HAS SOUPS 78061 WITH SCORE 78752.896
AT ITER 3170 NEW BEST:: SOT 1134398 SOS 691896 HAS SOPS 689125 HAS SOUS 80828 HAS SOUPS 78060 WITH SCORE 78751.896
AT ITER 3172 NEW BEST:: SOT 1135322 SOS 692820 HAS SOPS 690049 HAS SOUS 80770 HAS SOUPS 78002 WITH SCORE 78694.82
AT ITER 3198 NEW BEST:: SOT 1135106 SOS 692604 HAS SOPS 689833 HAS SOUS 80685 HAS SOUPS 77917 WITH SCORE 78609.604
AT ITER 3226 NEW BEST:: SOT 1135106 SOS 692588 HAS SOPS 689817 HAS SOUS 80681 HAS SOUPS 77913 WITH SCORE 78605.588
AT ITER 3238 NEW BEST:: SOT 1134866 SOS 692348 HAS SOPS 689577 HAS SOUS 80426 HAS SOUPS 77658 WITH SCORE 78350.348
AT ITER 3254 NEW BEST:: SOT 1134866 SOS 692780 HAS SOPS 690009 HAS SOUS 80420 HAS SOUPS 77652 WITH SCORE 78344.78
AT ITER 3263 NEW BEST:: SOT 1134866 SOS 692672 HAS SOPS 689901 HAS SOUS 80420 HAS SOUPS 77652 WITH SCORE 78344.672
AT ITER 3293 NEW BEST:: SOT 1134848 SOS 692654 HAS SOPS 689883 HAS SOUS 80378 HAS SOUPS 77610 WITH SCORE 78302.654
AT ITER 3305 NEW BEST:: SOT 1134848 SOS 661672 HAS SOPS 658901 HAS SOUS 80394 HAS SOUPS 77626 WITH SCORE 78287.672
AT ITER 3331 NEW BEST:: SOT 1134759 SOS 661583 HAS SOPS 658812 HAS SOUS 80349 HAS SOUPS 77581 WITH SCORE 78242.583
AT ITER 3338 NEW BEST:: SOT 1134759 SOS 661799 HAS SOPS 659028 HAS SOUS 80340 HAS SOUPS 77572 WITH SCORE 78233.799
AT ITER 3366 NEW BEST:: SOT 1136764 SOS 666228 HAS SOPS 663457 HAS SOUS 80257 HAS SOUPS 77489 WITH SCORE 78155.228
AT ITER 3369 NEW BEST:: SOT 1136589 SOS 666026 HAS SOPS 663255 HAS SOUS 80197 HAS SOUPS 77429 WITH SCORE 78095.026
AT ITER 3373 NEW BEST:: SOT 1136589 SOS 665642 HAS SOPS 662871 HAS SOUS 80197 HAS SOUPS 77429 WITH SCORE 78094.642
AT ITER 3376 NEW BEST:: SOT 1136591 SOS 665636 HAS SOPS 662865 HAS SOUS 80193 HAS SOUPS 77425 WITH SCORE 78090.636
AT ITER 3378 NEW BEST:: SOT 1135988 SOS 665007 HAS SOPS 662236 HAS SOUS 79739 HAS SOUPS 76971 WITH SCORE 77636.007
AT ITER 3395 NEW BEST:: SOT 1135988 SOS 664191 HAS SOPS 661420 HAS SOUS 79739 HAS SOUPS 76971 WITH SCORE 77635.191
AT ITER 3399 NEW BEST:: SOT 1135988 SOS 664191 HAS SOPS 661420 HAS SOUS 79728 HAS SOUPS 76960 WITH SCORE 77624.191
AT ITER 3414 NEW BEST:: SOT 1135988 SOS 664211 HAS SOPS 661440 HAS SOUS 79727 HAS SOUPS 76959 WITH SCORE 77623.211
AT ITER 3446 NEW BEST:: SOT 1135988 SOS 664191 HAS SOPS 661420 HAS SOUS 79717 HAS SOUPS 76949 WITH SCORE 77613.191
AT ITER 3475 NEW BEST:: SOT 1135874 SOS 664077 HAS SOPS 661306 HAS SOUS 79603 HAS SOUPS 76835 WITH SCORE 77499.077
AT ITER 3499 NEW BEST:: SOT 1135956 SOS 664159 HAS SOPS 661388 HAS SOUS 79502 HAS SOUPS 76734 WITH SCORE 77398.159
AT ITER 3501 NEW BEST:: SOT 1135956 SOS 664095 HAS SOPS 661324 HAS SOUS 79470 HAS SOUPS 76702 WITH SCORE 77366.095
AT ITER 3505 NEW BEST:: SOT 1135776 SOS 663915 HAS SOPS 661144 HAS SOUS 79385 HAS SOUPS 76617 WITH SCORE 77280.915
AT ITER 3508 NEW BEST:: SOT 1135515 SOS 661582 HAS SOPS 658811 HAS SOUS 79276 HAS SOUPS 76508 WITH SCORE 77169.582
AT ITER 3537 NEW BEST:: SOT 1135515 SOS 661577 HAS SOPS 658806 HAS SOUS 79271 HAS SOUPS 76503 WITH SCORE 77164.577
AT ITER 3556 NEW BEST:: SOT 1135515 SOS 661997 HAS SOPS 659226 HAS SOUS 79214 HAS SOUPS 76446 WITH SCORE 77107.997
AT ITER 3566 NEW BEST:: SOT 1135515 SOS 661997 HAS SOPS 659226 HAS SOUS 79199 HAS SOUPS 76431 WITH SCORE 77092.997
AT ITER 3578 NEW BEST:: SOT 1134965 SOS 661447 HAS SOPS 658676 HAS SOUS 78649 HAS SOUPS 75881 WITH SCORE 76542.447
AT ITER 3588 NEW BEST:: SOT 1135103 SOS 663221 HAS SOPS 660450 HAS SOUS 78580 HAS SOUPS 75812 WITH SCORE 76475.221
AT ITER 3591 NEW BEST:: SOT 1135026 SOS 663108 HAS SOPS 660337 HAS SOUS 78451 HAS SOUPS 75683 WITH SCORE 76346.108
AT ITER 3632 NEW BEST:: SOT 1134592 SOS 662674 HAS SOPS 659903 HAS SOUS 78420 HAS SOUPS 75652 WITH SCORE 76314.674
AT ITER 3638 NEW BEST:: SOT 1135202 SOS 663442 HAS SOPS 660671 HAS SOUS 78390 HAS SOUPS 75622 WITH SCORE 76285.442
AT ITER 3673 NEW BEST:: SOT 1135344 SOS 663584 HAS SOPS 660813 HAS SOUS 77824 HAS SOUPS 75056 WITH SCORE 75719.584
AT ITER 3675 NEW BEST:: SOT 1135344 SOS 663446 HAS SOPS 660675 HAS SOUS 77824 HAS SOUPS 75056 WITH SCORE 75719.446
AT ITER 3720 NEW BEST:: SOT 1135405 SOS 665955 HAS SOPS 663184 HAS SOUS 77732 HAS SOUPS 74964 WITH SCORE 75629.955
AT ITER 3729 NEW BEST:: SOT 1135439 SOS 666105 HAS SOPS 663334 HAS SOUS 77505 HAS SOUPS 74737 WITH SCORE 75403.105
AT ITER 3735 NEW BEST:: SOT 1135439 SOS 665854 HAS SOPS 663074 HAS SOUS 77505 HAS SOUPS 74728 WITH SCORE 75393.854
AT ITER 3744 NEW BEST:: SOT 1135439 SOS 664918 HAS SOPS 662138 HAS SOUS 77505 HAS SOUPS 74728 WITH SCORE 75392.918
AT ITER 3750 NEW BEST:: SOT 1135421 SOS 664900 HAS SOPS 662120 HAS SOUS 77505 HAS SOUPS 74728 WITH SCORE 75392.9
AT ITER 3753 NEW BEST:: SOT 1135421 SOS 664900 HAS SOPS 662120 HAS SOUS 77486 HAS SOUPS 74709 WITH SCORE 75373.9
AT ITER 3822 NEW BEST:: SOT 1135399 SOS 665004 HAS SOPS 662224 HAS SOUS 77459 HAS SOUPS 74682 WITH SCORE 75347.004
AT ITER 3843 NEW BEST:: SOT 1135278 SOS 664883 HAS SOPS 662103 HAS SOUS 77413 HAS SOUPS 74636 WITH SCORE 75300.883
AT ITER 3854 NEW BEST:: SOT 1135254 SOS 664859 HAS SOPS 662079 HAS SOUS 77363 HAS SOUPS 74586 WITH SCORE 75250.859
AT ITER 3866 NEW BEST:: SOT 1134852 SOS 664457 HAS SOPS 661677 HAS SOUS 77039 HAS SOUPS 74262 WITH SCORE 74926.457
AT ITER 3874 NEW BEST:: SOT 1135166 SOS 664771 HAS SOPS 661991 HAS SOUS 76881 HAS SOUPS 74104 WITH SCORE 74768.771
AT ITER 3884 NEW BEST:: SOT 1135166 SOS 664691 HAS SOPS 661911 HAS SOUS 76881 HAS SOUPS 74104 WITH SCORE 74768.691
AT ITER 3908 NEW BEST:: SOT 1134432 SOS 663957 HAS SOPS 661177 HAS SOUS 76651 HAS SOUPS 73874 WITH SCORE 74537.957
AT ITER 3910 NEW BEST:: SOT 1134432 SOS 656259 HAS SOPS 653461 HAS SOUS 76651 HAS SOUPS 73856 WITH SCORE 74512.259
AT ITER 3918 NEW BEST:: SOT 1134452 SOS 656280 HAS SOPS 653482 HAS SOUS 76628 HAS SOUPS 73833 WITH SCORE 74489.28
AT ITER 3950 NEW BEST:: SOT 1134452 SOS 656520 HAS SOPS 653722 HAS SOUS 76598 HAS SOUPS 73803 WITH SCORE 74459.52
AT ITER 3969 NEW BEST:: SOT 1132799 SOS 657545 HAS SOPS 654747 HAS SOUS 75363 HAS SOUPS 72568 WITH SCORE 73225.545
AT ITER 3972 NEW BEST:: SOT 1132784 SOS 657530 HAS SOPS 654732 HAS SOUS 75353 HAS SOUPS 72558 WITH SCORE 73215.53
AT ITER 3975 NEW BEST:: SOT 1132784 SOS 657266 HAS SOPS 654468 HAS SOUS 75353 HAS SOUPS 72558 WITH SCORE 73215.266
AT ITER 3976 NEW BEST:: SOT 1132784 SOS 657368 HAS SOPS 654570 HAS SOUS 75340 HAS SOUPS 72545 WITH SCORE 73202.368
AT ITER 3977 NEW BEST:: SOT 1132784 SOS 656834 HAS SOPS 654036 HAS SOUS 75335 HAS SOUPS 72540 WITH SCORE 73196.834
AT ITER 4009 NEW BEST:: SOT 1133187 SOS 657237 HAS SOPS 654439 HAS SOUS 75233 HAS SOUPS 72438 WITH SCORE 73095.237
AT ITER 4041 NEW BEST:: SOT 1133051 SOS 657101 HAS SOPS 654303 HAS SOUS 75196 HAS SOUPS 72401 WITH SCORE 73058.101
AT ITER 4069 NEW BEST:: SOT 1133051 SOS 656141 HAS SOPS 653343 HAS SOUS 75196 HAS SOUPS 72401 WITH SCORE 73057.141
AT ITER 4071 NEW BEST:: SOT 1133872 SOS 657178 HAS SOPS 654580 HAS SOUS 74869 HAS SOUPS 72274 WITH SCORE 72931.178
AT ITER 4107 NEW BEST:: SOT 1133863 SOS 657169 HAS SOPS 654571 HAS SOUS 74850 HAS SOUPS 72255 WITH SCORE 72912.169
AT ITER 4116 NEW BEST:: SOT 1133863 SOS 657169 HAS SOPS 654571 HAS SOUS 74706 HAS SOUPS 72111 WITH SCORE 72768.169
AT ITER 4123 NEW BEST:: SOT 1133863 SOS 657947 HAS SOPS 655391 HAS SOUS 74662 HAS SOUPS 72109 WITH SCORE 72766.947
AT ITER 4205 NEW BEST:: SOT 1133863 SOS 657944 HAS SOPS 655391 HAS SOUS 74659 HAS SOUPS 72109 WITH SCORE 72766.944
AT ITER 4213 NEW BEST:: SOT 1133863 SOS 657918 HAS SOPS 655365 HAS SOUS 74659 HAS SOUPS 72109 WITH SCORE 72766.918
AT ITER 4214 NEW BEST:: SOT 1133863 SOS 657840 HAS SOPS 655317 HAS SOUS 74579 HAS SOUPS 72059 WITH SCORE 72716.84
AT ITER 4246 NEW BEST:: SOT 1133863 SOS 657308 HAS SOPS 654785 HAS SOUS 74577 HAS SOUPS 72057 WITH SCORE 72714.308
AT ITER 4256 NEW BEST:: SOT 1133863 SOS 656060 HAS SOPS 653537 HAS SOUS 74577 HAS SOUPS 72057 WITH SCORE 72713.06
AT ITER 4285 NEW BEST:: SOT 1134079 SOS 658518 HAS SOPS 655995 HAS SOUS 74543 HAS SOUPS 72023 WITH SCORE 72681.518
AT ITER 4297 NEW BEST:: SOT 1134056 SOS 658495 HAS SOPS 655972 HAS SOUS 74520 HAS SOUPS 72000 WITH SCORE 72658.495
AT ITER 4306 NEW BEST:: SOT 1133792 SOS 658231 HAS SOPS 655708 HAS SOUS 74498 HAS SOUPS 71978 WITH SCORE 72636.231
AT ITER 4310 NEW BEST:: SOT 1133678 SOS 658105 HAS SOPS 655582 HAS SOUS 74444 HAS SOUPS 71924 WITH SCORE 72582.105
AT ITER 4372 NEW BEST:: SOT 1133667 SOS 658094 HAS SOPS 655571 HAS SOUS 74433 HAS SOUPS 71913 WITH SCORE 72571.094
AT ITER 4414 NEW BEST:: SOT 1133667 SOS 657614 HAS SOPS 655091 HAS SOUS 74433 HAS SOUPS 71913 WITH SCORE 72570.614
AT ITER 4431 NEW BEST:: SOT 1133647 SOS 657611 HAS SOPS 654849 HAS SOUS 74573 HAS SOUPS 71814 WITH SCORE 72471.611
AT ITER 4441 NEW BEST:: SOT 1132745 SOS 656593 HAS SOPS 653835 HAS SOUS 74413 HAS SOUPS 71655 WITH SCORE 72311.593
AT ITER 4455 NEW BEST:: SOT 1132745 SOS 656401 HAS SOPS 653643 HAS SOUS 74413 HAS SOUPS 71655 WITH SCORE 72311.401
AT ITER 4456 NEW BEST:: SOT 1132750 SOS 656622 HAS SOPS 653864 HAS SOUS 74382 HAS SOUPS 71624 WITH SCORE 72280.622
AT ITER 4483 NEW BEST:: SOT 1132750 SOS 655638 HAS SOPS 652880 HAS SOUS 74382 HAS SOUPS 71624 WITH SCORE 72279.638
AT ITER 4512 NEW BEST:: SOT 1132751 SOS 655687 HAS SOPS 652929 HAS SOUS 74299 HAS SOUPS 71541 WITH SCORE 72196.687
AT ITER 4545 NEW BEST:: SOT 1133057 SOS 655993 HAS SOPS 653235 HAS SOUS 74265 HAS SOUPS 71507 WITH SCORE 72162.993
AT ITER 4546 NEW BEST:: SOT 1132446 SOS 655704 HAS SOPS 652946 HAS SOUS 74240 HAS SOUPS 71482 WITH SCORE 72137.704
AT ITER 4568 NEW BEST:: SOT 1132446 SOS 655676 HAS SOPS 652918 HAS SOUS 74233 HAS SOUPS 71475 WITH SCORE 72130.676
AT ITER 4569 NEW BEST:: SOT 1132494 SOS 655724 HAS SOPS 652966 HAS SOUS 74132 HAS SOUPS 71374 WITH SCORE 72029.724
AT ITER 4617 NEW BEST:: SOT 1132673 SOS 655903 HAS SOPS 653145 HAS SOUS 74048 HAS SOUPS 71290 WITH SCORE 71945.903
AT ITER 4623 NEW BEST:: SOT 1132673 SOS 655512 HAS SOPS 652754 HAS SOUS 74031 HAS SOUPS 71273 WITH SCORE 71928.512
AT ITER 4651 NEW BEST:: SOT 1132673 SOS 655512 HAS SOPS 652754 HAS SOUS 73918 HAS SOUPS 71160 WITH SCORE 71815.512
AT ITER 4658 NEW BEST:: SOT 1132673 SOS 655320 HAS SOPS 652562 HAS SOUS 73918 HAS SOUPS 71160 WITH SCORE 71815.32
AT ITER 4671 NEW BEST:: SOT 1132673 SOS 655320 HAS SOPS 652562 HAS SOUS 73911 HAS SOUPS 71153 WITH SCORE 71808.32
AT ITER 4684 NEW BEST:: SOT 1131664 SOS 654311 HAS SOPS 651553 HAS SOUS 73772 HAS SOUPS 71014 WITH SCORE 71668.311
AT ITER 4740 NEW BEST:: SOT 1131662 SOS 654353 HAS SOPS 651595 HAS SOUS 73770 HAS SOUPS 71012 WITH SCORE 71666.353
AT ITER 4743 NEW BEST:: SOT 1131752 SOS 654443 HAS SOPS 651685 HAS SOUS 73610 HAS SOUPS 70852 WITH SCORE 71506.443
AT ITER 4768 NEW BEST:: SOT 1130207 SOS 652898 HAS SOPS 650140 HAS SOUS 73216 HAS SOUPS 70458 WITH SCORE 71110.898
AT ITER 4772 NEW BEST:: SOT 1129948 SOS 652639 HAS SOPS 649881 HAS SOUS 72698 HAS SOUPS 69940 WITH SCORE 70592.639
AT ITER 4811 NEW BEST:: SOT 1129999 SOS 652690 HAS SOPS 649932 HAS SOUS 72666 HAS SOUPS 69908 WITH SCORE 70560.69
AT ITER 4823 NEW BEST:: SOT 1129997 SOS 653218 HAS SOPS 650460 HAS SOUS 72623 HAS SOUPS 69865 WITH SCORE 70518.218
AT ITER 4841 NEW BEST:: SOT 1129997 SOS 653202 HAS SOPS 650428 HAS SOUS 72637 HAS SOUPS 69863 WITH SCORE 70516.202
AT ITER 4859 NEW BEST:: SOT 1129997 SOS 653179 HAS SOPS 650404 HAS SOUS 72638 HAS SOUPS 69863 WITH SCORE 70516.179
AT ITER 4868 NEW BEST:: SOT 1129997 SOS 653177 HAS SOPS 650402 HAS SOUS 72636 HAS SOUPS 69861 WITH SCORE 70514.177
AT ITER 4915 NEW BEST:: SOT 1129997 SOS 653632 HAS SOPS 650882 HAS SOUS 72593 HAS SOUPS 69843 WITH SCORE 70496.632
AT ITER 4929 NEW BEST:: SOT 1129997 SOS 653176 HAS SOPS 650426 HAS SOUS 72593 HAS SOUPS 69843 WITH SCORE 70496.176
AT ITER 4934 NEW BEST:: SOT 1129997 SOS 653176 HAS SOPS 650426 HAS SOUS 72047 HAS SOUPS 69297 WITH SCORE 69950.176
AT ITER 4956 NEW BEST:: SOT 1129834 SOS 653013 HAS SOPS 650263 HAS SOUS 71982 HAS SOUPS 69232 WITH SCORE 69885.013
AT ITER 4959 NEW BEST:: SOT 1129834 SOS 653000 HAS SOPS 650263 HAS SOUS 71969 HAS SOUPS 69232 WITH SCORE 69885.0
AT ITER 5032 NEW BEST:: SOT 1129834 SOS 652991 HAS SOPS 650263 HAS SOUS 71960 HAS SOUPS 69232 WITH SCORE 69884.991
AT ITER 5074 NEW BEST:: SOT 1129911 SOS 653027 HAS SOPS 650092 HAS SOUS 72109 HAS SOUPS 69174 WITH SCORE 69827.027
AT ITER 5083 NEW BEST:: SOT 1129877 SOS 652993 HAS SOPS 650058 HAS SOUS 72104 HAS SOUPS 69169 WITH SCORE 69821.993
AT ITER 5107 NEW BEST:: SOT 1129877 SOS 652585 HAS SOPS 649650 HAS SOUS 72104 HAS SOUPS 69169 WITH SCORE 69821.585
AT ITER 5132 NEW BEST:: SOT 1129877 SOS 652585 HAS SOPS 649650 HAS SOUS 71978 HAS SOUPS 69043 WITH SCORE 69695.585
AT ITER 5142 NEW BEST:: SOT 1129879 SOS 652603 HAS SOPS 649668 HAS SOUS 71920 HAS SOUPS 68985 WITH SCORE 69637.603
AT ITER 5204 NEW BEST:: SOT 1129879 SOS 651223 HAS SOPS 648228 HAS SOUS 71980 HAS SOUPS 68985 WITH SCORE 69636.223
AT ITER 5234 NEW BEST:: SOT 1129864 SOS 651208 HAS SOPS 648213 HAS SOUS 71965 HAS SOUPS 68970 WITH SCORE 69621.208
AT ITER 5246 NEW BEST:: SOT 1129866 SOS 651210 HAS SOPS 648215 HAS SOUS 71942 HAS SOUPS 68947 WITH SCORE 69598.21
AT ITER 5285 NEW BEST:: SOT 1128847 SOS 650016 HAS SOPS 647028 HAS SOUS 71866 HAS SOUPS 68878 WITH SCORE 69528.016
AT ITER 5295 NEW BEST:: SOT 1130800 SOS 708431 HAS SOPS 705443 HAS SOUS 71780 HAS SOUPS 68792 WITH SCORE 69500.431
AT ITER 5307 NEW BEST:: SOT 1130546 SOS 708177 HAS SOPS 705189 HAS SOUS 71733 HAS SOUPS 68745 WITH SCORE 69453.177
AT ITER 5341 NEW BEST:: SOT 1130546 SOS 707409 HAS SOPS 704421 HAS SOUS 71733 HAS SOUPS 68745 WITH SCORE 69452.409
AT ITER 5454 NEW BEST:: SOT 1130546 SOS 707491 HAS SOPS 704541 HAS SOUS 71692 HAS SOUPS 68742 WITH SCORE 69449.491
AT ITER 5501 NEW BEST:: SOT 1130546 SOS 706915 HAS SOPS 703965 HAS SOUS 71692 HAS SOUPS 68742 WITH SCORE 69448.915
AT ITER 5513 NEW BEST:: SOT 1130546 SOS 705431 HAS SOPS 702481 HAS SOUS 71692 HAS SOUPS 68742 WITH SCORE 69447.431
AT ITER 5564 NEW BEST:: SOT 1130546 SOS 705431 HAS SOPS 702481 HAS SOUS 71688 HAS SOUPS 68738 WITH SCORE 69443.431
AT ITER 5568 NEW BEST:: SOT 1130546 SOS 705431 HAS SOPS 702481 HAS SOUS 71648 HAS SOUPS 68698 WITH SCORE 69403.431
AT ITER 5576 NEW BEST:: SOT 1130546 SOS 705593 HAS SOPS 702643 HAS SOUS 71646 HAS SOUPS 68696 WITH SCORE 69401.593
AT ITER 5601 NEW BEST:: SOT 1130546 SOS 705579 HAS SOPS 702643 HAS SOUS 71632 HAS SOUPS 68696 WITH SCORE 69401.579
AT ITER 5621 NEW BEST:: SOT 1130520 SOS 705309 HAS SOPS 702347 HAS SOUS 71580 HAS SOUPS 68618 WITH SCORE 69323.309
AT ITER 5634 NEW BEST:: SOT 1130581 SOS 705370 HAS SOPS 702408 HAS SOUS 71442 HAS SOUPS 68480 WITH SCORE 69185.37
AT ITER 5736 NEW BEST:: SOT 1130581 SOS 707709 HAS SOPS 704784 HAS SOUS 71394 HAS SOUPS 68469 WITH SCORE 69176.709
AT ITER 5749 NEW BEST:: SOT 1130463 SOS 707735 HAS SOPS 704810 HAS SOUS 71282 HAS SOUPS 68357 WITH SCORE 69064.735
AT ITER 5840 NEW BEST:: SOT 1130463 SOS 707591 HAS SOPS 704666 HAS SOUS 71282 HAS SOUPS 68357 WITH SCORE 69064.591
AT ITER 5841 NEW BEST:: SOT 1130153 SOS 707281 HAS SOPS 704356 HAS SOUS 71213 HAS SOUPS 68288 WITH SCORE 68995.281
AT ITER 5852 NEW BEST:: SOT 1130153 SOS 707281 HAS SOPS 704356 HAS SOUS 71204 HAS SOUPS 68279 WITH SCORE 68986.281
AT ITER 5922 NEW BEST:: SOT 1130118 SOS 707246 HAS SOPS 704321 HAS SOUS 71197 HAS SOUPS 68272 WITH SCORE 68979.246
AT ITER 5944 NEW BEST:: SOT 1130118 SOS 707239 HAS SOPS 704321 HAS SOUS 71190 HAS SOUPS 68272 WITH SCORE 68979.239
AT ITER 5967 NEW BEST:: SOT 1130118 SOS 707283 HAS SOPS 704365 HAS SOUS 71188 HAS SOUPS 68270 WITH SCORE 68977.283
AT ITER 5973 NEW BEST:: SOT 1129204 SOS 707240 HAS SOPS 704322 HAS SOUS 70697 HAS SOUPS 67779 WITH SCORE 68486.24
AT ITER 5978 NEW BEST:: SOT 1129206 SOS 709894 HAS SOPS 706976 HAS SOUS 70687 HAS SOUPS 67769 WITH SCORE 68478.894
AT ITER 6016 NEW BEST:: SOT 1129411 SOS 696453 HAS SOPS 693237 HAS SOUS 70891 HAS SOUPS 67687 WITH SCORE 68383.453
AT ITER 6049 NEW BEST:: SOT 1129453 SOS 696495 HAS SOPS 693279 HAS SOUS 70872 HAS SOUPS 67668 WITH SCORE 68364.495
AT ITER 6074 NEW BEST:: SOT 1128994 SOS 696036 HAS SOPS 692820 HAS SOUS 70776 HAS SOUPS 67572 WITH SCORE 68268.036
AT ITER 6084 NEW BEST:: SOT 1128758 SOS 695800 HAS SOPS 692584 HAS SOUS 70744 HAS SOUPS 67540 WITH SCORE 68235.8
AT ITER 6086 NEW BEST:: SOT 1128758 SOS 695791 HAS SOPS 692575 HAS SOUS 70735 HAS SOUPS 67531 WITH SCORE 68226.791
AT ITER 6091 NEW BEST:: SOT 1128758 SOS 695575 HAS SOPS 692359 HAS SOUS 70735 HAS SOUPS 67531 WITH SCORE 68226.575
AT ITER 6119 NEW BEST:: SOT 1128256 SOS 695073 HAS SOPS 691857 HAS SOUS 70577 HAS SOUPS 67373 WITH SCORE 68068.073
AT ITER 6137 NEW BEST:: SOT 1128148 SOS 695461 HAS SOPS 692245 HAS SOUS 70480 HAS SOUPS 67276 WITH SCORE 67971.461
AT ITER 6166 NEW BEST:: SOT 1128148 SOS 694679 HAS SOPS 691429 HAS SOUS 70514 HAS SOUPS 67276 WITH SCORE 67970.679
AT ITER 6221 NEW BEST:: SOT 1128041 SOS 694577 HAS SOPS 691361 HAS SOUS 70399 HAS SOUPS 67195 WITH SCORE 67889.577
AT ITER 6230 NEW BEST:: SOT 1128057 SOS 694593 HAS SOPS 691377 HAS SOUS 70397 HAS SOUPS 67193 WITH SCORE 67887.593
AT ITER 6271 NEW BEST:: SOT 1128055 SOS 692178 HAS SOPS 688962 HAS SOUS 70288 HAS SOUPS 67084 WITH SCORE 67776.178
AT ITER 6273 NEW BEST:: SOT 1128099 SOS 692222 HAS SOPS 689006 HAS SOUS 70287 HAS SOUPS 67083 WITH SCORE 67775.222
AT ITER 6411 NEW BEST:: SOT 1128099 SOS 691917 HAS SOPS 688672 HAS SOUS 70312 HAS SOUPS 67079 WITH SCORE 67770.917
AT ITER 6425 NEW BEST:: SOT 1127988 SOS 691806 HAS SOPS 688561 HAS SOUS 70306 HAS SOUPS 67073 WITH SCORE 67764.806
AT ITER 6511 NEW BEST:: SOT 1127995 SOS 691923 HAS SOPS 688678 HAS SOUS 70292 HAS SOUPS 67059 WITH SCORE 67750.923
AT ITER 6529 NEW BEST:: SOT 1127670 SOS 691598 HAS SOPS 688353 HAS SOUS 70289 HAS SOUPS 67056 WITH SCORE 67747.598
AT ITER 6556 NEW BEST:: SOT 1126995 SOS 690923 HAS SOPS 687678 HAS SOUS 68984 HAS SOUPS 65751 WITH SCORE 66441.923
AT ITER 6573 NEW BEST:: SOT 1126779 SOS 690707 HAS SOPS 687462 HAS SOUS 68969 HAS SOUPS 65736 WITH SCORE 66426.707
AT ITER 6594 NEW BEST:: SOT 1126779 SOS 689978 HAS SOPS 686706 HAS SOUS 68976 HAS SOUPS 65716 WITH SCORE 66405.978
AT ITER 6600 NEW BEST:: SOT 1126779 SOS 689863 HAS SOPS 686586 HAS SOUS 68981 HAS SOUPS 65716 WITH SCORE 66405.863
AT ITER 6673 NEW BEST:: SOT 1126783 SOS 689867 HAS SOPS 686590 HAS SOUS 68967 HAS SOUPS 65702 WITH SCORE 66391.867
AT ITER 6679 NEW BEST:: SOT 1126693 SOS 689777 HAS SOPS 686500 HAS SOUS 68877 HAS SOUPS 65612 WITH SCORE 66301.777
AT ITER 6681 NEW BEST:: SOT 1126683 SOS 689719 HAS SOPS 686452 HAS SOUS 68859 HAS SOUPS 65604 WITH SCORE 66293.719
AT ITER 6715 NEW BEST:: SOT 1126683 SOS 691039 HAS SOPS 687772 HAS SOUS 68829 HAS SOUPS 65574 WITH SCORE 66265.039
AT ITER 6725 NEW BEST:: SOT 1126683 SOS 691033 HAS SOPS 687766 HAS SOUS 68829 HAS SOUPS 65574 WITH SCORE 66265.033
AT ITER 6730 NEW BEST:: SOT 1126683 SOS 691033 HAS SOPS 687766 HAS SOUS 68803 HAS SOUPS 65548 WITH SCORE 66239.033
AT ITER 6757 NEW BEST:: SOT 1126673 SOS 691023 HAS SOPS 687756 HAS SOUS 68793 HAS SOUPS 65538 WITH SCORE 66229.023
AT ITER 6763 NEW BEST:: SOT 1126446 SOS 690703 HAS SOPS 687436 HAS SOUS 68678 HAS SOUPS 65423 WITH SCORE 66113.703
AT ITER 6768 NEW BEST:: SOT 1126446 SOS 690450 HAS SOPS 687172 HAS SOUS 68689 HAS SOUPS 65423 WITH SCORE 66113.45
AT ITER 6792 NEW BEST:: SOT 1126459 SOS 690463 HAS SOPS 687185 HAS SOUS 68582 HAS SOUPS 65316 WITH SCORE 66006.463
AT ITER 6796 NEW BEST:: SOT 1126437 SOS 690441 HAS SOPS 687163 HAS SOUS 68575 HAS SOUPS 65309 WITH SCORE 65999.441
AT ITER 6801 NEW BEST:: SOT 1126203 SOS 690210 HAS SOPS 686929 HAS SOUS 68433 HAS SOUPS 65164 WITH SCORE 65854.21
AT ITER 6817 NEW BEST:: SOT 1126059 SOS 690066 HAS SOPS 686785 HAS SOUS 68418 HAS SOUPS 65149 WITH SCORE 65839.066
AT ITER 6850 NEW BEST:: SOT 1126059 SOS 690085 HAS SOPS 686785 HAS SOUS 68418 HAS SOUPS 65130 WITH SCORE 65820.085
AT ITER 6878 NEW BEST:: SOT 1126059 SOS 689763 HAS SOPS 686449 HAS SOUS 68432 HAS SOUPS 65130 WITH SCORE 65819.763
AT ITER 6884 NEW BEST:: SOT 1126158 SOS 689862 HAS SOPS 686548 HAS SOUS 68293 HAS SOUPS 64991 WITH SCORE 65680.862
AT ITER 6925 NEW BEST:: SOT 1126125 SOS 689829 HAS SOPS 686515 HAS SOUS 68287 HAS SOUPS 64985 WITH SCORE 65674.829
AT ITER 6951 NEW BEST:: SOT 1126125 SOS 685751 HAS SOPS 682317 HAS SOUS 68288 HAS SOUPS 64969 WITH SCORE 65654.751
AT ITER 6978 NEW BEST:: SOT 1127245 SOS 713707 HAS SOPS 710289 HAS SOUS 68096 HAS SOUPS 64793 WITH SCORE 65506.707
AT ITER 6981 NEW BEST:: SOT 1127197 SOS 713659 HAS SOPS 710241 HAS SOUS 68078 HAS SOUPS 64775 WITH SCORE 65488.659
AT ITER 7034 NEW BEST:: SOT 1127197 SOS 713646 HAS SOPS 710241 HAS SOUS 68065 HAS SOUPS 64775 WITH SCORE 65488.646
AT ITER 7044 NEW BEST:: SOT 1127177 SOS 713626 HAS SOPS 710221 HAS SOUS 68021 HAS SOUPS 64731 WITH SCORE 65444.626
AT ITER 7048 NEW BEST:: SOT 1127161 SOS 713612 HAS SOPS 710207 HAS SOUS 67989 HAS SOUPS 64699 WITH SCORE 65412.612
AT ITER 7117 NEW BEST:: SOT 1127161 SOS 713976 HAS SOPS 710551 HAS SOUS 67989 HAS SOUPS 64679 WITH SCORE 65392.976
AT ITER 7173 NEW BEST:: SOT 1127161 SOS 713976 HAS SOPS 710551 HAS SOUS 67974 HAS SOUPS 64664 WITH SCORE 65377.976
AT ITER 7174 NEW BEST:: SOT 1126993 SOS 713808 HAS SOPS 710383 HAS SOUS 67966 HAS SOUPS 64656 WITH SCORE 65369.808
AT ITER 7276 NEW BEST:: SOT 1126993 SOS 713688 HAS SOPS 710263 HAS SOUS 67966 HAS SOUPS 64656 WITH SCORE 65369.688
AT ITER 7381 NEW BEST:: SOT 1127178 SOS 713940 HAS SOPS 710503 HAS SOUS 67839 HAS SOUPS 64517 WITH SCORE 65230.94
AT ITER 7418 NEW BEST:: SOT 1126940 SOS 713702 HAS SOPS 710260 HAS SOUS 67727 HAS SOUPS 64400 WITH SCORE 65113.702
AT ITER 7419 NEW BEST:: SOT 1127116 SOS 713878 HAS SOPS 710436 HAS SOUS 67703 HAS SOUPS 64376 WITH SCORE 65089.878
AT ITER 7421 NEW BEST:: SOT 1126430 SOS 716384 HAS SOPS 712942 HAS SOUS 67287 HAS SOUPS 63960 WITH SCORE 64676.384
AT ITER 7458 NEW BEST:: SOT 1126423 SOS 717008 HAS SOPS 713566 HAS SOUS 67273 HAS SOUPS 63946 WITH SCORE 64663.008
AT ITER 7550 NEW BEST:: SOT 1126414 SOS 716900 HAS SOPS 713458 HAS SOUS 67260 HAS SOUPS 63933 WITH SCORE 64649.9
AT ITER 7562 NEW BEST:: SOT 1126414 SOS 716852 HAS SOPS 713410 HAS SOUS 67260 HAS SOUPS 63933 WITH SCORE 64649.852
AT ITER 7623 NEW BEST:: SOT 1126474 SOS 717453 HAS SOPS 714070 HAS SOUS 67112 HAS SOUPS 63844 WITH SCORE 64561.453
AT ITER 7709 NEW BEST:: SOT 1126285 SOS 717264 HAS SOPS 713881 HAS SOUS 67108 HAS SOUPS 63840 WITH SCORE 64557.264
AT ITER 7762 NEW BEST:: SOT 1126274 SOS 717253 HAS SOPS 713870 HAS SOUS 67097 HAS SOUPS 63829 WITH SCORE 64546.253
AT ITER 7795 NEW BEST:: SOT 1126292 SOS 718135 HAS SOPS 714752 HAS SOUS 66927 HAS SOUPS 63659 WITH SCORE 64377.135
AT ITER 7813 NEW BEST:: SOT 1125401 SOS 717244 HAS SOPS 713861 HAS SOUS 66874 HAS SOUPS 63606 WITH SCORE 64323.244
AT ITER 7824 NEW BEST:: SOT 1125383 SOS 717226 HAS SOPS 713843 HAS SOUS 66766 HAS SOUPS 63498 WITH SCORE 64215.226
AT ITER 7840 NEW BEST:: SOT 1125522 SOS 716045 HAS SOPS 712662 HAS SOUS 66767 HAS SOUPS 63499 WITH SCORE 64215.045
AT ITER 7857 NEW BEST:: SOT 1125522 SOS 715133 HAS SOPS 711750 HAS SOUS 66767 HAS SOUPS 63499 WITH SCORE 64214.133
AT ITER 7910 NEW BEST:: SOT 1124966 SOS 714777 HAS SOPS 711394 HAS SOUS 66532 HAS SOUPS 63264 WITH SCORE 63978.777
AT ITER 7924 NEW BEST:: SOT 1124967 SOS 714778 HAS SOPS 711395 HAS SOUS 66512 HAS SOUPS 63244 WITH SCORE 63958.778
AT ITER 8030 NEW BEST:: SOT 1124785 SOS 714590 HAS SOPS 711207 HAS SOUS 66496 HAS SOUPS 63228 WITH SCORE 63942.59
AT ITER 8046 NEW BEST:: SOT 1124360 SOS 714165 HAS SOPS 710782 HAS SOUS 66475 HAS SOUPS 63207 WITH SCORE 63921.165
AT ITER 8049 NEW BEST:: SOT 1124341 SOS 714150 HAS SOPS 710767 HAS SOUS 66444 HAS SOUPS 63176 WITH SCORE 63890.15
AT ITER 8109 NEW BEST:: SOT 1124343 SOS 714584 HAS SOPS 711201 HAS SOUS 65896 HAS SOUPS 62628 WITH SCORE 63342.584
AT ITER 8113 NEW BEST:: SOT 1124343 SOS 714490 HAS SOPS 711153 HAS SOUS 65850 HAS SOUPS 62628 WITH SCORE 63342.49
AT ITER 8132 NEW BEST:: SOT 1124342 SOS 714489 HAS SOPS 711152 HAS SOUS 65834 HAS SOUPS 62612 WITH SCORE 63326.489
AT ITER 8182 NEW BEST:: SOT 1124342 SOS 714489 HAS SOPS 711152 HAS SOUS 65827 HAS SOUPS 62605 WITH SCORE 63319.489
AT ITER 8262 NEW BEST:: SOT 1124321 SOS 714468 HAS SOPS 711131 HAS SOUS 65784 HAS SOUPS 62562 WITH SCORE 63276.468
AT ITER 8268 NEW BEST:: SOT 1124319 SOS 714466 HAS SOPS 711129 HAS SOUS 65782 HAS SOUPS 62560 WITH SCORE 63274.466
AT ITER 8311 NEW BEST:: SOT 1124321 SOS 715924 HAS SOPS 712555 HAS SOUS 65776 HAS SOUPS 62522 WITH SCORE 63237.924
AT ITER 8314 NEW BEST:: SOT 1124285 SOS 715888 HAS SOPS 712519 HAS SOUS 65698 HAS SOUPS 62444 WITH SCORE 63159.888
AT ITER 8322 NEW BEST:: SOT 1124285 SOS 715877 HAS SOPS 712519 HAS SOUS 65687 HAS SOUPS 62444 WITH SCORE 63159.877
AT ITER 8353 NEW BEST:: SOT 1124025 SOS 716145 HAS SOPS 712787 HAS SOUS 65656 HAS SOUPS 62413 WITH SCORE 63129.145
AT ITER 8362 NEW BEST:: SOT 1123989 SOS 716109 HAS SOPS 712751 HAS SOUS 65654 HAS SOUPS 62411 WITH SCORE 63127.109
AT ITER 8374 NEW BEST:: SOT 1123989 SOS 715405 HAS SOPS 712019 HAS SOUS 65669 HAS SOUPS 62398 WITH SCORE 63113.405
AT ITER 8419 NEW BEST:: SOT 1123989 SOS 715402 HAS SOPS 712019 HAS SOUS 65576 HAS SOUPS 62308 WITH SCORE 63023.402
AT ITER 8420 NEW BEST:: SOT 1123989 SOS 714183 HAS SOPS 710747 HAS SOUS 65629 HAS SOUPS 62308 WITH SCORE 63022.183
AT ITER 8456 NEW BEST:: SOT 1123989 SOS 713987 HAS SOPS 710551 HAS SOUS 65629 HAS SOUPS 62308 WITH SCORE 63021.987
AT ITER 8488 NEW BEST:: SOT 1124003 SOS 714001 HAS SOPS 710565 HAS SOUS 65623 HAS SOUPS 62302 WITH SCORE 63016.001
AT ITER 8499 NEW BEST:: SOT 1124006 SOS 714227 HAS SOPS 710800 HAS SOUS 65577 HAS SOUPS 62258 WITH SCORE 62972.227
AT ITER 8536 NEW BEST:: SOT 1123906 SOS 714127 HAS SOPS 710700 HAS SOUS 65572 HAS SOUPS 62253 WITH SCORE 62967.127
AT ITER 8574 NEW BEST:: SOT 1123906 SOS 713479 HAS SOPS 710052 HAS SOUS 65572 HAS SOUPS 62253 WITH SCORE 62966.479
AT ITER 8676 NEW BEST:: SOT 1123920 SOS 713635 HAS SOPS 710180 HAS SOUS 65596 HAS SOUPS 62249 WITH SCORE 62962.635
AT ITER 8775 NEW BEST:: SOT 1125001 SOS 714531 HAS SOPS 711169 HAS SOUS 65481 HAS SOUPS 62227 WITH SCORE 62941.531
AT ITER 8849 NEW BEST:: SOT 1124977 SOS 714507 HAS SOPS 711145 HAS SOUS 65451 HAS SOUPS 62197 WITH SCORE 62911.507
AT ITER 8873 NEW BEST:: SOT 1125017 SOS 714547 HAS SOPS 711185 HAS SOUS 65445 HAS SOUPS 62191 WITH SCORE 62905.547
AT ITER 8936 NEW BEST:: SOT 1125017 SOS 714415 HAS SOPS 711053 HAS SOUS 65445 HAS SOUPS 62191 WITH SCORE 62905.415
AT ITER 8942 NEW BEST:: SOT 1125017 SOS 712567 HAS SOPS 709205 HAS SOUS 65445 HAS SOUPS 62191 WITH SCORE 62903.567
AT ITER 8956 NEW BEST:: SOT 1125017 SOS 712567 HAS SOPS 709205 HAS SOUS 65440 HAS SOUPS 62186 WITH SCORE 62898.567
AT ITER 8991 NEW BEST:: SOT 1125017 SOS 712553 HAS SOPS 709205 HAS SOUS 65426 HAS SOUPS 62186 WITH SCORE 62898.553
AT ITER 9010 NEW BEST:: SOT 1125421 SOS 713509 HAS SOPS 710161 HAS SOUS 65337 HAS SOUPS 62097 WITH SCORE 62810.509
AT ITER 9015 NEW BEST:: SOT 1125531 SOS 716223 HAS SOPS 713007 HAS SOUS 65201 HAS SOUPS 62093 WITH SCORE 62809.223
AT ITER 9028 NEW BEST:: SOT 1125498 SOS 716190 HAS SOPS 712974 HAS SOUS 65132 HAS SOUPS 62024 WITH SCORE 62740.19
AT ITER 9077 NEW BEST:: SOT 1125294 SOS 715953 HAS SOPS 712726 HAS SOUS 65111 HAS SOUPS 61992 WITH SCORE 62707.953
AT ITER 9078 NEW BEST:: SOT 1125294 SOS 715761 HAS SOPS 712534 HAS SOUS 65111 HAS SOUPS 61992 WITH SCORE 62707.761
AT ITER 9090 NEW BEST:: SOT 1125282 SOS 715749 HAS SOPS 712522 HAS SOUS 65086 HAS SOUPS 61967 WITH SCORE 62682.749
AT ITER 9092 NEW BEST:: SOT 1125572 SOS 718872 HAS SOPS 715680 HAS SOUS 64853 HAS SOUPS 61769 WITH SCORE 62487.872
AT ITER 9119 NEW BEST:: SOT 1125572 SOS 719493 HAS SOPS 716301 HAS SOUS 64826 HAS SOUPS 61742 WITH SCORE 62461.493
AT ITER 9227 NEW BEST:: SOT 1125419 SOS 719340 HAS SOPS 716148 HAS SOUS 64712 HAS SOUPS 61628 WITH SCORE 62347.34
AT ITER 9335 NEW BEST:: SOT 1125419 SOS 720316 HAS SOPS 717156 HAS SOUS 64670 HAS SOUPS 61618 WITH SCORE 62338.316
AT ITER 9385 NEW BEST:: SOT 1125419 SOS 720004 HAS SOPS 716844 HAS SOUS 64670 HAS SOUPS 61618 WITH SCORE 62338.004
AT ITER 9437 NEW BEST:: SOT 1125749 SOS 720334 HAS SOPS 717174 HAS SOUS 64648 HAS SOUPS 61596 WITH SCORE 62316.334
AT ITER 9467 NEW BEST:: SOT 1125749 SOS 720127 HAS SOPS 716958 HAS SOUS 64657 HAS SOUPS 61596 WITH SCORE 62316.127
AT ITER 9487 NEW BEST:: SOT 1125749 SOS 719710 HAS SOPS 716541 HAS SOUS 64657 HAS SOUPS 61596 WITH SCORE 62315.71
AT ITER 9634 NEW BEST:: SOT 1125749 SOS 719710 HAS SOPS 716541 HAS SOUS 64652 HAS SOUPS 61591 WITH SCORE 62310.71
AT ITER 9686 NEW BEST:: SOT 1125772 SOS 719733 HAS SOPS 716564 HAS SOUS 64650 HAS SOUPS 61589 WITH SCORE 62308.733
AT ITER 9798 NEW BEST:: SOT 1125772 SOS 719496 HAS SOPS 716352 HAS SOUS 64613 HAS SOUPS 61557 WITH SCORE 62276.496
AT ITER 9835 NEW BEST:: SOT 1126062 SOS 719932 HAS SOPS 716788 HAS SOUS 63743 HAS SOUPS 60687 WITH SCORE 61406.932
AT ITER 9865 NEW BEST:: SOT 1126062 SOS 719932 HAS SOPS 716788 HAS SOUS 63739 HAS SOUPS 60683 WITH SCORE 61402.932
AT ITER 9882 NEW BEST:: SOT 1125896 SOS 722630 HAS SOPS 719486 HAS SOUS 63565 HAS SOUPS 60509 WITH SCORE 61231.63
AT ITER 9911 NEW BEST:: SOT 1125800 SOS 722534 HAS SOPS 719390 HAS SOUS 63480 HAS SOUPS 60424 WITH SCORE 61146.534
AT ITER 9923 NEW BEST:: SOT 1125800 SOS 722526 HAS SOPS 719390 HAS SOUS 63472 HAS SOUPS 60424 WITH SCORE 61146.526
AT ITER 9937 NEW BEST:: SOT 1125563 SOS 722353 HAS SOPS 719217 HAS SOUS 63449 HAS SOUPS 60401 WITH SCORE 61123.353
AT ITER 9970 NEW BEST:: SOT 1125366 SOS 719577 HAS SOPS 716284 HAS SOUS 63565 HAS SOUPS 60360 WITH SCORE 61079.577
BK_STOP 1678679821545
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 486 Killed ${SMART}/smart ${INPUT_SM}
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="Medical-PT-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Medical-PT-04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856422100664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-04.tgz
mv Medical-PT-04 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 '
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 ;