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.r227-tall-167856410500488.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is LeafsetExtension-PT-S16C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 11K Feb 25 16:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 25 16:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 16:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 16:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 905K 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 1678614062930

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

Filename model.pnml
Petri model created: 1542 places, 1449 transitions, 4668 arcs.
AT ITER 0 NEW BEST:: SOT 1261325 SOS 307024 HAS SOPS 304970 HAS SOUS 260598 HAS SOUPS 260277 WITH SCORE 260584.024
AT ITER 4 NEW BEST:: SOT 1261325 SOS 307016 HAS SOPS 304962 HAS SOUS 260590 HAS SOUPS 260269 WITH SCORE 260576.016
AT ITER 58 NEW BEST:: SOT 1261280 SOS 306386 HAS SOPS 304332 HAS SOUS 260589 HAS SOUPS 260268 WITH SCORE 260574.386
AT ITER 65 NEW BEST:: SOT 1261280 SOS 306333 HAS SOPS 304279 HAS SOUS 260530 HAS SOUPS 260209 WITH SCORE 260515.333
AT ITER 69 NEW BEST:: SOT 1261227 SOS 305856 HAS SOPS 303802 HAS SOUS 260424 HAS SOUPS 260103 WITH SCORE 260408.856
AT ITER 108 NEW BEST:: SOT 1261227 SOS 305769 HAS SOPS 303715 HAS SOUS 260332 HAS SOUPS 260011 WITH SCORE 260316.769
AT ITER 109 NEW BEST:: SOT 1261122 SOS 305793 HAS SOPS 303739 HAS SOUS 260251 HAS SOUPS 259930 WITH SCORE 260235.793
AT ITER 144 NEW BEST:: SOT 1261122 SOS 305441 HAS SOPS 303387 HAS SOUS 260243 HAS SOUPS 259922 WITH SCORE 260227.441
AT ITER 167 NEW BEST:: SOT 1261122 SOS 305441 HAS SOPS 303387 HAS SOUS 260142 HAS SOUPS 259821 WITH SCORE 260126.441
AT ITER 198 NEW BEST:: SOT 1261101 SOS 305440 HAS SOPS 303050 HAS SOUS 260094 HAS SOUPS 259484 WITH SCORE 259789.44
AT ITER 212 NEW BEST:: SOT 1260674 SOS 305562 HAS SOPS 302684 HAS SOUS 259740 HAS SOUPS 259069 WITH SCORE 259374.562
AT ITER 257 NEW BEST:: SOT 1260553 SOS 305562 HAS SOPS 302684 HAS SOUS 259737 HAS SOUPS 259066 WITH SCORE 259371.562
AT ITER 274 NEW BEST:: SOT 1260443 SOS 305461 HAS SOPS 302583 HAS SOUS 259669 HAS SOUPS 258998 WITH SCORE 259303.461
AT ITER 285 NEW BEST:: SOT 1260443 SOS 305453 HAS SOPS 302575 HAS SOUS 259661 HAS SOUPS 258990 WITH SCORE 259295.453
AT ITER 290 NEW BEST:: SOT 1260422 SOS 305453 HAS SOPS 302575 HAS SOUS 259660 HAS SOUPS 258989 WITH SCORE 259294.453
AT ITER 294 NEW BEST:: SOT 1260418 SOS 305441 HAS SOPS 302563 HAS SOUS 259648 HAS SOUPS 258977 WITH SCORE 259282.441
AT ITER 308 NEW BEST:: SOT 1260418 SOS 305398 HAS SOPS 302520 HAS SOUS 259605 HAS SOUPS 258934 WITH SCORE 259239.398
AT ITER 320 NEW BEST:: SOT 1260217 SOS 303705 HAS SOPS 300827 HAS SOUS 259336 HAS SOUPS 258665 WITH SCORE 258968.705
AT ITER 323 NEW BEST:: SOT 1260217 SOS 303705 HAS SOPS 300827 HAS SOUS 259328 HAS SOUPS 258657 WITH SCORE 258960.705
AT ITER 328 NEW BEST:: SOT 1259868 SOS 304924 HAS SOPS 302060 HAS SOUS 259074 HAS SOUPS 258403 WITH SCORE 258707.924
AT ITER 393 NEW BEST:: SOT 1259619 SOS 303586 HAS SOPS 300722 HAS SOUS 258755 HAS SOUPS 258084 WITH SCORE 258387.586
AT ITER 419 NEW BEST:: SOT 1259619 SOS 303544 HAS SOPS 300680 HAS SOUS 258713 HAS SOUPS 258042 WITH SCORE 258345.544
AT ITER 443 NEW BEST:: SOT 1259619 SOS 303484 HAS SOPS 300620 HAS SOUS 258647 HAS SOUPS 257976 WITH SCORE 258279.484
AT ITER 469 NEW BEST:: SOT 1259617 SOS 303482 HAS SOPS 300618 HAS SOUS 258645 HAS SOUPS 257974 WITH SCORE 258277.482
AT ITER 473 NEW BEST:: SOT 1259522 SOS 303387 HAS SOPS 300523 HAS SOUS 258550 HAS SOUPS 257879 WITH SCORE 258182.387
AT ITER 478 NEW BEST:: SOT 1259522 SOS 303314 HAS SOPS 300450 HAS SOUS 258477 HAS SOUPS 257806 WITH SCORE 258109.314
AT ITER 512 NEW BEST:: SOT 1259508 SOS 303300 HAS SOPS 300436 HAS SOUS 258463 HAS SOUPS 257792 WITH SCORE 258095.3
AT ITER 525 NEW BEST:: SOT 1259508 SOS 303292 HAS SOPS 300428 HAS SOUS 258455 HAS SOUPS 257784 WITH SCORE 258087.292
AT ITER 572 NEW BEST:: SOT 1259228 SOS 303047 HAS SOPS 300183 HAS SOUS 258205 HAS SOUPS 257534 WITH SCORE 257837.047
AT ITER 583 NEW BEST:: SOT 1257747 SOS 302115 HAS SOPS 299251 HAS SOUS 256997 HAS SOUPS 256326 WITH SCORE 256628.115
AT ITER 589 NEW BEST:: SOT 1257726 SOS 302094 HAS SOPS 299230 HAS SOUS 256976 HAS SOUPS 256305 WITH SCORE 256607.094
AT ITER 606 NEW BEST:: SOT 1257574 SOS 301649 HAS SOPS 298785 HAS SOUS 256816 HAS SOUPS 256145 WITH SCORE 256446.649
AT ITER 607 NEW BEST:: SOT 1257574 SOS 301641 HAS SOPS 298777 HAS SOUS 256808 HAS SOUPS 256137 WITH SCORE 256438.641
AT ITER 619 NEW BEST:: SOT 1257574 SOS 301417 HAS SOPS 298553 HAS SOUS 256807 HAS SOUPS 256136 WITH SCORE 256437.417
AT ITER 647 NEW BEST:: SOT 1257496 SOS 301509 HAS SOPS 298645 HAS SOUS 256781 HAS SOUPS 256110 WITH SCORE 256411.509
AT ITER 703 NEW BEST:: SOT 1257496 SOS 301509 HAS SOPS 298645 HAS SOUS 256777 HAS SOUPS 256106 WITH SCORE 256407.509
AT ITER 709 NEW BEST:: SOT 1257021 SOS 301376 HAS SOPS 298117 HAS SOUS 256260 HAS SOUPS 255536 WITH SCORE 255837.376
AT ITER 716 NEW BEST:: SOT 1256996 SOS 300857 HAS SOPS 297598 HAS SOUS 256227 HAS SOUPS 255503 WITH SCORE 255803.857
AT ITER 729 NEW BEST:: SOT 1256871 SOS 300738 HAS SOPS 297479 HAS SOUS 256102 HAS SOUPS 255378 WITH SCORE 255678.738
AT ITER 731 NEW BEST:: SOT 1256805 SOS 300702 HAS SOPS 297443 HAS SOUS 256101 HAS SOUPS 255377 WITH SCORE 255677.702
AT ITER 737 NEW BEST:: SOT 1256805 SOS 300148 HAS SOPS 296889 HAS SOUS 256093 HAS SOUPS 255369 WITH SCORE 255669.148
AT ITER 743 NEW BEST:: SOT 1256683 SOS 299873 HAS SOPS 296614 HAS SOUS 255696 HAS SOUPS 254972 WITH SCORE 255271.873
AT ITER 748 NEW BEST:: SOT 1256683 SOS 299854 HAS SOPS 296595 HAS SOUS 255677 HAS SOUPS 254953 WITH SCORE 255252.854
AT ITER 766 NEW BEST:: SOT 1255883 SOS 299526 HAS SOPS 296267 HAS SOUS 254779 HAS SOUPS 254055 WITH SCORE 254354.526
AT ITER 782 NEW BEST:: SOT 1255839 SOS 299482 HAS SOPS 296223 HAS SOUS 254735 HAS SOUPS 254011 WITH SCORE 254310.482
AT ITER 788 NEW BEST:: SOT 1255839 SOS 299418 HAS SOPS 296159 HAS SOUS 254735 HAS SOUPS 254011 WITH SCORE 254310.418
AT ITER 803 NEW BEST:: SOT 1255285 SOS 302811 HAS SOPS 295592 HAS SOUS 254610 HAS SOUPS 253569 WITH SCORE 253871.811
AT ITER 831 NEW BEST:: SOT 1256737 SOS 304505 HAS SOPS 295495 HAS SOUS 255962 HAS SOUPS 253480 WITH SCORE 253784.505
AT ITER 847 NEW BEST:: SOT 1256737 SOS 304477 HAS SOPS 295467 HAS SOUS 255934 HAS SOUPS 253452 WITH SCORE 253756.477
AT ITER 861 NEW BEST:: SOT 1256645 SOS 304519 HAS SOPS 295509 HAS SOUS 255884 HAS SOUPS 253402 WITH SCORE 253706.519
AT ITER 869 NEW BEST:: SOT 1256557 SOS 304519 HAS SOPS 295509 HAS SOUS 255882 HAS SOUPS 253400 WITH SCORE 253704.519
AT ITER 870 NEW BEST:: SOT 1256404 SOS 304519 HAS SOPS 295509 HAS SOUS 255729 HAS SOUPS 253247 WITH SCORE 253551.519
AT ITER 880 NEW BEST:: SOT 1255648 SOS 304695 HAS SOPS 295685 HAS SOUS 255093 HAS SOUPS 252611 WITH SCORE 252915.695
AT ITER 908 NEW BEST:: SOT 1255404 SOS 305464 HAS SOPS 296454 HAS SOUS 254990 HAS SOUPS 252508 WITH SCORE 252813.464
AT ITER 983 NEW BEST:: SOT 1255404 SOS 305464 HAS SOPS 296454 HAS SOUS 254987 HAS SOUPS 252505 WITH SCORE 252810.464
AT ITER 1005 NEW BEST:: SOT 1255321 SOS 305381 HAS SOPS 296371 HAS SOUS 254904 HAS SOUPS 252422 WITH SCORE 252727.381
AT ITER 1022 NEW BEST:: SOT 1255317 SOS 305369 HAS SOPS 296359 HAS SOUS 254892 HAS SOUPS 252410 WITH SCORE 252715.369
AT ITER 1058 NEW BEST:: SOT 1252884 SOS 306663 HAS SOPS 294478 HAS SOUS 253268 HAS SOUPS 250524 WITH SCORE 250830.663
AT ITER 1082 NEW BEST:: SOT 1252568 SOS 307157 HAS SOPS 294977 HAS SOUS 253011 HAS SOUPS 250267 WITH SCORE 250574.157
AT ITER 1133 NEW BEST:: SOT 1252461 SOS 306943 HAS SOPS 294763 HAS SOUS 252904 HAS SOUPS 250160 WITH SCORE 250466.943
AT ITER 1152 NEW BEST:: SOT 1252461 SOS 305962 HAS SOPS 293782 HAS SOUS 252904 HAS SOUPS 250160 WITH SCORE 250465.962
AT ITER 1156 NEW BEST:: SOT 1251778 SOS 307885 HAS SOPS 295768 HAS SOUS 252859 HAS SOUPS 250115 WITH SCORE 250422.885
AT ITER 1169 NEW BEST:: SOT 1251718 SOS 307894 HAS SOPS 295717 HAS SOUS 252839 HAS SOUPS 250035 WITH SCORE 250342.894
AT ITER 1192 NEW BEST:: SOT 1251566 SOS 307742 HAS SOPS 295565 HAS SOUS 252687 HAS SOUPS 249883 WITH SCORE 250190.742
AT ITER 1210 NEW BEST:: SOT 1251566 SOS 307216 HAS SOPS 294965 HAS SOUS 252679 HAS SOUPS 249875 WITH SCORE 250182.216
AT ITER 1213 NEW BEST:: SOT 1251545 SOS 307174 HAS SOPS 294923 HAS SOUS 252658 HAS SOUPS 249854 WITH SCORE 250161.174
AT ITER 1234 NEW BEST:: SOT 1251545 SOS 306614 HAS SOPS 294363 HAS SOUS 252658 HAS SOUPS 249854 WITH SCORE 250160.614
AT ITER 1252 NEW BEST:: SOT 1252248 SOS 307435 HAS SOPS 293556 HAS SOUS 251965 HAS SOUPS 249077 WITH SCORE 249384.435
AT ITER 1281 NEW BEST:: SOT 1252000 SOS 307603 HAS SOPS 293308 HAS SOUS 251860 HAS SOUPS 248920 WITH SCORE 249227.603
AT ITER 1306 NEW BEST:: SOT 1251244 SOS 306270 HAS SOPS 292227 HAS SOUS 251215 HAS SOUPS 248275 WITH SCORE 248581.27
AT ITER 1309 NEW BEST:: SOT 1251244 SOS 306253 HAS SOPS 292210 HAS SOUS 251198 HAS SOUPS 248258 WITH SCORE 248564.253
AT ITER 1348 NEW BEST:: SOT 1251148 SOS 306061 HAS SOPS 292018 HAS SOUS 251006 HAS SOUPS 248066 WITH SCORE 248372.061
AT ITER 1352 NEW BEST:: SOT 1251008 SOS 306110 HAS SOPS 291899 HAS SOUS 250887 HAS SOUPS 247926 WITH SCORE 248232.11
AT ITER 1372 NEW BEST:: SOT 1250064 SOS 305048 HAS SOPS 290837 HAS SOUS 249825 HAS SOUPS 246864 WITH SCORE 247169.048
AT ITER 1391 NEW BEST:: SOT 1249927 SOS 304432 HAS SOPS 290221 HAS SOUS 249711 HAS SOUPS 246750 WITH SCORE 247054.432
AT ITER 1403 NEW BEST:: SOT 1249921 SOS 304414 HAS SOPS 290203 HAS SOUS 249693 HAS SOUPS 246732 WITH SCORE 247036.414
AT ITER 1408 NEW BEST:: SOT 1249921 SOS 304286 HAS SOPS 290075 HAS SOUS 249565 HAS SOUPS 246604 WITH SCORE 246908.286
AT ITER 1431 NEW BEST:: SOT 1249915 SOS 304272 HAS SOPS 290061 HAS SOUS 249545 HAS SOUPS 246584 WITH SCORE 246888.272
AT ITER 1444 NEW BEST:: SOT 1249799 SOS 304163 HAS SOPS 289952 HAS SOUS 249486 HAS SOUPS 246525 WITH SCORE 246829.163
AT ITER 1452 NEW BEST:: SOT 1249537 SOS 303955 HAS SOPS 289744 HAS SOUS 249189 HAS SOUPS 246228 WITH SCORE 246531.955
AT ITER 1454 NEW BEST:: SOT 1249529 SOS 302957 HAS SOPS 288746 HAS SOUS 249173 HAS SOUPS 246212 WITH SCORE 246514.957
AT ITER 1455 NEW BEST:: SOT 1249461 SOS 302885 HAS SOPS 288674 HAS SOUS 249110 HAS SOUPS 246149 WITH SCORE 246451.885
AT ITER 1462 NEW BEST:: SOT 1249323 SOS 302607 HAS SOPS 288396 HAS SOUS 248884 HAS SOUPS 245923 WITH SCORE 246225.607
AT ITER 1478 NEW BEST:: SOT 1249274 SOS 302558 HAS SOPS 288347 HAS SOUS 248884 HAS SOUPS 245923 WITH SCORE 246225.558
AT ITER 1505 NEW BEST:: SOT 1249274 SOS 302512 HAS SOPS 288301 HAS SOUS 248713 HAS SOUPS 245752 WITH SCORE 246054.512
AT ITER 1516 NEW BEST:: SOT 1249266 SOS 302498 HAS SOPS 288287 HAS SOUS 248697 HAS SOUPS 245736 WITH SCORE 246038.498
AT ITER 1527 NEW BEST:: SOT 1249170 SOS 302498 HAS SOPS 288287 HAS SOUS 248605 HAS SOUPS 245644 WITH SCORE 245946.498
AT ITER 1542 NEW BEST:: SOT 1248409 SOS 302763 HAS SOPS 287640 HAS SOUS 247976 HAS SOUPS 244901 WITH SCORE 245203.763
AT ITER 1547 NEW BEST:: SOT 1248409 SOS 302502 HAS SOPS 287379 HAS SOUS 247848 HAS SOUPS 244773 WITH SCORE 245075.502
AT ITER 1576 NEW BEST:: SOT 1248107 SOS 302258 HAS SOPS 287135 HAS SOUS 247604 HAS SOUPS 244529 WITH SCORE 244831.258
AT ITER 1606 NEW BEST:: SOT 1248107 SOS 302132 HAS SOPS 287009 HAS SOUS 247478 HAS SOUPS 244403 WITH SCORE 244705.132
AT ITER 1609 NEW BEST:: SOT 1248107 SOS 302044 HAS SOPS 286921 HAS SOUS 247390 HAS SOUPS 244315 WITH SCORE 244617.044
AT ITER 1612 NEW BEST:: SOT 1248107 SOS 302044 HAS SOPS 286921 HAS SOUS 247382 HAS SOUPS 244307 WITH SCORE 244609.044
AT ITER 1617 NEW BEST:: SOT 1247947 SOS 301891 HAS SOPS 286768 HAS SOUS 247222 HAS SOUPS 244147 WITH SCORE 244448.891
AT ITER 1623 NEW BEST:: SOT 1247903 SOS 301337 HAS SOPS 286214 HAS SOUS 247074 HAS SOUPS 243999 WITH SCORE 244300.337
AT ITER 1681 NEW BEST:: SOT 1247419 SOS 300845 HAS SOPS 285806 HAS SOUS 246666 HAS SOUPS 243591 WITH SCORE 243891.845
AT ITER 1682 NEW BEST:: SOT 1247419 SOS 300845 HAS SOPS 285806 HAS SOUS 246664 HAS SOUPS 243589 WITH SCORE 243889.845
AT ITER 1683 NEW BEST:: SOT 1247374 SOS 300800 HAS SOPS 285716 HAS SOUS 246619 HAS SOUPS 243499 WITH SCORE 243799.8
AT ITER 1692 NEW BEST:: SOT 1247244 SOS 300540 HAS SOPS 285456 HAS SOUS 246359 HAS SOUPS 243239 WITH SCORE 243539.54
AT ITER 1708 NEW BEST:: SOT 1247239 SOS 300535 HAS SOPS 285451 HAS SOUS 246349 HAS SOUPS 243229 WITH SCORE 243529.535
AT ITER 1739 NEW BEST:: SOT 1247016 SOS 300864 HAS SOPS 285228 HAS SOUS 246394 HAS SOUPS 243205 WITH SCORE 243505.864
AT ITER 1756 NEW BEST:: SOT 1239354 SOS 380794 HAS SOPS 365158 HAS SOUS 239719 HAS SOUPS 236530 WITH SCORE 236910.794
AT ITER 1790 NEW BEST:: SOT 1239245 SOS 380685 HAS SOPS 365049 HAS SOUS 239507 HAS SOUPS 236318 WITH SCORE 236698.685
AT ITER 1798 NEW BEST:: SOT 1239152 SOS 380596 HAS SOPS 364960 HAS SOUS 239405 HAS SOUPS 236216 WITH SCORE 236596.596
AT ITER 1799 NEW BEST:: SOT 1239152 SOS 380350 HAS SOPS 364714 HAS SOUS 239159 HAS SOUPS 235970 WITH SCORE 236350.35
AT ITER 1814 NEW BEST:: SOT 1238984 SOS 380014 HAS SOPS 364378 HAS SOUS 238991 HAS SOUPS 235802 WITH SCORE 236182.014
AT ITER 1835 NEW BEST:: SOT 1238846 SOS 379876 HAS SOPS 364240 HAS SOUS 238759 HAS SOUPS 235570 WITH SCORE 235949.876
AT ITER 1861 NEW BEST:: SOT 1238846 SOS 379870 HAS SOPS 364234 HAS SOUS 238753 HAS SOUPS 235564 WITH SCORE 235943.87
AT ITER 1889 NEW BEST:: SOT 1238802 SOS 379782 HAS SOPS 364146 HAS SOUS 238693 HAS SOUPS 235504 WITH SCORE 235883.782
AT ITER 1915 NEW BEST:: SOT 1238802 SOS 379724 HAS SOPS 364088 HAS SOUS 238635 HAS SOUPS 235446 WITH SCORE 235825.724
AT ITER 1948 NEW BEST:: SOT 1238740 SOS 379662 HAS SOPS 364026 HAS SOUS 238524 HAS SOUPS 235335 WITH SCORE 235714.662
AT ITER 1953 NEW BEST:: SOT 1238597 SOS 379670 HAS SOPS 364034 HAS SOUS 238463 HAS SOUPS 235274 WITH SCORE 235653.67
AT ITER 1959 NEW BEST:: SOT 1238520 SOS 379597 HAS SOPS 363961 HAS SOUS 238386 HAS SOUPS 235197 WITH SCORE 235576.597
AT ITER 2006 NEW BEST:: SOT 1238514 SOS 379591 HAS SOPS 363955 HAS SOUS 238374 HAS SOUPS 235185 WITH SCORE 235564.591
AT ITER 2023 NEW BEST:: SOT 1237877 SOS 380200 HAS SOPS 363455 HAS SOUS 238135 HAS SOUPS 234809 WITH SCORE 235189.2
AT ITER 2032 NEW BEST:: SOT 1237525 SOS 380755 HAS SOPS 363103 HAS SOUS 238156 HAS SOUPS 234720 WITH SCORE 235100.755
AT ITER 2063 NEW BEST:: SOT 1237455 SOS 380840 HAS SOPS 363118 HAS SOUS 238144 HAS SOUPS 234638 WITH SCORE 235018.84
AT ITER 2073 NEW BEST:: SOT 1237461 SOS 380846 HAS SOPS 363124 HAS SOUS 238093 HAS SOUPS 234587 WITH SCORE 234967.846
AT ITER 2077 NEW BEST:: SOT 1237295 SOS 380780 HAS SOPS 363058 HAS SOUS 237876 HAS SOUPS 234370 WITH SCORE 234750.78
AT ITER 2129 NEW BEST:: SOT 1237266 SOS 380751 HAS SOPS 363029 HAS SOUS 237818 HAS SOUPS 234312 WITH SCORE 234692.751
AT ITER 2135 NEW BEST:: SOT 1237116 SOS 380608 HAS SOPS 362886 HAS SOUS 237668 HAS SOUPS 234162 WITH SCORE 234542.608
AT ITER 2146 NEW BEST:: SOT 1237044 SOS 380536 HAS SOPS 362814 HAS SOUS 237596 HAS SOUPS 234090 WITH SCORE 234470.536
AT ITER 2151 NEW BEST:: SOT 1237013 SOS 380505 HAS SOPS 362783 HAS SOUS 237565 HAS SOUPS 234059 WITH SCORE 234439.505
AT ITER 2163 NEW BEST:: SOT 1237003 SOS 380485 HAS SOPS 362763 HAS SOUS 237555 HAS SOUPS 234049 WITH SCORE 234429.485
AT ITER 2168 NEW BEST:: SOT 1236906 SOS 380388 HAS SOPS 362762 HAS SOUS 237549 HAS SOUPS 234043 WITH SCORE 234423.388
AT ITER 2192 NEW BEST:: SOT 1236883 SOS 380457 HAS SOPS 362831 HAS SOUS 237523 HAS SOUPS 234017 WITH SCORE 234397.457
AT ITER 2197 NEW BEST:: SOT 1236883 SOS 380479 HAS SOPS 362853 HAS SOUS 237496 HAS SOUPS 233990 WITH SCORE 234370.479
AT ITER 2213 NEW BEST:: SOT 1236871 SOS 380467 HAS SOPS 362841 HAS SOUS 237472 HAS SOUPS 233966 WITH SCORE 234346.467
AT ITER 2234 NEW BEST:: SOT 1236862 SOS 380458 HAS SOPS 362832 HAS SOUS 237454 HAS SOUPS 233948 WITH SCORE 234328.458
AT ITER 2248 NEW BEST:: SOT 1236862 SOS 380445 HAS SOPS 362819 HAS SOUS 237441 HAS SOUPS 233935 WITH SCORE 234315.445
AT ITER 2284 NEW BEST:: SOT 1236862 SOS 380424 HAS SOPS 362798 HAS SOUS 237441 HAS SOUPS 233935 WITH SCORE 234315.424
AT ITER 2298 NEW BEST:: SOT 1236844 SOS 380406 HAS SOPS 362780 HAS SOUS 237405 HAS SOUPS 233899 WITH SCORE 234279.406
AT ITER 2308 NEW BEST:: SOT 1236702 SOS 380136 HAS SOPS 362510 HAS SOUS 237276 HAS SOUPS 233770 WITH SCORE 234150.136
AT ITER 2310 NEW BEST:: SOT 1236702 SOS 380193 HAS SOPS 362567 HAS SOUS 237267 HAS SOUPS 233761 WITH SCORE 234141.193
AT ITER 2312 NEW BEST:: SOT 1236684 SOS 380135 HAS SOPS 362509 HAS SOUS 237216 HAS SOUPS 233710 WITH SCORE 234090.135
AT ITER 2314 NEW BEST:: SOT 1237172 SOS 380659 HAS SOPS 361766 HAS SOUS 236554 HAS SOUPS 233048 WITH SCORE 233428.659
AT ITER 2315 NEW BEST:: SOT 1237172 SOS 380255 HAS SOPS 361362 HAS SOUS 236546 HAS SOUPS 233040 WITH SCORE 233420.255
AT ITER 2325 NEW BEST:: SOT 1237172 SOS 380255 HAS SOPS 361362 HAS SOUS 236430 HAS SOUPS 232924 WITH SCORE 233304.255
AT ITER 2327 NEW BEST:: SOT 1237172 SOS 380255 HAS SOPS 361362 HAS SOUS 236422 HAS SOUPS 232916 WITH SCORE 233296.255
AT ITER 2331 NEW BEST:: SOT 1237069 SOS 380057 HAS SOPS 361164 HAS SOUS 236388 HAS SOUPS 232882 WITH SCORE 233262.057
AT ITER 2346 NEW BEST:: SOT 1236590 SOS 381725 HAS SOPS 362860 HAS SOUS 236372 HAS SOUPS 232737 WITH SCORE 233118.725
AT ITER 2352 NEW BEST:: SOT 1236462 SOS 381597 HAS SOPS 362732 HAS SOUS 236120 HAS SOUPS 232485 WITH SCORE 232866.597
AT ITER 2358 NEW BEST:: SOT 1236346 SOS 381683 HAS SOPS 362818 HAS SOUS 236088 HAS SOUPS 232453 WITH SCORE 232834.683
AT ITER 2375 NEW BEST:: SOT 1236120 SOS 381463 HAS SOPS 362598 HAS SOUS 235892 HAS SOUPS 232257 WITH SCORE 232638.463
AT ITER 2376 NEW BEST:: SOT 1236120 SOS 381455 HAS SOPS 362590 HAS SOUS 235884 HAS SOUPS 232249 WITH SCORE 232630.455
AT ITER 2383 NEW BEST:: SOT 1236120 SOS 381445 HAS SOPS 362580 HAS SOUS 235787 HAS SOUPS 232152 WITH SCORE 232533.445
AT ITER 2403 NEW BEST:: SOT 1235959 SOS 381301 HAS SOPS 362436 HAS SOUS 235702 HAS SOUPS 232067 WITH SCORE 232448.301
AT ITER 2413 NEW BEST:: SOT 1235833 SOS 379914 HAS SOPS 361049 HAS SOUS 235568 HAS SOUPS 231933 WITH SCORE 232312.914
AT ITER 2419 NEW BEST:: SOT 1235825 SOS 378634 HAS SOPS 359769 HAS SOUS 235552 HAS SOUPS 231917 WITH SCORE 232295.634
AT ITER 2424 NEW BEST:: SOT 1235750 SOS 378561 HAS SOPS 359696 HAS SOUS 235475 HAS SOUPS 231840 WITH SCORE 232218.561
AT ITER 2425 NEW BEST:: SOT 1235728 SOS 378539 HAS SOPS 359652 HAS SOUS 235453 HAS SOUPS 231796 WITH SCORE 232174.539
AT ITER 2449 NEW BEST:: SOT 1235632 SOS 378491 HAS SOPS 359604 HAS SOUS 235398 HAS SOUPS 231741 WITH SCORE 232119.491
AT ITER 2452 NEW BEST:: SOT 1235718 SOS 378577 HAS SOPS 359690 HAS SOUS 235374 HAS SOUPS 231717 WITH SCORE 232095.577
AT ITER 2457 NEW BEST:: SOT 1235710 SOS 378555 HAS SOPS 359668 HAS SOUS 235368 HAS SOUPS 231711 WITH SCORE 232089.555
AT ITER 2481 NEW BEST:: SOT 1235710 SOS 378489 HAS SOPS 359602 HAS SOUS 235302 HAS SOUPS 231645 WITH SCORE 232023.489
AT ITER 2495 NEW BEST:: SOT 1235673 SOS 378618 HAS SOPS 359677 HAS SOUS 235347 HAS SOUPS 231636 WITH SCORE 232014.618
AT ITER 2518 NEW BEST:: SOT 1235602 SOS 378549 HAS SOPS 359608 HAS SOUS 235276 HAS SOUPS 231565 WITH SCORE 231943.549
AT ITER 2562 NEW BEST:: SOT 1235584 SOS 378515 HAS SOPS 359574 HAS SOUS 235272 HAS SOUPS 231561 WITH SCORE 231939.515
AT ITER 2629 NEW BEST:: SOT 1235584 SOS 378515 HAS SOPS 359574 HAS SOUS 235220 HAS SOUPS 231509 WITH SCORE 231887.515
AT ITER 2637 NEW BEST:: SOT 1235612 SOS 378543 HAS SOPS 359602 HAS SOUS 235150 HAS SOUPS 231439 WITH SCORE 231817.543
AT ITER 2641 NEW BEST:: SOT 1235588 SOS 378494 HAS SOPS 359578 HAS SOUS 235102 HAS SOUPS 231391 WITH SCORE 231769.494
AT ITER 2705 NEW BEST:: SOT 1235588 SOS 378494 HAS SOPS 359578 HAS SOUS 235008 HAS SOUPS 231297 WITH SCORE 231675.494
AT ITER 2744 NEW BEST:: SOT 1235588 SOS 378449 HAS SOPS 359533 HAS SOUS 234905 HAS SOUPS 231194 WITH SCORE 231572.449
AT ITER 2759 NEW BEST:: SOT 1235584 SOS 378445 HAS SOPS 359529 HAS SOUS 234794 HAS SOUPS 231083 WITH SCORE 231461.445
AT ITER 2763 NEW BEST:: SOT 1235556 SOS 378417 HAS SOPS 359501 HAS SOUS 234738 HAS SOUPS 231027 WITH SCORE 231405.417
AT ITER 2765 NEW BEST:: SOT 1235504 SOS 378365 HAS SOPS 359449 HAS SOUS 234645 HAS SOUPS 230934 WITH SCORE 231312.365
AT ITER 2833 NEW BEST:: SOT 1235517 SOS 378503 HAS SOPS 359587 HAS SOUS 234642 HAS SOUPS 230931 WITH SCORE 231309.503
AT ITER 2850 NEW BEST:: SOT 1235353 SOS 378339 HAS SOPS 359423 HAS SOUS 234476 HAS SOUPS 230765 WITH SCORE 231143.339
AT ITER 2856 NEW BEST:: SOT 1235338 SOS 378309 HAS SOPS 359393 HAS SOUS 234446 HAS SOUPS 230735 WITH SCORE 231113.309
AT ITER 2860 NEW BEST:: SOT 1235289 SOS 378218 HAS SOPS 359253 HAS SOUS 234389 HAS SOUPS 230629 WITH SCORE 231007.218
AT ITER 2865 NEW BEST:: SOT 1235240 SOS 378190 HAS SOPS 359110 HAS SOUS 234404 HAS SOUPS 230531 WITH SCORE 230909.19
AT ITER 2868 NEW BEST:: SOT 1235167 SOS 378044 HAS SOPS 358964 HAS SOUS 234258 HAS SOUPS 230385 WITH SCORE 230763.044
AT ITER 2881 NEW BEST:: SOT 1235005 SOS 377882 HAS SOPS 358802 HAS SOUS 233934 HAS SOUPS 230061 WITH SCORE 230438.882
AT ITER 2894 NEW BEST:: SOT 1235045 SOS 377922 HAS SOPS 358842 HAS SOUS 233854 HAS SOUPS 229981 WITH SCORE 230358.922
AT ITER 2896 NEW BEST:: SOT 1235012 SOS 377922 HAS SOPS 358842 HAS SOUS 233821 HAS SOUPS 229948 WITH SCORE 230325.922
AT ITER 2903 NEW BEST:: SOT 1235012 SOS 377859 HAS SOPS 358779 HAS SOUS 233758 HAS SOUPS 229885 WITH SCORE 230262.859
AT ITER 2914 NEW BEST:: SOT 1234964 SOS 377809 HAS SOPS 358681 HAS SOUS 233662 HAS SOUPS 229789 WITH SCORE 230166.809
AT ITER 2928 NEW BEST:: SOT 1235176 SOS 377352 HAS SOPS 358224 HAS SOUS 233620 HAS SOUPS 229747 WITH SCORE 230124.352
AT ITER 2951 NEW BEST:: SOT 1235168 SOS 377344 HAS SOPS 358216 HAS SOUS 233609 HAS SOUPS 229736 WITH SCORE 230113.344
AT ITER 2952 NEW BEST:: SOT 1235686 SOS 377899 HAS SOPS 357310 HAS SOUS 232792 HAS SOUPS 228919 WITH SCORE 229296.899
AT ITER 2958 NEW BEST:: SOT 1235655 SOS 377868 HAS SOPS 357279 HAS SOUS 232730 HAS SOUPS 228857 WITH SCORE 229234.868
AT ITER 2959 NEW BEST:: SOT 1234676 SOS 376738 HAS SOPS 356300 HAS SOUS 231751 HAS SOUPS 227878 WITH SCORE 228254.738
AT ITER 2967 NEW BEST:: SOT 1234595 SOS 376657 HAS SOPS 356138 HAS SOUS 231666 HAS SOUPS 227716 WITH SCORE 228092.657
AT ITER 2969 NEW BEST:: SOT 1234517 SOS 376579 HAS SOPS 356060 HAS SOUS 231510 HAS SOUPS 227560 WITH SCORE 227936.579
AT ITER 2982 NEW BEST:: SOT 1234517 SOS 376579 HAS SOPS 356060 HAS SOUS 231500 HAS SOUPS 227550 WITH SCORE 227926.579
AT ITER 3003 NEW BEST:: SOT 1234472 SOS 376489 HAS SOPS 355970 HAS SOUS 231410 HAS SOUPS 227460 WITH SCORE 227836.489
AT ITER 3012 NEW BEST:: SOT 1234717 SOS 375404 HAS SOPS 354885 HAS SOUS 231381 HAS SOUPS 227431 WITH SCORE 227806.404
AT ITER 3031 NEW BEST:: SOT 1234723 SOS 375339 HAS SOPS 354820 HAS SOUS 231379 HAS SOUPS 227429 WITH SCORE 227804.339
AT ITER 3056 NEW BEST:: SOT 1234523 SOS 375139 HAS SOPS 354620 HAS SOUS 231142 HAS SOUPS 227192 WITH SCORE 227567.139
AT ITER 3068 NEW BEST:: SOT 1234523 SOS 375139 HAS SOPS 354620 HAS SOUS 231040 HAS SOUPS 227090 WITH SCORE 227465.139
AT ITER 3072 NEW BEST:: SOT 1234171 SOS 375980 HAS SOPS 355712 HAS SOUS 230994 HAS SOUPS 227044 WITH SCORE 227419.98
AT ITER 3076 NEW BEST:: SOT 1233092 SOS 301893 HAS SOPS 281873 HAS SOUS 230037 HAS SOUPS 226087 WITH SCORE 226388.893
AT ITER 3100 NEW BEST:: SOT 1233082 SOS 301900 HAS SOPS 281845 HAS SOUS 230062 HAS SOUPS 226077 WITH SCORE 226378.9
AT ITER 3102 NEW BEST:: SOT 1233074 SOS 301733 HAS SOPS 281678 HAS SOUS 230038 HAS SOUPS 226053 WITH SCORE 226354.733
AT ITER 3110 NEW BEST:: SOT 1232838 SOS 302174 HAS SOPS 282119 HAS SOUS 229814 HAS SOUPS 225829 WITH SCORE 226131.174
AT ITER 3114 NEW BEST:: SOT 1231928 SOS 301371 HAS SOPS 281563 HAS SOUS 228931 HAS SOUPS 224946 WITH SCORE 225247.371
AT ITER 3119 NEW BEST:: SOT 1231885 SOS 301028 HAS SOPS 281220 HAS SOUS 228879 HAS SOUPS 224894 WITH SCORE 225195.028
AT ITER 3158 NEW BEST:: SOT 1231769 SOS 300913 HAS SOPS 281105 HAS SOUS 228763 HAS SOUPS 224778 WITH SCORE 225078.913
AT ITER 3164 NEW BEST:: SOT 1231667 SOS 300811 HAS SOPS 281003 HAS SOUS 228559 HAS SOUPS 224574 WITH SCORE 224874.811
AT ITER 3187 NEW BEST:: SOT 1231667 SOS 300811 HAS SOPS 281003 HAS SOUS 228372 HAS SOUPS 224387 WITH SCORE 224687.811
AT ITER 3190 NEW BEST:: SOT 1231659 SOS 300795 HAS SOPS 280987 HAS SOUS 228348 HAS SOUPS 224363 WITH SCORE 224663.795
AT ITER 3199 NEW BEST:: SOT 1231581 SOS 300717 HAS SOPS 280909 HAS SOUS 228272 HAS SOUPS 224287 WITH SCORE 224587.717
AT ITER 3201 NEW BEST:: SOT 1231501 SOS 300637 HAS SOPS 280829 HAS SOUS 228214 HAS SOUPS 224229 WITH SCORE 224529.637
AT ITER 3249 NEW BEST:: SOT 1231501 SOS 300637 HAS SOPS 280829 HAS SOUS 228066 HAS SOUPS 224081 WITH SCORE 224381.637
AT ITER 3252 NEW BEST:: SOT 1231453 SOS 300589 HAS SOPS 280781 HAS SOUS 227970 HAS SOUPS 223985 WITH SCORE 224285.589
AT ITER 3257 NEW BEST:: SOT 1231360 SOS 299938 HAS SOPS 280130 HAS SOUS 227877 HAS SOUPS 223892 WITH SCORE 224191.938
AT ITER 3278 NEW BEST:: SOT 1231364 SOS 300982 HAS SOPS 281174 HAS SOUS 227864 HAS SOUPS 223879 WITH SCORE 224179.982
AT ITER 3292 NEW BEST:: SOT 1231269 SOS 300931 HAS SOPS 281123 HAS SOUS 227769 HAS SOUPS 223784 WITH SCORE 224084.931
AT ITER 3298 NEW BEST:: SOT 1231260 SOS 300922 HAS SOPS 281114 HAS SOUS 227760 HAS SOUPS 223775 WITH SCORE 224075.922
AT ITER 3350 NEW BEST:: SOT 1231254 SOS 300964 HAS SOPS 281150 HAS SOUS 227748 HAS SOUPS 223763 WITH SCORE 224063.964
AT ITER 3357 NEW BEST:: SOT 1231254 SOS 300964 HAS SOPS 281150 HAS SOUS 227622 HAS SOUPS 223637 WITH SCORE 223937.964
AT ITER 3430 NEW BEST:: SOT 1231253 SOS 300962 HAS SOPS 281147 HAS SOUS 227620 HAS SOUPS 223635 WITH SCORE 223935.962
AT ITER 3447 NEW BEST:: SOT 1231253 SOS 300962 HAS SOPS 281147 HAS SOUS 227563 HAS SOUPS 223578 WITH SCORE 223878.962
AT ITER 3473 NEW BEST:: SOT 1231243 SOS 300944 HAS SOPS 281129 HAS SOUS 227543 HAS SOUPS 223558 WITH SCORE 223858.944
AT ITER 3519 NEW BEST:: SOT 1231273 SOS 300974 HAS SOPS 281159 HAS SOUS 227395 HAS SOUPS 223410 WITH SCORE 223710.974
AT ITER 3537 NEW BEST:: SOT 1231279 SOS 300980 HAS SOPS 281165 HAS SOUS 227374 HAS SOUPS 223389 WITH SCORE 223689.98
AT ITER 3539 NEW BEST:: SOT 1231199 SOS 300892 HAS SOPS 281077 HAS SOUS 227286 HAS SOUPS 223301 WITH SCORE 223601.892
AT ITER 3542 NEW BEST:: SOT 1231191 SOS 300884 HAS SOPS 281069 HAS SOUS 227277 HAS SOUPS 223292 WITH SCORE 223592.884
AT ITER 3547 NEW BEST:: SOT 1231063 SOS 300631 HAS SOPS 280816 HAS SOUS 227198 HAS SOUPS 223213 WITH SCORE 223513.631
AT ITER 3561 NEW BEST:: SOT 1230933 SOS 300511 HAS SOPS 280696 HAS SOUS 227062 HAS SOUPS 223077 WITH SCORE 223377.511
AT ITER 3576 NEW BEST:: SOT 1230933 SOS 300505 HAS SOPS 280690 HAS SOUS 227056 HAS SOUPS 223071 WITH SCORE 223371.505
AT ITER 3584 NEW BEST:: SOT 1230925 SOS 299835 HAS SOPS 280020 HAS SOUS 227040 HAS SOUPS 223055 WITH SCORE 223354.835
AT ITER 3596 NEW BEST:: SOT 1230953 SOS 299580 HAS SOPS 279765 HAS SOUS 227018 HAS SOUPS 223033 WITH SCORE 223332.58
AT ITER 3609 NEW BEST:: SOT 1230877 SOS 299504 HAS SOPS 279689 HAS SOUS 227012 HAS SOUPS 223027 WITH SCORE 223326.504
AT ITER 3626 NEW BEST:: SOT 1230877 SOS 299496 HAS SOPS 279681 HAS SOUS 227012 HAS SOUPS 223027 WITH SCORE 223326.496
AT ITER 3640 NEW BEST:: SOT 1230870 SOS 299489 HAS SOPS 279674 HAS SOUS 227012 HAS SOUPS 223027 WITH SCORE 223326.489
AT ITER 3653 NEW BEST:: SOT 1230898 SOS 299517 HAS SOPS 279702 HAS SOUS 226951 HAS SOUPS 222966 WITH SCORE 223265.517
AT ITER 3680 NEW BEST:: SOT 1230974 SOS 299593 HAS SOPS 279778 HAS SOUS 226928 HAS SOUPS 222943 WITH SCORE 223242.593
AT ITER 3696 NEW BEST:: SOT 1230974 SOS 299593 HAS SOPS 279778 HAS SOUS 226926 HAS SOUPS 222941 WITH SCORE 223240.593
AT ITER 3701 NEW BEST:: SOT 1230799 SOS 299421 HAS SOPS 279606 HAS SOUS 226751 HAS SOUPS 222766 WITH SCORE 223065.421
AT ITER 3712 NEW BEST:: SOT 1230826 SOS 299305 HAS SOPS 279490 HAS SOUS 226662 HAS SOUPS 222677 WITH SCORE 222976.305
AT ITER 3719 NEW BEST:: SOT 1230729 SOS 299208 HAS SOPS 279481 HAS SOUS 226645 HAS SOUPS 222661 WITH SCORE 222960.208
AT ITER 3725 NEW BEST:: SOT 1229845 SOS 298674 HAS SOPS 279197 HAS SOUS 226053 HAS SOUPS 222069 WITH SCORE 222367.674
AT ITER 3757 NEW BEST:: SOT 1229778 SOS 298802 HAS SOPS 279325 HAS SOUS 225999 HAS SOUPS 222015 WITH SCORE 222313.802
AT ITER 3768 NEW BEST:: SOT 1229778 SOS 298713 HAS SOPS 279236 HAS SOUS 225999 HAS SOUPS 222015 WITH SCORE 222313.713
AT ITER 3777 NEW BEST:: SOT 1229706 SOS 298641 HAS SOPS 279164 HAS SOUS 225927 HAS SOUPS 221943 WITH SCORE 222241.641
AT ITER 3791 NEW BEST:: SOT 1229527 SOS 298635 HAS SOPS 279158 HAS SOUS 225569 HAS SOUPS 221585 WITH SCORE 221883.635
AT ITER 3797 NEW BEST:: SOT 1229615 SOS 298723 HAS SOPS 279143 HAS SOUS 225554 HAS SOUPS 221570 WITH SCORE 221868.723
AT ITER 3808 NEW BEST:: SOT 1229398 SOS 298725 HAS SOPS 279145 HAS SOUS 225422 HAS SOUPS 221438 WITH SCORE 221736.725
AT ITER 3817 NEW BEST:: SOT 1229372 SOS 298530 HAS SOPS 278950 HAS SOUS 225374 HAS SOUPS 221390 WITH SCORE 221688.53
AT ITER 3822 NEW BEST:: SOT 1229261 SOS 298419 HAS SOPS 278908 HAS SOUS 225329 HAS SOUPS 221345 WITH SCORE 221643.419
AT ITER 3850 NEW BEST:: SOT 1228286 SOS 297541 HAS SOPS 278030 HAS SOUS 224451 HAS SOUPS 220467 WITH SCORE 220764.541
AT ITER 3872 NEW BEST:: SOT 1228286 SOS 297423 HAS SOPS 277912 HAS SOUS 224451 HAS SOUPS 220467 WITH SCORE 220764.423
AT ITER 3925 NEW BEST:: SOT 1228283 SOS 297420 HAS SOPS 277909 HAS SOUS 224448 HAS SOUPS 220464 WITH SCORE 220761.42
AT ITER 3936 NEW BEST:: SOT 1228283 SOS 297373 HAS SOPS 277862 HAS SOUS 224419 HAS SOUPS 220435 WITH SCORE 220732.373
AT ITER 3964 NEW BEST:: SOT 1228297 SOS 297387 HAS SOPS 277876 HAS SOUS 224372 HAS SOUPS 220388 WITH SCORE 220685.387
AT ITER 3974 NEW BEST:: SOT 1227636 SOS 297730 HAS SOPS 277325 HAS SOUS 223929 HAS SOUPS 219835 WITH SCORE 220132.73
AT ITER 3981 NEW BEST:: SOT 1227636 SOS 297700 HAS SOPS 277295 HAS SOUS 223841 HAS SOUPS 219747 WITH SCORE 220044.7
AT ITER 3982 NEW BEST:: SOT 1227539 SOS 297580 HAS SOPS 277175 HAS SOUS 223672 HAS SOUPS 219578 WITH SCORE 219875.58
AT ITER 4014 NEW BEST:: SOT 1227539 SOS 297579 HAS SOPS 277174 HAS SOUS 223671 HAS SOUPS 219577 WITH SCORE 219874.579
AT ITER 4028 NEW BEST:: SOT 1227252 SOS 298212 HAS SOPS 277869 HAS SOUS 223601 HAS SOUPS 219507 WITH SCORE 219805.212
AT ITER 4034 NEW BEST:: SOT 1227121 SOS 298086 HAS SOPS 277743 HAS SOUS 223470 HAS SOUPS 219376 WITH SCORE 219674.086
AT ITER 4036 NEW BEST:: SOT 1227049 SOS 296897 HAS SOPS 276363 HAS SOUS 223228 HAS SOUPS 219134 WITH SCORE 219430.897
AT ITER 4045 NEW BEST:: SOT 1227027 SOS 296850 HAS SOPS 276294 HAS SOUS 223222 HAS SOUPS 219107 WITH SCORE 219403.85
AT ITER 4049 NEW BEST:: SOT 1227110 SOS 296933 HAS SOPS 276377 HAS SOUS 223201 HAS SOUPS 219086 WITH SCORE 219382.933
AT ITER 4069 NEW BEST:: SOT 1226996 SOS 296864 HAS SOPS 276308 HAS SOUS 223087 HAS SOUPS 218972 WITH SCORE 219268.864
AT ITER 4088 NEW BEST:: SOT 1226949 SOS 296767 HAS SOPS 276164 HAS SOUS 222993 HAS SOUPS 218878 WITH SCORE 219174.767
AT ITER 4094 NEW BEST:: SOT 1226949 SOS 296767 HAS SOPS 276164 HAS SOUS 222886 HAS SOUPS 218771 WITH SCORE 219067.767
AT ITER 4105 NEW BEST:: SOT 1221728 SOS 299904 HAS SOPS 279301 HAS SOUS 217693 HAS SOUPS 213578 WITH SCORE 213877.904
AT ITER 4113 NEW BEST:: SOT 1221773 SOS 299949 HAS SOPS 279346 HAS SOUS 217665 HAS SOUPS 213550 WITH SCORE 213849.949
AT ITER 4120 NEW BEST:: SOT 1221852 SOS 300028 HAS SOPS 279425 HAS SOUS 217607 HAS SOUPS 213492 WITH SCORE 213792.028
AT ITER 4122 NEW BEST:: SOT 1221845 SOS 300090 HAS SOPS 279480 HAS SOUS 217662 HAS SOUPS 213478 WITH SCORE 213778.09
AT ITER 4143 NEW BEST:: SOT 1221725 SOS 299970 HAS SOPS 279360 HAS SOUS 217422 HAS SOUPS 213238 WITH SCORE 213537.97
AT ITER 4147 NEW BEST:: SOT 1221685 SOS 299939 HAS SOPS 279329 HAS SOUS 217342 HAS SOUPS 213158 WITH SCORE 213457.939
AT ITER 4153 NEW BEST:: SOT 1221530 SOS 301367 HAS SOPS 280795 HAS SOUS 217244 HAS SOUPS 213060 WITH SCORE 213361.367
AT ITER 4159 NEW BEST:: SOT 1221530 SOS 301353 HAS SOPS 280781 HAS SOUS 217244 HAS SOUPS 213060 WITH SCORE 213361.353
AT ITER 4175 NEW BEST:: SOT 1221600 SOS 301423 HAS SOPS 280851 HAS SOUS 217217 HAS SOUPS 213033 WITH SCORE 213334.423
AT ITER 4184 NEW BEST:: SOT 1221572 SOS 301395 HAS SOPS 280823 HAS SOUS 217215 HAS SOUPS 213031 WITH SCORE 213332.395
AT ITER 4187 NEW BEST:: SOT 1221532 SOS 301357 HAS SOPS 280785 HAS SOUS 217137 HAS SOUPS 212953 WITH SCORE 213254.357
AT ITER 4207 NEW BEST:: SOT 1221524 SOS 301222 HAS SOPS 280650 HAS SOUS 216994 HAS SOUPS 212810 WITH SCORE 213111.222
AT ITER 4218 NEW BEST:: SOT 1221480 SOS 301178 HAS SOPS 280606 HAS SOUS 216942 HAS SOUPS 212758 WITH SCORE 213059.178
AT ITER 4251 NEW BEST:: SOT 1221480 SOS 302576 HAS SOPS 282004 HAS SOUS 216843 HAS SOUPS 212659 WITH SCORE 212961.576
AT ITER 4286 NEW BEST:: SOT 1221461 SOS 302488 HAS SOPS 281916 HAS SOUS 216805 HAS SOUPS 212621 WITH SCORE 212923.488
AT ITER 4332 NEW BEST:: SOT 1221461 SOS 302488 HAS SOPS 281916 HAS SOUS 216758 HAS SOUPS 212574 WITH SCORE 212876.488
AT ITER 4333 NEW BEST:: SOT 1221441 SOS 302468 HAS SOPS 281896 HAS SOUS 216718 HAS SOUPS 212534 WITH SCORE 212836.468
AT ITER 4348 NEW BEST:: SOT 1221441 SOS 302365 HAS SOPS 281793 HAS SOUS 216615 HAS SOUPS 212431 WITH SCORE 212733.365
AT ITER 4349 NEW BEST:: SOT 1221466 SOS 302390 HAS SOPS 281818 HAS SOUS 216520 HAS SOUPS 212336 WITH SCORE 212638.39
AT ITER 4373 NEW BEST:: SOT 1221433 SOS 302357 HAS SOPS 281785 HAS SOUS 216454 HAS SOUPS 212270 WITH SCORE 212572.357
AT ITER 4392 NEW BEST:: SOT 1221419 SOS 302411 HAS SOPS 281825 HAS SOUS 216438 HAS SOUPS 212254 WITH SCORE 212556.411
AT ITER 4420 NEW BEST:: SOT 1221327 SOS 302476 HAS SOPS 281890 HAS SOUS 216346 HAS SOUPS 212162 WITH SCORE 212464.476
AT ITER 4492 NEW BEST:: SOT 1221186 SOS 301209 HAS SOPS 280623 HAS SOUS 215994 HAS SOUPS 211810 WITH SCORE 212111.209
AT ITER 4521 NEW BEST:: SOT 1221062 SOS 301351 HAS SOPS 280765 HAS SOUS 215970 HAS SOUPS 211786 WITH SCORE 212087.351
AT ITER 4522 NEW BEST:: SOT 1221031 SOS 301281 HAS SOPS 280695 HAS SOUS 215931 HAS SOUPS 211747 WITH SCORE 212048.281
AT ITER 4531 NEW BEST:: SOT 1221030 SOS 301280 HAS SOPS 280694 HAS SOUS 215929 HAS SOUPS 211745 WITH SCORE 212046.28
AT ITER 4538 NEW BEST:: SOT 1221066 SOS 301316 HAS SOPS 280730 HAS SOUS 215893 HAS SOUPS 211709 WITH SCORE 212010.316
AT ITER 4565 NEW BEST:: SOT 1220993 SOS 301369 HAS SOPS 280783 HAS SOUS 215840 HAS SOUPS 211656 WITH SCORE 211957.369
AT ITER 4579 NEW BEST:: SOT 1220981 SOS 301357 HAS SOPS 280771 HAS SOUS 215828 HAS SOUPS 211644 WITH SCORE 211945.357
AT ITER 4591 NEW BEST:: SOT 1220834 SOS 301189 HAS SOPS 280624 HAS SOUS 215681 HAS SOUPS 211497 WITH SCORE 211798.189
AT ITER 4611 NEW BEST:: SOT 1220820 SOS 301175 HAS SOPS 280610 HAS SOUS 215654 HAS SOUPS 211470 WITH SCORE 211771.175
AT ITER 4621 NEW BEST:: SOT 1220820 SOS 301082 HAS SOPS 280517 HAS SOUS 215654 HAS SOUPS 211470 WITH SCORE 211771.082
AT ITER 4653 NEW BEST:: SOT 1220801 SOS 301063 HAS SOPS 280498 HAS SOUS 215616 HAS SOUPS 211432 WITH SCORE 211733.063
AT ITER 4662 NEW BEST:: SOT 1220784 SOS 301149 HAS SOPS 280584 HAS SOUS 215571 HAS SOUPS 211387 WITH SCORE 211688.149
AT ITER 4665 NEW BEST:: SOT 1220784 SOS 301149 HAS SOPS 280584 HAS SOUS 215529 HAS SOUPS 211345 WITH SCORE 211646.149
AT ITER 4689 NEW BEST:: SOT 1220717 SOS 301082 HAS SOPS 280517 HAS SOUS 215395 HAS SOUPS 211211 WITH SCORE 211512.082
AT ITER 4714 NEW BEST:: SOT 1220671 SOS 300990 HAS SOPS 280425 HAS SOUS 215303 HAS SOUPS 211119 WITH SCORE 211419.99
AT ITER 4747 NEW BEST:: SOT 1220670 SOS 300419 HAS SOPS 279843 HAS SOUS 215270 HAS SOUPS 211086 WITH SCORE 211386.419
AT ITER 4780 NEW BEST:: SOT 1220576 SOS 300335 HAS SOPS 279759 HAS SOUS 215213 HAS SOUPS 211029 WITH SCORE 211329.335
AT ITER 4802 NEW BEST:: SOT 1220557 SOS 300328 HAS SOPS 279752 HAS SOUS 215195 HAS SOUPS 211011 WITH SCORE 211311.328
AT ITER 4812 NEW BEST:: SOT 1220508 SOS 300372 HAS SOPS 279796 HAS SOUS 215190 HAS SOUPS 211006 WITH SCORE 211306.372
AT ITER 4813 NEW BEST:: SOT 1220508 SOS 300348 HAS SOPS 279748 HAS SOUS 215142 HAS SOUPS 210958 WITH SCORE 211258.348
AT ITER 4821 NEW BEST:: SOT 1220493 SOS 300228 HAS SOPS 279613 HAS SOUS 215112 HAS SOUPS 210928 WITH SCORE 211228.228
AT ITER 4871 NEW BEST:: SOT 1220485 SOS 300220 HAS SOPS 279597 HAS SOUS 215096 HAS SOUPS 210912 WITH SCORE 211212.22
AT ITER 4874 NEW BEST:: SOT 1220459 SOS 300212 HAS SOPS 279589 HAS SOUS 215062 HAS SOUPS 210878 WITH SCORE 211178.212
AT ITER 4876 NEW BEST:: SOT 1220491 SOS 299295 HAS SOPS 278640 HAS SOUS 215045 HAS SOUPS 210861 WITH SCORE 211160.295
AT ITER 4895 NEW BEST:: SOT 1220481 SOS 299285 HAS SOPS 278630 HAS SOUS 215025 HAS SOUPS 210841 WITH SCORE 211140.285
AT ITER 4901 NEW BEST:: SOT 1220410 SOS 299395 HAS SOPS 278772 HAS SOUS 214986 HAS SOUPS 210802 WITH SCORE 211101.395
AT ITER 4926 NEW BEST:: SOT 1220409 SOS 299394 HAS SOPS 278751 HAS SOUS 214984 HAS SOUPS 210800 WITH SCORE 211099.394
AT ITER 4938 NEW BEST:: SOT 1220468 SOS 299453 HAS SOPS 278810 HAS SOUS 214974 HAS SOUPS 210790 WITH SCORE 211089.453
AT ITER 4980 NEW BEST:: SOT 1220574 SOS 299559 HAS SOPS 278916 HAS SOUS 214932 HAS SOUPS 210748 WITH SCORE 211047.559
AT ITER 4998 NEW BEST:: SOT 1220574 SOS 299539 HAS SOPS 278896 HAS SOUS 214932 HAS SOUPS 210748 WITH SCORE 211047.539
AT ITER 5016 NEW BEST:: SOT 1220584 SOS 299529 HAS SOPS 278886 HAS SOUS 214922 HAS SOUPS 210738 WITH SCORE 211037.529
AT ITER 5028 NEW BEST:: SOT 1220394 SOS 299130 HAS SOPS 278487 HAS SOUS 214566 HAS SOUPS 210382 WITH SCORE 210681.13
AT ITER 5031 NEW BEST:: SOT 1220307 SOS 299046 HAS SOPS 278403 HAS SOUS 214482 HAS SOUPS 210298 WITH SCORE 210597.046
AT ITER 5042 NEW BEST:: SOT 1219666 SOS 299402 HAS SOPS 278782 HAS SOUS 214147 HAS SOUPS 209963 WITH SCORE 210262.402
AT ITER 5068 NEW BEST:: SOT 1219620 SOS 298740 HAS SOPS 278120 HAS SOUS 214101 HAS SOUPS 209917 WITH SCORE 210215.74
AT ITER 5082 NEW BEST:: SOT 1219572 SOS 298512 HAS SOPS 277892 HAS SOUS 213990 HAS SOUPS 209806 WITH SCORE 210104.512
AT ITER 5109 NEW BEST:: SOT 1219572 SOS 298512 HAS SOPS 277892 HAS SOUS 213930 HAS SOUPS 209746 WITH SCORE 210044.512
AT ITER 5113 NEW BEST:: SOT 1219590 SOS 298530 HAS SOPS 277910 HAS SOUS 213904 HAS SOUPS 209720 WITH SCORE 210018.53
AT ITER 5114 NEW BEST:: SOT 1219585 SOS 298609 HAS SOPS 277989 HAS SOUS 213897 HAS SOUPS 209713 WITH SCORE 210011.609
AT ITER 5143 NEW BEST:: SOT 1219574 SOS 298644 HAS SOPS 278024 HAS SOUS 213875 HAS SOUPS 209691 WITH SCORE 209989.644
AT ITER 5182 NEW BEST:: SOT 1219499 SOS 298569 HAS SOPS 277874 HAS SOUS 213731 HAS SOUPS 209541 WITH SCORE 209839.569
AT ITER 5189 NEW BEST:: SOT 1219559 SOS 298629 HAS SOPS 277934 HAS SOUS 213666 HAS SOUPS 209476 WITH SCORE 209774.629
AT ITER 5194 NEW BEST:: SOT 1219543 SOS 298649 HAS SOPS 277922 HAS SOUS 213659 HAS SOUPS 209465 WITH SCORE 209763.649
AT ITER 5200 NEW BEST:: SOT 1219505 SOS 298611 HAS SOPS 277884 HAS SOUS 213583 HAS SOUPS 209389 WITH SCORE 209687.611
AT ITER 5226 NEW BEST:: SOT 1219208 SOS 298523 HAS SOPS 277587 HAS SOUS 213296 HAS SOUPS 209068 WITH SCORE 209366.523
AT ITER 5248 NEW BEST:: SOT 1219208 SOS 298523 HAS SOPS 277587 HAS SOUS 213287 HAS SOUPS 209059 WITH SCORE 209357.523
AT ITER 5250 NEW BEST:: SOT 1219186 SOS 298479 HAS SOPS 277543 HAS SOUS 213265 HAS SOUPS 209037 WITH SCORE 209335.479
AT ITER 5252 NEW BEST:: SOT 1219088 SOS 298432 HAS SOPS 277546 HAS SOUS 213216 HAS SOUPS 208989 WITH SCORE 209287.432
AT ITER 5277 NEW BEST:: SOT 1219088 SOS 298432 HAS SOPS 277546 HAS SOUS 213207 HAS SOUPS 208980 WITH SCORE 209278.432
AT ITER 5288 NEW BEST:: SOT 1219088 SOS 298349 HAS SOPS 277463 HAS SOUS 213207 HAS SOUPS 208980 WITH SCORE 209278.349
AT ITER 5304 NEW BEST:: SOT 1219088 SOS 298341 HAS SOPS 277455 HAS SOUS 213199 HAS SOUPS 208972 WITH SCORE 209270.341
AT ITER 5328 NEW BEST:: SOT 1219079 SOS 297366 HAS SOPS 276480 HAS SOUS 213189 HAS SOUPS 208962 WITH SCORE 209259.366
AT ITER 5330 NEW BEST:: SOT 1218992 SOS 297298 HAS SOPS 276412 HAS SOUS 213102 HAS SOUPS 208875 WITH SCORE 209172.298
AT ITER 5347 NEW BEST:: SOT 1218966 SOS 297264 HAS SOPS 276378 HAS SOUS 213068 HAS SOUPS 208841 WITH SCORE 209138.264
AT ITER 5363 NEW BEST:: SOT 1218966 SOS 297264 HAS SOPS 276378 HAS SOUS 213056 HAS SOUPS 208829 WITH SCORE 209126.264
AT ITER 5369 NEW BEST:: SOT 1218892 SOS 297190 HAS SOPS 276304 HAS SOUS 212908 HAS SOUPS 208681 WITH SCORE 208978.19
AT ITER 5405 NEW BEST:: SOT 1218887 SOS 297160 HAS SOPS 276274 HAS SOUS 212898 HAS SOUPS 208671 WITH SCORE 208968.16
AT ITER 5407 NEW BEST:: SOT 1218859 SOS 297095 HAS SOPS 276181 HAS SOUS 212870 HAS SOUPS 208615 WITH SCORE 208912.095
AT ITER 5428 NEW BEST:: SOT 1218778 SOS 296366 HAS SOPS 275452 HAS SOUS 212708 HAS SOUPS 208453 WITH SCORE 208749.366
AT ITER 5429 NEW BEST:: SOT 1218778 SOS 295678 HAS SOPS 274764 HAS SOUS 212708 HAS SOUPS 208453 WITH SCORE 208748.678
AT ITER 5476 NEW BEST:: SOT 1218720 SOS 295631 HAS SOPS 274717 HAS SOUS 212661 HAS SOUPS 208406 WITH SCORE 208701.631
AT ITER 5520 NEW BEST:: SOT 1218625 SOS 295698 HAS SOPS 274784 HAS SOUS 212566 HAS SOUPS 208311 WITH SCORE 208606.698
AT ITER 5527 NEW BEST:: SOT 1218628 SOS 295643 HAS SOPS 274614 HAS SOUS 212557 HAS SOUPS 208302 WITH SCORE 208597.643
AT ITER 5530 NEW BEST:: SOT 1218620 SOS 295579 HAS SOPS 274550 HAS SOUS 212541 HAS SOUPS 208286 WITH SCORE 208581.579
AT ITER 5531 NEW BEST:: SOT 1218636 SOS 295595 HAS SOPS 274566 HAS SOUS 212452 HAS SOUPS 208197 WITH SCORE 208492.595
AT ITER 5549 NEW BEST:: SOT 1218488 SOS 295595 HAS SOPS 274566 HAS SOUS 212304 HAS SOUPS 208049 WITH SCORE 208344.595
AT ITER 5550 NEW BEST:: SOT 1218477 SOS 295584 HAS SOPS 274555 HAS SOUS 212282 HAS SOUPS 208027 WITH SCORE 208322.584
AT ITER 5560 NEW BEST:: SOT 1218472 SOS 295501 HAS SOPS 274472 HAS SOUS 212277 HAS SOUPS 208022 WITH SCORE 208317.501
AT ITER 5576 NEW BEST:: SOT 1218263 SOS 295292 HAS SOPS 274263 HAS SOUS 212064 HAS SOUPS 207809 WITH SCORE 208104.292
AT ITER 5585 NEW BEST:: SOT 1218235 SOS 295276 HAS SOPS 274247 HAS SOUS 212064 HAS SOUPS 207809 WITH SCORE 208104.276
AT ITER 5617 NEW BEST:: SOT 1218235 SOS 295271 HAS SOPS 274242 HAS SOUS 212064 HAS SOUPS 207809 WITH SCORE 208104.271
AT ITER 5629 NEW BEST:: SOT 1218235 SOS 294515 HAS SOPS 273486 HAS SOUS 211952 HAS SOUPS 207697 WITH SCORE 207991.515
AT ITER 5659 NEW BEST:: SOT 1218061 SOS 294341 HAS SOPS 273312 HAS SOUS 211667 HAS SOUPS 207412 WITH SCORE 207706.341
AT ITER 5663 NEW BEST:: SOT 1218002 SOS 294223 HAS SOPS 273135 HAS SOUS 211549 HAS SOUPS 207294 WITH SCORE 207588.223
AT ITER 5664 NEW BEST:: SOT 1217959 SOS 294180 HAS SOPS 273092 HAS SOUS 211515 HAS SOUPS 207260 WITH SCORE 207554.18
AT ITER 5668 NEW BEST:: SOT 1217948 SOS 294169 HAS SOPS 273081 HAS SOUS 211493 HAS SOUPS 207238 WITH SCORE 207532.169
AT ITER 5684 NEW BEST:: SOT 1217932 SOS 294121 HAS SOPS 273033 HAS SOUS 211461 HAS SOUPS 207206 WITH SCORE 207500.121
AT ITER 5711 NEW BEST:: SOT 1217798 SOS 294136 HAS SOPS 273048 HAS SOUS 211349 HAS SOUPS 207094 WITH SCORE 207388.136
AT ITER 5721 NEW BEST:: SOT 1217756 SOS 294052 HAS SOPS 272964 HAS SOUS 211265 HAS SOUPS 207010 WITH SCORE 207304.052
AT ITER 5726 NEW BEST:: SOT 1217703 SOS 293234 HAS SOPS 272866 HAS SOUS 211159 HAS SOUPS 206949 WITH SCORE 207242.234
AT ITER 5730 NEW BEST:: SOT 1217698 SOS 293079 HAS SOPS 272706 HAS SOUS 211139 HAS SOUPS 206929 WITH SCORE 207222.079
AT ITER 5738 NEW BEST:: SOT 1217698 SOS 292375 HAS SOPS 272002 HAS SOUS 211139 HAS SOUPS 206929 WITH SCORE 207221.375
AT ITER 5743 NEW BEST:: SOT 1217636 SOS 292313 HAS SOPS 271940 HAS SOUS 211067 HAS SOUPS 206857 WITH SCORE 207149.313
AT ITER 5764 NEW BEST:: SOT 1217510 SOS 292187 HAS SOPS 271861 HAS SOUS 210815 HAS SOUPS 206605 WITH SCORE 206897.187
AT ITER 5770 NEW BEST:: SOT 1217400 SOS 292018 HAS SOPS 271692 HAS SOUS 210688 HAS SOUPS 206478 WITH SCORE 206770.018
AT ITER 5787 NEW BEST:: SOT 1217286 SOS 292552 HAS SOPS 272302 HAS SOUS 210625 HAS SOUPS 206415 WITH SCORE 206707.552
AT ITER 5803 NEW BEST:: SOT 1217080 SOS 292571 HAS SOPS 272460 HAS SOUS 210512 HAS SOUPS 206329 WITH SCORE 206621.571
AT ITER 5822 NEW BEST:: SOT 1217170 SOS 291341 HAS SOPS 271144 HAS SOUS 210393 HAS SOUPS 206210 WITH SCORE 206501.341
AT ITER 5842 NEW BEST:: SOT 1217170 SOS 291338 HAS SOPS 271141 HAS SOUS 210393 HAS SOUPS 206210 WITH SCORE 206501.338
AT ITER 5855 NEW BEST:: SOT 1217170 SOS 291283 HAS SOPS 271086 HAS SOUS 210393 HAS SOUPS 206210 WITH SCORE 206501.283
AT ITER 5874 NEW BEST:: SOT 1217170 SOS 291283 HAS SOPS 271086 HAS SOUS 210307 HAS SOUPS 206124 WITH SCORE 206415.283
AT ITER 5884 NEW BEST:: SOT 1217170 SOS 291251 HAS SOPS 271054 HAS SOUS 210303 HAS SOUPS 206120 WITH SCORE 206411.251
AT ITER 5890 NEW BEST:: SOT 1217924 SOS 292083 HAS SOPS 270613 HAS SOUS 209914 HAS SOUPS 205730 WITH SCORE 206022.083
AT ITER 5902 NEW BEST:: SOT 1218003 SOS 292162 HAS SOPS 270692 HAS SOUS 209868 HAS SOUPS 205684 WITH SCORE 205976.162
AT ITER 5909 NEW BEST:: SOT 1218003 SOS 292116 HAS SOPS 270646 HAS SOUS 209867 HAS SOUPS 205683 WITH SCORE 205975.116
AT ITER 5925 NEW BEST:: SOT 1218017 SOS 292245 HAS SOPS 270775 HAS SOUS 209845 HAS SOUPS 205661 WITH SCORE 205953.245
AT ITER 5942 NEW BEST:: SOT 1218066 SOS 292294 HAS SOPS 270824 HAS SOUS 209821 HAS SOUPS 205637 WITH SCORE 205929.294
AT ITER 5963 NEW BEST:: SOT 1218023 SOS 292208 HAS SOPS 270738 HAS SOUS 209735 HAS SOUPS 205551 WITH SCORE 205843.208
AT ITER 5966 NEW BEST:: SOT 1218020 SOS 292205 HAS SOPS 270735 HAS SOUS 209729 HAS SOUPS 205545 WITH SCORE 205837.205
AT ITER 5994 NEW BEST:: SOT 1218016 SOS 292201 HAS SOPS 270731 HAS SOUS 209721 HAS SOUPS 205537 WITH SCORE 205829.201
AT ITER 6005 NEW BEST:: SOT 1218016 SOS 292186 HAS SOPS 270716 HAS SOUS 209721 HAS SOUPS 205537 WITH SCORE 205829.186
AT ITER 6018 NEW BEST:: SOT 1217931 SOS 292161 HAS SOPS 270691 HAS SOUS 209551 HAS SOUPS 205367 WITH SCORE 205659.161
AT ITER 6032 NEW BEST:: SOT 1217931 SOS 292161 HAS SOPS 270691 HAS SOUS 209509 HAS SOUPS 205325 WITH SCORE 205617.161
AT ITER 6047 NEW BEST:: SOT 1217826 SOS 292056 HAS SOPS 270586 HAS SOUS 209509 HAS SOUPS 205325 WITH SCORE 205617.056
AT ITER 6120 NEW BEST:: SOT 1217826 SOS 292047 HAS SOPS 270577 HAS SOUS 209509 HAS SOUPS 205325 WITH SCORE 205617.047
AT ITER 6123 NEW BEST:: SOT 1217817 SOS 291953 HAS SOPS 270483 HAS SOUS 209458 HAS SOUPS 205274 WITH SCORE 205565.953
AT ITER 6143 NEW BEST:: SOT 1217817 SOS 291947 HAS SOPS 270477 HAS SOUS 209458 HAS SOUPS 205274 WITH SCORE 205565.947
AT ITER 6182 NEW BEST:: SOT 1217747 SOS 291877 HAS SOPS 270407 HAS SOUS 209387 HAS SOUPS 205203 WITH SCORE 205494.877
AT ITER 6220 NEW BEST:: SOT 1217722 SOS 291852 HAS SOPS 270382 HAS SOUS 209370 HAS SOUPS 205186 WITH SCORE 205477.852
AT ITER 6224 NEW BEST:: SOT 1217706 SOS 291814 HAS SOPS 270344 HAS SOUS 209338 HAS SOUPS 205154 WITH SCORE 205445.814
AT ITER 6252 NEW BEST:: SOT 1217696 SOS 291788 HAS SOPS 270324 HAS SOUS 209318 HAS SOUPS 205134 WITH SCORE 205425.788
AT ITER 6272 NEW BEST:: SOT 1217201 SOS 291293 HAS SOPS 270183 HAS SOUS 208815 HAS SOUPS 204971 WITH SCORE 205262.293
AT ITER 6274 NEW BEST:: SOT 1217201 SOS 291181 HAS SOPS 270071 HAS SOUS 208815 HAS SOUPS 204971 WITH SCORE 205262.181
AT ITER 6283 NEW BEST:: SOT 1217201 SOS 291157 HAS SOPS 270047 HAS SOUS 208812 HAS SOUPS 204968 WITH SCORE 205259.157
AT ITER 6300 NEW BEST:: SOT 1217204 SOS 291014 HAS SOPS 269904 HAS SOUS 208807 HAS SOUPS 204963 WITH SCORE 205254.014
AT ITER 6301 NEW BEST:: SOT 1217145 SOS 290955 HAS SOPS 269845 HAS SOUS 208757 HAS SOUPS 204913 WITH SCORE 205203.955
AT ITER 6310 NEW BEST:: SOT 1216879 SOS 291120 HAS SOPS 270010 HAS SOUS 208491 HAS SOUPS 204647 WITH SCORE 204938.12
AT ITER 6333 NEW BEST:: SOT 1216822 SOS 291063 HAS SOPS 269953 HAS SOUS 208377 HAS SOUPS 204533 WITH SCORE 204824.063
AT ITER 6343 NEW BEST:: SOT 1216789 SOS 291050 HAS SOPS 269940 HAS SOUS 208344 HAS SOUPS 204500 WITH SCORE 204791.05
AT ITER 6371 NEW BEST:: SOT 1216789 SOS 291014 HAS SOPS 269904 HAS SOUS 208344 HAS SOUPS 204500 WITH SCORE 204791.014
AT ITER 6373 NEW BEST:: SOT 1216735 SOS 290960 HAS SOPS 269850 HAS SOUS 208290 HAS SOUPS 204446 WITH SCORE 204736.96
AT ITER 6384 NEW BEST:: SOT 1216730 SOS 290420 HAS SOPS 269305 HAS SOUS 208280 HAS SOUPS 204436 WITH SCORE 204726.42
AT ITER 6400 NEW BEST:: SOT 1216658 SOS 290250 HAS SOPS 269135 HAS SOUS 208110 HAS SOUPS 204266 WITH SCORE 204556.25
AT ITER 6459 NEW BEST:: SOT 1216637 SOS 290208 HAS SOPS 269093 HAS SOUS 208089 HAS SOUPS 204245 WITH SCORE 204535.208
AT ITER 6466 NEW BEST:: SOT 1216637 SOS 290208 HAS SOPS 269093 HAS SOUS 208027 HAS SOUPS 204183 WITH SCORE 204473.208
AT ITER 6467 NEW BEST:: SOT 1216629 SOS 290200 HAS SOPS 269085 HAS SOUS 208011 HAS SOUPS 204167 WITH SCORE 204457.2
AT ITER 6476 NEW BEST:: SOT 1216683 SOS 290183 HAS SOPS 269068 HAS SOUS 207994 HAS SOUPS 204150 WITH SCORE 204440.183
AT ITER 6492 NEW BEST:: SOT 1216683 SOS 290143 HAS SOPS 269028 HAS SOUS 207994 HAS SOUPS 204150 WITH SCORE 204440.143
AT ITER 6504 NEW BEST:: SOT 1216683 SOS 290143 HAS SOPS 269028 HAS SOUS 207975 HAS SOUPS 204131 WITH SCORE 204421.143
AT ITER 6522 NEW BEST:: SOT 1216673 SOS 290000 HAS SOPS 268885 HAS SOUS 207971 HAS SOUPS 204127 WITH SCORE 204417.0
AT ITER 6578 NEW BEST:: SOT 1216651 SOS 285656 HAS SOPS 264541 HAS SOUS 207949 HAS SOUPS 204105 WITH SCORE 204390.656
AT ITER 6597 NEW BEST:: SOT 1216650 SOS 285583 HAS SOPS 264468 HAS SOUS 207698 HAS SOUPS 203854 WITH SCORE 204139.583
AT ITER 6627 NEW BEST:: SOT 1216553 SOS 285583 HAS SOPS 264468 HAS SOUS 207601 HAS SOUPS 203757 WITH SCORE 204042.583
AT ITER 6629 NEW BEST:: SOT 1216547 SOS 285577 HAS SOPS 264456 HAS SOUS 207595 HAS SOUPS 203745 WITH SCORE 204030.577
AT ITER 6645 NEW BEST:: SOT 1216321 SOS 285505 HAS SOPS 264384 HAS SOUS 207370 HAS SOUPS 203520 WITH SCORE 203805.505
AT ITER 6647 NEW BEST:: SOT 1216309 SOS 285469 HAS SOPS 264348 HAS SOUS 207346 HAS SOUPS 203496 WITH SCORE 203781.469
AT ITER 6662 NEW BEST:: SOT 1216309 SOS 285425 HAS SOPS 264304 HAS SOUS 207346 HAS SOUPS 203496 WITH SCORE 203781.425
AT ITER 6670 NEW BEST:: SOT 1216301 SOS 285417 HAS SOPS 264296 HAS SOUS 207330 HAS SOUPS 203480 WITH SCORE 203765.417
AT ITER 6715 NEW BEST:: SOT 1216237 SOS 285172 HAS SOPS 264051 HAS SOUS 207326 HAS SOUPS 203476 WITH SCORE 203761.172
AT ITER 6716 NEW BEST:: SOT 1216139 SOS 285150 HAS SOPS 264029 HAS SOUS 207283 HAS SOUPS 203433 WITH SCORE 203718.15
AT ITER 6722 NEW BEST:: SOT 1216139 SOS 285150 HAS SOPS 264029 HAS SOUS 207282 HAS SOUPS 203432 WITH SCORE 203717.15
AT ITER 6731 NEW BEST:: SOT 1216126 SOS 285111 HAS SOPS 263990 HAS SOUS 207243 HAS SOUPS 203393 WITH SCORE 203678.111
AT ITER 6743 NEW BEST:: SOT 1216073 SOS 285139 HAS SOPS 264018 HAS SOUS 207218 HAS SOUPS 203368 WITH SCORE 203653.139
AT ITER 6791 NEW BEST:: SOT 1216039 SOS 285105 HAS SOPS 263984 HAS SOUS 207150 HAS SOUPS 203300 WITH SCORE 203585.105
AT ITER 6837 NEW BEST:: SOT 1215952 SOS 285000 HAS SOPS 263879 HAS SOUS 207085 HAS SOUPS 203235 WITH SCORE 203520.0
AT ITER 6840 NEW BEST:: SOT 1215952 SOS 284215 HAS SOPS 263094 HAS SOUS 206877 HAS SOUPS 203027 WITH SCORE 203311.215
AT ITER 6854 NEW BEST:: SOT 1215947 SOS 284255 HAS SOPS 263134 HAS SOUS 206847 HAS SOUPS 202997 WITH SCORE 203281.255
AT ITER 6881 NEW BEST:: SOT 1215940 SOS 284248 HAS SOPS 263127 HAS SOUS 206781 HAS SOUPS 202931 WITH SCORE 203215.248
AT ITER 6898 NEW BEST:: SOT 1215940 SOS 284228 HAS SOPS 263107 HAS SOUS 206761 HAS SOUPS 202911 WITH SCORE 203195.228
AT ITER 6923 NEW BEST:: SOT 1215959 SOS 284190 HAS SOPS 263069 HAS SOUS 206668 HAS SOUPS 202818 WITH SCORE 203102.19
AT ITER 6931 NEW BEST:: SOT 1215930 SOS 284116 HAS SOPS 262995 HAS SOUS 206610 HAS SOUPS 202760 WITH SCORE 203044.116
AT ITER 6953 NEW BEST:: SOT 1215840 SOS 283621 HAS SOPS 262500 HAS SOUS 206430 HAS SOUPS 202580 WITH SCORE 202863.621
AT ITER 7035 NEW BEST:: SOT 1215840 SOS 283588 HAS SOPS 262467 HAS SOUS 206430 HAS SOUPS 202580 WITH SCORE 202863.588
AT ITER 7037 NEW BEST:: SOT 1215728 SOS 284861 HAS SOPS 263740 HAS SOUS 206389 HAS SOUPS 202539 WITH SCORE 202823.861
AT ITER 7053 NEW BEST:: SOT 1216057 SOS 285225 HAS SOPS 262998 HAS SOUS 205705 HAS SOUPS 201854 WITH SCORE 202139.225
AT ITER 7062 NEW BEST:: SOT 1216028 SOS 285199 HAS SOPS 262972 HAS SOUS 205645 HAS SOUPS 201794 WITH SCORE 202079.199
AT ITER 7081 NEW BEST:: SOT 1216036 SOS 284987 HAS SOPS 262760 HAS SOUS 205433 HAS SOUPS 201582 WITH SCORE 201866.987
AT ITER 7096 NEW BEST:: SOT 1215720 SOS 284671 HAS SOPS 262444 HAS SOUS 205149 HAS SOUPS 201298 WITH SCORE 201582.671
AT ITER 7123 NEW BEST:: SOT 1217320 SOS 286535 HAS SOPS 262399 HAS SOUS 205264 HAS SOUPS 201269 WITH SCORE 201555.535
AT ITER 7126 NEW BEST:: SOT 1217309 SOS 286518 HAS SOPS 262382 HAS SOUS 205242 HAS SOUPS 201247 WITH SCORE 201533.518
AT ITER 7131 NEW BEST:: SOT 1217309 SOS 286516 HAS SOPS 262380 HAS SOUS 205240 HAS SOUPS 201245 WITH SCORE 201531.516
AT ITER 7153 NEW BEST:: SOT 1217282 SOS 286516 HAS SOPS 262380 HAS SOUS 205213 HAS SOUPS 201218 WITH SCORE 201504.516
AT ITER 7196 NEW BEST:: SOT 1217232 SOS 286466 HAS SOPS 262330 HAS SOUS 205163 HAS SOUPS 201168 WITH SCORE 201454.466
AT ITER 7221 NEW BEST:: SOT 1217232 SOS 286286 HAS SOPS 262150 HAS SOUS 204980 HAS SOUPS 200985 WITH SCORE 201271.286
AT ITER 7228 NEW BEST:: SOT 1217179 SOS 286233 HAS SOPS 262097 HAS SOUS 204921 HAS SOUPS 200926 WITH SCORE 201212.233
AT ITER 7247 NEW BEST:: SOT 1217122 SOS 286000 HAS SOPS 261864 HAS SOUS 204898 HAS SOUPS 200903 WITH SCORE 201189.0
AT ITER 7272 NEW BEST:: SOT 1217091 SOS 286020 HAS SOPS 261853 HAS SOUS 204836 HAS SOUPS 200841 WITH SCORE 201127.02
AT ITER 7280 NEW BEST:: SOT 1217057 SOS 285986 HAS SOPS 261819 HAS SOUS 204768 HAS SOUPS 200773 WITH SCORE 201058.986
AT ITER 7311 NEW BEST:: SOT 1217007 SOS 285936 HAS SOPS 261769 HAS SOUS 204668 HAS SOUPS 200673 WITH SCORE 200958.936
AT ITER 7331 NEW BEST:: SOT 1217055 SOS 287958 HAS SOPS 263791 HAS SOUS 204616 HAS SOUPS 200621 WITH SCORE 200908.958
AT ITER 7333 NEW BEST:: SOT 1217055 SOS 287916 HAS SOPS 263749 HAS SOUS 204616 HAS SOUPS 200621 WITH SCORE 200908.916
AT ITER 7346 NEW BEST:: SOT 1217055 SOS 287876 HAS SOPS 263709 HAS SOUS 204614 HAS SOUPS 200619 WITH SCORE 200906.876
AT ITER 7352 NEW BEST:: SOT 1217034 SOS 287855 HAS SOPS 263688 HAS SOUS 204572 HAS SOUPS 200577 WITH SCORE 200864.855
AT ITER 7369 NEW BEST:: SOT 1217022 SOS 287843 HAS SOPS 263676 HAS SOUS 204548 HAS SOUPS 200553 WITH SCORE 200840.843
AT ITER 7405 NEW BEST:: SOT 1217022 SOS 287778 HAS SOPS 263611 HAS SOUS 204548 HAS SOUPS 200553 WITH SCORE 200840.778
AT ITER 7440 NEW BEST:: SOT 1216998 SOS 287754 HAS SOPS 263587 HAS SOUS 204524 HAS SOUPS 200529 WITH SCORE 200816.754
AT ITER 7453 NEW BEST:: SOT 1216957 SOS 287028 HAS SOPS 262854 HAS SOUS 204443 HAS SOUPS 200448 WITH SCORE 200735.028
AT ITER 7477 NEW BEST:: SOT 1216952 SOS 287026 HAS SOPS 262852 HAS SOUS 204441 HAS SOUPS 200446 WITH SCORE 200733.026
AT ITER 7567 NEW BEST:: SOT 1216927 SOS 287041 HAS SOPS 262827 HAS SOUS 204426 HAS SOUPS 200426 WITH SCORE 200713.041
AT ITER 7580 NEW BEST:: SOT 1216919 SOS 287033 HAS SOPS 262819 HAS SOUS 204410 HAS SOUPS 200410 WITH SCORE 200697.033
AT ITER 7598 NEW BEST:: SOT 1216963 SOS 286985 HAS SOPS 262771 HAS SOUS 204381 HAS SOUPS 200381 WITH SCORE 200667.985
AT ITER 7602 NEW BEST:: SOT 1216955 SOS 286945 HAS SOPS 262731 HAS SOUS 204365 HAS SOUPS 200365 WITH SCORE 200651.945
AT ITER 7629 NEW BEST:: SOT 1216873 SOS 286957 HAS SOPS 262743 HAS SOUS 204283 HAS SOUPS 200283 WITH SCORE 200569.957
AT ITER 7630 NEW BEST:: SOT 1216816 SOS 286444 HAS SOPS 262230 HAS SOUS 204169 HAS SOUPS 200169 WITH SCORE 200455.444
AT ITER 7636 NEW BEST:: SOT 1216814 SOS 286444 HAS SOPS 262230 HAS SOUS 204167 HAS SOUPS 200167 WITH SCORE 200453.444
AT ITER 7649 NEW BEST:: SOT 1216767 SOS 286528 HAS SOPS 262267 HAS SOUS 204160 HAS SOUPS 200160 WITH SCORE 200446.528
AT ITER 7664 NEW BEST:: SOT 1216761 SOS 286410 HAS SOPS 262260 HAS SOUS 204099 HAS SOUPS 200111 WITH SCORE 200397.41
AT ITER 7690 NEW BEST:: SOT 1216753 SOS 286377 HAS SOPS 262227 HAS SOUS 204083 HAS SOUPS 200095 WITH SCORE 200381.377
AT ITER 7807 NEW BEST:: SOT 1216753 SOS 286367 HAS SOPS 262217 HAS SOUS 204083 HAS SOUPS 200095 WITH SCORE 200381.367
AT ITER 7832 NEW BEST:: SOT 1216731 SOS 286345 HAS SOPS 262195 HAS SOUS 204039 HAS SOUPS 200051 WITH SCORE 200337.345
AT ITER 7844 NEW BEST:: SOT 1216660 SOS 286274 HAS SOPS 262053 HAS SOUS 203950 HAS SOUPS 199921 WITH SCORE 200207.274
AT ITER 7885 NEW BEST:: SOT 1216661 SOS 286144 HAS SOPS 261923 HAS SOUS 203821 HAS SOUPS 199792 WITH SCORE 200078.144
AT ITER 7909 NEW BEST:: SOT 1216326 SOS 287059 HAS SOPS 261588 HAS SOUS 203616 HAS SOUPS 199457 WITH SCORE 199744.059
AT ITER 7930 NEW BEST:: SOT 1216326 SOS 286841 HAS SOPS 261370 HAS SOUS 203614 HAS SOUPS 199455 WITH SCORE 199741.841
AT ITER 7973 NEW BEST:: SOT 1216326 SOS 286693 HAS SOPS 261222 HAS SOUS 203606 HAS SOUPS 199447 WITH SCORE 199733.693
AT ITER 7998 NEW BEST:: SOT 1216296 SOS 286711 HAS SOPS 261192 HAS SOUS 203588 HAS SOUPS 199423 WITH SCORE 199709.711
AT ITER 8001 NEW BEST:: SOT 1216290 SOS 286711 HAS SOPS 261186 HAS SOUS 203576 HAS SOUPS 199411 WITH SCORE 199697.711
AT ITER 8034 NEW BEST:: SOT 1216282 SOS 286689 HAS SOPS 261164 HAS SOUS 203559 HAS SOUPS 199394 WITH SCORE 199680.689
AT ITER 8038 NEW BEST:: SOT 1216274 SOS 286743 HAS SOPS 261213 HAS SOUS 203550 HAS SOUPS 199381 WITH SCORE 199667.743
AT ITER 8050 NEW BEST:: SOT 1216185 SOS 286830 HAS SOPS 261211 HAS SOUS 203390 HAS SOUPS 199221 WITH SCORE 199507.83
AT ITER 8057 NEW BEST:: SOT 1216168 SOS 286813 HAS SOPS 261194 HAS SOUS 203373 HAS SOUPS 199204 WITH SCORE 199490.813
AT ITER 8095 NEW BEST:: SOT 1216168 SOS 286772 HAS SOPS 261153 HAS SOUS 203373 HAS SOUPS 199204 WITH SCORE 199490.772
AT ITER 8119 NEW BEST:: SOT 1216168 SOS 286666 HAS SOPS 261047 HAS SOUS 203372 HAS SOUPS 199203 WITH SCORE 199489.666
AT ITER 8126 NEW BEST:: SOT 1216164 SOS 286662 HAS SOPS 261043 HAS SOUS 203364 HAS SOUPS 199195 WITH SCORE 199481.662
AT ITER 8130 NEW BEST:: SOT 1216114 SOS 286562 HAS SOPS 260943 HAS SOUS 203314 HAS SOUPS 199145 WITH SCORE 199431.562
AT ITER 8143 NEW BEST:: SOT 1216115 SOS 286556 HAS SOPS 260937 HAS SOUS 203290 HAS SOUPS 199121 WITH SCORE 199407.556
AT ITER 8151 NEW BEST:: SOT 1216155 SOS 286596 HAS SOPS 260977 HAS SOUS 203232 HAS SOUPS 199063 WITH SCORE 199349.596
AT ITER 8185 NEW BEST:: SOT 1216155 SOS 286596 HAS SOPS 260977 HAS SOUS 203206 HAS SOUPS 199037 WITH SCORE 199323.596
AT ITER 8195 NEW BEST:: SOT 1216161 SOS 286602 HAS SOPS 260983 HAS SOUS 203101 HAS SOUPS 198932 WITH SCORE 199218.602
AT ITER 8250 NEW BEST:: SOT 1216154 SOS 286546 HAS SOPS 260927 HAS SOUS 203080 HAS SOUPS 198911 WITH SCORE 199197.546
AT ITER 8253 NEW BEST:: SOT 1216128 SOS 286459 HAS SOPS 260840 HAS SOUS 203039 HAS SOUPS 198870 WITH SCORE 199156.459
AT ITER 8259 NEW BEST:: SOT 1216105 SOS 286403 HAS SOPS 260761 HAS SOUS 203033 HAS SOUPS 198824 WITH SCORE 199110.403
AT ITER 8318 NEW BEST:: SOT 1216083 SOS 286381 HAS SOPS 260739 HAS SOUS 202988 HAS SOUPS 198779 WITH SCORE 199065.381
AT ITER 8326 NEW BEST:: SOT 1216055 SOS 286353 HAS SOPS 260711 HAS SOUS 202932 HAS SOUPS 198723 WITH SCORE 199009.353
AT ITER 8369 NEW BEST:: SOT 1216055 SOS 286309 HAS SOPS 260667 HAS SOUS 202932 HAS SOUPS 198723 WITH SCORE 199009.309
AT ITER 8396 NEW BEST:: SOT 1216055 SOS 286205 HAS SOPS 260563 HAS SOUS 202932 HAS SOUPS 198723 WITH SCORE 199009.205
AT ITER 8403 NEW BEST:: SOT 1216017 SOS 286159 HAS SOPS 260517 HAS SOUS 202886 HAS SOUPS 198677 WITH SCORE 198963.159
AT ITER 8458 NEW BEST:: SOT 1215987 SOS 286088 HAS SOPS 260446 HAS SOUS 202815 HAS SOUPS 198606 WITH SCORE 198892.088
AT ITER 8474 NEW BEST:: SOT 1215960 SOS 285779 HAS SOPS 260079 HAS SOUS 202693 HAS SOUPS 198484 WITH SCORE 198769.779
AT ITER 8501 NEW BEST:: SOT 1215952 SOS 285771 HAS SOPS 260071 HAS SOUS 202687 HAS SOUPS 198478 WITH SCORE 198763.771
AT ITER 8540 NEW BEST:: SOT 1215823 SOS 285803 HAS SOPS 260103 HAS SOUS 202592 HAS SOUPS 198383 WITH SCORE 198668.803
AT ITER 8556 NEW BEST:: SOT 1215801 SOS 285723 HAS SOPS 260023 HAS SOUS 202518 HAS SOUPS 198309 WITH SCORE 198594.723
AT ITER 8577 NEW BEST:: SOT 1215746 SOS 285668 HAS SOPS 259968 HAS SOUS 202384 HAS SOUPS 198175 WITH SCORE 198460.668
AT ITER 8585 NEW BEST:: SOT 1215729 SOS 285502 HAS SOPS 259802 HAS SOUS 202350 HAS SOUPS 198141 WITH SCORE 198426.502
AT ITER 8641 NEW BEST:: SOT 1215729 SOS 285428 HAS SOPS 259728 HAS SOUS 202350 HAS SOUPS 198141 WITH SCORE 198426.428
AT ITER 8646 NEW BEST:: SOT 1215662 SOS 285374 HAS SOPS 259674 HAS SOUS 202281 HAS SOUPS 198072 WITH SCORE 198357.374
AT ITER 8666 NEW BEST:: SOT 1215662 SOS 285324 HAS SOPS 259624 HAS SOUS 202281 HAS SOUPS 198072 WITH SCORE 198357.324
AT ITER 8675 NEW BEST:: SOT 1215640 SOS 285150 HAS SOPS 259450 HAS SOUS 202074 HAS SOUPS 197865 WITH SCORE 198150.15
AT ITER 8680 NEW BEST:: SOT 1215617 SOS 285127 HAS SOPS 259427 HAS SOUS 202028 HAS SOUPS 197819 WITH SCORE 198104.127
AT ITER 8723 NEW BEST:: SOT 1215609 SOS 285119 HAS SOPS 259419 HAS SOUS 202012 HAS SOUPS 197803 WITH SCORE 198088.119
AT ITER 8735 NEW BEST:: SOT 1215609 SOS 285100 HAS SOPS 259400 HAS SOUS 202012 HAS SOUPS 197803 WITH SCORE 198088.1
AT ITER 8756 NEW BEST:: SOT 1215536 SOS 284615 HAS SOPS 258812 HAS SOUS 201836 HAS SOUPS 197627 WITH SCORE 197911.615
AT ITER 8759 NEW BEST:: SOT 1215536 SOS 284627 HAS SOPS 258824 HAS SOUS 201781 HAS SOUPS 197572 WITH SCORE 197856.627
AT ITER 8805 NEW BEST:: SOT 1215531 SOS 284530 HAS SOPS 258727 HAS SOUS 201776 HAS SOUPS 197567 WITH SCORE 197851.53
AT ITER 8819 NEW BEST:: SOT 1215531 SOS 284530 HAS SOPS 258727 HAS SOUS 201749 HAS SOUPS 197540 WITH SCORE 197824.53
AT ITER 8833 NEW BEST:: SOT 1215523 SOS 284517 HAS SOPS 258714 HAS SOUS 201741 HAS SOUPS 197532 WITH SCORE 197816.517
AT ITER 8934 NEW BEST:: SOT 1215521 SOS 284515 HAS SOPS 258712 HAS SOUS 201710 HAS SOUPS 197501 WITH SCORE 197785.515
AT ITER 8959 NEW BEST:: SOT 1215458 SOS 284452 HAS SOPS 258586 HAS SOUS 201647 HAS SOUPS 197375 WITH SCORE 197659.452
AT ITER 8969 NEW BEST:: SOT 1215421 SOS 284406 HAS SOPS 258540 HAS SOUS 201507 HAS SOUPS 197235 WITH SCORE 197519.406
AT ITER 8970 NEW BEST:: SOT 1215421 SOS 284401 HAS SOPS 258535 HAS SOUS 201502 HAS SOUPS 197230 WITH SCORE 197514.401
AT ITER 8989 NEW BEST:: SOT 1215513 SOS 284493 HAS SOPS 258627 HAS SOUS 201481 HAS SOUPS 197209 WITH SCORE 197493.493
AT ITER 8999 NEW BEST:: SOT 1215513 SOS 284493 HAS SOPS 258627 HAS SOUS 201463 HAS SOUPS 197191 WITH SCORE 197475.493
AT ITER 9000 NEW BEST:: SOT 1215502 SOS 284547 HAS SOPS 258681 HAS SOUS 201452 HAS SOUPS 197180 WITH SCORE 197464.547
AT ITER 9003 NEW BEST:: SOT 1215502 SOS 284547 HAS SOPS 258681 HAS SOUS 201450 HAS SOUPS 197178 WITH SCORE 197462.547
AT ITER 9016 NEW BEST:: SOT 1215481 SOS 284526 HAS SOPS 258660 HAS SOUS 201408 HAS SOUPS 197136 WITH SCORE 197420.526
AT ITER 9065 NEW BEST:: SOT 1215437 SOS 285062 HAS SOPS 259196 HAS SOUS 201320 HAS SOUPS 197048 WITH SCORE 197333.062
AT ITER 9080 NEW BEST:: SOT 1215437 SOS 284868 HAS SOPS 259002 HAS SOUS 201312 HAS SOUPS 197040 WITH SCORE 197324.868
AT ITER 9089 NEW BEST:: SOT 1215429 SOS 284860 HAS SOPS 258994 HAS SOUS 201296 HAS SOUPS 197024 WITH SCORE 197308.86
AT ITER 9127 NEW BEST:: SOT 1215429 SOS 284835 HAS SOPS 258969 HAS SOUS 201296 HAS SOUPS 197024 WITH SCORE 197308.835
AT ITER 9129 NEW BEST:: SOT 1216040 SOS 285505 HAS SOPS 258629 HAS SOUS 201076 HAS SOUPS 196731 WITH SCORE 197016.505
AT ITER 9194 NEW BEST:: SOT 1216040 SOS 285509 HAS SOPS 258633 HAS SOUS 201072 HAS SOUPS 196727 WITH SCORE 197012.509
AT ITER 9196 NEW BEST:: SOT 1216021 SOS 285482 HAS SOPS 258606 HAS SOUS 201045 HAS SOUPS 196700 WITH SCORE 196985.482
AT ITER 9208 NEW BEST:: SOT 1216004 SOS 285465 HAS SOPS 258589 HAS SOUS 201011 HAS SOUPS 196666 WITH SCORE 196951.465
AT ITER 9218 NEW BEST:: SOT 1215973 SOS 285478 HAS SOPS 258602 HAS SOUS 200994 HAS SOUPS 196649 WITH SCORE 196934.478
AT ITER 9246 NEW BEST:: SOT 1215922 SOS 285490 HAS SOPS 258614 HAS SOUS 200934 HAS SOUPS 196589 WITH SCORE 196874.49
AT ITER 9252 NEW BEST:: SOT 1215881 SOS 285449 HAS SOPS 258573 HAS SOUS 200812 HAS SOUPS 196467 WITH SCORE 196752.449
AT ITER 9255 NEW BEST:: SOT 1215851 SOS 285386 HAS SOPS 258510 HAS SOUS 200733 HAS SOUPS 196388 WITH SCORE 196673.386
AT ITER 9329 NEW BEST:: SOT 1215827 SOS 285362 HAS SOPS 258486 HAS SOUS 200709 HAS SOUPS 196364 WITH SCORE 196649.362
AT ITER 9341 NEW BEST:: SOT 1215842 SOS 285377 HAS SOPS 258501 HAS SOUS 200644 HAS SOUPS 196299 WITH SCORE 196584.377
AT ITER 9346 NEW BEST:: SOT 1215842 SOS 285358 HAS SOPS 258482 HAS SOUS 200644 HAS SOUPS 196299 WITH SCORE 196584.358
AT ITER 9349 NEW BEST:: SOT 1215811 SOS 285328 HAS SOPS 258452 HAS SOUS 200582 HAS SOUPS 196237 WITH SCORE 196522.328
AT ITER 9385 NEW BEST:: SOT 1215714 SOS 285273 HAS SOPS 258300 HAS SOUS 200388 HAS SOUPS 196043 WITH SCORE 196328.273
AT ITER 9391 NEW BEST:: SOT 1215675 SOS 285273 HAS SOPS 258261 HAS SOUS 200349 HAS SOUPS 195965 WITH SCORE 196250.273
AT ITER 9400 NEW BEST:: SOT 1215536 SOS 285140 HAS SOPS 258128 HAS SOUS 200251 HAS SOUPS 195867 WITH SCORE 196152.14
AT ITER 9417 NEW BEST:: SOT 1215649 SOS 285253 HAS SOPS 258241 HAS SOUS 200240 HAS SOUPS 195856 WITH SCORE 196141.253
AT ITER 9425 NEW BEST:: SOT 1215649 SOS 285252 HAS SOPS 258240 HAS SOUS 200240 HAS SOUPS 195856 WITH SCORE 196141.252
AT ITER 9450 NEW BEST:: SOT 1215620 SOS 285223 HAS SOPS 258211 HAS SOUS 200211 HAS SOUPS 195827 WITH SCORE 196112.223
AT ITER 9456 NEW BEST:: SOT 1215620 SOS 285205 HAS SOPS 258193 HAS SOUS 200211 HAS SOUPS 195827 WITH SCORE 196112.205
AT ITER 9484 NEW BEST:: SOT 1215620 SOS 285200 HAS SOPS 258188 HAS SOUS 200195 HAS SOUPS 195811 WITH SCORE 196096.2
AT ITER 9499 NEW BEST:: SOT 1215620 SOS 285062 HAS SOPS 258050 HAS SOUS 200193 HAS SOUPS 195809 WITH SCORE 196094.062
AT ITER 9513 NEW BEST:: SOT 1215577 SOS 285002 HAS SOPS 257990 HAS SOUS 200147 HAS SOUPS 195763 WITH SCORE 196048.002
AT ITER 9561 NEW BEST:: SOT 1215577 SOS 285002 HAS SOPS 257990 HAS SOUS 200084 HAS SOUPS 195700 WITH SCORE 195985.002
AT ITER 9564 NEW BEST:: SOT 1215616 SOS 285041 HAS SOPS 258029 HAS SOUS 200049 HAS SOUPS 195665 WITH SCORE 195950.041
AT ITER 9597 NEW BEST:: SOT 1215609 SOS 285065 HAS SOPS 258046 HAS SOUS 199992 HAS SOUPS 195608 WITH SCORE 195893.065
AT ITER 9676 NEW BEST:: SOT 1215609 SOS 285064 HAS SOPS 258045 HAS SOUS 199908 HAS SOUPS 195524 WITH SCORE 195809.064
AT ITER 9684 NEW BEST:: SOT 1215609 SOS 285000 HAS SOPS 257981 HAS SOUS 199908 HAS SOUPS 195524 WITH SCORE 195809.0
AT ITER 9768 NEW BEST:: SOT 1215609 SOS 284883 HAS SOPS 257864 HAS SOUS 199725 HAS SOUPS 195341 WITH SCORE 195625.883
AT ITER 9778 NEW BEST:: SOT 1215611 SOS 284885 HAS SOPS 257866 HAS SOUS 199718 HAS SOUPS 195334 WITH SCORE 195618.885
AT ITER 9814 NEW BEST:: SOT 1215562 SOS 284836 HAS SOPS 257817 HAS SOUS 199620 HAS SOUPS 195236 WITH SCORE 195520.836
AT ITER 9821 NEW BEST:: SOT 1215562 SOS 284822 HAS SOPS 257803 HAS SOUS 199620 HAS SOUPS 195236 WITH SCORE 195520.822
AT ITER 9839 NEW BEST:: SOT 1215398 SOS 285663 HAS SOPS 258706 HAS SOUS 199528 HAS SOUPS 195144 WITH SCORE 195429.663
AT ITER 9840 NEW BEST:: SOT 1215398 SOS 285549 HAS SOPS 258592 HAS SOUS 199528 HAS SOUPS 195144 WITH SCORE 195429.549
AT ITER 9857 NEW BEST:: SOT 1215393 SOS 285539 HAS SOPS 258582 HAS SOUS 199518 HAS SOUPS 195134 WITH SCORE 195419.539
AT ITER 9869 NEW BEST:: SOT 1215357 SOS 285503 HAS SOPS 258546 HAS SOUS 199446 HAS SOUPS 195062 WITH SCORE 195347.503
AT ITER 9871 NEW BEST:: SOT 1215281 SOS 285557 HAS SOPS 258600 HAS SOUS 199424 HAS SOUPS 195040 WITH SCORE 195325.557
AT ITER 9882 NEW BEST:: SOT 1215277 SOS 285553 HAS SOPS 258596 HAS SOUS 199416 HAS SOUPS 195032 WITH SCORE 195317.553
AT ITER 9892 NEW BEST:: SOT 1215276 SOS 285552 HAS SOPS 258595 HAS SOUS 199414 HAS SOUPS 195030 WITH SCORE 195315.552
AT ITER 9911 NEW BEST:: SOT 1215269 SOS 285474 HAS SOPS 258517 HAS SOUS 199384 HAS SOUPS 195000 WITH SCORE 195285.474
AT ITER 9924 NEW BEST:: SOT 1215244 SOS 285340 HAS SOPS 258383 HAS SOUS 199292 HAS SOUPS 194908 WITH SCORE 195193.34
AT ITER 9930 NEW BEST:: SOT 1215237 SOS 285333 HAS SOPS 258376 HAS SOUS 199285 HAS SOUPS 194901 WITH SCORE 195186.333
AT ITER 9940 NEW BEST:: SOT 1214689 SOS 285087 HAS SOPS 258333 HAS SOUS 199006 HAS SOUPS 194631 WITH SCORE 194916.087
AT ITER 9966 NEW BEST:: SOT 1214689 SOS 285087 HAS SOPS 258333 HAS SOUS 198998 HAS SOUPS 194623 WITH SCORE 194908.087
AT ITER 9970 NEW BEST:: SOT 1214750 SOS 285148 HAS SOPS 258394 HAS SOUS 198923 HAS SOUPS 194548 WITH SCORE 194833.148
AT ITER 9990 NEW BEST:: SOT 1214750 SOS 285148 HAS SOPS 258394 HAS SOUS 198921 HAS SOUPS 194546 WITH SCORE 194831.148
AT ITER 9999 NEW BEST:: SOT 1214748 SOS 285146 HAS SOPS 258392 HAS SOUS 198917 HAS SOUPS 194542 WITH SCORE 194827.146
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8629932 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152416 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S16C3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is LeafsetExtension-PT-S16C3, 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 r227-tall-167856410500488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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