Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542200480.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 724K
-rw-r--r-- 1 mcc users 3.9K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 24K Mar 29 08:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 23:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 547K Mar 24 05:37 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 1589123063294

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 04b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1680 places, 2364 transitions, 6156 arcs.
AT ITER 0 NEW BEST:: SOT 2371064 SOS 494511 HAS SOPS 494511 HAS SOUS 353305 HAS SOUPS 353305 WITH SCORE 353799.511
AT ITER 21 NEW BEST:: SOT 2370869 SOS 494312 HAS SOPS 494312 HAS SOUS 353109 HAS SOUPS 353109 WITH SCORE 353603.312
AT ITER 29 NEW BEST:: SOT 2370738 SOS 494050 HAS SOPS 494050 HAS SOUS 352596 HAS SOUPS 352596 WITH SCORE 353090.05
AT ITER 41 NEW BEST:: SOT 2370812 SOS 494198 HAS SOPS 494198 HAS SOUS 352555 HAS SOUPS 352555 WITH SCORE 353049.198
AT ITER 43 NEW BEST:: SOT 2370545 SOS 491261 HAS SOPS 491261 HAS SOUS 352021 HAS SOUPS 352021 WITH SCORE 352512.261
AT ITER 45 NEW BEST:: SOT 2370481 SOS 492932 HAS SOPS 492932 HAS SOUS 351892 HAS SOUPS 351892 WITH SCORE 352384.932
AT ITER 115 NEW BEST:: SOT 2370363 SOS 492922 HAS SOPS 492922 HAS SOUS 351830 HAS SOUPS 351830 WITH SCORE 352322.922
AT ITER 131 NEW BEST:: SOT 2370363 SOS 492724 HAS SOPS 492724 HAS SOUS 351632 HAS SOUPS 351632 WITH SCORE 352124.724
AT ITER 132 NEW BEST:: SOT 2370363 SOS 492724 HAS SOPS 492724 HAS SOUS 351631 HAS SOUPS 351631 WITH SCORE 352123.724
AT ITER 135 NEW BEST:: SOT 2370248 SOS 492634 HAS SOPS 492634 HAS SOUS 351541 HAS SOUPS 351541 WITH SCORE 352033.634
AT ITER 152 NEW BEST:: SOT 2370248 SOS 492634 HAS SOPS 492634 HAS SOUS 351531 HAS SOUPS 351531 WITH SCORE 352023.634
AT ITER 154 NEW BEST:: SOT 2370061 SOS 492511 HAS SOPS 492511 HAS SOUS 351408 HAS SOUPS 351408 WITH SCORE 351900.511
AT ITER 156 NEW BEST:: SOT 2370017 SOS 492489 HAS SOPS 492489 HAS SOUS 351386 HAS SOUPS 351386 WITH SCORE 351878.489
AT ITER 163 NEW BEST:: SOT 2370017 SOS 492424 HAS SOPS 492424 HAS SOUS 351321 HAS SOUPS 351321 WITH SCORE 351813.424
AT ITER 195 NEW BEST:: SOT 2369992 SOS 490843 HAS SOPS 490843 HAS SOUS 350890 HAS SOUPS 350890 WITH SCORE 351380.843
AT ITER 197 NEW BEST:: SOT 2369890 SOS 490792 HAS SOPS 490792 HAS SOUS 350839 HAS SOUPS 350839 WITH SCORE 351329.792
AT ITER 212 NEW BEST:: SOT 2369506 SOS 490594 HAS SOPS 490594 HAS SOUS 350448 HAS SOUPS 350448 WITH SCORE 350938.594
AT ITER 224 NEW BEST:: SOT 2369111 SOS 490608 HAS SOPS 490608 HAS SOUS 350357 HAS SOUPS 350357 WITH SCORE 350847.608
AT ITER 241 NEW BEST:: SOT 2369111 SOS 490608 HAS SOPS 490608 HAS SOUS 350356 HAS SOUPS 350356 WITH SCORE 350846.608
AT ITER 263 NEW BEST:: SOT 2369103 SOS 490597 HAS SOPS 490597 HAS SOUS 350355 HAS SOUPS 350355 WITH SCORE 350845.597
AT ITER 277 NEW BEST:: SOT 2368968 SOS 490327 HAS SOPS 490327 HAS SOUS 350085 HAS SOUPS 350085 WITH SCORE 350575.327
AT ITER 278 NEW BEST:: SOT 2367264 SOS 492426 HAS SOPS 492426 HAS SOUS 349914 HAS SOUPS 349914 WITH SCORE 350406.426
AT ITER 284 NEW BEST:: SOT 2367254 SOS 492423 HAS SOPS 492423 HAS SOUS 349913 HAS SOUPS 349913 WITH SCORE 350405.423
AT ITER 290 NEW BEST:: SOT 2367254 SOS 492769 HAS SOPS 492769 HAS SOUS 349740 HAS SOUPS 349740 WITH SCORE 350232.769
AT ITER 292 NEW BEST:: SOT 2367020 SOS 492535 HAS SOPS 492535 HAS SOUS 349506 HAS SOUPS 349506 WITH SCORE 349998.535
AT ITER 310 NEW BEST:: SOT 2366959 SOS 492413 HAS SOPS 492413 HAS SOUS 349445 HAS SOUPS 349445 WITH SCORE 349937.413
AT ITER 315 NEW BEST:: SOT 2366887 SOS 492269 HAS SOPS 492269 HAS SOUS 349373 HAS SOUPS 349373 WITH SCORE 349865.269
AT ITER 324 NEW BEST:: SOT 2366887 SOS 492454 HAS SOPS 492454 HAS SOUS 349372 HAS SOUPS 349372 WITH SCORE 349864.454
AT ITER 329 NEW BEST:: SOT 2366833 SOS 492450 HAS SOPS 492450 HAS SOUS 349317 HAS SOUPS 349317 WITH SCORE 349809.45
AT ITER 332 NEW BEST:: SOT 2366833 SOS 492449 HAS SOPS 492449 HAS SOUS 349316 HAS SOUPS 349316 WITH SCORE 349808.449
AT ITER 382 NEW BEST:: SOT 2366832 SOS 492447 HAS SOPS 492447 HAS SOUS 349314 HAS SOUPS 349314 WITH SCORE 349806.447
AT ITER 388 NEW BEST:: SOT 2366298 SOS 491744 HAS SOPS 491744 HAS SOUS 348499 HAS SOUPS 348499 WITH SCORE 348990.744
AT ITER 419 NEW BEST:: SOT 2365966 SOS 493078 HAS SOPS 493078 HAS SOUS 347836 HAS SOUPS 347836 WITH SCORE 348329.078
AT ITER 432 NEW BEST:: SOT 2365906 SOS 492898 HAS SOPS 492898 HAS SOUS 347716 HAS SOUPS 347716 WITH SCORE 348208.898
AT ITER 448 NEW BEST:: SOT 2365023 SOS 492732 HAS SOPS 492732 HAS SOUS 347117 HAS SOUPS 347117 WITH SCORE 347609.732
AT ITER 472 NEW BEST:: SOT 2364727 SOS 492436 HAS SOPS 492436 HAS SOUS 346525 HAS SOUPS 346525 WITH SCORE 347017.436
AT ITER 473 NEW BEST:: SOT 2364627 SOS 492336 HAS SOPS 492336 HAS SOUS 346425 HAS SOUPS 346425 WITH SCORE 346917.336
AT ITER 482 NEW BEST:: SOT 2364353 SOS 491788 HAS SOPS 491788 HAS SOUS 345877 HAS SOUPS 345877 WITH SCORE 346368.788
AT ITER 487 NEW BEST:: SOT 2363971 SOS 491804 HAS SOPS 491804 HAS SOUS 345755 HAS SOUPS 345755 WITH SCORE 346246.804
AT ITER 495 NEW BEST:: SOT 2363971 SOS 491709 HAS SOPS 491709 HAS SOUS 345755 HAS SOUPS 345755 WITH SCORE 346246.709
AT ITER 502 NEW BEST:: SOT 2363971 SOS 491531 HAS SOPS 491531 HAS SOUS 345577 HAS SOUPS 345577 WITH SCORE 346068.531
AT ITER 569 NEW BEST:: SOT 2363743 SOS 491395 HAS SOPS 491395 HAS SOUS 345394 HAS SOUPS 345394 WITH SCORE 345885.395
AT ITER 578 NEW BEST:: SOT 2363565 SOS 491039 HAS SOPS 491039 HAS SOUS 345038 HAS SOUPS 345038 WITH SCORE 345529.039
AT ITER 595 NEW BEST:: SOT 2362924 SOS 490783 HAS SOPS 490783 HAS SOUS 344509 HAS SOUPS 344509 WITH SCORE 344999.783
AT ITER 613 NEW BEST:: SOT 2362956 SOS 490659 HAS SOPS 490659 HAS SOUS 344447 HAS SOUPS 344447 WITH SCORE 344937.659
AT ITER 627 NEW BEST:: SOT 2362728 SOS 490771 HAS SOPS 490771 HAS SOUS 343944 HAS SOUPS 343944 WITH SCORE 344434.771
AT ITER 629 NEW BEST:: SOT 2362720 SOS 490825 HAS SOPS 490825 HAS SOUS 343935 HAS SOUPS 343935 WITH SCORE 344425.825
AT ITER 644 NEW BEST:: SOT 2362540 SOS 490561 HAS SOPS 490561 HAS SOUS 343663 HAS SOUPS 343663 WITH SCORE 344153.561
AT ITER 648 NEW BEST:: SOT 2362309 SOS 490551 HAS SOPS 490551 HAS SOUS 343513 HAS SOUPS 343513 WITH SCORE 344003.551
AT ITER 659 NEW BEST:: SOT 2362049 SOS 490031 HAS SOPS 490031 HAS SOUS 343312 HAS SOUPS 343312 WITH SCORE 343802.031
AT ITER 690 NEW BEST:: SOT 2361800 SOS 489824 HAS SOPS 489824 HAS SOUS 343101 HAS SOUPS 343101 WITH SCORE 343590.824
AT ITER 698 NEW BEST:: SOT 2361776 SOS 489776 HAS SOPS 489776 HAS SOUS 343073 HAS SOUPS 343073 WITH SCORE 343562.776
AT ITER 699 NEW BEST:: SOT 2361747 SOS 490054 HAS SOPS 490054 HAS SOUS 343044 HAS SOUPS 343044 WITH SCORE 343534.054
AT ITER 721 NEW BEST:: SOT 2361715 SOS 489990 HAS SOPS 489990 HAS SOUS 343012 HAS SOUPS 343012 WITH SCORE 343501.99
AT ITER 757 NEW BEST:: SOT 2361310 SOS 489585 HAS SOPS 489585 HAS SOUS 342607 HAS SOUPS 342607 WITH SCORE 343096.585
AT ITER 762 NEW BEST:: SOT 2361347 SOS 489565 HAS SOPS 489565 HAS SOUS 342587 HAS SOUPS 342587 WITH SCORE 343076.565
AT ITER 765 NEW BEST:: SOT 2361159 SOS 489189 HAS SOPS 489189 HAS SOUS 342211 HAS SOUPS 342211 WITH SCORE 342700.189
AT ITER 798 NEW BEST:: SOT 2359600 SOS 489090 HAS SOPS 489090 HAS SOUS 340987 HAS SOUPS 340987 WITH SCORE 341476.09
AT ITER 806 NEW BEST:: SOT 2359267 SOS 488757 HAS SOPS 488757 HAS SOUS 340654 HAS SOUPS 340654 WITH SCORE 341142.757
AT ITER 816 NEW BEST:: SOT 2359175 SOS 488573 HAS SOPS 488573 HAS SOUS 340547 HAS SOUPS 340547 WITH SCORE 341035.573
AT ITER 851 NEW BEST:: SOT 2359021 SOS 488382 HAS SOPS 488382 HAS SOUS 340433 HAS SOUPS 340433 WITH SCORE 340921.382
AT ITER 865 NEW BEST:: SOT 2359005 SOS 488350 HAS SOPS 488350 HAS SOUS 340401 HAS SOUPS 340401 WITH SCORE 340889.35
AT ITER 875 NEW BEST:: SOT 2359009 SOS 488114 HAS SOPS 488114 HAS SOUS 340283 HAS SOUPS 340283 WITH SCORE 340771.114
AT ITER 888 NEW BEST:: SOT 2359196 SOS 488488 HAS SOPS 488488 HAS SOUS 340092 HAS SOUPS 340092 WITH SCORE 340580.488
AT ITER 894 NEW BEST:: SOT 2359196 SOS 488464 HAS SOPS 488464 HAS SOUS 340068 HAS SOUPS 340068 WITH SCORE 340556.464
AT ITER 906 NEW BEST:: SOT 2358906 SOS 488170 HAS SOPS 488170 HAS SOUS 339777 HAS SOUPS 339777 WITH SCORE 340265.17
AT ITER 908 NEW BEST:: SOT 2358906 SOS 488158 HAS SOPS 488158 HAS SOUS 339765 HAS SOUPS 339765 WITH SCORE 340253.158
AT ITER 959 NEW BEST:: SOT 2358881 SOS 488108 HAS SOPS 488108 HAS SOUS 339761 HAS SOUPS 339761 WITH SCORE 340249.108
AT ITER 971 NEW BEST:: SOT 2358688 SOS 487915 HAS SOPS 487915 HAS SOUS 339568 HAS SOUPS 339568 WITH SCORE 340055.915
AT ITER 1004 NEW BEST:: SOT 2358664 SOS 487867 HAS SOPS 487867 HAS SOUS 339520 HAS SOUPS 339520 WITH SCORE 340007.867
AT ITER 1006 NEW BEST:: SOT 2358602 SOS 487743 HAS SOPS 487743 HAS SOUS 339300 HAS SOUPS 339300 WITH SCORE 339787.743
AT ITER 1009 NEW BEST:: SOT 2358411 SOS 487361 HAS SOPS 487361 HAS SOUS 338982 HAS SOUPS 338982 WITH SCORE 339469.361
AT ITER 1018 NEW BEST:: SOT 2357891 SOS 486711 HAS SOPS 486711 HAS SOUS 338332 HAS SOUPS 338332 WITH SCORE 338818.711
AT ITER 1019 NEW BEST:: SOT 2357781 SOS 487467 HAS SOPS 487467 HAS SOUS 338321 HAS SOUPS 338321 WITH SCORE 338808.467
AT ITER 1031 NEW BEST:: SOT 2356376 SOS 486580 HAS SOPS 486580 HAS SOUS 336642 HAS SOUPS 336642 WITH SCORE 337128.58
AT ITER 1034 NEW BEST:: SOT 2355676 SOS 485880 HAS SOPS 485880 HAS SOUS 335942 HAS SOUPS 335942 WITH SCORE 336427.88
AT ITER 1069 NEW BEST:: SOT 2355296 SOS 485351 HAS SOPS 485351 HAS SOUS 335793 HAS SOUPS 335793 WITH SCORE 336278.351
AT ITER 1071 NEW BEST:: SOT 2355211 SOS 485433 HAS SOPS 485433 HAS SOUS 335792 HAS SOUPS 335792 WITH SCORE 336277.433
AT ITER 1127 NEW BEST:: SOT 2355211 SOS 482283 HAS SOPS 482283 HAS SOUS 335792 HAS SOUPS 335792 WITH SCORE 336274.283
AT ITER 1177 NEW BEST:: SOT 2354965 SOS 482027 HAS SOPS 482027 HAS SOUS 335733 HAS SOUPS 335733 WITH SCORE 336215.027
AT ITER 1189 NEW BEST:: SOT 2354834 SOS 481765 HAS SOPS 481765 HAS SOUS 335386 HAS SOUPS 335386 WITH SCORE 335867.765
AT ITER 1221 NEW BEST:: SOT 2354712 SOS 481521 HAS SOPS 481521 HAS SOUS 335264 HAS SOUPS 335264 WITH SCORE 335745.521
AT ITER 1266 NEW BEST:: SOT 2354706 SOS 480948 HAS SOPS 480948 HAS SOUS 334867 HAS SOUPS 334867 WITH SCORE 335347.948
AT ITER 1277 NEW BEST:: SOT 2354706 SOS 480948 HAS SOPS 480948 HAS SOUS 334866 HAS SOUPS 334866 WITH SCORE 335346.948
AT ITER 1363 NEW BEST:: SOT 2354706 SOS 480908 HAS SOPS 480908 HAS SOUS 334826 HAS SOUPS 334826 WITH SCORE 335306.908
AT ITER 1366 NEW BEST:: SOT 2354512 SOS 480132 HAS SOPS 480132 HAS SOUS 334244 HAS SOUPS 334244 WITH SCORE 334724.132
AT ITER 1381 NEW BEST:: SOT 2354293 SOS 480072 HAS SOPS 480072 HAS SOUS 334033 HAS SOUPS 334033 WITH SCORE 334513.072
AT ITER 1389 NEW BEST:: SOT 2354292 SOS 480070 HAS SOPS 480070 HAS SOUS 334031 HAS SOUPS 334031 WITH SCORE 334511.07
AT ITER 1410 NEW BEST:: SOT 2354168 SOS 479942 HAS SOPS 479942 HAS SOUS 333906 HAS SOUPS 333906 WITH SCORE 334385.942
AT ITER 1411 NEW BEST:: SOT 2353920 SOS 479446 HAS SOPS 479446 HAS SOUS 333658 HAS SOUPS 333658 WITH SCORE 334137.446
AT ITER 1421 NEW BEST:: SOT 2353930 SOS 479466 HAS SOPS 479466 HAS SOUS 333505 HAS SOUPS 333505 WITH SCORE 333984.466
AT ITER 1440 NEW BEST:: SOT 2353821 SOS 479248 HAS SOPS 479248 HAS SOUS 333287 HAS SOUPS 333287 WITH SCORE 333766.248
AT ITER 1448 NEW BEST:: SOT 2353447 SOS 478500 HAS SOPS 478500 HAS SOUS 332539 HAS SOUPS 332539 WITH SCORE 333017.5
AT ITER 1468 NEW BEST:: SOT 2353442 SOS 478490 HAS SOPS 478490 HAS SOUS 332534 HAS SOUPS 332534 WITH SCORE 333012.49
AT ITER 1472 NEW BEST:: SOT 2353354 SOS 478314 HAS SOPS 478314 HAS SOUS 332446 HAS SOUPS 332446 WITH SCORE 332924.314
AT ITER 1483 NEW BEST:: SOT 2353100 SOS 478059 HAS SOPS 478059 HAS SOUS 332191 HAS SOUPS 332191 WITH SCORE 332669.059
AT ITER 1485 NEW BEST:: SOT 2353075 SOS 478156 HAS SOPS 478156 HAS SOUS 332166 HAS SOUPS 332166 WITH SCORE 332644.156
AT ITER 1494 NEW BEST:: SOT 2352947 SOS 477900 HAS SOPS 477900 HAS SOUS 331824 HAS SOUPS 331824 WITH SCORE 332301.9
AT ITER 1551 NEW BEST:: SOT 2352914 SOS 477834 HAS SOPS 477834 HAS SOUS 331758 HAS SOUPS 331758 WITH SCORE 332235.834
AT ITER 1562 NEW BEST:: SOT 2353073 SOS 478152 HAS SOPS 478152 HAS SOUS 331655 HAS SOUPS 331655 WITH SCORE 332133.152
AT ITER 1602 NEW BEST:: SOT 2353004 SOS 478014 HAS SOPS 478014 HAS SOUS 331517 HAS SOUPS 331517 WITH SCORE 331995.014
AT ITER 1620 NEW BEST:: SOT 2352590 SOS 477488 HAS SOPS 477488 HAS SOUS 331141 HAS SOUPS 331141 WITH SCORE 331618.488
AT ITER 1621 NEW BEST:: SOT 2352090 SOS 477036 HAS SOPS 477036 HAS SOUS 330689 HAS SOUPS 330689 WITH SCORE 331166.036
AT ITER 1638 NEW BEST:: SOT 2352023 SOS 476902 HAS SOPS 476902 HAS SOUS 330509 HAS SOUPS 330509 WITH SCORE 330985.902
AT ITER 1641 NEW BEST:: SOT 2352064 SOS 476588 HAS SOPS 476588 HAS SOUS 330470 HAS SOUPS 330470 WITH SCORE 330946.588
AT ITER 1682 NEW BEST:: SOT 2351736 SOS 476250 HAS SOPS 476250 HAS SOUS 330141 HAS SOUPS 330141 WITH SCORE 330617.25
AT ITER 1689 NEW BEST:: SOT 2351751 SOS 476158 HAS SOPS 476158 HAS SOUS 330110 HAS SOUPS 330110 WITH SCORE 330586.158
AT ITER 1703 NEW BEST:: SOT 2351619 SOS 476018 HAS SOPS 476018 HAS SOUS 329977 HAS SOUPS 329977 WITH SCORE 330453.018
AT ITER 1736 NEW BEST:: SOT 2351236 SOS 475656 HAS SOPS 475656 HAS SOUS 329615 HAS SOUPS 329615 WITH SCORE 330090.656
AT ITER 1747 NEW BEST:: SOT 2351125 SOS 475623 HAS SOPS 475623 HAS SOUS 329518 HAS SOUPS 329518 WITH SCORE 329993.623
AT ITER 1753 NEW BEST:: SOT 2350824 SOS 475322 HAS SOPS 475322 HAS SOUS 329217 HAS SOUPS 329217 WITH SCORE 329692.322
AT ITER 1758 NEW BEST:: SOT 2350782 SOS 475280 HAS SOPS 475280 HAS SOUS 329133 HAS SOUPS 329133 WITH SCORE 329608.28
AT ITER 1763 NEW BEST:: SOT 2350758 SOS 475232 HAS SOPS 475232 HAS SOUS 329085 HAS SOUPS 329085 WITH SCORE 329560.232
AT ITER 1772 NEW BEST:: SOT 2350644 SOS 475490 HAS SOPS 475490 HAS SOUS 328971 HAS SOUPS 328971 WITH SCORE 329446.49
AT ITER 1791 NEW BEST:: SOT 2350431 SOS 475336 HAS SOPS 475336 HAS SOUS 328817 HAS SOUPS 328817 WITH SCORE 329292.336
AT ITER 1823 NEW BEST:: SOT 2350402 SOS 475340 HAS SOPS 475340 HAS SOUS 328811 HAS SOUPS 328811 WITH SCORE 329286.34
AT ITER 1889 NEW BEST:: SOT 2350039 SOS 474614 HAS SOPS 474614 HAS SOUS 328065 HAS SOUPS 328065 WITH SCORE 328539.614
AT ITER 1905 NEW BEST:: SOT 2349984 SOS 474171 HAS SOPS 474171 HAS SOUS 327976 HAS SOUPS 327976 WITH SCORE 328450.171
AT ITER 1910 NEW BEST:: SOT 2350056 SOS 474170 HAS SOPS 474170 HAS SOUS 327975 HAS SOUPS 327975 WITH SCORE 328449.17
AT ITER 1912 NEW BEST:: SOT 2349967 SOS 473992 HAS SOPS 473992 HAS SOUS 327886 HAS SOUPS 327886 WITH SCORE 328359.992
AT ITER 1942 NEW BEST:: SOT 2349904 SOS 473929 HAS SOPS 473929 HAS SOUS 327823 HAS SOUPS 327823 WITH SCORE 328296.929
AT ITER 1947 NEW BEST:: SOT 2349891 SOS 473903 HAS SOPS 473903 HAS SOUS 327810 HAS SOUPS 327810 WITH SCORE 328283.903
AT ITER 1960 NEW BEST:: SOT 2349891 SOS 473903 HAS SOPS 473903 HAS SOUS 327768 HAS SOUPS 327768 WITH SCORE 328241.903
AT ITER 1967 NEW BEST:: SOT 2349811 SOS 473743 HAS SOPS 473743 HAS SOUS 327640 HAS SOUPS 327640 WITH SCORE 328113.743
AT ITER 1991 NEW BEST:: SOT 2349591 SOS 472702 HAS SOPS 472702 HAS SOUS 327368 HAS SOUPS 327368 WITH SCORE 327840.702
AT ITER 2004 NEW BEST:: SOT 2349576 SOS 472672 HAS SOPS 472672 HAS SOUS 327234 HAS SOUPS 327234 WITH SCORE 327706.672
AT ITER 2018 NEW BEST:: SOT 2349576 SOS 472671 HAS SOPS 472671 HAS SOUS 327233 HAS SOUPS 327233 WITH SCORE 327705.671
AT ITER 2030 NEW BEST:: SOT 2349137 SOS 472813 HAS SOPS 472813 HAS SOUS 327134 HAS SOUPS 327134 WITH SCORE 327606.813
AT ITER 2035 NEW BEST:: SOT 2349193 SOS 472812 HAS SOPS 472812 HAS SOUS 327133 HAS SOUPS 327133 WITH SCORE 327605.812
AT ITER 2051 NEW BEST:: SOT 2349128 SOS 472682 HAS SOPS 472682 HAS SOUS 327003 HAS SOUPS 327003 WITH SCORE 327475.682
AT ITER 2084 NEW BEST:: SOT 2349122 SOS 472670 HAS SOPS 472670 HAS SOUS 326991 HAS SOUPS 326991 WITH SCORE 327463.67
AT ITER 2089 NEW BEST:: SOT 2349022 SOS 472532 HAS SOPS 472532 HAS SOUS 326853 HAS SOUPS 326853 WITH SCORE 327325.532
AT ITER 2103 NEW BEST:: SOT 2348532 SOS 472072 HAS SOPS 472072 HAS SOUS 326363 HAS SOUPS 326363 WITH SCORE 326835.072
AT ITER 2109 NEW BEST:: SOT 2348532 SOS 471931 HAS SOPS 471931 HAS SOUS 326363 HAS SOUPS 326363 WITH SCORE 326834.931
AT ITER 2142 NEW BEST:: SOT 2348331 SOS 471529 HAS SOPS 471529 HAS SOUS 325961 HAS SOUPS 325961 WITH SCORE 326432.529
AT ITER 2156 NEW BEST:: SOT 2347085 SOS 474821 HAS SOPS 474821 HAS SOUS 325506 HAS SOUPS 325506 WITH SCORE 325980.821
AT ITER 2160 NEW BEST:: SOT 2347156 SOS 475529 HAS SOPS 475529 HAS SOUS 325457 HAS SOUPS 325457 WITH SCORE 325932.529
AT ITER 2163 NEW BEST:: SOT 2345507 SOS 475253 HAS SOPS 475253 HAS SOUS 324786 HAS SOUPS 324786 WITH SCORE 325261.253
AT ITER 2202 NEW BEST:: SOT 2345507 SOS 475229 HAS SOPS 475229 HAS SOUS 324762 HAS SOUPS 324762 WITH SCORE 325237.229
AT ITER 2216 NEW BEST:: SOT 2345316 SOS 475038 HAS SOPS 475038 HAS SOUS 324571 HAS SOUPS 324571 WITH SCORE 325046.038
AT ITER 2278 NEW BEST:: SOT 2345226 SOS 475848 HAS SOPS 475848 HAS SOUS 324501 HAS SOUPS 324501 WITH SCORE 324976.848
AT ITER 2285 NEW BEST:: SOT 2345167 SOS 475760 HAS SOPS 475760 HAS SOUS 324497 HAS SOUPS 324497 WITH SCORE 324972.76
AT ITER 2294 NEW BEST:: SOT 2345189 SOS 475526 HAS SOPS 475526 HAS SOUS 324263 HAS SOUPS 324263 WITH SCORE 324738.526
AT ITER 2303 NEW BEST:: SOT 2345045 SOS 475421 HAS SOPS 475421 HAS SOUS 324118 HAS SOUPS 324118 WITH SCORE 324593.421
AT ITER 2325 NEW BEST:: SOT 2344744 SOS 474930 HAS SOPS 474930 HAS SOUS 323827 HAS SOUPS 323827 WITH SCORE 324301.93
AT ITER 2333 NEW BEST:: SOT 2344728 SOS 474898 HAS SOPS 474898 HAS SOUS 323771 HAS SOUPS 323771 WITH SCORE 324245.898
AT ITER 2348 NEW BEST:: SOT 2344728 SOS 474334 HAS SOPS 474334 HAS SOUS 323583 HAS SOUPS 323583 WITH SCORE 324057.334
AT ITER 2349 NEW BEST:: SOT 2344749 SOS 473785 HAS SOPS 473785 HAS SOUS 323407 HAS SOUPS 323407 WITH SCORE 323880.785
AT ITER 2363 NEW BEST:: SOT 2344691 SOS 473669 HAS SOPS 473669 HAS SOUS 323349 HAS SOUPS 323349 WITH SCORE 323822.669
AT ITER 2378 NEW BEST:: SOT 2344632 SOS 473551 HAS SOPS 473551 HAS SOUS 323290 HAS SOUPS 323290 WITH SCORE 323763.551
AT ITER 2394 NEW BEST:: SOT 2344491 SOS 473269 HAS SOPS 473269 HAS SOUS 323148 HAS SOUPS 323148 WITH SCORE 323621.269
AT ITER 2421 NEW BEST:: SOT 2344530 SOS 473347 HAS SOPS 473347 HAS SOUS 323069 HAS SOUPS 323069 WITH SCORE 323542.347
AT ITER 2438 NEW BEST:: SOT 2344373 SOS 473235 HAS SOPS 473235 HAS SOUS 322856 HAS SOUPS 322856 WITH SCORE 323329.235
AT ITER 2439 NEW BEST:: SOT 2344358 SOS 473250 HAS SOPS 473250 HAS SOUS 322841 HAS SOUPS 322841 WITH SCORE 323314.25
AT ITER 2482 NEW BEST:: SOT 2344358 SOS 473247 HAS SOPS 473247 HAS SOUS 322840 HAS SOUPS 322840 WITH SCORE 323313.247
AT ITER 2496 NEW BEST:: SOT 2344244 SOS 473245 HAS SOPS 473245 HAS SOUS 322726 HAS SOUPS 322726 WITH SCORE 323199.245
AT ITER 2500 NEW BEST:: SOT 2344367 SOS 472927 HAS SOPS 472927 HAS SOUS 322654 HAS SOUPS 322654 WITH SCORE 323126.927
AT ITER 2512 NEW BEST:: SOT 2344367 SOS 472859 HAS SOPS 472859 HAS SOUS 322620 HAS SOUPS 322620 WITH SCORE 323092.859
AT ITER 2525 NEW BEST:: SOT 2344202 SOS 472034 HAS SOPS 472034 HAS SOUS 322359 HAS SOUPS 322359 WITH SCORE 322831.034
AT ITER 2568 NEW BEST:: SOT 2344201 SOS 472032 HAS SOPS 472032 HAS SOUS 322357 HAS SOUPS 322357 WITH SCORE 322829.032
AT ITER 2584 NEW BEST:: SOT 2344002 SOS 472478 HAS SOPS 472478 HAS SOUS 322158 HAS SOUPS 322158 WITH SCORE 322630.478
AT ITER 2606 NEW BEST:: SOT 2344001 SOS 472476 HAS SOPS 472476 HAS SOUS 322156 HAS SOUPS 322156 WITH SCORE 322628.476
AT ITER 2625 NEW BEST:: SOT 2344001 SOS 472438 HAS SOPS 472438 HAS SOUS 322118 HAS SOUPS 322118 WITH SCORE 322590.438
AT ITER 2632 NEW BEST:: SOT 2344001 SOS 472343 HAS SOPS 472343 HAS SOUS 322118 HAS SOUPS 322118 WITH SCORE 322590.343
AT ITER 2642 NEW BEST:: SOT 2343795 SOS 471931 HAS SOPS 471931 HAS SOUS 321706 HAS SOUPS 321706 WITH SCORE 322177.931
AT ITER 2662 NEW BEST:: SOT 2343795 SOS 471887 HAS SOPS 471887 HAS SOUS 321684 HAS SOUPS 321684 WITH SCORE 322155.887
AT ITER 2719 NEW BEST:: SOT 2343463 SOS 470574 HAS SOPS 470574 HAS SOUS 321120 HAS SOUPS 321120 WITH SCORE 321590.574
AT ITER 2731 NEW BEST:: SOT 2343458 SOS 470564 HAS SOPS 470564 HAS SOUS 321094 HAS SOUPS 321094 WITH SCORE 321564.564
AT ITER 2781 NEW BEST:: SOT 2343421 SOS 470527 HAS SOPS 470527 HAS SOUS 321057 HAS SOUPS 321057 WITH SCORE 321527.527
AT ITER 2824 NEW BEST:: SOT 2343404 SOS 470506 HAS SOPS 470506 HAS SOUS 321056 HAS SOUPS 321056 WITH SCORE 321526.506
AT ITER 2874 NEW BEST:: SOT 2343304 SOS 470306 HAS SOPS 470306 HAS SOUS 320952 HAS SOUPS 320952 WITH SCORE 321422.306
AT ITER 2883 NEW BEST:: SOT 2343304 SOS 470284 HAS SOPS 470284 HAS SOUS 320952 HAS SOUPS 320952 WITH SCORE 321422.284
AT ITER 2884 NEW BEST:: SOT 2343250 SOS 470176 HAS SOPS 470176 HAS SOUS 320844 HAS SOUPS 320844 WITH SCORE 321314.176
AT ITER 2889 NEW BEST:: SOT 2343250 SOS 470176 HAS SOPS 470176 HAS SOUS 320817 HAS SOUPS 320817 WITH SCORE 321287.176
AT ITER 2904 NEW BEST:: SOT 2343199 SOS 470156 HAS SOPS 470156 HAS SOUS 320797 HAS SOUPS 320797 WITH SCORE 321267.156
AT ITER 2913 NEW BEST:: SOT 2343096 SOS 469847 HAS SOPS 469847 HAS SOUS 320591 HAS SOUPS 320591 WITH SCORE 321060.847
AT ITER 2914 NEW BEST:: SOT 2343038 SOS 469731 HAS SOPS 469731 HAS SOUS 320504 HAS SOUPS 320504 WITH SCORE 320973.731
AT ITER 2930 NEW BEST:: SOT 2343037 SOS 469935 HAS SOPS 469935 HAS SOUS 320502 HAS SOUPS 320502 WITH SCORE 320971.935
AT ITER 2933 NEW BEST:: SOT 2342686 SOS 469233 HAS SOPS 469233 HAS SOUS 319800 HAS SOUPS 319800 WITH SCORE 320269.233
AT ITER 2949 NEW BEST:: SOT 2342704 SOS 469194 HAS SOPS 469194 HAS SOUS 319761 HAS SOUPS 319761 WITH SCORE 320230.194
AT ITER 2970 NEW BEST:: SOT 2342513 SOS 469040 HAS SOPS 469040 HAS SOUS 319607 HAS SOUPS 319607 WITH SCORE 320076.04
AT ITER 2988 NEW BEST:: SOT 2342489 SOS 469326 HAS SOPS 469326 HAS SOUS 319581 HAS SOUPS 319581 WITH SCORE 320050.326
AT ITER 3005 NEW BEST:: SOT 2342395 SOS 469232 HAS SOPS 469232 HAS SOUS 319487 HAS SOUPS 319487 WITH SCORE 319956.232
AT ITER 3034 NEW BEST:: SOT 2342176 SOS 466229 HAS SOPS 466229 HAS SOUS 318983 HAS SOUPS 318983 WITH SCORE 319449.229
AT ITER 3038 NEW BEST:: SOT 2342176 SOS 466182 HAS SOPS 466182 HAS SOUS 318983 HAS SOUPS 318983 WITH SCORE 319449.182
AT ITER 3074 NEW BEST:: SOT 2342108 SOS 466046 HAS SOPS 466046 HAS SOUS 318847 HAS SOUPS 318847 WITH SCORE 319313.046
AT ITER 3075 NEW BEST:: SOT 2342033 SOS 465896 HAS SOPS 465896 HAS SOUS 318697 HAS SOUPS 318697 WITH SCORE 319162.896
AT ITER 3078 NEW BEST:: SOT 2342033 SOS 465863 HAS SOPS 465863 HAS SOUS 318686 HAS SOUPS 318686 WITH SCORE 319151.863
AT ITER 3103 NEW BEST:: SOT 2341876 SOS 465549 HAS SOPS 465549 HAS SOUS 318529 HAS SOUPS 318529 WITH SCORE 318994.549
AT ITER 3118 NEW BEST:: SOT 2341809 SOS 465482 HAS SOPS 465482 HAS SOUS 318462 HAS SOUPS 318462 WITH SCORE 318927.482
AT ITER 3119 NEW BEST:: SOT 2341809 SOS 465609 HAS SOPS 465609 HAS SOUS 318461 HAS SOUPS 318461 WITH SCORE 318926.609
AT ITER 3120 NEW BEST:: SOT 2341670 SOS 465425 HAS SOPS 465425 HAS SOUS 318371 HAS SOUPS 318371 WITH SCORE 318836.425
AT ITER 3138 NEW BEST:: SOT 2341333 SOS 464751 HAS SOPS 464751 HAS SOUS 317697 HAS SOUPS 317697 WITH SCORE 318161.751
AT ITER 3162 NEW BEST:: SOT 2341210 SOS 463473 HAS SOPS 463473 HAS SOUS 317574 HAS SOUPS 317574 WITH SCORE 318037.473
AT ITER 3207 NEW BEST:: SOT 2341210 SOS 463473 HAS SOPS 463473 HAS SOUS 317549 HAS SOUPS 317549 WITH SCORE 318012.473
AT ITER 3212 NEW BEST:: SOT 2341021 SOS 463411 HAS SOPS 463411 HAS SOUS 317487 HAS SOUPS 317487 WITH SCORE 317950.411
AT ITER 3220 NEW BEST:: SOT 2340839 SOS 463229 HAS SOPS 463229 HAS SOUS 317305 HAS SOUPS 317305 WITH SCORE 317768.229
AT ITER 3296 NEW BEST:: SOT 2340512 SOS 462442 HAS SOPS 462442 HAS SOUS 316877 HAS SOUPS 316877 WITH SCORE 317339.442
AT ITER 3302 NEW BEST:: SOT 2340423 SOS 462264 HAS SOPS 462264 HAS SOUS 316788 HAS SOUPS 316788 WITH SCORE 317250.264
AT ITER 3309 NEW BEST:: SOT 2340263 SOS 461944 HAS SOPS 461944 HAS SOUS 316572 HAS SOUPS 316572 WITH SCORE 317033.944
AT ITER 3327 NEW BEST:: SOT 2340263 SOS 461888 HAS SOPS 461888 HAS SOUS 316516 HAS SOUPS 316516 WITH SCORE 316977.888
AT ITER 3342 NEW BEST:: SOT 2340107 SOS 461576 HAS SOPS 461576 HAS SOUS 316204 HAS SOUPS 316204 WITH SCORE 316665.576
AT ITER 3358 NEW BEST:: SOT 2340106 SOS 461574 HAS SOPS 461574 HAS SOUS 316202 HAS SOUPS 316202 WITH SCORE 316663.574
AT ITER 3371 NEW BEST:: SOT 2340080 SOS 461536 HAS SOPS 461536 HAS SOUS 316164 HAS SOUPS 316164 WITH SCORE 316625.536
AT ITER 3387 NEW BEST:: SOT 2340013 SOS 461402 HAS SOPS 461402 HAS SOUS 316030 HAS SOUPS 316030 WITH SCORE 316491.402
AT ITER 3411 NEW BEST:: SOT 2340013 SOS 461402 HAS SOPS 461402 HAS SOUS 315971 HAS SOUPS 315971 WITH SCORE 316432.402
AT ITER 3416 NEW BEST:: SOT 2340013 SOS 461355 HAS SOPS 461355 HAS SOUS 315924 HAS SOUPS 315924 WITH SCORE 316385.355
AT ITER 3421 NEW BEST:: SOT 2340004 SOS 461337 HAS SOPS 461337 HAS SOUS 315906 HAS SOUPS 315906 WITH SCORE 316367.337
AT ITER 3437 NEW BEST:: SOT 2340028 SOS 461217 HAS SOPS 461217 HAS SOUS 315874 HAS SOUPS 315874 WITH SCORE 316335.217
AT ITER 3450 NEW BEST:: SOT 2340009 SOS 460633 HAS SOPS 460633 HAS SOUS 315732 HAS SOUPS 315732 WITH SCORE 316192.633
AT ITER 3453 NEW BEST:: SOT 2339840 SOS 460295 HAS SOPS 460295 HAS SOUS 315394 HAS SOUPS 315394 WITH SCORE 315854.295
AT ITER 3491 NEW BEST:: SOT 2339837 SOS 460289 HAS SOPS 460289 HAS SOUS 315388 HAS SOUPS 315388 WITH SCORE 315848.289
AT ITER 3496 NEW BEST:: SOT 2339791 SOS 460197 HAS SOPS 460197 HAS SOUS 315296 HAS SOUPS 315296 WITH SCORE 315756.197
AT ITER 3602 NEW BEST:: SOT 2339822 SOS 460259 HAS SOPS 460259 HAS SOUS 315291 HAS SOUPS 315291 WITH SCORE 315751.259
AT ITER 3612 NEW BEST:: SOT 2339821 SOS 460257 HAS SOPS 460257 HAS SOUS 315273 HAS SOUPS 315273 WITH SCORE 315733.257
AT ITER 3625 NEW BEST:: SOT 2339712 SOS 460039 HAS SOPS 460039 HAS SOUS 315055 HAS SOUPS 315055 WITH SCORE 315515.039
AT ITER 3650 NEW BEST:: SOT 2339619 SOS 459946 HAS SOPS 459946 HAS SOUS 314962 HAS SOUPS 314962 WITH SCORE 315421.946
AT ITER 3657 NEW BEST:: SOT 2339176 SOS 459525 HAS SOPS 459525 HAS SOUS 314804 HAS SOUPS 314804 WITH SCORE 315263.525
AT ITER 3658 NEW BEST:: SOT 2339106 SOS 459385 HAS SOPS 459385 HAS SOUS 314776 HAS SOUPS 314776 WITH SCORE 315235.385
AT ITER 3673 NEW BEST:: SOT 2338760 SOS 459457 HAS SOPS 459457 HAS SOUS 314701 HAS SOUPS 314701 WITH SCORE 315160.457
AT ITER 3684 NEW BEST:: SOT 2338699 SOS 459297 HAS SOPS 459297 HAS SOUS 314602 HAS SOUPS 314602 WITH SCORE 315061.297
AT ITER 3695 NEW BEST:: SOT 2338682 SOS 459246 HAS SOPS 459246 HAS SOUS 314551 HAS SOUPS 314551 WITH SCORE 315010.246
AT ITER 3707 NEW BEST:: SOT 2338707 SOS 459239 HAS SOPS 459239 HAS SOUS 314519 HAS SOUPS 314519 WITH SCORE 314978.239
AT ITER 3725 NEW BEST:: SOT 2338615 SOS 459102 HAS SOPS 459102 HAS SOUS 314460 HAS SOUPS 314460 WITH SCORE 314919.102
AT ITER 3749 NEW BEST:: SOT 2338277 SOS 458933 HAS SOPS 458933 HAS SOUS 314137 HAS SOUPS 314137 WITH SCORE 314595.933
AT ITER 3789 NEW BEST:: SOT 2338134 SOS 458647 HAS SOPS 458647 HAS SOUS 313589 HAS SOUPS 313589 WITH SCORE 314047.647
AT ITER 3803 NEW BEST:: SOT 2338111 SOS 458232 HAS SOPS 458232 HAS SOUS 313420 HAS SOUPS 313420 WITH SCORE 313878.232
AT ITER 3819 NEW BEST:: SOT 2338008 SOS 458164 HAS SOPS 458164 HAS SOUS 313325 HAS SOUPS 313325 WITH SCORE 313783.164
AT ITER 3852 NEW BEST:: SOT 2338008 SOS 457689 HAS SOPS 457689 HAS SOUS 313274 HAS SOUPS 313274 WITH SCORE 313731.689
AT ITER 3884 NEW BEST:: SOT 2337978 SOS 457629 HAS SOPS 457629 HAS SOUS 313244 HAS SOUPS 313244 WITH SCORE 313701.629
AT ITER 3913 NEW BEST:: SOT 2337910 SOS 457493 HAS SOPS 457493 HAS SOUS 313067 HAS SOUPS 313067 WITH SCORE 313524.493
AT ITER 3934 NEW BEST:: SOT 2337910 SOS 457439 HAS SOPS 457439 HAS SOUS 313067 HAS SOUPS 313067 WITH SCORE 313524.439
AT ITER 3939 NEW BEST:: SOT 2337811 SOS 457241 HAS SOPS 457241 HAS SOUS 312866 HAS SOUPS 312866 WITH SCORE 313323.241
AT ITER 4090 NEW BEST:: SOT 2337761 SOS 454459 HAS SOPS 454459 HAS SOUS 312766 HAS SOUPS 312766 WITH SCORE 313220.459
AT ITER 4127 NEW BEST:: SOT 2337761 SOS 454459 HAS SOPS 454459 HAS SOUS 312674 HAS SOUPS 312674 WITH SCORE 313128.459
AT ITER 4173 NEW BEST:: SOT 2337757 SOS 454456 HAS SOPS 454456 HAS SOUS 312673 HAS SOUPS 312673 WITH SCORE 313127.456
AT ITER 4189 NEW BEST:: SOT 2337633 SOS 454408 HAS SOPS 454408 HAS SOUS 312625 HAS SOUPS 312625 WITH SCORE 313079.408
AT ITER 4245 NEW BEST:: SOT 2337633 SOS 454223 HAS SOPS 454223 HAS SOUS 312625 HAS SOUPS 312625 WITH SCORE 313079.223
AT ITER 4247 NEW BEST:: SOT 2335203 SOS 454931 HAS SOPS 454931 HAS SOUS 311333 HAS SOUPS 311333 WITH SCORE 311787.931
AT ITER 4283 NEW BEST:: SOT 2335203 SOS 454913 HAS SOPS 454913 HAS SOUS 311324 HAS SOUPS 311324 WITH SCORE 311778.913
AT ITER 4303 NEW BEST:: SOT 2334937 SOS 454647 HAS SOPS 454647 HAS SOUS 311058 HAS SOUPS 311058 WITH SCORE 311512.647
AT ITER 4311 NEW BEST:: SOT 2334709 SOS 454419 HAS SOPS 454419 HAS SOUS 310830 HAS SOUPS 310830 WITH SCORE 311284.419
AT ITER 4334 NEW BEST:: SOT 2334699 SOS 454399 HAS SOPS 454399 HAS SOUS 310820 HAS SOUPS 310820 WITH SCORE 311274.399
AT ITER 4353 NEW BEST:: SOT 2334664 SOS 454116 HAS SOPS 454116 HAS SOUS 310785 HAS SOUPS 310785 WITH SCORE 311239.116
AT ITER 4371 NEW BEST:: SOT 2334450 SOS 454116 HAS SOPS 454116 HAS SOUS 310571 HAS SOUPS 310571 WITH SCORE 311025.116
AT ITER 4373 NEW BEST:: SOT 2334427 SOS 454229 HAS SOPS 454229 HAS SOUS 310548 HAS SOUPS 310548 WITH SCORE 311002.229
AT ITER 4379 NEW BEST:: SOT 2333846 SOS 453859 HAS SOPS 453859 HAS SOUS 309967 HAS SOUPS 309967 WITH SCORE 310420.859
AT ITER 4402 NEW BEST:: SOT 2333767 SOS 453701 HAS SOPS 453701 HAS SOUS 309809 HAS SOUPS 309809 WITH SCORE 310262.701
AT ITER 4434 NEW BEST:: SOT 2333749 SOS 453665 HAS SOPS 453665 HAS SOUS 309773 HAS SOUPS 309773 WITH SCORE 310226.665
AT ITER 4443 NEW BEST:: SOT 2333293 SOS 453625 HAS SOPS 453625 HAS SOUS 309648 HAS SOUPS 309648 WITH SCORE 310101.625
AT ITER 4462 NEW BEST:: SOT 2333302 SOS 453616 HAS SOPS 453616 HAS SOUS 309648 HAS SOUPS 309648 WITH SCORE 310101.616
AT ITER 4510 NEW BEST:: SOT 2333085 SOS 453617 HAS SOPS 453617 HAS SOUS 309641 HAS SOUPS 309641 WITH SCORE 310094.617
AT ITER 4513 NEW BEST:: SOT 2333013 SOS 453271 HAS SOPS 453271 HAS SOUS 309468 HAS SOUPS 309468 WITH SCORE 309921.271
AT ITER 4528 NEW BEST:: SOT 2332509 SOS 456776 HAS SOPS 456776 HAS SOUS 309202 HAS SOUPS 309202 WITH SCORE 309658.776
AT ITER 4569 NEW BEST:: SOT 2332508 SOS 456774 HAS SOPS 456774 HAS SOUS 309200 HAS SOUPS 309200 WITH SCORE 309656.774
AT ITER 4570 NEW BEST:: SOT 2332508 SOS 456724 HAS SOPS 456724 HAS SOUS 309150 HAS SOUPS 309150 WITH SCORE 309606.724
AT ITER 4571 NEW BEST:: SOT 2332508 SOS 456724 HAS SOPS 456724 HAS SOUS 309149 HAS SOUPS 309149 WITH SCORE 309605.724
AT ITER 4584 NEW BEST:: SOT 2332508 SOS 456720 HAS SOPS 456720 HAS SOUS 309148 HAS SOUPS 309148 WITH SCORE 309604.72
AT ITER 4597 NEW BEST:: SOT 2332508 SOS 457353 HAS SOPS 457353 HAS SOUS 309142 HAS SOUPS 309142 WITH SCORE 309599.353
AT ITER 4622 NEW BEST:: SOT 2332307 SOS 457131 HAS SOPS 457131 HAS SOUS 309019 HAS SOUPS 309019 WITH SCORE 309476.131
AT ITER 4632 NEW BEST:: SOT 2332281 SOS 457105 HAS SOPS 457105 HAS SOUS 309011 HAS SOUPS 309011 WITH SCORE 309468.105
AT ITER 4637 NEW BEST:: SOT 2332264 SOS 457088 HAS SOPS 457088 HAS SOUS 308994 HAS SOUPS 308994 WITH SCORE 309451.088
AT ITER 4639 NEW BEST:: SOT 2331942 SOS 457368 HAS SOPS 457368 HAS SOUS 308979 HAS SOUPS 308979 WITH SCORE 309436.368
AT ITER 4654 NEW BEST:: SOT 2331975 SOS 457000 HAS SOPS 457000 HAS SOUS 308965 HAS SOUPS 308965 WITH SCORE 309422.0
AT ITER 4703 NEW BEST:: SOT 2331963 SOS 456940 HAS SOPS 456940 HAS SOUS 308941 HAS SOUPS 308941 WITH SCORE 309397.94
AT ITER 4728 NEW BEST:: SOT 2331805 SOS 456936 HAS SOPS 456936 HAS SOUS 308932 HAS SOUPS 308932 WITH SCORE 309388.936
AT ITER 4754 NEW BEST:: SOT 2331347 SOS 457169 HAS SOPS 457169 HAS SOUS 308717 HAS SOUPS 308717 WITH SCORE 309174.169
AT ITER 4759 NEW BEST:: SOT 2331262 SOS 456555 HAS SOPS 456555 HAS SOUS 308547 HAS SOUPS 308547 WITH SCORE 309003.555
AT ITER 4761 NEW BEST:: SOT 2331201 SOS 456433 HAS SOPS 456433 HAS SOUS 308547 HAS SOUPS 308547 WITH SCORE 309003.433
AT ITER 4762 NEW BEST:: SOT 2331124 SOS 456356 HAS SOPS 456356 HAS SOUS 308470 HAS SOUPS 308470 WITH SCORE 308926.356
AT ITER 4770 NEW BEST:: SOT 2331079 SOS 456401 HAS SOPS 456401 HAS SOUS 308401 HAS SOUPS 308401 WITH SCORE 308857.401
AT ITER 4791 NEW BEST:: SOT 2330992 SOS 456310 HAS SOPS 456310 HAS SOUS 308351 HAS SOUPS 308351 WITH SCORE 308807.31
AT ITER 4823 NEW BEST:: SOT 2331025 SOS 456046 HAS SOPS 456046 HAS SOUS 308290 HAS SOUPS 308290 WITH SCORE 308746.046
AT ITER 4854 NEW BEST:: SOT 2330776 SOS 455772 HAS SOPS 455772 HAS SOUS 308016 HAS SOUPS 308016 WITH SCORE 308471.772
AT ITER 4905 NEW BEST:: SOT 2330460 SOS 456664 HAS SOPS 456664 HAS SOUS 307707 HAS SOUPS 307707 WITH SCORE 308163.664
AT ITER 4915 NEW BEST:: SOT 2330082 SOS 456414 HAS SOPS 456414 HAS SOUS 307685 HAS SOUPS 307685 WITH SCORE 308141.414
AT ITER 4948 NEW BEST:: SOT 2330142 SOS 456346 HAS SOPS 456346 HAS SOUS 307664 HAS SOUPS 307664 WITH SCORE 308120.346
AT ITER 4968 NEW BEST:: SOT 2329420 SOS 455577 HAS SOPS 455577 HAS SOUS 306895 HAS SOUPS 306895 WITH SCORE 307350.577
AT ITER 4970 NEW BEST:: SOT 2329413 SOS 455644 HAS SOPS 455644 HAS SOUS 306881 HAS SOUPS 306881 WITH SCORE 307336.644
AT ITER 4978 NEW BEST:: SOT 2329413 SOS 455644 HAS SOPS 455644 HAS SOUS 306872 HAS SOUPS 306872 WITH SCORE 307327.644
AT ITER 4996 NEW BEST:: SOT 2329412 SOS 455642 HAS SOPS 455642 HAS SOUS 306870 HAS SOUPS 306870 WITH SCORE 307325.642
AT ITER 5013 NEW BEST:: SOT 2329382 SOS 455582 HAS SOPS 455582 HAS SOUS 306810 HAS SOUPS 306810 WITH SCORE 307265.582
AT ITER 5016 NEW BEST:: SOT 2329372 SOS 455562 HAS SOPS 455562 HAS SOUS 306800 HAS SOUPS 306800 WITH SCORE 307255.562
AT ITER 5039 NEW BEST:: SOT 2329311 SOS 455440 HAS SOPS 455440 HAS SOUS 306678 HAS SOUPS 306678 WITH SCORE 307133.44
AT ITER 5050 NEW BEST:: SOT 2329226 SOS 455352 HAS SOPS 455352 HAS SOUS 306590 HAS SOUPS 306590 WITH SCORE 307045.352
AT ITER 5103 NEW BEST:: SOT 2328519 SOS 454339 HAS SOPS 454339 HAS SOUS 305968 HAS SOUPS 305968 WITH SCORE 306422.339
AT ITER 5105 NEW BEST:: SOT 2328375 SOS 455083 HAS SOPS 455083 HAS SOUS 305959 HAS SOUPS 305959 WITH SCORE 306414.083
AT ITER 5121 NEW BEST:: SOT 2328486 SOS 455146 HAS SOPS 455146 HAS SOUS 305910 HAS SOUPS 305910 WITH SCORE 306365.146
AT ITER 5145 NEW BEST:: SOT 2328523 SOS 455109 HAS SOPS 455109 HAS SOUS 305910 HAS SOUPS 305910 WITH SCORE 306365.109
AT ITER 5154 NEW BEST:: SOT 2328354 SOS 454149 HAS SOPS 454149 HAS SOUS 305597 HAS SOUPS 305597 WITH SCORE 306051.149
AT ITER 5179 NEW BEST:: SOT 2328090 SOS 453915 HAS SOPS 453915 HAS SOUS 305333 HAS SOUPS 305333 WITH SCORE 305786.915
AT ITER 5221 NEW BEST:: SOT 2328066 SOS 453867 HAS SOPS 453867 HAS SOUS 305285 HAS SOUPS 305285 WITH SCORE 305738.867
AT ITER 5222 NEW BEST:: SOT 2327904 SOS 453705 HAS SOPS 453705 HAS SOUS 305123 HAS SOUPS 305123 WITH SCORE 305576.705
AT ITER 5230 NEW BEST:: SOT 2327666 SOS 453364 HAS SOPS 453364 HAS SOUS 304763 HAS SOUPS 304763 WITH SCORE 305216.364
AT ITER 5268 NEW BEST:: SOT 2327636 SOS 453166 HAS SOPS 453166 HAS SOUS 304687 HAS SOUPS 304687 WITH SCORE 305140.166
AT ITER 5298 NEW BEST:: SOT 2327636 SOS 453247 HAS SOPS 453247 HAS SOUS 304606 HAS SOUPS 304606 WITH SCORE 305059.247
AT ITER 5306 NEW BEST:: SOT 2327636 SOS 453121 HAS SOPS 453121 HAS SOUS 304564 HAS SOUPS 304564 WITH SCORE 305017.121
AT ITER 5326 NEW BEST:: SOT 2327735 SOS 452839 HAS SOPS 452839 HAS SOUS 304503 HAS SOUPS 304503 WITH SCORE 304955.839
AT ITER 5330 NEW BEST:: SOT 2327735 SOS 452584 HAS SOPS 452584 HAS SOUS 304248 HAS SOUPS 304248 WITH SCORE 304700.584
AT ITER 5334 NEW BEST:: SOT 2327043 SOS 451966 HAS SOPS 451966 HAS SOUS 303577 HAS SOUPS 303577 WITH SCORE 304028.966
AT ITER 5355 NEW BEST:: SOT 2327053 SOS 451870 HAS SOPS 451870 HAS SOUS 303538 HAS SOUPS 303538 WITH SCORE 303989.87
AT ITER 5392 NEW BEST:: SOT 2327035 SOS 451833 HAS SOPS 451833 HAS SOUS 303501 HAS SOUPS 303501 WITH SCORE 303952.833
AT ITER 5417 NEW BEST:: SOT 2326907 SOS 451101 HAS SOPS 451101 HAS SOUS 303489 HAS SOUPS 303489 WITH SCORE 303940.101
AT ITER 5423 NEW BEST:: SOT 2326810 SOS 451004 HAS SOPS 451004 HAS SOUS 303392 HAS SOUPS 303392 WITH SCORE 303843.004
AT ITER 5431 NEW BEST:: SOT 2326666 SOS 450800 HAS SOPS 450800 HAS SOUS 303188 HAS SOUPS 303188 WITH SCORE 303638.8
AT ITER 5460 NEW BEST:: SOT 2326572 SOS 450612 HAS SOPS 450612 HAS SOUS 303000 HAS SOUPS 303000 WITH SCORE 303450.612
AT ITER 5469 NEW BEST:: SOT 2326449 SOS 450564 HAS SOPS 450564 HAS SOUS 302943 HAS SOUPS 302943 WITH SCORE 303393.564
AT ITER 5479 NEW BEST:: SOT 2326445 SOS 450526 HAS SOPS 450526 HAS SOUS 302909 HAS SOUPS 302909 WITH SCORE 303359.526
AT ITER 5488 NEW BEST:: SOT 2326414 SOS 450464 HAS SOPS 450464 HAS SOUS 302877 HAS SOUPS 302877 WITH SCORE 303327.464
AT ITER 5489 NEW BEST:: SOT 2326414 SOS 450547 HAS SOPS 450547 HAS SOUS 302876 HAS SOUPS 302876 WITH SCORE 303326.547
AT ITER 5500 NEW BEST:: SOT 2326420 SOS 450559 HAS SOPS 450559 HAS SOUS 302859 HAS SOUPS 302859 WITH SCORE 303309.559
AT ITER 5534 NEW BEST:: SOT 2326352 SOS 450491 HAS SOPS 450491 HAS SOUS 302791 HAS SOUPS 302791 WITH SCORE 303241.491
AT ITER 5564 NEW BEST:: SOT 2326267 SOS 451218 HAS SOPS 451218 HAS SOUS 302759 HAS SOUPS 302759 WITH SCORE 303210.218
AT ITER 5576 NEW BEST:: SOT 2326163 SOS 451010 HAS SOPS 451010 HAS SOUS 302677 HAS SOUPS 302677 WITH SCORE 303128.01
AT ITER 5595 NEW BEST:: SOT 2324731 SOS 449603 HAS SOPS 449603 HAS SOUS 301637 HAS SOUPS 301637 WITH SCORE 302086.603
AT ITER 5611 NEW BEST:: SOT 2324548 SOS 448760 HAS SOPS 448760 HAS SOUS 301280 HAS SOUPS 301280 WITH SCORE 301728.76
AT ITER 5637 NEW BEST:: SOT 2324655 SOS 448974 HAS SOPS 448974 HAS SOUS 301272 HAS SOUPS 301272 WITH SCORE 301720.974
AT ITER 5746 NEW BEST:: SOT 2324325 SOS 451050 HAS SOPS 451050 HAS SOUS 301094 HAS SOUPS 301094 WITH SCORE 301545.05
AT ITER 5760 NEW BEST:: SOT 2324343 SOS 450648 HAS SOPS 450648 HAS SOUS 300984 HAS SOUPS 300984 WITH SCORE 301434.648
AT ITER 5833 NEW BEST:: SOT 2324289 SOS 450540 HAS SOPS 450540 HAS SOUS 300855 HAS SOUPS 300855 WITH SCORE 301305.54
AT ITER 5959 NEW BEST:: SOT 2324433 SOS 450828 HAS SOPS 450828 HAS SOUS 300807 HAS SOUPS 300807 WITH SCORE 301257.828
AT ITER 5962 NEW BEST:: SOT 2324426 SOS 450814 HAS SOPS 450814 HAS SOUS 300800 HAS SOUPS 300800 WITH SCORE 301250.814
AT ITER 5965 NEW BEST:: SOT 2324493 SOS 450948 HAS SOPS 450948 HAS SOUS 300762 HAS SOUPS 300762 WITH SCORE 301212.948
AT ITER 6036 NEW BEST:: SOT 2324429 SOS 450884 HAS SOPS 450884 HAS SOUS 300762 HAS SOUPS 300762 WITH SCORE 301212.884
AT ITER 6046 NEW BEST:: SOT 2323889 SOS 450221 HAS SOPS 450221 HAS SOUS 300694 HAS SOUPS 300694 WITH SCORE 301144.221
AT ITER 6051 NEW BEST:: SOT 2323875 SOS 450207 HAS SOPS 450207 HAS SOUS 300680 HAS SOUPS 300680 WITH SCORE 301130.207
AT ITER 6059 NEW BEST:: SOT 2323867 SOS 450191 HAS SOPS 450191 HAS SOUS 300664 HAS SOUPS 300664 WITH SCORE 301114.191
AT ITER 6098 NEW BEST:: SOT 2323724 SOS 450048 HAS SOPS 450048 HAS SOUS 300521 HAS SOUPS 300521 WITH SCORE 300971.048
AT ITER 6156 NEW BEST:: SOT 2323724 SOS 450048 HAS SOPS 450048 HAS SOUS 300516 HAS SOUPS 300516 WITH SCORE 300966.048
AT ITER 6211 NEW BEST:: SOT 2323724 SOS 449910 HAS SOPS 449910 HAS SOUS 300516 HAS SOUPS 300516 WITH SCORE 300965.91
AT ITER 6271 NEW BEST:: SOT 2323724 SOS 449910 HAS SOPS 449910 HAS SOUS 300409 HAS SOUPS 300409 WITH SCORE 300858.91
AT ITER 6325 NEW BEST:: SOT 2323665 SOS 449898 HAS SOPS 449898 HAS SOUS 300391 HAS SOUPS 300391 WITH SCORE 300840.898
AT ITER 6327 NEW BEST:: SOT 2323654 SOS 449876 HAS SOPS 449876 HAS SOUS 300369 HAS SOUPS 300369 WITH SCORE 300818.876
AT ITER 6384 NEW BEST:: SOT 2323545 SOS 449658 HAS SOPS 449658 HAS SOUS 300151 HAS SOUPS 300151 WITH SCORE 300600.658
AT ITER 6391 NEW BEST:: SOT 2323321 SOS 449728 HAS SOPS 449728 HAS SOUS 299962 HAS SOUPS 299962 WITH SCORE 300411.728
AT ITER 6485 NEW BEST:: SOT 2323231 SOS 449548 HAS SOPS 449548 HAS SOUS 299872 HAS SOUPS 299872 WITH SCORE 300321.548
AT ITER 6506 NEW BEST:: SOT 2323209 SOS 449504 HAS SOPS 449504 HAS SOUS 299826 HAS SOUPS 299826 WITH SCORE 300275.504
AT ITER 6533 NEW BEST:: SOT 2323154 SOS 449664 HAS SOPS 449664 HAS SOUS 299739 HAS SOUPS 299739 WITH SCORE 300188.664
AT ITER 6564 NEW BEST:: SOT 2323127 SOS 449610 HAS SOPS 449610 HAS SOUS 299712 HAS SOUPS 299712 WITH SCORE 300161.61
AT ITER 6573 NEW BEST:: SOT 2323017 SOS 449390 HAS SOPS 449390 HAS SOUS 299492 HAS SOUPS 299492 WITH SCORE 299941.39
AT ITER 6580 NEW BEST:: SOT 2322961 SOS 449278 HAS SOPS 449278 HAS SOUS 299469 HAS SOUPS 299469 WITH SCORE 299918.278
AT ITER 6581 NEW BEST:: SOT 2322961 SOS 449417 HAS SOPS 449417 HAS SOUS 299468 HAS SOUPS 299468 WITH SCORE 299917.417
AT ITER 6605 NEW BEST:: SOT 2322931 SOS 448492 HAS SOPS 448492 HAS SOUS 299438 HAS SOUPS 299438 WITH SCORE 299886.492
AT ITER 6614 NEW BEST:: SOT 2322917 SOS 448464 HAS SOPS 448464 HAS SOUS 299424 HAS SOUPS 299424 WITH SCORE 299872.464
AT ITER 6615 NEW BEST:: SOT 2322882 SOS 448394 HAS SOPS 448394 HAS SOUS 299354 HAS SOUPS 299354 WITH SCORE 299802.394
AT ITER 6620 NEW BEST:: SOT 2322787 SOS 448302 HAS SOPS 448302 HAS SOUS 299262 HAS SOUPS 299262 WITH SCORE 299710.302
AT ITER 6652 NEW BEST:: SOT 2322722 SOS 448237 HAS SOPS 448237 HAS SOUS 299197 HAS SOUPS 299197 WITH SCORE 299645.237
AT ITER 6668 NEW BEST:: SOT 2322622 SOS 448037 HAS SOPS 448037 HAS SOUS 299097 HAS SOUPS 299097 WITH SCORE 299545.037
AT ITER 6739 NEW BEST:: SOT 2322350 SOS 447745 HAS SOPS 447745 HAS SOUS 299002 HAS SOUPS 299002 WITH SCORE 299449.745
AT ITER 6753 NEW BEST:: SOT 2322350 SOS 447910 HAS SOPS 447910 HAS SOUS 299000 HAS SOUPS 299000 WITH SCORE 299447.91
AT ITER 6780 NEW BEST:: SOT 2322350 SOS 447998 HAS SOPS 447998 HAS SOUS 298956 HAS SOUPS 298956 WITH SCORE 299403.998
AT ITER 6781 NEW BEST:: SOT 2322343 SOS 447984 HAS SOPS 447984 HAS SOUS 298942 HAS SOUPS 298942 WITH SCORE 299389.984
AT ITER 6826 NEW BEST:: SOT 2322261 SOS 447820 HAS SOPS 447820 HAS SOUS 298825 HAS SOUPS 298825 WITH SCORE 299272.82
AT ITER 6877 NEW BEST:: SOT 2322202 SOS 447702 HAS SOPS 447702 HAS SOUS 298819 HAS SOUPS 298819 WITH SCORE 299266.702
AT ITER 6906 NEW BEST:: SOT 2322229 SOS 447838 HAS SOPS 447838 HAS SOUS 298805 HAS SOUPS 298805 WITH SCORE 299252.838
AT ITER 6961 NEW BEST:: SOT 2322114 SOS 447608 HAS SOPS 447608 HAS SOUS 298575 HAS SOUPS 298575 WITH SCORE 299022.608
AT ITER 6977 NEW BEST:: SOT 2322096 SOS 447563 HAS SOPS 447563 HAS SOUS 298555 HAS SOUPS 298555 WITH SCORE 299002.563
AT ITER 7021 NEW BEST:: SOT 2321982 SOS 447468 HAS SOPS 447468 HAS SOUS 298460 HAS SOUPS 298460 WITH SCORE 298907.468
AT ITER 7035 NEW BEST:: SOT 2321950 SOS 447427 HAS SOPS 447427 HAS SOUS 298420 HAS SOUPS 298420 WITH SCORE 298867.427
AT ITER 7043 NEW BEST:: SOT 2322198 SOS 447553 HAS SOPS 447553 HAS SOUS 298406 HAS SOUPS 298406 WITH SCORE 298853.553
AT ITER 7059 NEW BEST:: SOT 2322204 SOS 447565 HAS SOPS 447565 HAS SOUS 298375 HAS SOUPS 298375 WITH SCORE 298822.565
AT ITER 7062 NEW BEST:: SOT 2322198 SOS 447609 HAS SOPS 447609 HAS SOUS 298369 HAS SOUPS 298369 WITH SCORE 298816.609
AT ITER 7074 NEW BEST:: SOT 2322174 SOS 447529 HAS SOPS 447529 HAS SOUS 298337 HAS SOUPS 298337 WITH SCORE 298784.529
AT ITER 7078 NEW BEST:: SOT 2322164 SOS 447312 HAS SOPS 447312 HAS SOUS 298217 HAS SOUPS 298217 WITH SCORE 298664.312
AT ITER 7104 NEW BEST:: SOT 2322162 SOS 447395 HAS SOPS 447395 HAS SOUS 298188 HAS SOUPS 298188 WITH SCORE 298635.395
AT ITER 7175 NEW BEST:: SOT 2322168 SOS 447345 HAS SOPS 447345 HAS SOUS 298138 HAS SOUPS 298138 WITH SCORE 298585.345
AT ITER 7227 NEW BEST:: SOT 2322134 SOS 447277 HAS SOPS 447277 HAS SOUS 298070 HAS SOUPS 298070 WITH SCORE 298517.277
AT ITER 7263 NEW BEST:: SOT 2322008 SOS 445891 HAS SOPS 445891 HAS SOUS 297818 HAS SOUPS 297818 WITH SCORE 298263.891
AT ITER 7306 NEW BEST:: SOT 2322008 SOS 445845 HAS SOPS 445845 HAS SOUS 297795 HAS SOUPS 297795 WITH SCORE 298240.845
AT ITER 7333 NEW BEST:: SOT 2321964 SOS 445717 HAS SOPS 445717 HAS SOUS 297748 HAS SOUPS 297748 WITH SCORE 298193.717
AT ITER 7338 NEW BEST:: SOT 2321955 SOS 445659 HAS SOPS 445659 HAS SOUS 297739 HAS SOUPS 297739 WITH SCORE 298184.659
AT ITER 7436 NEW BEST:: SOT 2321955 SOS 445604 HAS SOPS 445604 HAS SOUS 297739 HAS SOUPS 297739 WITH SCORE 298184.604
AT ITER 7445 NEW BEST:: SOT 2321618 SOS 444930 HAS SOPS 444930 HAS SOUS 297571 HAS SOUPS 297571 WITH SCORE 298015.93
AT ITER 7472 NEW BEST:: SOT 2321617 SOS 444928 HAS SOPS 444928 HAS SOUS 297569 HAS SOUPS 297569 WITH SCORE 298013.928
AT ITER 7481 NEW BEST:: SOT 2321571 SOS 444783 HAS SOPS 444783 HAS SOUS 297564 HAS SOUPS 297564 WITH SCORE 298008.783
AT ITER 7494 NEW BEST:: SOT 2321315 SOS 444676 HAS SOPS 444676 HAS SOUS 297457 HAS SOUPS 297457 WITH SCORE 297901.676
AT ITER 7497 NEW BEST:: SOT 2321209 SOS 443933 HAS SOPS 443933 HAS SOUS 297330 HAS SOUPS 297330 WITH SCORE 297773.933
AT ITER 7523 NEW BEST:: SOT 2321209 SOS 443241 HAS SOPS 443241 HAS SOUS 297157 HAS SOUPS 297157 WITH SCORE 297600.241
AT ITER 7553 NEW BEST:: SOT 2321179 SOS 443070 HAS SOPS 443070 HAS SOUS 297033 HAS SOUPS 297033 WITH SCORE 297476.07
AT ITER 7566 NEW BEST:: SOT 2321156 SOS 443069 HAS SOPS 443069 HAS SOUS 297032 HAS SOUPS 297032 WITH SCORE 297475.069
AT ITER 7571 NEW BEST:: SOT 2321155 SOS 443067 HAS SOPS 443067 HAS SOUS 297030 HAS SOUPS 297030 WITH SCORE 297473.067
AT ITER 7583 NEW BEST:: SOT 2321044 SOS 442956 HAS SOPS 442956 HAS SOUS 297030 HAS SOUPS 297030 WITH SCORE 297472.956
AT ITER 7585 NEW BEST:: SOT 2321044 SOS 443396 HAS SOPS 443396 HAS SOUS 297029 HAS SOUPS 297029 WITH SCORE 297472.396
AT ITER 7590 NEW BEST:: SOT 2320814 SOS 442936 HAS SOPS 442936 HAS SOUS 296569 HAS SOUPS 296569 WITH SCORE 297011.936
AT ITER 7617 NEW BEST:: SOT 2320809 SOS 442931 HAS SOPS 442931 HAS SOUS 296564 HAS SOUPS 296564 WITH SCORE 297006.931
AT ITER 7637 NEW BEST:: SOT 2320806 SOS 442913 HAS SOPS 442913 HAS SOUS 296558 HAS SOUPS 296558 WITH SCORE 297000.913
AT ITER 7675 NEW BEST:: SOT 2320751 SOS 442803 HAS SOPS 442803 HAS SOUS 296503 HAS SOUPS 296503 WITH SCORE 296945.803
AT ITER 7679 NEW BEST:: SOT 2320722 SOS 442769 HAS SOPS 442769 HAS SOUS 296469 HAS SOUPS 296469 WITH SCORE 296911.769
AT ITER 7721 NEW BEST:: SOT 2320636 SOS 442597 HAS SOPS 442597 HAS SOUS 296297 HAS SOUPS 296297 WITH SCORE 296739.597
AT ITER 7732 NEW BEST:: SOT 2320555 SOS 442273 HAS SOPS 442273 HAS SOUS 296135 HAS SOUPS 296135 WITH SCORE 296577.273
AT ITER 7734 NEW BEST:: SOT 2320584 SOS 442331 HAS SOPS 442331 HAS SOUS 295903 HAS SOUPS 295903 WITH SCORE 296345.331
AT ITER 7739 NEW BEST:: SOT 2320581 SOS 442325 HAS SOPS 442325 HAS SOUS 295849 HAS SOUPS 295849 WITH SCORE 296291.325
AT ITER 7764 NEW BEST:: SOT 2320523 SOS 442305 HAS SOPS 442305 HAS SOUS 295829 HAS SOUPS 295829 WITH SCORE 296271.305
AT ITER 7776 NEW BEST:: SOT 2320521 SOS 442302 HAS SOPS 442302 HAS SOUS 295826 HAS SOUPS 295826 WITH SCORE 296268.302
AT ITER 7800 NEW BEST:: SOT 2320521 SOS 442083 HAS SOPS 442083 HAS SOUS 295798 HAS SOUPS 295798 WITH SCORE 296240.083
AT ITER 7816 NEW BEST:: SOT 2320517 SOS 442045 HAS SOPS 442045 HAS SOUS 295760 HAS SOUPS 295760 WITH SCORE 296202.045
AT ITER 7827 NEW BEST:: SOT 2320448 SOS 441976 HAS SOPS 441976 HAS SOUS 295622 HAS SOUPS 295622 WITH SCORE 296063.976
AT ITER 7839 NEW BEST:: SOT 2320355 SOS 441790 HAS SOPS 441790 HAS SOUS 295436 HAS SOUPS 295436 WITH SCORE 295877.79
AT ITER 7855 NEW BEST:: SOT 2320153 SOS 441386 HAS SOPS 441386 HAS SOUS 295234 HAS SOUPS 295234 WITH SCORE 295675.386
AT ITER 7868 NEW BEST:: SOT 2320132 SOS 441344 HAS SOPS 441344 HAS SOUS 295218 HAS SOUPS 295218 WITH SCORE 295659.344
AT ITER 7875 NEW BEST:: SOT 2320132 SOS 441344 HAS SOPS 441344 HAS SOUS 295160 HAS SOUPS 295160 WITH SCORE 295601.344
AT ITER 7915 NEW BEST:: SOT 2320032 SOS 441244 HAS SOPS 441244 HAS SOUS 295060 HAS SOUPS 295060 WITH SCORE 295501.244
AT ITER 7952 NEW BEST:: SOT 2320032 SOS 441241 HAS SOPS 441241 HAS SOUS 295059 HAS SOUPS 295059 WITH SCORE 295500.241
AT ITER 7957 NEW BEST:: SOT 2319959 SOS 441168 HAS SOPS 441168 HAS SOUS 294913 HAS SOUPS 294913 WITH SCORE 295354.168
AT ITER 7959 NEW BEST:: SOT 2319933 SOS 440882 HAS SOPS 440882 HAS SOUS 294835 HAS SOUPS 294835 WITH SCORE 295275.882
AT ITER 7971 NEW BEST:: SOT 2319742 SOS 439191 HAS SOPS 439191 HAS SOUS 294226 HAS SOUPS 294226 WITH SCORE 294665.191
AT ITER 7976 NEW BEST:: SOT 2319726 SOS 439159 HAS SOPS 439159 HAS SOUS 294078 HAS SOUPS 294078 WITH SCORE 294517.159
AT ITER 7994 NEW BEST:: SOT 2319653 SOS 438883 HAS SOPS 438883 HAS SOUS 293932 HAS SOUPS 293932 WITH SCORE 294370.883
AT ITER 8017 NEW BEST:: SOT 2319485 SOS 438715 HAS SOPS 438715 HAS SOUS 293764 HAS SOUPS 293764 WITH SCORE 294202.715
AT ITER 8042 NEW BEST:: SOT 2319488 SOS 438697 HAS SOPS 438697 HAS SOUS 293746 HAS SOUPS 293746 WITH SCORE 294184.697
AT ITER 8051 NEW BEST:: SOT 2319397 SOS 438516 HAS SOPS 438516 HAS SOUS 293565 HAS SOUPS 293565 WITH SCORE 294003.516
AT ITER 8054 NEW BEST:: SOT 2319390 SOS 438502 HAS SOPS 438502 HAS SOUS 293551 HAS SOUPS 293551 WITH SCORE 293989.502
AT ITER 8060 NEW BEST:: SOT 2319352 SOS 438464 HAS SOPS 438464 HAS SOUS 293513 HAS SOUPS 293513 WITH SCORE 293951.464
AT ITER 8084 NEW BEST:: SOT 2319229 SOS 438341 HAS SOPS 438341 HAS SOUS 293390 HAS SOUPS 293390 WITH SCORE 293828.341
AT ITER 8137 NEW BEST:: SOT 2319219 SOS 438341 HAS SOPS 438341 HAS SOUS 293380 HAS SOUPS 293380 WITH SCORE 293818.341
AT ITER 8148 NEW BEST:: SOT 2319168 SOS 438137 HAS SOPS 438137 HAS SOUS 293278 HAS SOUPS 293278 WITH SCORE 293716.137
AT ITER 8200 NEW BEST:: SOT 2318904 SOS 437873 HAS SOPS 437873 HAS SOUS 293220 HAS SOUPS 293220 WITH SCORE 293657.873
AT ITER 8215 NEW BEST:: SOT 2318885 SOS 437932 HAS SOPS 437932 HAS SOUS 293188 HAS SOUPS 293188 WITH SCORE 293625.932
AT ITER 8226 NEW BEST:: SOT 2318871 SOS 437828 HAS SOPS 437828 HAS SOUS 293160 HAS SOUPS 293160 WITH SCORE 293597.828
AT ITER 8262 NEW BEST:: SOT 2318804 SOS 437694 HAS SOPS 437694 HAS SOUS 293026 HAS SOUPS 293026 WITH SCORE 293463.694
AT ITER 8282 NEW BEST:: SOT 2318804 SOS 437694 HAS SOPS 437694 HAS SOUS 292951 HAS SOUPS 292951 WITH SCORE 293388.694
AT ITER 8299 NEW BEST:: SOT 2318769 SOS 437624 HAS SOPS 437624 HAS SOUS 292881 HAS SOUPS 292881 WITH SCORE 293318.624
AT ITER 8323 NEW BEST:: SOT 2318685 SOS 437316 HAS SOPS 437316 HAS SOUS 292769 HAS SOUPS 292769 WITH SCORE 293206.316
AT ITER 8327 NEW BEST:: SOT 2318689 SOS 437324 HAS SOPS 437324 HAS SOUS 292680 HAS SOUPS 292680 WITH SCORE 293117.324
AT ITER 8329 NEW BEST:: SOT 2318673 SOS 437292 HAS SOPS 437292 HAS SOUS 292664 HAS SOUPS 292664 WITH SCORE 293101.292
AT ITER 8340 NEW BEST:: SOT 2318661 SOS 437331 HAS SOPS 437331 HAS SOUS 292636 HAS SOUPS 292636 WITH SCORE 293073.331
AT ITER 8348 NEW BEST:: SOT 2318504 SOS 437174 HAS SOPS 437174 HAS SOUS 292636 HAS SOUPS 292636 WITH SCORE 293073.174
AT ITER 8350 NEW BEST:: SOT 2318414 SOS 436434 HAS SOPS 436434 HAS SOUS 292347 HAS SOUPS 292347 WITH SCORE 292783.434
AT ITER 8401 NEW BEST:: SOT 2318414 SOS 436434 HAS SOPS 436434 HAS SOUS 292297 HAS SOUPS 292297 WITH SCORE 292733.434
AT ITER 8478 NEW BEST:: SOT 2318414 SOS 436421 HAS SOPS 436421 HAS SOUS 292297 HAS SOUPS 292297 WITH SCORE 292733.421
AT ITER 8503 NEW BEST:: SOT 2318413 SOS 436419 HAS SOPS 436419 HAS SOUS 292295 HAS SOUPS 292295 WITH SCORE 292731.419
AT ITER 8504 NEW BEST:: SOT 2318413 SOS 436419 HAS SOPS 436419 HAS SOUS 292289 HAS SOUPS 292289 WITH SCORE 292725.419
AT ITER 8518 NEW BEST:: SOT 2318393 SOS 436379 HAS SOPS 436379 HAS SOUS 292249 HAS SOUPS 292249 WITH SCORE 292685.379
AT ITER 8525 NEW BEST:: SOT 2318365 SOS 436379 HAS SOPS 436379 HAS SOUS 292221 HAS SOUPS 292221 WITH SCORE 292657.379
AT ITER 8537 NEW BEST:: SOT 2318352 SOS 436366 HAS SOPS 436366 HAS SOUS 292208 HAS SOUPS 292208 WITH SCORE 292644.366
AT ITER 8544 NEW BEST:: SOT 2318277 SOS 436216 HAS SOPS 436216 HAS SOUS 292161 HAS SOUPS 292161 WITH SCORE 292597.216
AT ITER 8555 NEW BEST:: SOT 2318259 SOS 435532 HAS SOPS 435532 HAS SOUS 292143 HAS SOUPS 292143 WITH SCORE 292578.532
AT ITER 8562 NEW BEST:: SOT 2318164 SOS 435414 HAS SOPS 435414 HAS SOUS 292048 HAS SOUPS 292048 WITH SCORE 292483.414
AT ITER 8585 NEW BEST:: SOT 2318062 SOS 435210 HAS SOPS 435210 HAS SOUS 291844 HAS SOUPS 291844 WITH SCORE 292279.21
AT ITER 8632 NEW BEST:: SOT 2318061 SOS 435208 HAS SOPS 435208 HAS SOUS 291842 HAS SOUPS 291842 WITH SCORE 292277.208
AT ITER 8648 NEW BEST:: SOT 2317963 SOS 435110 HAS SOPS 435110 HAS SOUS 291743 HAS SOUPS 291743 WITH SCORE 292178.11
AT ITER 8704 NEW BEST:: SOT 2317995 SOS 434924 HAS SOPS 434924 HAS SOUS 291714 HAS SOUPS 291714 WITH SCORE 292148.924
AT ITER 8712 NEW BEST:: SOT 2317986 SOS 434825 HAS SOPS 434825 HAS SOUS 291705 HAS SOUPS 291705 WITH SCORE 292139.825
AT ITER 8734 NEW BEST:: SOT 2317909 SOS 434926 HAS SOPS 434926 HAS SOUS 291668 HAS SOUPS 291668 WITH SCORE 292102.926
AT ITER 8737 NEW BEST:: SOT 2317747 SOS 434717 HAS SOPS 434717 HAS SOUS 291459 HAS SOUPS 291459 WITH SCORE 291893.717
AT ITER 8742 NEW BEST:: SOT 2316207 SOS 434045 HAS SOPS 434045 HAS SOUS 290729 HAS SOUPS 290729 WITH SCORE 291163.045
AT ITER 8793 NEW BEST:: SOT 2316181 SOS 433993 HAS SOPS 433993 HAS SOUS 290677 HAS SOUPS 290677 WITH SCORE 291110.993
AT ITER 8797 NEW BEST:: SOT 2316181 SOS 433993 HAS SOPS 433993 HAS SOUS 290608 HAS SOUPS 290608 WITH SCORE 291041.993
AT ITER 8812 NEW BEST:: SOT 2316301 SOS 433279 HAS SOPS 433279 HAS SOUS 290318 HAS SOUPS 290318 WITH SCORE 290751.279
AT ITER 8816 NEW BEST:: SOT 2316265 SOS 433098 HAS SOPS 433098 HAS SOUS 290185 HAS SOUPS 290185 WITH SCORE 290618.098
AT ITER 8879 NEW BEST:: SOT 2316177 SOS 432922 HAS SOPS 432922 HAS SOUS 289943 HAS SOUPS 289943 WITH SCORE 290375.922
AT ITER 8916 NEW BEST:: SOT 2315872 SOS 432662 HAS SOPS 432662 HAS SOUS 289683 HAS SOUPS 289683 WITH SCORE 290115.662
AT ITER 8925 NEW BEST:: SOT 2315872 SOS 432690 HAS SOPS 432690 HAS SOUS 289613 HAS SOUPS 289613 WITH SCORE 290045.69
AT ITER 8946 NEW BEST:: SOT 2315850 SOS 432646 HAS SOPS 432646 HAS SOUS 289591 HAS SOUPS 289591 WITH SCORE 290023.646
AT ITER 8971 NEW BEST:: SOT 2315850 SOS 432350 HAS SOPS 432350 HAS SOUS 289590 HAS SOUPS 289590 WITH SCORE 290022.35
AT ITER 8999 NEW BEST:: SOT 2315633 SOS 432030 HAS SOPS 432030 HAS SOUS 289270 HAS SOUPS 289270 WITH SCORE 289702.03
AT ITER 9008 NEW BEST:: SOT 2315861 SOS 432082 HAS SOPS 432082 HAS SOUS 289130 HAS SOUPS 289130 WITH SCORE 289562.082
AT ITER 9015 NEW BEST:: SOT 2315861 SOS 432070 HAS SOPS 432070 HAS SOUS 289118 HAS SOUPS 289118 WITH SCORE 289550.07
AT ITER 9018 NEW BEST:: SOT 2315827 SOS 432036 HAS SOPS 432036 HAS SOUS 289084 HAS SOUPS 289084 WITH SCORE 289516.036
AT ITER 9036 NEW BEST:: SOT 2315443 SOS 430756 HAS SOPS 430756 HAS SOUS 288700 HAS SOUPS 288700 WITH SCORE 289130.756
AT ITER 9060 NEW BEST:: SOT 2315441 SOS 430848 HAS SOPS 430848 HAS SOUS 288602 HAS SOUPS 288602 WITH SCORE 289032.848
AT ITER 9073 NEW BEST:: SOT 2315375 SOS 430758 HAS SOPS 430758 HAS SOUS 288512 HAS SOUPS 288512 WITH SCORE 288942.758
AT ITER 9146 NEW BEST:: SOT 2315375 SOS 430951 HAS SOPS 430951 HAS SOUS 288511 HAS SOUPS 288511 WITH SCORE 288941.951
AT ITER 9162 NEW BEST:: SOT 2315337 SOS 430761 HAS SOPS 430761 HAS SOUS 288473 HAS SOUPS 288473 WITH SCORE 288903.761
AT ITER 9172 NEW BEST:: SOT 2315308 SOS 430732 HAS SOPS 430732 HAS SOUS 288473 HAS SOUPS 288473 WITH SCORE 288903.732
AT ITER 9211 NEW BEST:: SOT 2315303 SOS 430425 HAS SOPS 430425 HAS SOUS 288463 HAS SOUPS 288463 WITH SCORE 288893.425
AT ITER 9222 NEW BEST:: SOT 2315186 SOS 430308 HAS SOPS 430308 HAS SOUS 288229 HAS SOUPS 288229 WITH SCORE 288659.308
AT ITER 9233 NEW BEST:: SOT 2315115 SOS 430166 HAS SOPS 430166 HAS SOUS 288149 HAS SOUPS 288149 WITH SCORE 288579.166
AT ITER 9238 NEW BEST:: SOT 2315111 SOS 430158 HAS SOPS 430158 HAS SOUS 288141 HAS SOUPS 288141 WITH SCORE 288571.158
AT ITER 9264 NEW BEST:: SOT 2315034 SOS 430081 HAS SOPS 430081 HAS SOUS 288064 HAS SOUPS 288064 WITH SCORE 288494.081
AT ITER 9324 NEW BEST:: SOT 2315052 SOS 429517 HAS SOPS 429517 HAS SOUS 287992 HAS SOUPS 287992 WITH SCORE 288421.517
AT ITER 9354 NEW BEST:: SOT 2315029 SOS 429471 HAS SOPS 429471 HAS SOUS 287946 HAS SOUPS 287946 WITH SCORE 288375.471
AT ITER 9355 NEW BEST:: SOT 2315029 SOS 429447 HAS SOPS 429447 HAS SOUS 287946 HAS SOUPS 287946 WITH SCORE 288375.447
AT ITER 9371 NEW BEST:: SOT 2315175 SOS 429269 HAS SOPS 429269 HAS SOUS 287768 HAS SOUPS 287768 WITH SCORE 288197.269
AT ITER 9372 NEW BEST:: SOT 2315144 SOS 429489 HAS SOPS 429489 HAS SOUS 287748 HAS SOUPS 287748 WITH SCORE 288177.489
AT ITER 9403 NEW BEST:: SOT 2315023 SOS 429813 HAS SOPS 429813 HAS SOUS 287505 HAS SOUPS 287505 WITH SCORE 287934.813
AT ITER 9425 NEW BEST:: SOT 2314675 SOS 429313 HAS SOPS 429313 HAS SOUS 287087 HAS SOUPS 287087 WITH SCORE 287516.313
AT ITER 9461 NEW BEST:: SOT 2314595 SOS 429233 HAS SOPS 429233 HAS SOUS 287007 HAS SOUPS 287007 WITH SCORE 287436.233
AT ITER 9514 NEW BEST:: SOT 2314579 SOS 429201 HAS SOPS 429201 HAS SOUS 287007 HAS SOUPS 287007 WITH SCORE 287436.201
AT ITER 9594 NEW BEST:: SOT 2314580 SOS 429193 HAS SOPS 429193 HAS SOUS 286998 HAS SOUPS 286998 WITH SCORE 287427.193
AT ITER 9600 NEW BEST:: SOT 2314572 SOS 429177 HAS SOPS 429177 HAS SOUS 286998 HAS SOUPS 286998 WITH SCORE 287427.177
AT ITER 9630 NEW BEST:: SOT 2314479 SOS 428991 HAS SOPS 428991 HAS SOUS 286982 HAS SOUPS 286982 WITH SCORE 287410.991
AT ITER 9632 NEW BEST:: SOT 2314426 SOS 428779 HAS SOPS 428779 HAS SOUS 286876 HAS SOUPS 286876 WITH SCORE 287304.779
AT ITER 9665 NEW BEST:: SOT 2314423 SOS 428773 HAS SOPS 428773 HAS SOUS 286870 HAS SOUPS 286870 WITH SCORE 287298.773
AT ITER 9674 NEW BEST:: SOT 2314398 SOS 428688 HAS SOPS 428688 HAS SOUS 286798 HAS SOUPS 286798 WITH SCORE 287226.688
AT ITER 9698 NEW BEST:: SOT 2314390 SOS 428680 HAS SOPS 428680 HAS SOUS 286790 HAS SOUPS 286790 WITH SCORE 287218.68
AT ITER 9700 NEW BEST:: SOT 2314390 SOS 428677 HAS SOPS 428677 HAS SOUS 286787 HAS SOUPS 286787 WITH SCORE 287215.677
AT ITER 9702 NEW BEST:: SOT 2314343 SOS 428654 HAS SOPS 428654 HAS SOUS 286740 HAS SOUPS 286740 WITH SCORE 287168.654
AT ITER 9723 NEW BEST:: SOT 2314307 SOS 428618 HAS SOPS 428618 HAS SOUS 286720 HAS SOUPS 286720 WITH SCORE 287148.618
AT ITER 9782 NEW BEST:: SOT 2314308 SOS 428620 HAS SOPS 428620 HAS SOUS 286681 HAS SOUPS 286681 WITH SCORE 287109.62
AT ITER 9790 NEW BEST:: SOT 2314377 SOS 428619 HAS SOPS 428619 HAS SOUS 286680 HAS SOUPS 286680 WITH SCORE 287108.619
AT ITER 9799 NEW BEST:: SOT 2314495 SOS 428855 HAS SOPS 428855 HAS SOUS 286615 HAS SOUPS 286615 WITH SCORE 287043.855
AT ITER 9827 NEW BEST:: SOT 2314510 SOS 428885 HAS SOPS 428885 HAS SOUS 286599 HAS SOUPS 286599 WITH SCORE 287027.885
AT ITER 9828 NEW BEST:: SOT 2314067 SOS 427999 HAS SOPS 427999 HAS SOUS 286088 HAS SOUPS 286088 WITH SCORE 286515.999
AT ITER 9843 NEW BEST:: SOT 2314049 SOS 427963 HAS SOPS 427963 HAS SOUS 286052 HAS SOUPS 286052 WITH SCORE 286479.963
AT ITER 9950 NEW BEST:: SOT 2314044 SOS 427948 HAS SOPS 427948 HAS SOUS 286042 HAS SOUPS 286042 WITH SCORE 286469.948
AT ITER 9953 NEW BEST:: SOT 2313967 SOS 427794 HAS SOPS 427794 HAS SOUS 285875 HAS SOUPS 285875 WITH SCORE 286302.794
AT ITER 9986 NEW BEST:: SOT 2313918 SOS 427696 HAS SOPS 427696 HAS SOUS 285777 HAS SOUPS 285777 WITH SCORE 286204.696
AT ITER 9987 NEW BEST:: SOT 2313962 SOS 427784 HAS SOPS 427784 HAS SOUS 285715 HAS SOUPS 285715 WITH SCORE 286142.784
AT ITER 9997 NEW BEST:: SOT 2313909 SOS 427678 HAS SOPS 427678 HAS SOUS 285609 HAS SOUPS 285609 WITH SCORE 286036.678

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-04b"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-04b, 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 r048-ebro-158902542200480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-04b.tgz
mv DLCround-PT-04b 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 ;