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.r099-tall-167814472600552.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 DLCflexbar-PT-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600552
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 14:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 14:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 14:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678249622607

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=DLCflexbar-PT-4b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4b
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: 11440 places, 17128 transitions, 46731 arcs.
AT ITER 0 NEW BEST:: SOT 127073173 SOS 27850704 HAS SOPS 27850704 HAS SOUS 18098030 HAS SOUPS 18098030 WITH SCORE 1.8125880704E7
AT ITER 4 NEW BEST:: SOT 127072935 SOS 27850228 HAS SOPS 27850228 HAS SOUS 18097554 HAS SOUPS 18097554 WITH SCORE 1.8125404228E7
AT ITER 21 NEW BEST:: SOT 127072935 SOS 27851424 HAS SOPS 27851424 HAS SOUS 18097552 HAS SOUPS 18097552 WITH SCORE 1.8125403424E7
AT ITER 55 NEW BEST:: SOT 127072802 SOS 27851158 HAS SOPS 27851158 HAS SOUS 18097286 HAS SOUPS 18097286 WITH SCORE 1.8125137158E7
AT ITER 77 NEW BEST:: SOT 127072368 SOS 27850941 HAS SOPS 27850941 HAS SOUS 18097069 HAS SOUPS 18097069 WITH SCORE 1.8124919941E7
AT ITER 92 NEW BEST:: SOT 127072367 SOS 27850939 HAS SOPS 27850939 HAS SOUS 18097067 HAS SOUPS 18097067 WITH SCORE 1.8124917939E7
AT ITER 118 NEW BEST:: SOT 127071867 SOS 27850672 HAS SOPS 27850672 HAS SOUS 18096800 HAS SOUPS 18096800 WITH SCORE 1.8124650672E7
AT ITER 120 NEW BEST:: SOT 127071867 SOS 27854050 HAS SOPS 27854050 HAS SOUS 18095886 HAS SOUPS 18095886 WITH SCORE 1.812374005E7
AT ITER 127 NEW BEST:: SOT 127071866 SOS 27854048 HAS SOPS 27854048 HAS SOUS 18095884 HAS SOUPS 18095884 WITH SCORE 1.8123738048E7
AT ITER 137 NEW BEST:: SOT 127071054 SOS 27853232 HAS SOPS 27853232 HAS SOUS 18095071 HAS SOUPS 18095071 WITH SCORE 1.8122924232E7
AT ITER 140 NEW BEST:: SOT 127069365 SOS 27852996 HAS SOPS 27852996 HAS SOUS 18094111 HAS SOUPS 18094111 WITH SCORE 1.8121963996E7
AT ITER 174 NEW BEST:: SOT 127068104 SOS 27854254 HAS SOPS 27854254 HAS SOUS 18094109 HAS SOUPS 18094109 WITH SCORE 1.8121963254E7
AT ITER 184 NEW BEST:: SOT 127068104 SOS 27853963 HAS SOPS 27853963 HAS SOUS 18093818 HAS SOUPS 18093818 WITH SCORE 1.8121671963E7
AT ITER 195 NEW BEST:: SOT 127067678 SOS 27853111 HAS SOPS 27853111 HAS SOUS 18092290 HAS SOUPS 18092290 WITH SCORE 1.8120143111E7
AT ITER 216 NEW BEST:: SOT 127059802 SOS 27847383 HAS SOPS 27847383 HAS SOUS 18087994 HAS SOUPS 18087994 WITH SCORE 1.8115841383E7
AT ITER 223 NEW BEST:: SOT 127059161 SOS 27846742 HAS SOPS 27846742 HAS SOUS 18087985 HAS SOUPS 18087985 WITH SCORE 1.8115831742E7
AT ITER 243 NEW BEST:: SOT 127026604 SOS 27823616 HAS SOPS 27823616 HAS SOUS 18055787 HAS SOUPS 18055787 WITH SCORE 1.8083610616E7
AT ITER 247 NEW BEST:: SOT 127023958 SOS 27826323 HAS SOPS 27826323 HAS SOUS 18055027 HAS SOUPS 18055027 WITH SCORE 1.8082853323E7
AT ITER 264 NEW BEST:: SOT 127022552 SOS 27823511 HAS SOPS 27823511 HAS SOUS 18052215 HAS SOUPS 18052215 WITH SCORE 1.8080038511E7
AT ITER 281 NEW BEST:: SOT 127022703 SOS 27823813 HAS SOPS 27823813 HAS SOUS 18051470 HAS SOUPS 18051470 WITH SCORE 1.8079293813E7
AT ITER 289 NEW BEST:: SOT 127022569 SOS 27823545 HAS SOPS 27823545 HAS SOUS 18051202 HAS SOUPS 18051202 WITH SCORE 1.8079025545E7
AT ITER 294 NEW BEST:: SOT 127021763 SOS 27823484 HAS SOPS 27823484 HAS SOUS 18051028 HAS SOUPS 18051028 WITH SCORE 1.8078851484E7
AT ITER 336 NEW BEST:: SOT 127021763 SOS 27823484 HAS SOPS 27823484 HAS SOUS 18050970 HAS SOUPS 18050970 WITH SCORE 1.8078793484E7
AT ITER 337 NEW BEST:: SOT 127020651 SOS 27821260 HAS SOPS 27821260 HAS SOUS 18048746 HAS SOUPS 18048746 WITH SCORE 1.807656726E7
AT ITER 349 NEW BEST:: SOT 127020650 SOS 27820083 HAS SOPS 27820083 HAS SOUS 18047569 HAS SOUPS 18047569 WITH SCORE 1.8075389083E7
AT ITER 438 NEW BEST:: SOT 127020573 SOS 27820020 HAS SOPS 27820020 HAS SOUS 18047506 HAS SOUPS 18047506 WITH SCORE 1.807532602E7
AT ITER 473 NEW BEST:: SOT 127019678 SOS 27821965 HAS SOPS 27821965 HAS SOUS 18046611 HAS SOUPS 18046611 WITH SCORE 1.8074432965E7
AT ITER 478 NEW BEST:: SOT 127019678 SOS 27821214 HAS SOPS 27821214 HAS SOUS 18046611 HAS SOUPS 18046611 WITH SCORE 1.8074432214E7
AT ITER 482 NEW BEST:: SOT 127017330 SOS 27818862 HAS SOPS 27818862 HAS SOUS 18044262 HAS SOUPS 18044262 WITH SCORE 1.8072080862E7
AT ITER 522 NEW BEST:: SOT 127016989 SOS 27818180 HAS SOPS 27818180 HAS SOUS 18043580 HAS SOUPS 18043580 WITH SCORE 1.807139818E7
AT ITER 591 NEW BEST:: SOT 127016562 SOS 27817326 HAS SOPS 27817326 HAS SOUS 18042726 HAS SOUPS 18042726 WITH SCORE 1.8070543326E7
AT ITER 615 NEW BEST:: SOT 127016548 SOS 27817298 HAS SOPS 27817298 HAS SOUS 18042698 HAS SOUPS 18042698 WITH SCORE 1.8070515298E7
AT ITER 633 NEW BEST:: SOT 127016048 SOS 27817048 HAS SOPS 27817048 HAS SOUS 18042448 HAS SOUPS 18042448 WITH SCORE 1.8070265048E7
AT ITER 671 NEW BEST:: SOT 127015432 SOS 27818276 HAS SOPS 27818276 HAS SOUS 18041831 HAS SOUPS 18041831 WITH SCORE 1.8069649276E7
AT ITER 676 NEW BEST:: SOT 127014552 SOS 27818079 HAS SOPS 27818079 HAS SOUS 18041637 HAS SOUPS 18041637 WITH SCORE 1.8069455079E7
AT ITER 683 NEW BEST:: SOT 127014552 SOS 27818079 HAS SOPS 27818079 HAS SOUS 18041636 HAS SOUPS 18041636 WITH SCORE 1.8069454079E7
AT ITER 701 NEW BEST:: SOT 127013622 SOS 27817404 HAS SOPS 27817404 HAS SOUS 18040961 HAS SOUPS 18040961 WITH SCORE 1.8068778404E7
AT ITER 707 NEW BEST:: SOT 127013187 SOS 27816534 HAS SOPS 27816534 HAS SOUS 18040525 HAS SOUPS 18040525 WITH SCORE 1.8068341534E7
AT ITER 714 NEW BEST:: SOT 127011894 SOS 27813948 HAS SOPS 27813948 HAS SOUS 18037939 HAS SOUPS 18037939 WITH SCORE 1.8065752948E7
AT ITER 755 NEW BEST:: SOT 127009482 SOS 27811532 HAS SOPS 27811532 HAS SOUS 18036732 HAS SOUPS 18036732 WITH SCORE 1.8064543532E7
AT ITER 759 NEW BEST:: SOT 127009626 SOS 27811820 HAS SOPS 27811820 HAS SOUS 18034144 HAS SOUPS 18034144 WITH SCORE 1.806195582E7
AT ITER 762 NEW BEST:: SOT 127009318 SOS 27811204 HAS SOPS 27811204 HAS SOUS 18033528 HAS SOUPS 18033528 WITH SCORE 1.8061339204E7
AT ITER 763 NEW BEST:: SOT 127009318 SOS 27814599 HAS SOPS 27814599 HAS SOUS 18032394 HAS SOUPS 18032394 WITH SCORE 1.8060208599E7
AT ITER 807 NEW BEST:: SOT 127008134 SOS 27812232 HAS SOPS 27812232 HAS SOUS 18030027 HAS SOUPS 18030027 WITH SCORE 1.8057839232E7
AT ITER 826 NEW BEST:: SOT 127006072 SOS 27814290 HAS SOPS 27814290 HAS SOUS 18025902 HAS SOUPS 18025902 WITH SCORE 1.805371629E7
AT ITER 852 NEW BEST:: SOT 127006305 SOS 27822405 HAS SOPS 27822405 HAS SOUS 18023816 HAS SOUPS 18023816 WITH SCORE 1.8051638405E7
AT ITER 861 NEW BEST:: SOT 127005424 SOS 27821524 HAS SOPS 27821524 HAS SOUS 18022935 HAS SOUPS 18022935 WITH SCORE 1.8050756524E7
AT ITER 874 NEW BEST:: SOT 127004869 SOS 27820969 HAS SOPS 27820969 HAS SOUS 18022380 HAS SOUPS 18022380 WITH SCORE 1.8050200969E7
AT ITER 880 NEW BEST:: SOT 127004701 SOS 27820633 HAS SOPS 27820633 HAS SOUS 18021738 HAS SOUPS 18021738 WITH SCORE 1.8049558633E7
AT ITER 911 NEW BEST:: SOT 127002960 SOS 27817151 HAS SOPS 27817151 HAS SOUS 18017543 HAS SOUPS 18017543 WITH SCORE 1.8045360151E7
AT ITER 913 NEW BEST:: SOT 127002847 SOS 27816925 HAS SOPS 27816925 HAS SOUS 18015983 HAS SOUPS 18015983 WITH SCORE 1.8043799925E7
AT ITER 932 NEW BEST:: SOT 127002847 SOS 27816985 HAS SOPS 27816985 HAS SOUS 18015981 HAS SOUPS 18015981 WITH SCORE 1.8043797985E7
AT ITER 963 NEW BEST:: SOT 127002847 SOS 27816985 HAS SOPS 27816985 HAS SOUS 18015980 HAS SOUPS 18015980 WITH SCORE 1.8043796985E7
AT ITER 966 NEW BEST:: SOT 127003564 SOS 27817702 HAS SOPS 27817702 HAS SOUS 18015979 HAS SOUPS 18015979 WITH SCORE 1.8043796702E7
AT ITER 971 NEW BEST:: SOT 127002073 SOS 27819190 HAS SOPS 27819190 HAS SOUS 18015977 HAS SOUPS 18015977 WITH SCORE 1.804379619E7
AT ITER 985 NEW BEST:: SOT 127002072 SOS 27818029 HAS SOPS 27818029 HAS SOUS 18014816 HAS SOUPS 18014816 WITH SCORE 1.8042634029E7
AT ITER 997 NEW BEST:: SOT 127001707 SOS 27820574 HAS SOPS 27820574 HAS SOUS 18014085 HAS SOUPS 18014085 WITH SCORE 1.8041905574E7
AT ITER 1012 NEW BEST:: SOT 127001550 SOS 27820523 HAS SOPS 27820523 HAS SOUS 18013982 HAS SOUPS 18013982 WITH SCORE 1.8041802523E7
AT ITER 1013 NEW BEST:: SOT 127000585 SOS 27819554 HAS SOPS 27819554 HAS SOUS 18013016 HAS SOUPS 18013016 WITH SCORE 1.8040835554E7
AT ITER 1016 NEW BEST:: SOT 126999614 SOS 27820521 HAS SOPS 27820521 HAS SOUS 18012790 HAS SOUPS 18012790 WITH SCORE 1.8040610521E7
AT ITER 1041 NEW BEST:: SOT 126999613 SOS 27819371 HAS SOPS 27819371 HAS SOUS 18011640 HAS SOUPS 18011640 WITH SCORE 1.8039459371E7
AT ITER 1043 NEW BEST:: SOT 126997864 SOS 27815873 HAS SOPS 27815873 HAS SOUS 18008947 HAS SOUPS 18008947 WITH SCORE 1.8036762873E7
AT ITER 1053 NEW BEST:: SOT 126997864 SOS 27815491 HAS SOPS 27815491 HAS SOUS 18008756 HAS SOUPS 18008756 WITH SCORE 1.8036571491E7
AT ITER 1073 NEW BEST:: SOT 126997204 SOS 27814171 HAS SOPS 27814171 HAS SOUS 18007436 HAS SOUPS 18007436 WITH SCORE 1.8035250171E7
AT ITER 1085 NEW BEST:: SOT 126995457 SOS 27814171 HAS SOPS 27814171 HAS SOUS 18005689 HAS SOUPS 18005689 WITH SCORE 1.8033503171E7
AT ITER 1107 NEW BEST:: SOT 126994568 SOS 27813282 HAS SOPS 27813282 HAS SOUS 18004800 HAS SOUPS 18004800 WITH SCORE 1.8032613282E7
AT ITER 1114 NEW BEST:: SOT 126994718 SOS 27813002 HAS SOPS 27813002 HAS SOUS 18004520 HAS SOUPS 18004520 WITH SCORE 1.8032333002E7
AT ITER 1126 NEW BEST:: SOT 126994718 SOS 27814908 HAS SOPS 27814908 HAS SOUS 18004518 HAS SOUPS 18004518 WITH SCORE 1.8032332908E7
AT ITER 1138 NEW BEST:: SOT 126992416 SOS 27803398 HAS SOPS 27803398 HAS SOUS 17999914 HAS SOUPS 17999914 WITH SCORE 1.8027717398E7
AT ITER 1154 NEW BEST:: SOT 126992192 SOS 27803286 HAS SOPS 27803286 HAS SOUS 17999802 HAS SOUPS 17999802 WITH SCORE 1.8027605286E7
AT ITER 1166 NEW BEST:: SOT 126992192 SOS 27803286 HAS SOPS 27803286 HAS SOUS 17997257 HAS SOUPS 17997257 WITH SCORE 1.8025060286E7
AT ITER 1184 NEW BEST:: SOT 126991709 SOS 27802320 HAS SOPS 27802320 HAS SOUS 17996291 HAS SOUPS 17996291 WITH SCORE 1.802409332E7
AT ITER 1193 NEW BEST:: SOT 126990833 SOS 27800568 HAS SOPS 27800568 HAS SOUS 17994539 HAS SOUPS 17994539 WITH SCORE 1.8022339568E7
AT ITER 1206 NEW BEST:: SOT 126990833 SOS 27800568 HAS SOPS 27800568 HAS SOUS 17992344 HAS SOUPS 17992344 WITH SCORE 1.8020144568E7
AT ITER 1219 NEW BEST:: SOT 126989167 SOS 27799408 HAS SOPS 27799408 HAS SOUS 17990933 HAS SOUPS 17990933 WITH SCORE 1.8018732408E7
AT ITER 1222 NEW BEST:: SOT 126988646 SOS 27798366 HAS SOPS 27798366 HAS SOUS 17989891 HAS SOUPS 17989891 WITH SCORE 1.8017689366E7
AT ITER 1243 NEW BEST:: SOT 126987378 SOS 27797647 HAS SOPS 27797647 HAS SOUS 17989172 HAS SOUPS 17989172 WITH SCORE 1.8016969647E7
AT ITER 1290 NEW BEST:: SOT 126987293 SOS 27797477 HAS SOPS 27797477 HAS SOUS 17987992 HAS SOUPS 17987992 WITH SCORE 1.8015789477E7
AT ITER 1293 NEW BEST:: SOT 126986086 SOS 27795354 HAS SOPS 27795354 HAS SOUS 17985869 HAS SOUPS 17985869 WITH SCORE 1.8013664354E7
AT ITER 1301 NEW BEST:: SOT 126986275 SOS 27794991 HAS SOPS 27794991 HAS SOUS 17985506 HAS SOUPS 17985506 WITH SCORE 1.8013300991E7
AT ITER 1311 NEW BEST:: SOT 126986275 SOS 27794829 HAS SOPS 27794829 HAS SOUS 17985506 HAS SOUPS 17985506 WITH SCORE 1.8013300829E7
AT ITER 1323 NEW BEST:: SOT 126985315 SOS 27781981 HAS SOPS 27781981 HAS SOUS 17981166 HAS SOUPS 17981166 WITH SCORE 1.8008947981E7
AT ITER 1416 NEW BEST:: SOT 126985058 SOS 27786101 HAS SOPS 27786101 HAS SOUS 17980909 HAS SOUPS 17980909 WITH SCORE 1.8008695101E7
AT ITER 1450 NEW BEST:: SOT 126983230 SOS 27784269 HAS SOPS 27784269 HAS SOUS 17979080 HAS SOUPS 17979080 WITH SCORE 1.8006864269E7
AT ITER 1457 NEW BEST:: SOT 126982911 SOS 27783632 HAS SOPS 27783632 HAS SOUS 17978443 HAS SOUPS 17978443 WITH SCORE 1.8006226632E7
AT ITER 1479 NEW BEST:: SOT 126982788 SOS 27783386 HAS SOPS 27783386 HAS SOUS 17978197 HAS SOUPS 17978197 WITH SCORE 1.8005980386E7
AT ITER 1482 NEW BEST:: SOT 126982929 SOS 27782144 HAS SOPS 27782144 HAS SOUS 17977642 HAS SOUPS 17977642 WITH SCORE 1.8005424144E7
AT ITER 1493 NEW BEST:: SOT 126982872 SOS 27782198 HAS SOPS 27782198 HAS SOUS 17977584 HAS SOUPS 17977584 WITH SCORE 1.8005366198E7
AT ITER 1512 NEW BEST:: SOT 126982872 SOS 27781724 HAS SOPS 27781724 HAS SOUS 17977584 HAS SOUPS 17977584 WITH SCORE 1.8005365724E7
AT ITER 1514 NEW BEST:: SOT 126982871 SOS 27781082 HAS SOPS 27781082 HAS SOUS 17976942 HAS SOUPS 17976942 WITH SCORE 1.8004723082E7
AT ITER 1531 NEW BEST:: SOT 126983458 SOS 27782256 HAS SOPS 27782256 HAS SOUS 17976633 HAS SOUPS 17976633 WITH SCORE 1.8004415256E7
AT ITER 1557 NEW BEST:: SOT 126983361 SOS 27782062 HAS SOPS 27782062 HAS SOUS 17976439 HAS SOUPS 17976439 WITH SCORE 1.8004221062E7
AT ITER 1567 NEW BEST:: SOT 126983361 SOS 27782061 HAS SOPS 27782061 HAS SOUS 17976437 HAS SOUPS 17976437 WITH SCORE 1.8004219061E7
AT ITER 1575 NEW BEST:: SOT 126983361 SOS 27782061 HAS SOPS 27782061 HAS SOUS 17976436 HAS SOUPS 17976436 WITH SCORE 1.8004218061E7
AT ITER 1580 NEW BEST:: SOT 126983361 SOS 27786305 HAS SOPS 27786305 HAS SOUS 17976380 HAS SOUPS 17976380 WITH SCORE 1.8004166305E7
AT ITER 1606 NEW BEST:: SOT 126983006 SOS 27785950 HAS SOPS 27785950 HAS SOUS 17976025 HAS SOUPS 17976025 WITH SCORE 1.800381095E7
AT ITER 1623 NEW BEST:: SOT 126983006 SOS 27787740 HAS SOPS 27787740 HAS SOUS 17976023 HAS SOUPS 17976023 WITH SCORE 1.800381074E7
AT ITER 1630 NEW BEST:: SOT 126981821 SOS 27785370 HAS SOPS 27785370 HAS SOUS 17971128 HAS SOUPS 17971128 WITH SCORE 1.799891337E7
AT ITER 1660 NEW BEST:: SOT 126981821 SOS 27785043 HAS SOPS 27785043 HAS SOUS 17970801 HAS SOUPS 17970801 WITH SCORE 1.7998586043E7
AT ITER 1686 NEW BEST:: SOT 126980082 SOS 27784716 HAS SOPS 27784716 HAS SOUS 17970473 HAS SOUPS 17970473 WITH SCORE 1.7998257716E7
AT ITER 1750 NEW BEST:: SOT 126979176 SOS 27782904 HAS SOPS 27782904 HAS SOUS 17968661 HAS SOUPS 17968661 WITH SCORE 1.7996443904E7
AT ITER 1780 NEW BEST:: SOT 126977326 SOS 27781174 HAS SOPS 27781174 HAS SOUS 17966811 HAS SOUPS 17966811 WITH SCORE 1.7994592174E7
AT ITER 1781 NEW BEST:: SOT 126976831 SOS 27781078 HAS SOPS 27781078 HAS SOUS 17966152 HAS SOUPS 17966152 WITH SCORE 1.7993933078E7
AT ITER 1807 NEW BEST:: SOT 126976583 SOS 27776396 HAS SOPS 27776396 HAS SOUS 17963811 HAS SOUPS 17963811 WITH SCORE 1.7991587396E7
AT ITER 1811 NEW BEST:: SOT 126975297 SOS 27776386 HAS SOPS 27776386 HAS SOUS 17963045 HAS SOUPS 17963045 WITH SCORE 1.7990821386E7
AT ITER 1820 NEW BEST:: SOT 126974021 SOS 27773834 HAS SOPS 27773834 HAS SOUS 17960493 HAS SOUPS 17960493 WITH SCORE 1.7988266834E7
AT ITER 1823 NEW BEST:: SOT 126973228 SOS 27772248 HAS SOPS 27772248 HAS SOUS 17958907 HAS SOUPS 17958907 WITH SCORE 1.7986679248E7
AT ITER 1828 NEW BEST:: SOT 126968257 SOS 27769236 HAS SOPS 27769236 HAS SOUS 17956885 HAS SOUPS 17956885 WITH SCORE 1.7984654236E7
AT ITER 1867 NEW BEST:: SOT 126965957 SOS 27768332 HAS SOPS 27768332 HAS SOUS 17955981 HAS SOUPS 17955981 WITH SCORE 1.7983749332E7
AT ITER 1868 NEW BEST:: SOT 126965356 SOS 27767130 HAS SOPS 27767130 HAS SOUS 17954779 HAS SOUPS 17954779 WITH SCORE 1.798254613E7
AT ITER 1873 NEW BEST:: SOT 126959628 SOS 27762706 HAS SOPS 27762706 HAS SOUS 17950355 HAS SOUPS 17950355 WITH SCORE 1.7978117706E7
AT ITER 1879 NEW BEST:: SOT 126960665 SOS 27773806 HAS SOPS 27773806 HAS SOUS 17949902 HAS SOUPS 17949902 WITH SCORE 1.7977675806E7
AT ITER 1919 NEW BEST:: SOT 126958788 SOS 27777677 HAS SOPS 27777677 HAS SOUS 17945927 HAS SOUPS 17945927 WITH SCORE 1.7973704677E7
AT ITER 1948 NEW BEST:: SOT 126958788 SOS 27777677 HAS SOPS 27777677 HAS SOUS 17945926 HAS SOUPS 17945926 WITH SCORE 1.7973703677E7
AT ITER 1969 NEW BEST:: SOT 126957905 SOS 27775025 HAS SOPS 27775025 HAS SOUS 17944159 HAS SOUPS 17944159 WITH SCORE 1.7971934025E7
AT ITER 1989 NEW BEST:: SOT 126958417 SOS 27780138 HAS SOPS 27780138 HAS SOUS 17943136 HAS SOUPS 17943136 WITH SCORE 1.7970916138E7
AT ITER 2001 NEW BEST:: SOT 126958920 SOS 27781144 HAS SOPS 27781144 HAS SOUS 17942307 HAS SOUPS 17942307 WITH SCORE 1.7970088144E7
AT ITER 2022 NEW BEST:: SOT 126958856 SOS 27781077 HAS SOPS 27781077 HAS SOUS 17942242 HAS SOUPS 17942242 WITH SCORE 1.7970023077E7
AT ITER 2024 NEW BEST:: SOT 126958856 SOS 27779559 HAS SOPS 27779559 HAS SOUS 17941736 HAS SOUPS 17941736 WITH SCORE 1.7969515559E7
AT ITER 2035 NEW BEST:: SOT 126958856 SOS 27779559 HAS SOPS 27779559 HAS SOUS 17941735 HAS SOUPS 17941735 WITH SCORE 1.7969514559E7
AT ITER 2068 NEW BEST:: SOT 126958505 SOS 27778155 HAS SOPS 27778155 HAS SOUS 17941033 HAS SOUPS 17941033 WITH SCORE 1.7968811155E7
AT ITER 2099 NEW BEST:: SOT 126958192 SOS 27777877 HAS SOPS 27777877 HAS SOUS 17940755 HAS SOUPS 17940755 WITH SCORE 1.7968532877E7
AT ITER 2163 NEW BEST:: SOT 126956088 SOS 27767357 HAS SOPS 27767357 HAS SOUS 17936547 HAS SOUPS 17936547 WITH SCORE 1.7964314357E7
AT ITER 2164 NEW BEST:: SOT 126953518 SOS 27762217 HAS SOPS 27762217 HAS SOUS 17931407 HAS SOUPS 17931407 WITH SCORE 1.7959169217E7
AT ITER 2182 NEW BEST:: SOT 126951362 SOS 27762214 HAS SOPS 27762214 HAS SOUS 17927094 HAS SOUPS 17927094 WITH SCORE 1.7954856214E7
AT ITER 2184 NEW BEST:: SOT 126951362 SOS 27766659 HAS SOPS 27766659 HAS SOUS 17925610 HAS SOUPS 17925610 WITH SCORE 1.7953376659E7
AT ITER 2193 NEW BEST:: SOT 126950729 SOS 27766175 HAS SOPS 27766175 HAS SOUS 17925051 HAS SOUPS 17925051 WITH SCORE 1.7952817175E7
AT ITER 2199 NEW BEST:: SOT 126948582 SOS 27742558 HAS SOPS 27742558 HAS SOUS 17920757 HAS SOUPS 17920757 WITH SCORE 1.7948499558E7
AT ITER 2215 NEW BEST:: SOT 126948582 SOS 27742445 HAS SOPS 27742445 HAS SOUS 17920644 HAS SOUPS 17920644 WITH SCORE 1.7948386445E7
AT ITER 2216 NEW BEST:: SOT 126948582 SOS 27743165 HAS SOPS 27743165 HAS SOUS 17920643 HAS SOUPS 17920643 WITH SCORE 1.7948386165E7
AT ITER 2237 NEW BEST:: SOT 126948037 SOS 27742075 HAS SOPS 27742075 HAS SOUS 17920097 HAS SOUPS 17920097 WITH SCORE 1.7947839075E7
AT ITER 2262 NEW BEST:: SOT 126948036 SOS 27742073 HAS SOPS 27742073 HAS SOUS 17920095 HAS SOUPS 17920095 WITH SCORE 1.7947837073E7
AT ITER 2267 NEW BEST:: SOT 126947609 SOS 27741642 HAS SOPS 27741642 HAS SOUS 17919667 HAS SOUPS 17919667 WITH SCORE 1.7947408642E7
AT ITER 2288 NEW BEST:: SOT 126943275 SOS 27738490 HAS SOPS 27738490 HAS SOUS 17917303 HAS SOUPS 17917303 WITH SCORE 1.794504149E7
AT ITER 2301 NEW BEST:: SOT 126938939 SOS 27738329 HAS SOPS 27738329 HAS SOUS 17917142 HAS SOUPS 17917142 WITH SCORE 1.7944880329E7
AT ITER 2315 NEW BEST:: SOT 126937665 SOS 27739599 HAS SOPS 27739599 HAS SOUS 17914593 HAS SOUPS 17914593 WITH SCORE 1.7942332599E7
AT ITER 2363 NEW BEST:: SOT 126937665 SOS 27738620 HAS SOPS 27738620 HAS SOUS 17914593 HAS SOUPS 17914593 WITH SCORE 1.794233162E7
AT ITER 2367 NEW BEST:: SOT 126937445 SOS 27738180 HAS SOPS 27738180 HAS SOUS 17914153 HAS SOUPS 17914153 WITH SCORE 1.794189118E7
AT ITER 2404 NEW BEST:: SOT 126937444 SOS 27738178 HAS SOPS 27738178 HAS SOUS 17914151 HAS SOUPS 17914151 WITH SCORE 1.7941889178E7
AT ITER 2411 NEW BEST:: SOT 126937443 SOS 27741058 HAS SOPS 27741058 HAS SOUS 17914148 HAS SOUPS 17914148 WITH SCORE 1.7941889058E7
AT ITER 2421 NEW BEST:: SOT 126937191 SOS 27740554 HAS SOPS 27740554 HAS SOUS 17913644 HAS SOUPS 17913644 WITH SCORE 1.7941384554E7
AT ITER 2438 NEW BEST:: SOT 126933259 SOS 27734656 HAS SOPS 27734656 HAS SOUS 17907746 HAS SOUPS 17907746 WITH SCORE 1.7935480656E7
AT ITER 2440 NEW BEST:: SOT 126933259 SOS 27734656 HAS SOPS 27734656 HAS SOUS 17907745 HAS SOUPS 17907745 WITH SCORE 1.7935479656E7
AT ITER 2441 NEW BEST:: SOT 126931414 SOS 27734028 HAS SOPS 27734028 HAS SOUS 17905900 HAS SOUPS 17905900 WITH SCORE 1.7933634028E7
AT ITER 2461 NEW BEST:: SOT 126930982 SOS 27734882 HAS SOPS 27734882 HAS SOUS 17905467 HAS SOUPS 17905467 WITH SCORE 1.7933201882E7
AT ITER 2480 NEW BEST:: SOT 126930376 SOS 27734272 HAS SOPS 27734272 HAS SOUS 17904860 HAS SOUPS 17904860 WITH SCORE 1.7932594272E7
AT ITER 2520 NEW BEST:: SOT 126928813 SOS 27732709 HAS SOPS 27732709 HAS SOUS 17903297 HAS SOUPS 17903297 WITH SCORE 1.7931029709E7
AT ITER 2525 NEW BEST:: SOT 126926240 SOS 27730952 HAS SOPS 27730952 HAS SOUS 17899438 HAS SOUPS 17899438 WITH SCORE 1.7927168952E7
AT ITER 2579 NEW BEST:: SOT 126926240 SOS 27729887 HAS SOPS 27729887 HAS SOUS 17899083 HAS SOUPS 17899083 WITH SCORE 1.7926812887E7
AT ITER 2595 NEW BEST:: SOT 126926053 SOS 27729513 HAS SOPS 27729513 HAS SOUS 17897529 HAS SOUPS 17897529 WITH SCORE 1.7925258513E7
AT ITER 2616 NEW BEST:: SOT 126924181 SOS 27727641 HAS SOPS 27727641 HAS SOUS 17895657 HAS SOUPS 17895657 WITH SCORE 1.7923384641E7
AT ITER 2619 NEW BEST:: SOT 126916635 SOS 27722167 HAS SOPS 27722167 HAS SOUS 17891557 HAS SOUPS 17891557 WITH SCORE 1.7919279167E7
AT ITER 2645 NEW BEST:: SOT 126916592 SOS 27722081 HAS SOPS 27722081 HAS SOUS 17891471 HAS SOUPS 17891471 WITH SCORE 1.7919193081E7
AT ITER 2648 NEW BEST:: SOT 126916502 SOS 27721901 HAS SOPS 27721901 HAS SOUS 17891291 HAS SOUPS 17891291 WITH SCORE 1.7919012901E7
AT ITER 2661 NEW BEST:: SOT 126916499 SOS 27721895 HAS SOPS 27721895 HAS SOUS 17891285 HAS SOUPS 17891285 WITH SCORE 1.7919006895E7
AT ITER 2664 NEW BEST:: SOT 126916498 SOS 27721893 HAS SOPS 27721893 HAS SOUS 17891283 HAS SOUPS 17891283 WITH SCORE 1.7919004893E7
AT ITER 2693 NEW BEST:: SOT 126916497 SOS 27721891 HAS SOPS 27721891 HAS SOUS 17891281 HAS SOUPS 17891281 WITH SCORE 1.7919002891E7
AT ITER 2700 NEW BEST:: SOT 126915885 SOS 27722089 HAS SOPS 27722089 HAS SOUS 17891143 HAS SOUPS 17891143 WITH SCORE 1.7918865089E7
AT ITER 2708 NEW BEST:: SOT 126915806 SOS 27721931 HAS SOPS 27721931 HAS SOUS 17890985 HAS SOUPS 17890985 WITH SCORE 1.7918706931E7
AT ITER 2712 NEW BEST:: SOT 126915584 SOS 27721709 HAS SOPS 27721709 HAS SOUS 17890763 HAS SOUPS 17890763 WITH SCORE 1.7918484709E7
AT ITER 2728 NEW BEST:: SOT 126914262 SOS 27721699 HAS SOPS 27721699 HAS SOUS 17889935 HAS SOUPS 17889935 WITH SCORE 1.7917656699E7
AT ITER 2760 NEW BEST:: SOT 126913930 SOS 27721035 HAS SOPS 27721035 HAS SOUS 17889009 HAS SOUPS 17889009 WITH SCORE 1.7916730035E7
AT ITER 2763 NEW BEST:: SOT 126911679 SOS 27716533 HAS SOPS 27716533 HAS SOUS 17884507 HAS SOUPS 17884507 WITH SCORE 1.7912223533E7
AT ITER 2813 NEW BEST:: SOT 126911633 SOS 27716441 HAS SOPS 27716441 HAS SOUS 17884415 HAS SOUPS 17884415 WITH SCORE 1.7912131441E7
AT ITER 2827 NEW BEST:: SOT 126911633 SOS 27716243 HAS SOPS 27716243 HAS SOUS 17884316 HAS SOUPS 17884316 WITH SCORE 1.7912032243E7
AT ITER 2845 NEW BEST:: SOT 126911143 SOS 27715998 HAS SOPS 27715998 HAS SOUS 17884071 HAS SOUPS 17884071 WITH SCORE 1.7911786998E7
AT ITER 2880 NEW BEST:: SOT 126910550 SOS 27716588 HAS SOPS 27716588 HAS SOUS 17884069 HAS SOUPS 17884069 WITH SCORE 1.7911785588E7
AT ITER 2896 NEW BEST:: SOT 126909659 SOS 27717112 HAS SOPS 27717112 HAS SOUS 17883919 HAS SOUPS 17883919 WITH SCORE 1.7911636112E7
AT ITER 2944 NEW BEST:: SOT 126909659 SOS 27716808 HAS SOPS 27716808 HAS SOUS 17883615 HAS SOUPS 17883615 WITH SCORE 1.7911331808E7
AT ITER 2950 NEW BEST:: SOT 126908479 SOS 27710908 HAS SOPS 27710908 HAS SOUS 17881255 HAS SOUPS 17881255 WITH SCORE 1.7908965908E7
AT ITER 2953 NEW BEST:: SOT 126907507 SOS 27708964 HAS SOPS 27708964 HAS SOUS 17878198 HAS SOUPS 17878198 WITH SCORE 1.7905906964E7
AT ITER 2955 NEW BEST:: SOT 126907056 SOS 27708513 HAS SOPS 27708513 HAS SOUS 17878198 HAS SOUPS 17878198 WITH SCORE 1.7905906513E7
AT ITER 3027 NEW BEST:: SOT 126907056 SOS 27708513 HAS SOPS 27708513 HAS SOUS 17877299 HAS SOUPS 17877299 WITH SCORE 1.7905007513E7
AT ITER 3112 NEW BEST:: SOT 126906736 SOS 27709515 HAS SOPS 27709515 HAS SOUS 17876979 HAS SOUPS 17876979 WITH SCORE 1.7904688515E7
AT ITER 3120 NEW BEST:: SOT 126906487 SOS 27710009 HAS SOPS 27710009 HAS SOUS 17876978 HAS SOUPS 17876978 WITH SCORE 1.7904688009E7
AT ITER 3133 NEW BEST:: SOT 126906519 SOS 27710073 HAS SOPS 27710073 HAS SOUS 17874065 HAS SOUPS 17874065 WITH SCORE 1.7901775073E7
AT ITER 3141 NEW BEST:: SOT 126906248 SOS 27709531 HAS SOPS 27709531 HAS SOUS 17873523 HAS SOUPS 17873523 WITH SCORE 1.7901232531E7
AT ITER 3143 NEW BEST:: SOT 126906248 SOS 27709531 HAS SOPS 27709531 HAS SOUS 17873522 HAS SOUPS 17873522 WITH SCORE 1.7901231531E7
AT ITER 3145 NEW BEST:: SOT 126905620 SOS 27708275 HAS SOPS 27708275 HAS SOUS 17872946 HAS SOUPS 17872946 WITH SCORE 1.7900654275E7
AT ITER 3161 NEW BEST:: SOT 126904278 SOS 27705591 HAS SOPS 27705591 HAS SOUS 17869695 HAS SOUPS 17869695 WITH SCORE 1.7897400591E7
AT ITER 3196 NEW BEST:: SOT 126904278 SOS 27703727 HAS SOPS 27703727 HAS SOUS 17868763 HAS SOUPS 17868763 WITH SCORE 1.7896466727E7
AT ITER 3230 NEW BEST:: SOT 126904277 SOS 27703521 HAS SOPS 27703521 HAS SOUS 17868557 HAS SOUPS 17868557 WITH SCORE 1.7896260521E7
AT ITER 3253 NEW BEST:: SOT 126904152 SOS 27703646 HAS SOPS 27703646 HAS SOUS 17868432 HAS SOUPS 17868432 WITH SCORE 1.7896135646E7
AT ITER 3290 NEW BEST:: SOT 126903188 SOS 27701718 HAS SOPS 27701718 HAS SOUS 17866504 HAS SOUPS 17866504 WITH SCORE 1.7894205718E7
AT ITER 3324 NEW BEST:: SOT 126903188 SOS 27701718 HAS SOPS 27701718 HAS SOUS 17866503 HAS SOUPS 17866503 WITH SCORE 1.7894204718E7
AT ITER 3328 NEW BEST:: SOT 126902122 SOS 27701239 HAS SOPS 27701239 HAS SOUS 17866021 HAS SOUPS 17866021 WITH SCORE 1.7893722239E7
AT ITER 3364 NEW BEST:: SOT 126902122 SOS 27700700 HAS SOPS 27700700 HAS SOUS 17866021 HAS SOUPS 17866021 WITH SCORE 1.78937217E7
AT ITER 3372 NEW BEST:: SOT 126898670 SOS 27700066 HAS SOPS 27700066 HAS SOUS 17865387 HAS SOUPS 17865387 WITH SCORE 1.7893087066E7
AT ITER 3384 NEW BEST:: SOT 126898518 SOS 27699458 HAS SOPS 27699458 HAS SOUS 17865235 HAS SOUPS 17865235 WITH SCORE 1.7892934458E7
AT ITER 3486 NEW BEST:: SOT 126898518 SOS 27698262 HAS SOPS 27698262 HAS SOUS 17864039 HAS SOUPS 17864039 WITH SCORE 1.7891737262E7
AT ITER 3487 NEW BEST:: SOT 126897980 SOS 27697724 HAS SOPS 27697724 HAS SOUS 17863501 HAS SOUPS 17863501 WITH SCORE 1.7891198724E7
AT ITER 3516 NEW BEST:: SOT 126898518 SOS 27707349 HAS SOPS 27707349 HAS SOUS 17861725 HAS SOUPS 17861725 WITH SCORE 1.7889432349E7
AT ITER 3524 NEW BEST:: SOT 126896658 SOS 27705489 HAS SOPS 27705489 HAS SOUS 17859865 HAS SOUPS 17859865 WITH SCORE 1.7887570489E7
AT ITER 3565 NEW BEST:: SOT 126896658 SOS 27705355 HAS SOPS 27705355 HAS SOUS 17859798 HAS SOUPS 17859798 WITH SCORE 1.7887503355E7
AT ITER 3615 NEW BEST:: SOT 126895639 SOS 27704332 HAS SOPS 27704332 HAS SOUS 17858778 HAS SOUPS 17858778 WITH SCORE 1.7886482332E7
AT ITER 3616 NEW BEST:: SOT 126895639 SOS 27704593 HAS SOPS 27704593 HAS SOUS 17858777 HAS SOUPS 17858777 WITH SCORE 1.7886481593E7
AT ITER 3619 NEW BEST:: SOT 126894794 SOS 27703673 HAS SOPS 27703673 HAS SOUS 17857857 HAS SOUPS 17857857 WITH SCORE 1.7885560673E7
AT ITER 3665 NEW BEST:: SOT 126826791 SOS 27667812 HAS SOPS 27667812 HAS SOUS 17791561 HAS SOUPS 17791561 WITH SCORE 1.7819228812E7
AT ITER 3675 NEW BEST:: SOT 126826689 SOS 27667914 HAS SOPS 27667914 HAS SOUS 17791459 HAS SOUPS 17791459 WITH SCORE 1.7819126914E7
AT ITER 3676 NEW BEST:: SOT 126826336 SOS 27667208 HAS SOPS 27667208 HAS SOUS 17790753 HAS SOUPS 17790753 WITH SCORE 1.7818420208E7
AT ITER 3678 NEW BEST:: SOT 126825677 SOS 27666549 HAS SOPS 27666549 HAS SOUS 17789435 HAS SOUPS 17789435 WITH SCORE 1.7817101549E7
AT ITER 3683 NEW BEST:: SOT 126825483 SOS 27666161 HAS SOPS 27666161 HAS SOUS 17789047 HAS SOUPS 17789047 WITH SCORE 1.7816713161E7
AT ITER 3694 NEW BEST:: SOT 126825483 SOS 27666773 HAS SOPS 27666773 HAS SOUS 17789045 HAS SOUPS 17789045 WITH SCORE 1.7816711773E7
AT ITER 3719 NEW BEST:: SOT 126823535 SOS 27666284 HAS SOPS 27666284 HAS SOUS 17787836 HAS SOUPS 17787836 WITH SCORE 1.7815502284E7
AT ITER 3723 NEW BEST:: SOT 126821289 SOS 27664034 HAS SOPS 27664034 HAS SOUS 17785589 HAS SOUPS 17785589 WITH SCORE 1.7813253034E7
AT ITER 3725 NEW BEST:: SOT 126821192 SOS 27663840 HAS SOPS 27663840 HAS SOUS 17785395 HAS SOUPS 17785395 WITH SCORE 1.781305884E7
AT ITER 3738 NEW BEST:: SOT 126821191 SOS 27663838 HAS SOPS 27663838 HAS SOUS 17785393 HAS SOUPS 17785393 WITH SCORE 1.7813056838E7
AT ITER 3758 NEW BEST:: SOT 126820929 SOS 27664358 HAS SOPS 27664358 HAS SOUS 17785130 HAS SOUPS 17785130 WITH SCORE 1.7812794358E7
AT ITER 3760 NEW BEST:: SOT 126820308 SOS 27665761 HAS SOPS 27665761 HAS SOUS 17784446 HAS SOUPS 17784446 WITH SCORE 1.7812111761E7
AT ITER 3787 NEW BEST:: SOT 126820308 SOS 27665761 HAS SOPS 27665761 HAS SOUS 17781711 HAS SOUPS 17781711 WITH SCORE 1.7809376761E7
AT ITER 3789 NEW BEST:: SOT 126820553 SOS 27663944 HAS SOPS 27663944 HAS SOUS 17781309 HAS SOUPS 17781309 WITH SCORE 1.7808972944E7
AT ITER 3793 NEW BEST:: SOT 126817069 SOS 27663324 HAS SOPS 27663324 HAS SOUS 17780689 HAS SOUPS 17780689 WITH SCORE 1.7808352324E7
AT ITER 3816 NEW BEST:: SOT 126815178 SOS 27661433 HAS SOPS 27661433 HAS SOUS 17776907 HAS SOUPS 17776907 WITH SCORE 1.7804568433E7
AT ITER 3869 NEW BEST:: SOT 126814304 SOS 27659685 HAS SOPS 27659685 HAS SOUS 17775159 HAS SOUPS 17775159 WITH SCORE 1.7802818685E7
AT ITER 3883 NEW BEST:: SOT 126812589 SOS 27657970 HAS SOPS 27657970 HAS SOUS 17773444 HAS SOUPS 17773444 WITH SCORE 1.780110197E7
AT ITER 3894 NEW BEST:: SOT 126812389 SOS 27657570 HAS SOPS 27657570 HAS SOUS 17772698 HAS SOUPS 17772698 WITH SCORE 1.780035557E7
AT ITER 3899 NEW BEST:: SOT 126810858 SOS 27659101 HAS SOPS 27659101 HAS SOUS 17770630 HAS SOUPS 17770630 WITH SCORE 1.7798289101E7
AT ITER 3911 NEW BEST:: SOT 126809499 SOS 27657742 HAS SOPS 27657742 HAS SOUS 17769271 HAS SOUPS 17769271 WITH SCORE 1.7796928742E7
AT ITER 3925 NEW BEST:: SOT 126808795 SOS 27657038 HAS SOPS 27657038 HAS SOUS 17768567 HAS SOUPS 17768567 WITH SCORE 1.7796224038E7
AT ITER 3945 NEW BEST:: SOT 126805379 SOS 27653622 HAS SOPS 27653622 HAS SOUS 17765151 HAS SOUPS 17765151 WITH SCORE 1.7792804622E7
AT ITER 3960 NEW BEST:: SOT 126804377 SOS 27651618 HAS SOPS 27651618 HAS SOUS 17763147 HAS SOUPS 17763147 WITH SCORE 1.7790798618E7
AT ITER 3975 NEW BEST:: SOT 126803802 SOS 27651618 HAS SOPS 27651618 HAS SOUS 17762572 HAS SOUPS 17762572 WITH SCORE 1.7790223618E7
AT ITER 3990 NEW BEST:: SOT 126803802 SOS 27651185 HAS SOPS 27651185 HAS SOUS 17762139 HAS SOUPS 17762139 WITH SCORE 1.7789790185E7
AT ITER 4022 NEW BEST:: SOT 126802708 SOS 27648997 HAS SOPS 27648997 HAS SOUS 17761045 HAS SOUPS 17761045 WITH SCORE 1.7788693997E7
AT ITER 4026 NEW BEST:: SOT 126802132 SOS 27647845 HAS SOPS 27647845 HAS SOUS 17759893 HAS SOUPS 17759893 WITH SCORE 1.7787540845E7
AT ITER 4040 NEW BEST:: SOT 126801540 SOS 27646661 HAS SOPS 27646661 HAS SOUS 17759301 HAS SOUPS 17759301 WITH SCORE 1.7786947661E7
AT ITER 4069 NEW BEST:: SOT 126799847 SOS 27645329 HAS SOPS 27645329 HAS SOUS 17757790 HAS SOUPS 17757790 WITH SCORE 1.7785435329E7
AT ITER 4109 NEW BEST:: SOT 126799847 SOS 27646224 HAS SOPS 27646224 HAS SOUS 17757789 HAS SOUPS 17757789 WITH SCORE 1.7785435224E7
AT ITER 4112 NEW BEST:: SOT 126797478 SOS 27645314 HAS SOPS 27645314 HAS SOUS 17756696 HAS SOUPS 17756696 WITH SCORE 1.7784341314E7
AT ITER 4178 NEW BEST:: SOT 126797386 SOS 27645130 HAS SOPS 27645130 HAS SOUS 17756604 HAS SOUPS 17756604 WITH SCORE 1.778424913E7
AT ITER 4328 NEW BEST:: SOT 126797386 SOS 27645565 HAS SOPS 27645565 HAS SOUS 17756603 HAS SOUPS 17756603 WITH SCORE 1.7784248565E7
AT ITER 4330 NEW BEST:: SOT 126796873 SOS 27645562 HAS SOPS 27645562 HAS SOUS 17755576 HAS SOUPS 17755576 WITH SCORE 1.7783221562E7
AT ITER 4340 NEW BEST:: SOT 126796873 SOS 27645403 HAS SOPS 27645403 HAS SOUS 17755417 HAS SOUPS 17755417 WITH SCORE 1.7783062403E7
AT ITER 4367 NEW BEST:: SOT 126796402 SOS 27644461 HAS SOPS 27644461 HAS SOUS 17754475 HAS SOUPS 17754475 WITH SCORE 1.7782119461E7
AT ITER 4405 NEW BEST:: SOT 126796402 SOS 27642913 HAS SOPS 27642913 HAS SOUS 17754474 HAS SOUPS 17754474 WITH SCORE 1.7782116913E7
AT ITER 4408 NEW BEST:: SOT 126796402 SOS 27649005 HAS SOPS 27649005 HAS SOUS 17753668 HAS SOUPS 17753668 WITH SCORE 1.7781317005E7
AT ITER 4444 NEW BEST:: SOT 126795125 SOS 27646451 HAS SOPS 27646451 HAS SOUS 17751114 HAS SOUPS 17751114 WITH SCORE 1.7778760451E7
AT ITER 4456 NEW BEST:: SOT 126795125 SOS 27646451 HAS SOPS 27646451 HAS SOUS 17751113 HAS SOUPS 17751113 WITH SCORE 1.7778759451E7
AT ITER 4463 NEW BEST:: SOT 126793688 SOS 27645014 HAS SOPS 27645014 HAS SOUS 17749676 HAS SOUPS 17749676 WITH SCORE 1.7777321014E7
AT ITER 4522 NEW BEST:: SOT 126793609 SOS 27644856 HAS SOPS 27644856 HAS SOUS 17749068 HAS SOUPS 17749068 WITH SCORE 1.7776712856E7
AT ITER 4540 NEW BEST:: SOT 126793291 SOS 27644220 HAS SOPS 27644220 HAS SOUS 17748432 HAS SOUPS 17748432 WITH SCORE 1.777607622E7
AT ITER 4553 NEW BEST:: SOT 126792092 SOS 27641823 HAS SOPS 27641823 HAS SOUS 17746035 HAS SOUPS 17746035 WITH SCORE 1.7773676823E7
AT ITER 4556 NEW BEST:: SOT 126790682 SOS 27644857 HAS SOPS 27644857 HAS SOUS 17744625 HAS SOUPS 17744625 WITH SCORE 1.7772269857E7
AT ITER 4577 NEW BEST:: SOT 126789110 SOS 27643285 HAS SOPS 27643285 HAS SOUS 17743053 HAS SOUPS 17743053 WITH SCORE 1.7770696285E7
AT ITER 4591 NEW BEST:: SOT 126789039 SOS 27643144 HAS SOPS 27643144 HAS SOUS 17742912 HAS SOUPS 17742912 WITH SCORE 1.7770555144E7
AT ITER 4596 NEW BEST:: SOT 126789039 SOS 27643066 HAS SOPS 27643066 HAS SOUS 17742912 HAS SOUPS 17742912 WITH SCORE 1.7770555066E7
AT ITER 4600 NEW BEST:: SOT 126790190 SOS 27643064 HAS SOPS 27643064 HAS SOUS 17742911 HAS SOUPS 17742911 WITH SCORE 1.7770554064E7
AT ITER 4610 NEW BEST:: SOT 126788015 SOS 27638714 HAS SOPS 27638714 HAS SOUS 17738561 HAS SOUPS 17738561 WITH SCORE 1.7766199714E7
AT ITER 4620 NEW BEST:: SOT 126787246 SOS 27637176 HAS SOPS 27637176 HAS SOUS 17737791 HAS SOUPS 17737791 WITH SCORE 1.7765428176E7
AT ITER 4629 NEW BEST:: SOT 126786693 SOS 27636070 HAS SOPS 27636070 HAS SOUS 17737237 HAS SOUPS 17737237 WITH SCORE 1.776487307E7
AT ITER 4643 NEW BEST:: SOT 126786037 SOS 27635414 HAS SOPS 27635414 HAS SOUS 17736581 HAS SOUPS 17736581 WITH SCORE 1.7764216414E7
AT ITER 4647 NEW BEST:: SOT 126786037 SOS 27635413 HAS SOPS 27635413 HAS SOUS 17736580 HAS SOUPS 17736580 WITH SCORE 1.7764215413E7
AT ITER 4657 NEW BEST:: SOT 126785977 SOS 27635293 HAS SOPS 27635293 HAS SOUS 17736460 HAS SOUPS 17736460 WITH SCORE 1.7764095293E7
AT ITER 4686 NEW BEST:: SOT 126784218 SOS 27633553 HAS SOPS 27633553 HAS SOUS 17734720 HAS SOUPS 17734720 WITH SCORE 1.7762353553E7
AT ITER 4690 NEW BEST:: SOT 126782274 SOS 27629665 HAS SOPS 27629665 HAS SOUS 17730832 HAS SOUPS 17730832 WITH SCORE 1.7758461665E7
AT ITER 4691 NEW BEST:: SOT 126774739 SOS 27624185 HAS SOPS 27624185 HAS SOUS 17726722 HAS SOUPS 17726722 WITH SCORE 1.7754346185E7
AT ITER 4699 NEW BEST:: SOT 126775551 SOS 27620856 HAS SOPS 27620856 HAS SOUS 17725883 HAS SOUPS 17725883 WITH SCORE 1.7753503856E7
AT ITER 4717 NEW BEST:: SOT 126773176 SOS 27622362 HAS SOPS 27622362 HAS SOUS 17724349 HAS SOUPS 17724349 WITH SCORE 1.7751971362E7
AT ITER 4755 NEW BEST:: SOT 126773176 SOS 27622034 HAS SOPS 27622034 HAS SOUS 17724021 HAS SOUPS 17724021 WITH SCORE 1.7751643034E7
AT ITER 4790 NEW BEST:: SOT 126770935 SOS 27617552 HAS SOPS 27617552 HAS SOUS 17719539 HAS SOUPS 17719539 WITH SCORE 1.7747156552E7
AT ITER 4794 NEW BEST:: SOT 126770823 SOS 27617437 HAS SOPS 27617437 HAS SOUS 17719424 HAS SOUPS 17719424 WITH SCORE 1.7747041437E7
AT ITER 4808 NEW BEST:: SOT 126769488 SOS 27617386 HAS SOPS 27617386 HAS SOUS 17719373 HAS SOUPS 17719373 WITH SCORE 1.7746990386E7
AT ITER 4867 NEW BEST:: SOT 126769488 SOS 27616420 HAS SOPS 27616420 HAS SOUS 17719373 HAS SOUPS 17719373 WITH SCORE 1.774698942E7
AT ITER 4875 NEW BEST:: SOT 126768686 SOS 27614816 HAS SOPS 27614816 HAS SOUS 17716470 HAS SOUPS 17716470 WITH SCORE 1.7744084816E7
AT ITER 4890 NEW BEST:: SOT 126768418 SOS 27614280 HAS SOPS 27614280 HAS SOUS 17715277 HAS SOUPS 17715277 WITH SCORE 1.774289128E7
AT ITER 4896 NEW BEST:: SOT 126768418 SOS 27614276 HAS SOPS 27614276 HAS SOUS 17715276 HAS SOUPS 17715276 WITH SCORE 1.7742890276E7
AT ITER 4912 NEW BEST:: SOT 126767271 SOS 27614102 HAS SOPS 27614102 HAS SOUS 17715102 HAS SOUPS 17715102 WITH SCORE 1.7742716102E7
AT ITER 4951 NEW BEST:: SOT 126767270 SOS 27614100 HAS SOPS 27614100 HAS SOUS 17715100 HAS SOUPS 17715100 WITH SCORE 1.77427141E7
AT ITER 4982 NEW BEST:: SOT 126764315 SOS 27613932 HAS SOPS 27613932 HAS SOUS 17714932 HAS SOUPS 17714932 WITH SCORE 1.7742545932E7
AT ITER 5005 NEW BEST:: SOT 126764315 SOS 27616430 HAS SOPS 27616430 HAS SOUS 17714097 HAS SOUPS 17714097 WITH SCORE 1.774171343E7
AT ITER 5025 NEW BEST:: SOT 126762411 SOS 27615468 HAS SOPS 27615468 HAS SOUS 17713144 HAS SOUPS 17713144 WITH SCORE 1.7740759468E7
AT ITER 5036 NEW BEST:: SOT 126760370 SOS 27614462 HAS SOPS 27614462 HAS SOUS 17712138 HAS SOUPS 17712138 WITH SCORE 1.7739752462E7
AT ITER 5037 NEW BEST:: SOT 126760400 SOS 27614328 HAS SOPS 27614328 HAS SOUS 17712004 HAS SOUPS 17712004 WITH SCORE 1.7739618328E7
AT ITER 5053 NEW BEST:: SOT 126760399 SOS 27614326 HAS SOPS 27614326 HAS SOUS 17712002 HAS SOUPS 17712002 WITH SCORE 1.7739616326E7
AT ITER 5077 NEW BEST:: SOT 126760119 SOS 27613766 HAS SOPS 27613766 HAS SOUS 17709651 HAS SOUPS 17709651 WITH SCORE 1.7737264766E7
AT ITER 5143 NEW BEST:: SOT 126758707 SOS 27758829 HAS SOPS 27758829 HAS SOUS 17706826 HAS SOUPS 17706826 WITH SCORE 1.7734584829E7
AT ITER 5160 NEW BEST:: SOT 126758479 SOS 27758373 HAS SOPS 27758373 HAS SOUS 17706370 HAS SOUPS 17706370 WITH SCORE 1.7734128373E7
AT ITER 5164 NEW BEST:: SOT 126758479 SOS 27757991 HAS SOPS 27757991 HAS SOUS 17706370 HAS SOUPS 17706370 WITH SCORE 1.7734127991E7
AT ITER 5195 NEW BEST:: SOT 126756394 SOS 27758297 HAS SOPS 27758297 HAS SOUS 17706123 HAS SOUPS 17706123 WITH SCORE 1.7733881297E7
AT ITER 5286 NEW BEST:: SOT 126756394 SOS 27757072 HAS SOPS 27757072 HAS SOUS 17704898 HAS SOUPS 17704898 WITH SCORE 1.7732655072E7
AT ITER 5348 NEW BEST:: SOT 126744800 SOS 27749326 HAS SOPS 27749326 HAS SOUS 17698014 HAS SOUPS 17698014 WITH SCORE 1.7725763326E7
AT ITER 5384 NEW BEST:: SOT 126743024 SOS 27748434 HAS SOPS 27748434 HAS SOUS 17696237 HAS SOUPS 17696237 WITH SCORE 1.7723985434E7
AT ITER 5386 NEW BEST:: SOT 126742759 SOS 27747904 HAS SOPS 27747904 HAS SOUS 17695707 HAS SOUPS 17695707 WITH SCORE 1.7723454904E7
AT ITER 5456 NEW BEST:: SOT 126741678 SOS 27745742 HAS SOPS 27745742 HAS SOUS 17693545 HAS SOUPS 17693545 WITH SCORE 1.7721290742E7
AT ITER 5480 NEW BEST:: SOT 126739550 SOS 27744674 HAS SOPS 27744674 HAS SOUS 17692480 HAS SOUPS 17692480 WITH SCORE 1.7720224674E7
AT ITER 5502 NEW BEST:: SOT 126735262 SOS 27742530 HAS SOPS 27742530 HAS SOUS 17690336 HAS SOUPS 17690336 WITH SCORE 1.771807853E7
AT ITER 5503 NEW BEST:: SOT 126735007 SOS 27742020 HAS SOPS 27742020 HAS SOUS 17689826 HAS SOUPS 17689826 WITH SCORE 1.771756802E7
AT ITER 5511 NEW BEST:: SOT 126733221 SOS 27740230 HAS SOPS 27740230 HAS SOUS 17688039 HAS SOUPS 17688039 WITH SCORE 1.771577923E7
AT ITER 5530 NEW BEST:: SOT 126732490 SOS 27739499 HAS SOPS 27739499 HAS SOUS 17687308 HAS SOUPS 17687308 WITH SCORE 1.7715047499E7
AT ITER 5543 NEW BEST:: SOT 126732114 SOS 27738747 HAS SOPS 27738747 HAS SOUS 17686556 HAS SOUPS 17686556 WITH SCORE 1.7714294747E7
AT ITER 5549 NEW BEST:: SOT 126730602 SOS 27737235 HAS SOPS 27737235 HAS SOUS 17685044 HAS SOUPS 17685044 WITH SCORE 1.7712781235E7
AT ITER 5560 NEW BEST:: SOT 126730540 SOS 27737111 HAS SOPS 27737111 HAS SOUS 17684920 HAS SOUPS 17684920 WITH SCORE 1.7712657111E7
AT ITER 5576 NEW BEST:: SOT 126730218 SOS 27736789 HAS SOPS 27736789 HAS SOUS 17684598 HAS SOUPS 17684598 WITH SCORE 1.7712334789E7
AT ITER 5588 NEW BEST:: SOT 126730218 SOS 27736507 HAS SOPS 27736507 HAS SOUS 17684598 HAS SOUPS 17684598 WITH SCORE 1.7712334507E7
AT ITER 5608 NEW BEST:: SOT 126730218 SOS 27736507 HAS SOPS 27736507 HAS SOUS 17684597 HAS SOUPS 17684597 WITH SCORE 1.7712333507E7
AT ITER 5610 NEW BEST:: SOT 126723558 SOS 27734642 HAS SOPS 27734642 HAS SOUS 17681108 HAS SOUPS 17681108 WITH SCORE 1.7708842642E7
AT ITER 5613 NEW BEST:: SOT 126722597 SOS 27734030 HAS SOPS 27734030 HAS SOUS 17680496 HAS SOUPS 17680496 WITH SCORE 1.770823003E7
AT ITER 5642 NEW BEST:: SOT 126722216 SOS 27735785 HAS SOPS 27735785 HAS SOUS 17679933 HAS SOUPS 17679933 WITH SCORE 1.7707668785E7
AT ITER 5661 NEW BEST:: SOT 126722216 SOS 27741523 HAS SOPS 27741523 HAS SOUS 17678018 HAS SOUPS 17678018 WITH SCORE 1.7705759523E7
AT ITER 5664 NEW BEST:: SOT 126722216 SOS 27740041 HAS SOPS 27740041 HAS SOUS 17678018 HAS SOUPS 17678018 WITH SCORE 1.7705758041E7
AT ITER 5679 NEW BEST:: SOT 126722409 SOS 27740427 HAS SOPS 27740427 HAS SOUS 17675445 HAS SOUPS 17675445 WITH SCORE 1.7703185427E7
AT ITER 5782 NEW BEST:: SOT 126722409 SOS 27738246 HAS SOPS 27738246 HAS SOUS 17675445 HAS SOUPS 17675445 WITH SCORE 1.7703183246E7
AT ITER 5790 NEW BEST:: SOT 126718639 SOS 27735680 HAS SOPS 27735680 HAS SOUS 17672582 HAS SOUPS 17672582 WITH SCORE 1.770031768E7
AT ITER 5850 NEW BEST:: SOT 126719979 SOS 27732621 HAS SOPS 27732621 HAS SOUS 17672009 HAS SOUPS 17672009 WITH SCORE 1.7699741621E7
AT ITER 5867 NEW BEST:: SOT 126719813 SOS 27733783 HAS SOPS 27733783 HAS SOUS 17671677 HAS SOUPS 17671677 WITH SCORE 1.7699410783E7
AT ITER 5879 NEW BEST:: SOT 126719200 SOS 27732557 HAS SOPS 27732557 HAS SOUS 17670307 HAS SOUPS 17670307 WITH SCORE 1.7698039557E7
AT ITER 5895 NEW BEST:: SOT 126716811 SOS 27730168 HAS SOPS 27730168 HAS SOUS 17665529 HAS SOUPS 17665529 WITH SCORE 1.7693259168E7
AT ITER 5923 NEW BEST:: SOT 126716296 SOS 27729138 HAS SOPS 27729138 HAS SOUS 17664499 HAS SOUPS 17664499 WITH SCORE 1.7692228138E7
AT ITER 5944 NEW BEST:: SOT 126716286 SOS 27729118 HAS SOPS 27729118 HAS SOUS 17664479 HAS SOUPS 17664479 WITH SCORE 1.7692208118E7
AT ITER 5963 NEW BEST:: SOT 126717019 SOS 27726996 HAS SOPS 27726996 HAS SOUS 17664382 HAS SOUPS 17664382 WITH SCORE 1.7692108996E7
AT ITER 5974 NEW BEST:: SOT 126716314 SOS 27726937 HAS SOPS 27726937 HAS SOUS 17662972 HAS SOUPS 17662972 WITH SCORE 1.7690698937E7
AT ITER 5975 NEW BEST:: SOT 126716314 SOS 27725533 HAS SOPS 27725533 HAS SOUS 17662972 HAS SOUPS 17662972 WITH SCORE 1.7690697533E7
AT ITER 5981 NEW BEST:: SOT 126715533 SOS 27727286 HAS SOPS 27727286 HAS SOUS 17662866 HAS SOUPS 17662866 WITH SCORE 1.7690593286E7
AT ITER 6014 NEW BEST:: SOT 126715190 SOS 27726600 HAS SOPS 27726600 HAS SOUS 17662180 HAS SOUPS 17662180 WITH SCORE 1.76899066E7
AT ITER 6016 NEW BEST:: SOT 126710229 SOS 27722992 HAS SOPS 27722992 HAS SOUS 17659474 HAS SOUPS 17659474 WITH SCORE 1.7687196992E7
AT ITER 6026 NEW BEST:: SOT 126708893 SOS 27720320 HAS SOPS 27720320 HAS SOUS 17656802 HAS SOUPS 17656802 WITH SCORE 1.768452232E7
AT ITER 6052 NEW BEST:: SOT 126708893 SOS 27718982 HAS SOPS 27718982 HAS SOUS 17656802 HAS SOUPS 17656802 WITH SCORE 1.7684520982E7
AT ITER 6109 NEW BEST:: SOT 126708160 SOS 27717516 HAS SOPS 27717516 HAS SOUS 17655336 HAS SOUPS 17655336 WITH SCORE 1.7683053516E7
AT ITER 6114 NEW BEST:: SOT 126707748 SOS 27716692 HAS SOPS 27716692 HAS SOUS 17654512 HAS SOUPS 17654512 WITH SCORE 1.7682228692E7
AT ITER 6152 NEW BEST:: SOT 126707111 SOS 27715418 HAS SOPS 27715418 HAS SOUS 17653875 HAS SOUPS 17653875 WITH SCORE 1.7681590418E7
AT ITER 6175 NEW BEST:: SOT 126705190 SOS 27715035 HAS SOPS 27715035 HAS SOUS 17653107 HAS SOUPS 17653107 WITH SCORE 1.7680822035E7
AT ITER 6180 NEW BEST:: SOT 126703875 SOS 27717603 HAS SOPS 27717603 HAS SOUS 17650476 HAS SOUPS 17650476 WITH SCORE 1.7678193603E7
AT ITER 6197 NEW BEST:: SOT 126703456 SOS 27723367 HAS SOPS 27723367 HAS SOUS 17649637 HAS SOUPS 17649637 WITH SCORE 1.7677360367E7
AT ITER 6271 NEW BEST:: SOT 126702451 SOS 27722358 HAS SOPS 27722358 HAS SOUS 17648631 HAS SOUPS 17648631 WITH SCORE 1.7676353358E7
AT ITER 6274 NEW BEST:: SOT 126702249 SOS 27721954 HAS SOPS 27721954 HAS SOUS 17648429 HAS SOUPS 17648429 WITH SCORE 1.7676150954E7
AT ITER 6292 NEW BEST:: SOT 126702249 SOS 27721950 HAS SOPS 27721950 HAS SOUS 17648428 HAS SOUPS 17648428 WITH SCORE 1.767614995E7
AT ITER 6301 NEW BEST:: SOT 126701109 SOS 27721946 HAS SOPS 27721946 HAS SOUS 17647857 HAS SOUPS 17647857 WITH SCORE 1.7675578946E7
AT ITER 6303 NEW BEST:: SOT 126701109 SOS 27719174 HAS SOPS 27719174 HAS SOUS 17647851 HAS SOUPS 17647851 WITH SCORE 1.7675570174E7
AT ITER 6333 NEW BEST:: SOT 126683444 SOS 28100951 HAS SOPS 28100951 HAS SOUS 17645388 HAS SOUPS 17645388 WITH SCORE 1.7673488951E7
AT ITER 6342 NEW BEST:: SOT 126682478 SOS 28100077 HAS SOPS 28100077 HAS SOUS 17644514 HAS SOUPS 17644514 WITH SCORE 1.7672614077E7
AT ITER 6352 NEW BEST:: SOT 126682440 SOS 28100001 HAS SOPS 28100001 HAS SOUS 17643497 HAS SOUPS 17643497 WITH SCORE 1.7671597001E7
AT ITER 6366 NEW BEST:: SOT 126680997 SOS 28100563 HAS SOPS 28100563 HAS SOUS 17643057 HAS SOUPS 17643057 WITH SCORE 1.7671157563E7
AT ITER 6371 NEW BEST:: SOT 126679283 SOS 28098849 HAS SOPS 28098849 HAS SOUS 17641343 HAS SOUPS 17641343 WITH SCORE 1.7669441849E7
AT ITER 6450 NEW BEST:: SOT 126677053 SOS 28094389 HAS SOPS 28094389 HAS SOUS 17636883 HAS SOUPS 17636883 WITH SCORE 1.7664977389E7
AT ITER 6455 NEW BEST:: SOT 126677053 SOS 28094389 HAS SOPS 28094389 HAS SOUS 17636882 HAS SOUPS 17636882 WITH SCORE 1.7664976389E7
AT ITER 6489 NEW BEST:: SOT 126676479 SOS 28093811 HAS SOPS 28093811 HAS SOUS 17636307 HAS SOUPS 17636307 WITH SCORE 1.7664400811E7
AT ITER 6528 NEW BEST:: SOT 126620254 SOS 28378954 HAS SOPS 28378954 HAS SOUS 17591003 HAS SOUPS 17591003 WITH SCORE 1.7619381954E7
AT ITER 6557 NEW BEST:: SOT 126619453 SOS 28378573 HAS SOPS 28378573 HAS SOUS 17590609 HAS SOUPS 17590609 WITH SCORE 1.7618987573E7
AT ITER 6613 NEW BEST:: SOT 126619329 SOS 28378325 HAS SOPS 28378325 HAS SOUS 17590361 HAS SOUPS 17590361 WITH SCORE 1.7618739325E7
AT ITER 6661 NEW BEST:: SOT 126619327 SOS 28378133 HAS SOPS 28378133 HAS SOUS 17590169 HAS SOUPS 17590169 WITH SCORE 1.7618547133E7
AT ITER 6665 NEW BEST:: SOT 126619327 SOS 28376228 HAS SOPS 28376228 HAS SOUS 17590169 HAS SOUPS 17590169 WITH SCORE 1.7618545228E7
AT ITER 6666 NEW BEST:: SOT 126609224 SOS 28674015 HAS SOPS 28674015 HAS SOUS 17589510 HAS SOUPS 17589510 WITH SCORE 1.7618184015E7
AT ITER 6688 NEW BEST:: SOT 126608687 SOS 28673478 HAS SOPS 28673478 HAS SOUS 17588973 HAS SOUPS 17588973 WITH SCORE 1.7617646478E7
AT ITER 6691 NEW BEST:: SOT 126606932 SOS 28673476 HAS SOPS 28673476 HAS SOUS 17588971 HAS SOUPS 17588971 WITH SCORE 1.7617644476E7
AT ITER 6700 NEW BEST:: SOT 126605831 SOS 28672375 HAS SOPS 28672375 HAS SOUS 17587870 HAS SOUPS 17587870 WITH SCORE 1.7616542375E7
AT ITER 6733 NEW BEST:: SOT 126605831 SOS 28671247 HAS SOPS 28671247 HAS SOUS 17587870 HAS SOUPS 17587870 WITH SCORE 1.7616541247E7
AT ITER 6755 NEW BEST:: SOT 126606076 SOS 28671737 HAS SOPS 28671737 HAS SOUS 17587176 HAS SOUPS 17587176 WITH SCORE 1.7615847737E7
AT ITER 6761 NEW BEST:: SOT 126605395 SOS 28670375 HAS SOPS 28670375 HAS SOUS 17586494 HAS SOUPS 17586494 WITH SCORE 1.7615164375E7
AT ITER 6780 NEW BEST:: SOT 126605394 SOS 28670373 HAS SOPS 28670373 HAS SOUS 17586492 HAS SOUPS 17586492 WITH SCORE 1.7615162373E7
AT ITER 6798 NEW BEST:: SOT 126600940 SOS 28666073 HAS SOPS 28666073 HAS SOUS 17582045 HAS SOUPS 17582045 WITH SCORE 1.7610711073E7
AT ITER 6836 NEW BEST:: SOT 126598567 SOS 28668215 HAS SOPS 28668215 HAS SOUS 17581968 HAS SOUPS 17581968 WITH SCORE 1.7610636215E7
AT ITER 6877 NEW BEST:: SOT 126598567 SOS 28668215 HAS SOPS 28668215 HAS SOUS 17581967 HAS SOUPS 17581967 WITH SCORE 1.7610635215E7
AT ITER 6883 NEW BEST:: SOT 126598567 SOS 28668311 HAS SOPS 28668311 HAS SOUS 17581966 HAS SOUPS 17581966 WITH SCORE 1.7610634311E7
AT ITER 6885 NEW BEST:: SOT 126598903 SOS 28668979 HAS SOPS 28668979 HAS SOUS 17581964 HAS SOUPS 17581964 WITH SCORE 1.7610632979E7
AT ITER 6887 NEW BEST:: SOT 126598903 SOS 28666887 HAS SOPS 28666887 HAS SOUS 17580918 HAS SOUPS 17580918 WITH SCORE 1.7609584887E7
AT ITER 6892 NEW BEST:: SOT 126598903 SOS 28678280 HAS SOPS 28678280 HAS SOUS 17580351 HAS SOUPS 17580351 WITH SCORE 1.760902928E7
AT ITER 6911 NEW BEST:: SOT 126597532 SOS 28679651 HAS SOPS 28679651 HAS SOUS 17578980 HAS SOUPS 17578980 WITH SCORE 1.7607659651E7
AT ITER 6943 NEW BEST:: SOT 126597532 SOS 28678485 HAS SOPS 28678485 HAS SOUS 17578980 HAS SOUPS 17578980 WITH SCORE 1.7607658485E7
AT ITER 6950 NEW BEST:: SOT 126597963 SOS 28679347 HAS SOPS 28679347 HAS SOUS 17577583 HAS SOUPS 17577583 WITH SCORE 1.7606262347E7
AT ITER 6952 NEW BEST:: SOT 126598419 SOS 28679347 HAS SOPS 28679347 HAS SOUS 17577582 HAS SOUPS 17577582 WITH SCORE 1.7606261347E7
AT ITER 6956 NEW BEST:: SOT 126596716 SOS 28679125 HAS SOPS 28679125 HAS SOUS 17576619 HAS SOUPS 17576619 WITH SCORE 1.7605298125E7
AT ITER 6963 NEW BEST:: SOT 126596716 SOS 28671817 HAS SOPS 28671817 HAS SOUS 17574792 HAS SOUPS 17574792 WITH SCORE 1.7603463817E7
AT ITER 6965 NEW BEST:: SOT 126596716 SOS 28672428 HAS SOPS 28672428 HAS SOUS 17574790 HAS SOUPS 17574790 WITH SCORE 1.7603462428E7
AT ITER 7003 NEW BEST:: SOT 126595488 SOS 28669973 HAS SOPS 28669973 HAS SOUS 17572335 HAS SOUPS 17572335 WITH SCORE 1.7601004973E7
AT ITER 7065 NEW BEST:: SOT 126595364 SOS 28669725 HAS SOPS 28669725 HAS SOUS 17572087 HAS SOUPS 17572087 WITH SCORE 1.7600756725E7
AT ITER 7091 NEW BEST:: SOT 126594625 SOS 28668791 HAS SOPS 28668791 HAS SOUS 17571635 HAS SOUPS 17571635 WITH SCORE 1.7600303791E7
AT ITER 7095 NEW BEST:: SOT 126594588 SOS 28668717 HAS SOPS 28668717 HAS SOUS 17571598 HAS SOUPS 17571598 WITH SCORE 1.7600266717E7
AT ITER 7099 NEW BEST:: SOT 126594352 SOS 28668245 HAS SOPS 28668245 HAS SOUS 17571126 HAS SOUPS 17571126 WITH SCORE 1.7599794245E7
AT ITER 7136 NEW BEST:: SOT 126594829 SOS 28666915 HAS SOPS 28666915 HAS SOUS 17570699 HAS SOUPS 17570699 WITH SCORE 1.7599365915E7
AT ITER 7148 NEW BEST:: SOT 126594081 SOS 28665419 HAS SOPS 28665419 HAS SOUS 17569203 HAS SOUPS 17569203 WITH SCORE 1.7597868419E7
AT ITER 7150 NEW BEST:: SOT 126594081 SOS 28666306 HAS SOPS 28666306 HAS SOUS 17569202 HAS SOUPS 17569202 WITH SCORE 1.7597868306E7
AT ITER 7172 NEW BEST:: SOT 126593390 SOS 28664924 HAS SOPS 28664924 HAS SOUS 17568579 HAS SOUPS 17568579 WITH SCORE 1.7597243924E7
AT ITER 7174 NEW BEST:: SOT 126593389 SOS 28664922 HAS SOPS 28664922 HAS SOUS 17568577 HAS SOUPS 17568577 WITH SCORE 1.7597241922E7
AT ITER 7181 NEW BEST:: SOT 126589946 SOS 28662418 HAS SOPS 28662418 HAS SOUS 17566699 HAS SOUPS 17566699 WITH SCORE 1.7595361418E7
AT ITER 7205 NEW BEST:: SOT 126591057 SOS 28660864 HAS SOPS 28660864 HAS SOUS 17565145 HAS SOUPS 17565145 WITH SCORE 1.7593805864E7
AT ITER 7217 NEW BEST:: SOT 126591057 SOS 28660864 HAS SOPS 28660864 HAS SOUS 17565144 HAS SOUPS 17565144 WITH SCORE 1.7593804864E7
AT ITER 7227 NEW BEST:: SOT 126591057 SOS 28660077 HAS SOPS 28660077 HAS SOUS 17564357 HAS SOUPS 17564357 WITH SCORE 1.7593017077E7
AT ITER 7248 NEW BEST:: SOT 126589737 SOS 28659134 HAS SOPS 28659134 HAS SOUS 17563414 HAS SOUPS 17563414 WITH SCORE 1.7592073134E7
AT ITER 7282 NEW BEST:: SOT 126589724 SOS 28659108 HAS SOPS 28659108 HAS SOUS 17563388 HAS SOUPS 17563388 WITH SCORE 1.7592047108E7
AT ITER 7289 NEW BEST:: SOT 126589580 SOS 28658820 HAS SOPS 28658820 HAS SOUS 17563100 HAS SOUPS 17563100 WITH SCORE 1.759175882E7
AT ITER 7295 NEW BEST:: SOT 126589427 SOS 28658514 HAS SOPS 28658514 HAS SOUS 17562794 HAS SOUPS 17562794 WITH SCORE 1.7591452514E7
AT ITER 7297 NEW BEST:: SOT 126589168 SOS 28658256 HAS SOPS 28658256 HAS SOUS 17562536 HAS SOUPS 17562536 WITH SCORE 1.7591194256E7
AT ITER 7314 NEW BEST:: SOT 126588749 SOS 28657907 HAS SOPS 28657907 HAS SOUS 17561698 HAS SOUPS 17561698 WITH SCORE 1.7590355907E7
AT ITER 7345 NEW BEST:: SOT 126587757 SOS 28656911 HAS SOPS 28656911 HAS SOUS 17560705 HAS SOUPS 17560705 WITH SCORE 1.7589361911E7
AT ITER 7396 NEW BEST:: SOT 126587392 SOS 28656181 HAS SOPS 28656181 HAS SOUS 17559975 HAS SOUPS 17559975 WITH SCORE 1.7588631181E7
AT ITER 7403 NEW BEST:: SOT 126587054 SOS 28655167 HAS SOPS 28655167 HAS SOUS 17559975 HAS SOUPS 17559975 WITH SCORE 1.7588630167E7
AT ITER 7432 NEW BEST:: SOT 126582847 SOS 28653644 HAS SOPS 28653644 HAS SOUS 17558065 HAS SOUPS 17558065 WITH SCORE 1.7586718644E7
AT ITER 7441 NEW BEST:: SOT 126581634 SOS 28646799 HAS SOPS 28646799 HAS SOUS 17555639 HAS SOUPS 17555639 WITH SCORE 1.7584285799E7
AT ITER 7446 NEW BEST:: SOT 126581634 SOS 28650443 HAS SOPS 28650443 HAS SOUS 17555155 HAS SOUPS 17555155 WITH SCORE 1.7583805443E7
AT ITER 7467 NEW BEST:: SOT 126581283 SOS 28650092 HAS SOPS 28650092 HAS SOUS 17554453 HAS SOUPS 17554453 WITH SCORE 1.7583103092E7
AT ITER 7511 NEW BEST:: SOT 126582580 SOS 28652686 HAS SOPS 28652686 HAS SOUS 17553590 HAS SOUPS 17553590 WITH SCORE 1.7582242686E7
AT ITER 7516 NEW BEST:: SOT 126580307 SOS 28650409 HAS SOPS 28650409 HAS SOUS 17551316 HAS SOUPS 17551316 WITH SCORE 1.7579966409E7
AT ITER 7523 NEW BEST:: SOT 126579116 SOS 28648027 HAS SOPS 28648027 HAS SOUS 17548934 HAS SOUPS 17548934 WITH SCORE 1.7577582027E7
AT ITER 7560 NEW BEST:: SOT 126578425 SOS 28646645 HAS SOPS 28646645 HAS SOUS 17547552 HAS SOUPS 17547552 WITH SCORE 1.7576198645E7
AT ITER 7571 NEW BEST:: SOT 126577476 SOS 28653278 HAS SOPS 28653278 HAS SOUS 17545653 HAS SOUPS 17545653 WITH SCORE 1.7574306278E7
AT ITER 7604 NEW BEST:: SOT 126577005 SOS 28652336 HAS SOPS 28652336 HAS SOUS 17545182 HAS SOUPS 17545182 WITH SCORE 1.7573834336E7
AT ITER 7636 NEW BEST:: SOT 126576066 SOS 28649627 HAS SOPS 28649627 HAS SOUS 17542473 HAS SOUPS 17542473 WITH SCORE 1.7571122627E7
AT ITER 7638 NEW BEST:: SOT 126575514 SOS 28648523 HAS SOPS 28648523 HAS SOUS 17542141 HAS SOUPS 17542141 WITH SCORE 1.7570789523E7
AT ITER 7642 NEW BEST:: SOT 126575116 SOS 28648125 HAS SOPS 28648125 HAS SOUS 17541743 HAS SOUPS 17541743 WITH SCORE 1.7570391125E7
AT ITER 7648 NEW BEST:: SOT 126573877 SOS 28672476 HAS SOPS 28672476 HAS SOUS 17541599 HAS SOUPS 17541599 WITH SCORE 1.7570271476E7
AT ITER 7657 NEW BEST:: SOT 126573590 SOS 28671902 HAS SOPS 28671902 HAS SOUS 17540172 HAS SOUPS 17540172 WITH SCORE 1.7568843902E7
AT ITER 7672 NEW BEST:: SOT 126572385 SOS 28669493 HAS SOPS 28669493 HAS SOUS 17537763 HAS SOUPS 17537763 WITH SCORE 1.7566432493E7
AT ITER 7675 NEW BEST:: SOT 126571589 SOS 28669078 HAS SOPS 28669078 HAS SOUS 17537351 HAS SOUPS 17537351 WITH SCORE 1.7566020078E7
AT ITER 7688 NEW BEST:: SOT 126568624 SOS 28665520 HAS SOPS 28665520 HAS SOUS 17535901 HAS SOUPS 17535901 WITH SCORE 1.756456652E7
AT ITER 7706 NEW BEST:: SOT 126567067 SOS 28663963 HAS SOPS 28663963 HAS SOUS 17534344 HAS SOUPS 17534344 WITH SCORE 1.7563007963E7
AT ITER 7718 NEW BEST:: SOT 126565802 SOS 28662698 HAS SOPS 28662698 HAS SOUS 17533079 HAS SOUPS 17533079 WITH SCORE 1.7561741698E7
AT ITER 7731 NEW BEST:: SOT 126563674 SOS 28664826 HAS SOPS 28664826 HAS SOUS 17530951 HAS SOUPS 17530951 WITH SCORE 1.7559615826E7
AT ITER 7742 NEW BEST:: SOT 126563023 SOS 28665477 HAS SOPS 28665477 HAS SOUS 17530300 HAS SOUPS 17530300 WITH SCORE 1.7558965477E7
AT ITER 7747 NEW BEST:: SOT 126562703 SOS 28665794 HAS SOPS 28665794 HAS SOUS 17529979 HAS SOUPS 17529979 WITH SCORE 1.7558644794E7
AT ITER 7764 NEW BEST:: SOT 126562703 SOS 28669173 HAS SOPS 28669173 HAS SOUS 17528287 HAS SOUPS 17528287 WITH SCORE 1.7556956173E7
AT ITER 7828 NEW BEST:: SOT 126561885 SOS 28667537 HAS SOPS 28667537 HAS SOUS 17526651 HAS SOUPS 17526651 WITH SCORE 1.7555318537E7
AT ITER 7855 NEW BEST:: SOT 126561806 SOS 28667379 HAS SOPS 28667379 HAS SOUS 17525464 HAS SOUPS 17525464 WITH SCORE 1.7554131379E7
AT ITER 7878 NEW BEST:: SOT 126561630 SOS 28667288 HAS SOPS 28667288 HAS SOUS 17525375 HAS SOUPS 17525375 WITH SCORE 1.7554042288E7
AT ITER 7919 NEW BEST:: SOT 126562253 SOS 28665081 HAS SOPS 28665081 HAS SOUS 17525158 HAS SOUPS 17525158 WITH SCORE 1.7553823081E7
AT ITER 7969 NEW BEST:: SOT 126561719 SOS 28664013 HAS SOPS 28664013 HAS SOUS 17524090 HAS SOUPS 17524090 WITH SCORE 1.7552754013E7
AT ITER 8009 NEW BEST:: SOT 126561719 SOS 28662742 HAS SOPS 28662742 HAS SOUS 17523269 HAS SOUPS 17523269 WITH SCORE 1.7551931742E7
AT ITER 8020 NEW BEST:: SOT 126561288 SOS 28662925 HAS SOPS 28662925 HAS SOUS 17523081 HAS SOUPS 17523081 WITH SCORE 1.7551743925E7
AT ITER 8057 NEW BEST:: SOT 126550324 SOS 28658791 HAS SOPS 28658791 HAS SOUS 17518756 HAS SOUPS 17518756 WITH SCORE 1.7547414791E7
AT ITER 8062 NEW BEST:: SOT 126550324 SOS 28658791 HAS SOPS 28658791 HAS SOUS 17518741 HAS SOUPS 17518741 WITH SCORE 1.7547399791E7
AT ITER 8070 NEW BEST:: SOT 126550323 SOS 28659161 HAS SOPS 28659161 HAS SOUS 17518739 HAS SOUPS 17518739 WITH SCORE 1.7547398161E7
AT ITER 8073 NEW BEST:: SOT 126548533 SOS 28657367 HAS SOPS 28657367 HAS SOUS 17516948 HAS SOUPS 17516948 WITH SCORE 1.7545605367E7
AT ITER 8096 NEW BEST:: SOT 126548532 SOS 28657365 HAS SOPS 28657365 HAS SOUS 17516946 HAS SOUPS 17516946 WITH SCORE 1.7545603365E7
AT ITER 8104 NEW BEST:: SOT 126548446 SOS 28657193 HAS SOPS 28657193 HAS SOUS 17516774 HAS SOUPS 17516774 WITH SCORE 1.7545431193E7
AT ITER 8184 NEW BEST:: SOT 126535668 SOS 28652973 HAS SOPS 28652973 HAS SOUS 17511990 HAS SOUPS 17511990 WITH SCORE 1.7540642973E7
AT ITER 8195 NEW BEST:: SOT 126535398 SOS 28652703 HAS SOPS 28652703 HAS SOUS 17511720 HAS SOUPS 17511720 WITH SCORE 1.7540372703E7
AT ITER 8196 NEW BEST:: SOT 126535234 SOS 28662001 HAS SOPS 28662001 HAS SOUS 17511391 HAS SOUPS 17511391 WITH SCORE 1.7540053001E7
AT ITER 8203 NEW BEST:: SOT 126535234 SOS 28661321 HAS SOPS 28661321 HAS SOUS 17511051 HAS SOUPS 17511051 WITH SCORE 1.7539712321E7
AT ITER 8211 NEW BEST:: SOT 126534558 SOS 28661317 HAS SOPS 28661317 HAS SOUS 17510374 HAS SOUPS 17510374 WITH SCORE 1.7539035317E7
AT ITER 8223 NEW BEST:: SOT 126533496 SOS 28659192 HAS SOPS 28659192 HAS SOUS 17508249 HAS SOUPS 17508249 WITH SCORE 1.7536908192E7
AT ITER 8249 NEW BEST:: SOT 126532826 SOS 28658639 HAS SOPS 28658639 HAS SOUS 17507699 HAS SOUPS 17507699 WITH SCORE 1.7536357639E7
AT ITER 8265 NEW BEST:: SOT 126531096 SOS 28656905 HAS SOPS 28656905 HAS SOUS 17505968 HAS SOUPS 17505968 WITH SCORE 1.7534624905E7
AT ITER 8276 NEW BEST:: SOT 126531036 SOS 28656965 HAS SOPS 28656965 HAS SOUS 17505908 HAS SOUPS 17505908 WITH SCORE 1.7534564965E7
AT ITER 8294 NEW BEST:: SOT 126531035 SOS 28656963 HAS SOPS 28656963 HAS SOUS 17505906 HAS SOUPS 17505906 WITH SCORE 1.7534562963E7
AT ITER 8310 NEW BEST:: SOT 126531035 SOS 28656962 HAS SOPS 28656962 HAS SOUS 17505905 HAS SOUPS 17505905 WITH SCORE 1.7534561962E7
AT ITER 8348 NEW BEST:: SOT 126530552 SOS 28655996 HAS SOPS 28655996 HAS SOUS 17504939 HAS SOUPS 17504939 WITH SCORE 1.7533594996E7
AT ITER 8396 NEW BEST:: SOT 126529110 SOS 28653112 HAS SOPS 28653112 HAS SOUS 17502055 HAS SOUPS 17502055 WITH SCORE 1.7530708112E7
AT ITER 8437 NEW BEST:: SOT 126528897 SOS 28652899 HAS SOPS 28652899 HAS SOUS 17501842 HAS SOUPS 17501842 WITH SCORE 1.7530494899E7
AT ITER 8492 NEW BEST:: SOT 126527515 SOS 28651517 HAS SOPS 28651517 HAS SOUS 17500460 HAS SOUPS 17500460 WITH SCORE 1.7529111517E7
AT ITER 8528 NEW BEST:: SOT 126527388 SOS 28651009 HAS SOPS 28651009 HAS SOUS 17500333 HAS SOUPS 17500333 WITH SCORE 1.7528984009E7
AT ITER 8534 NEW BEST:: SOT 126526278 SOS 28648789 HAS SOPS 28648789 HAS SOUS 17499223 HAS SOUPS 17499223 WITH SCORE 1.7527871789E7
AT ITER 8587 NEW BEST:: SOT 126526055 SOS 28641732 HAS SOPS 28641732 HAS SOUS 17497221 HAS SOUPS 17497221 WITH SCORE 1.7525862732E7
AT ITER 8590 NEW BEST:: SOT 126526535 SOS 28642062 HAS SOPS 28642062 HAS SOUS 17496489 HAS SOUPS 17496489 WITH SCORE 1.7525131062E7
AT ITER 8597 NEW BEST:: SOT 126526526 SOS 28642044 HAS SOPS 28642044 HAS SOUS 17496471 HAS SOUPS 17496471 WITH SCORE 1.7525113044E7
AT ITER 8611 NEW BEST:: SOT 126526373 SOS 28641738 HAS SOPS 28641738 HAS SOUS 17496165 HAS SOUPS 17496165 WITH SCORE 1.7524806738E7
AT ITER 8628 NEW BEST:: SOT 126526373 SOS 28639998 HAS SOPS 28639998 HAS SOUS 17496165 HAS SOUPS 17496165 WITH SCORE 1.7524804998E7
AT ITER 8669 NEW BEST:: SOT 126526373 SOS 28639998 HAS SOPS 28639998 HAS SOUS 17496164 HAS SOUPS 17496164 WITH SCORE 1.7524803998E7
AT ITER 8716 NEW BEST:: SOT 126526356 SOS 28639964 HAS SOPS 28639964 HAS SOUS 17496147 HAS SOUPS 17496147 WITH SCORE 1.7524786964E7
AT ITER 8721 NEW BEST:: SOT 126525140 SOS 28633319 HAS SOPS 28633319 HAS SOUS 17494200 HAS SOUPS 17494200 WITH SCORE 1.7522833319E7
AT ITER 8725 NEW BEST:: SOT 126524268 SOS 28631575 HAS SOPS 28631575 HAS SOUS 17492456 HAS SOUPS 17492456 WITH SCORE 1.7521087575E7
AT ITER 8743 NEW BEST:: SOT 126524015 SOS 28631069 HAS SOPS 28631069 HAS SOUS 17491950 HAS SOUPS 17491950 WITH SCORE 1.7520581069E7
AT ITER 8747 NEW BEST:: SOT 126523459 SOS 28629957 HAS SOPS 28629957 HAS SOUS 17491394 HAS SOUPS 17491394 WITH SCORE 1.7520023957E7
AT ITER 8754 NEW BEST:: SOT 126520539 SOS 28628497 HAS SOPS 28628497 HAS SOUS 17488474 HAS SOUPS 17488474 WITH SCORE 1.7517102497E7
AT ITER 8758 NEW BEST:: SOT 126520538 SOS 28628132 HAS SOPS 28628132 HAS SOUS 17488109 HAS SOUPS 17488109 WITH SCORE 1.7516737132E7
AT ITER 8767 NEW BEST:: SOT 126521126 SOS 28627543 HAS SOPS 28627543 HAS SOUS 17488108 HAS SOUPS 17488108 WITH SCORE 1.7516735543E7
AT ITER 8780 NEW BEST:: SOT 126521100 SOS 28580547 HAS SOPS 28580547 HAS SOUS 17488056 HAS SOUPS 17488056 WITH SCORE 1.7516636547E7
AT ITER 8832 NEW BEST:: SOT 126518542 SOS 28575431 HAS SOPS 28575431 HAS SOUS 17482940 HAS SOUPS 17482940 WITH SCORE 1.7511515431E7
AT ITER 8844 NEW BEST:: SOT 126517743 SOS 28571436 HAS SOPS 28571436 HAS SOUS 17481342 HAS SOUPS 17481342 WITH SCORE 1.7509913436E7
AT ITER 8847 NEW BEST:: SOT 126519315 SOS 28568478 HAS SOPS 28568478 HAS SOUS 17481159 HAS SOUPS 17481159 WITH SCORE 1.7509727478E7
AT ITER 8928 NEW BEST:: SOT 126519314 SOS 28568476 HAS SOPS 28568476 HAS SOUS 17481157 HAS SOUPS 17481157 WITH SCORE 1.7509725476E7
AT ITER 8930 NEW BEST:: SOT 126519860 SOS 28568474 HAS SOPS 28568474 HAS SOUS 17481155 HAS SOUPS 17481155 WITH SCORE 1.7509723474E7
AT ITER 8934 NEW BEST:: SOT 126519554 SOS 28567862 HAS SOPS 28567862 HAS SOUS 17480543 HAS SOUPS 17480543 WITH SCORE 1.7509110862E7
AT ITER 8951 NEW BEST:: SOT 126515662 SOS 28563062 HAS SOPS 28563062 HAS SOUS 17475083 HAS SOUPS 17475083 WITH SCORE 1.7503646062E7
AT ITER 8957 NEW BEST:: SOT 126515214 SOS 28560822 HAS SOPS 28560822 HAS SOUS 17474187 HAS SOUPS 17474187 WITH SCORE 1.7502747822E7
AT ITER 8972 NEW BEST:: SOT 126513729 SOS 28559337 HAS SOPS 28559337 HAS SOUS 17472702 HAS SOUPS 17472702 WITH SCORE 1.7501261337E7
AT ITER 8975 NEW BEST:: SOT 126513656 SOS 28559191 HAS SOPS 28559191 HAS SOUS 17472012 HAS SOUPS 17472012 WITH SCORE 1.7500571191E7
AT ITER 8990 NEW BEST:: SOT 126514734 SOS 28561347 HAS SOPS 28561347 HAS SOUS 17471195 HAS SOUPS 17471195 WITH SCORE 1.7499756347E7
AT ITER 8993 NEW BEST:: SOT 126514734 SOS 28559908 HAS SOPS 28559908 HAS SOUS 17471195 HAS SOUPS 17471195 WITH SCORE 1.7499754908E7
AT ITER 8997 NEW BEST:: SOT 126514828 SOS 28560092 HAS SOPS 28560092 HAS SOUS 17471194 HAS SOUPS 17471194 WITH SCORE 1.7499754092E7
AT ITER 9000 NEW BEST:: SOT 126513380 SOS 28559625 HAS SOPS 28559625 HAS SOUS 17470511 HAS SOUPS 17470511 WITH SCORE 1.7499070625E7
AT ITER 9015 NEW BEST:: SOT 126512969 SOS 28559214 HAS SOPS 28559214 HAS SOUS 17470100 HAS SOUPS 17470100 WITH SCORE 1.7498659214E7
AT ITER 9029 NEW BEST:: SOT 126512969 SOS 28559214 HAS SOPS 28559214 HAS SOUS 17469037 HAS SOUPS 17469037 WITH SCORE 1.7497596214E7
AT ITER 9034 NEW BEST:: SOT 126512969 SOS 28558007 HAS SOPS 28558007 HAS SOUS 17469037 HAS SOUPS 17469037 WITH SCORE 1.7497595007E7
AT ITER 9046 NEW BEST:: SOT 126510718 SOS 28558007 HAS SOPS 28558007 HAS SOUS 17466511 HAS SOUPS 17466511 WITH SCORE 1.7495069007E7
AT ITER 9107 NEW BEST:: SOT 126510256 SOS 28557083 HAS SOPS 28557083 HAS SOUS 17465501 HAS SOUPS 17465501 WITH SCORE 1.7494058083E7
AT ITER 9173 NEW BEST:: SOT 126510622 SOS 28557815 HAS SOPS 28557815 HAS SOUS 17465112 HAS SOUPS 17465112 WITH SCORE 1.7493669815E7
AT ITER 9179 NEW BEST:: SOT 126510261 SOS 28559982 HAS SOPS 28559982 HAS SOUS 17464855 HAS SOUPS 17464855 WITH SCORE 1.7493414982E7
AT ITER 9181 NEW BEST:: SOT 126510157 SOS 28559774 HAS SOPS 28559774 HAS SOUS 17464647 HAS SOUPS 17464647 WITH SCORE 1.7493206774E7
AT ITER 9191 NEW BEST:: SOT 126508786 SOS 28557032 HAS SOPS 28557032 HAS SOUS 17461439 HAS SOUPS 17461439 WITH SCORE 1.7489996032E7
AT ITER 9192 NEW BEST:: SOT 126508074 SOS 28556676 HAS SOPS 28556676 HAS SOUS 17461083 HAS SOUPS 17461083 WITH SCORE 1.7489639676E7
AT ITER 9199 NEW BEST:: SOT 126507670 SOS 28555868 HAS SOPS 28555868 HAS SOUS 17459623 HAS SOUPS 17459623 WITH SCORE 1.7488178868E7
AT ITER 9240 NEW BEST:: SOT 126507540 SOS 28555865 HAS SOPS 28555865 HAS SOUS 17459362 HAS SOUPS 17459362 WITH SCORE 1.7487917865E7
AT ITER 9243 NEW BEST:: SOT 126506445 SOS 28553675 HAS SOPS 28553675 HAS SOUS 17457172 HAS SOUPS 17457172 WITH SCORE 1.7485725675E7
AT ITER 9256 NEW BEST:: SOT 126504896 SOS 28553673 HAS SOPS 28553673 HAS SOUS 17457170 HAS SOUPS 17457170 WITH SCORE 1.7485723673E7
AT ITER 9257 NEW BEST:: SOT 126504675 SOS 28553452 HAS SOPS 28553452 HAS SOUS 17456949 HAS SOUPS 17456949 WITH SCORE 1.7485502452E7
AT ITER 9285 NEW BEST:: SOT 126503911 SOS 28552684 HAS SOPS 28552684 HAS SOUS 17456184 HAS SOUPS 17456184 WITH SCORE 1.7484736684E7
AT ITER 9287 NEW BEST:: SOT 126501386 SOS 28551510 HAS SOPS 28551510 HAS SOUS 17454951 HAS SOUPS 17454951 WITH SCORE 1.748350251E7
AT ITER 9301 NEW BEST:: SOT 126499866 SOS 28550069 HAS SOPS 28550069 HAS SOUS 17453431 HAS SOUPS 17453431 WITH SCORE 1.7481981069E7
AT ITER 9332 NEW BEST:: SOT 126498029 SOS 28552781 HAS SOPS 28552781 HAS SOUS 17452506 HAS SOUPS 17452506 WITH SCORE 1.7481058781E7
AT ITER 9353 NEW BEST:: SOT 126496782 SOS 28551832 HAS SOPS 28551832 HAS SOUS 17451557 HAS SOUPS 17451557 WITH SCORE 1.7480108832E7
AT ITER 9379 NEW BEST:: SOT 126496876 SOS 28551831 HAS SOPS 28551831 HAS SOUS 17451556 HAS SOUPS 17451556 WITH SCORE 1.7480107831E7
AT ITER 9385 NEW BEST:: SOT 126495767 SOS 28549613 HAS SOPS 28549613 HAS SOUS 17449338 HAS SOUPS 17449338 WITH SCORE 1.7477887613E7
AT ITER 9398 NEW BEST:: SOT 126493550 SOS 28545179 HAS SOPS 28545179 HAS SOUS 17444474 HAS SOUPS 17444474 WITH SCORE 1.7473019179E7
AT ITER 9431 NEW BEST:: SOT 126490903 SOS 28545252 HAS SOPS 28545252 HAS SOUS 17444171 HAS SOUPS 17444171 WITH SCORE 1.7472716252E7
AT ITER 9463 NEW BEST:: SOT 126490379 SOS 28544204 HAS SOPS 28544204 HAS SOUS 17443123 HAS SOUPS 17443123 WITH SCORE 1.7471667204E7
AT ITER 9490 NEW BEST:: SOT 126488067 SOS 28537268 HAS SOPS 28537268 HAS SOUS 17439655 HAS SOUPS 17439655 WITH SCORE 1.7468192268E7
AT ITER 9508 NEW BEST:: SOT 126488067 SOS 28539094 HAS SOPS 28539094 HAS SOUS 17439450 HAS SOUPS 17439450 WITH SCORE 1.7467989094E7
AT ITER 9516 NEW BEST:: SOT 126488151 SOS 28537369 HAS SOPS 28537369 HAS SOUS 17438445 HAS SOUPS 17438445 WITH SCORE 1.7466982369E7
AT ITER 9524 NEW BEST:: SOT 126487198 SOS 28538319 HAS SOPS 28538319 HAS SOUS 17437491 HAS SOUPS 17437491 WITH SCORE 1.7466029319E7
AT ITER 9527 NEW BEST:: SOT 126485668 SOS 28536864 HAS SOPS 28536864 HAS SOUS 17435961 HAS SOUPS 17435961 WITH SCORE 1.7464497864E7
AT ITER 9534 NEW BEST:: SOT 126484912 SOS 28535352 HAS SOPS 28535352 HAS SOUS 17434449 HAS SOUPS 17434449 WITH SCORE 1.7462984352E7
AT ITER 9576 NEW BEST:: SOT 126484912 SOS 28535352 HAS SOPS 28535352 HAS SOUS 17434448 HAS SOUPS 17434448 WITH SCORE 1.7462983352E7
AT ITER 9604 NEW BEST:: SOT 126485106 SOS 28534281 HAS SOPS 28534281 HAS SOUS 17433377 HAS SOUPS 17433377 WITH SCORE 1.7461911281E7
AT ITER 9633 NEW BEST:: SOT 126484577 SOS 28533223 HAS SOPS 28533223 HAS SOUS 17432205 HAS SOUPS 17432205 WITH SCORE 1.7460738223E7
AT ITER 9664 NEW BEST:: SOT 126483580 SOS 28531229 HAS SOPS 28531229 HAS SOUS 17430211 HAS SOUPS 17430211 WITH SCORE 1.7458742229E7
AT ITER 9665 NEW BEST:: SOT 126483437 SOS 28531086 HAS SOPS 28531086 HAS SOUS 17430211 HAS SOUPS 17430211 WITH SCORE 1.7458742086E7
AT ITER 9670 NEW BEST:: SOT 126483846 SOS 28530677 HAS SOPS 28530677 HAS SOUS 17430211 HAS SOUPS 17430211 WITH SCORE 1.7458741677E7
AT ITER 9673 NEW BEST:: SOT 126482310 SOS 28529255 HAS SOPS 28529255 HAS SOUS 17428789 HAS SOUPS 17428789 WITH SCORE 1.7457318255E7
AT ITER 9677 NEW BEST:: SOT 126481743 SOS 28528121 HAS SOPS 28528121 HAS SOUS 17427655 HAS SOUPS 17427655 WITH SCORE 1.7456183121E7
AT ITER 9687 NEW BEST:: SOT 126481337 SOS 28528925 HAS SOPS 28528925 HAS SOUS 17427247 HAS SOUPS 17427247 WITH SCORE 1.7455775925E7
AT ITER 9700 NEW BEST:: SOT 126479172 SOS 28527912 HAS SOPS 28527912 HAS SOUS 17424000 HAS SOUPS 17424000 WITH SCORE 1.7452527912E7
AT ITER 9735 NEW BEST:: SOT 126478244 SOS 28525174 HAS SOPS 28525174 HAS SOUS 17421262 HAS SOUPS 17421262 WITH SCORE 1.7449787174E7
AT ITER 9747 NEW BEST:: SOT 126478075 SOS 28524836 HAS SOPS 28524836 HAS SOUS 17420924 HAS SOUPS 17420924 WITH SCORE 1.7449448836E7
AT ITER 9761 NEW BEST:: SOT 126473776 SOS 28523549 HAS SOPS 28523549 HAS SOUS 17419062 HAS SOUPS 17419062 WITH SCORE 1.7447585549E7
AT ITER 9769 NEW BEST:: SOT 126472602 SOS 28521202 HAS SOPS 28521202 HAS SOUS 17416715 HAS SOUPS 17416715 WITH SCORE 1.7445236202E7
AT ITER 9780 NEW BEST:: SOT 126472031 SOS 28520631 HAS SOPS 28520631 HAS SOUS 17416144 HAS SOUPS 17416144 WITH SCORE 1.7444664631E7
AT ITER 9782 NEW BEST:: SOT 126467500 SOS 28518925 HAS SOPS 28518925 HAS SOUS 17414065 HAS SOUPS 17414065 WITH SCORE 1.7442583925E7
AT ITER 9827 NEW BEST:: SOT 126467471 SOS 28518867 HAS SOPS 28518867 HAS SOUS 17414007 HAS SOUPS 17414007 WITH SCORE 1.7442525867E7
AT ITER 9836 NEW BEST:: SOT 126467471 SOS 28518654 HAS SOPS 28518654 HAS SOUS 17414007 HAS SOUPS 17414007 WITH SCORE 1.7442525654E7
AT ITER 9882 NEW BEST:: SOT 126467297 SOS 28518306 HAS SOPS 28518306 HAS SOUS 17413659 HAS SOUPS 17413659 WITH SCORE 1.7442177306E7
AT ITER 9889 NEW BEST:: SOT 126462579 SOS 28511229 HAS SOPS 28511229 HAS SOUS 17406582 HAS SOUPS 17406582 WITH SCORE 1.7435093229E7
AT ITER 9937 NEW BEST:: SOT 126462805 SOS 28510930 HAS SOPS 28510930 HAS SOUS 17406283 HAS SOUPS 17406283 WITH SCORE 1.743479393E7
AT ITER 9957 NEW BEST:: SOT 126461525 SOS 28510307 HAS SOPS 28510307 HAS SOUS 17405662 HAS SOUPS 17405662 WITH SCORE 1.7434172307E7
AT ITER 9967 NEW BEST:: SOT 126460604 SOS 28508465 HAS SOPS 28508465 HAS SOUS 17403820 HAS SOUPS 17403820 WITH SCORE 1.7432328465E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15390884 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16145932 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="DLCflexbar-PT-4b"
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 DLCflexbar-PT-4b, 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 r099-tall-167814472600552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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