drop-6-simm |semantic-2-64k> => 79.927|semantic-1-64k> + 16.338|diary-1-64k> + 16.267|diary-2-64k> + 11.652|slashdot-3-64k> + 11.561|slashdot-1-64k> + 11.561|slashdot-2-64k> + 10.001|wc-comments-2-64k> + 10.001|wc-comments-1-64k> + 9.580|eztv-1-64k> + 9.580|eztv-2-64k>
drop-6-simm |eztv-1-64k> => 91.816|eztv-2-64k> + 23.304|slashdot-3-64k> + 22.407|slashdot-2-64k> + 22.349|slashdot-1-64k> + 16.716|wc-comments-2-64k> + 16.716|wc-comments-1-64k> + 16.183|diary-2-64k> + 15.917|diary-1-64k> + 13.807|semantic-1-64k> + 9.580|semantic-2-64k>
drop-6-simm |slashdot-3-64k> => 97.030|slashdot-2-64k> + 96.971|slashdot-1-64k> + 23.304|eztv-1-64k> + 23.156|eztv-2-64k> + 15.880|semantic-1-64k> + 15.074|diary-2-64k> + 14.752|diary-1-64k> + 11.652|semantic-2-64k> + 11.086|wc-comments-2-64k> + 11.086|wc-comments-1-64k>
drop-6-simm |slashdot-1-64k> => 99.942|slashdot-2-64k> + 96.971|slashdot-3-64k> + 22.349|eztv-1-64k> + 22.201|eztv-2-64k> + 15.789|semantic-1-64k> + 14.312|diary-2-64k> + 13.991|diary-1-64k> + 11.561|semantic-2-64k> + 11.111|wc-comments-2-64k> + 11.111|wc-comments-1-64k>
drop-6-simm |wc-comments-2-64k> => 99.891|wc-comments-1-64k> + 42.199|diary-1-64k> + 42.175|diary-2-64k> + 17.797|eztv-2-64k> + 16.716|eztv-1-64k> + 11.111|slashdot-1-64k> + 11.111|slashdot-2-64k> + 11.086|slashdot-3-64k> + 10.204|semantic-1-64k> + 10.001|semantic-2-64k>
drop-6-simm |diary-1-64k> => 98.822|diary-2-64k> + 42.199|wc-comments-2-64k> + 42.199|wc-comments-1-64k> + 18.978|eztv-2-64k> + 17.165|semantic-1-64k> + 16.338|semantic-2-64k> + 15.917|eztv-1-64k> + 14.752|slashdot-3-64k> + 13.991|slashdot-1-64k> + 13.991|slashdot-2-64k>
drop-6-simm |eztv-2-64k> => 91.816|eztv-1-64k> + 23.156|slashdot-3-64k> + 22.259|slashdot-2-64k> + 22.201|slashdot-1-64k> + 19.244|diary-2-64k> + 18.978|diary-1-64k> + 17.797|wc-comments-2-64k> + 17.797|wc-comments-1-64k> + 13.807|semantic-1-64k> + 9.580|semantic-2-64k>
drop-6-simm |diary-2-64k> => 98.822|diary-1-64k> + 42.175|wc-comments-2-64k> + 42.175|wc-comments-1-64k> + 19.244|eztv-2-64k> + 17.648|semantic-1-64k> + 16.267|semantic-2-64k> + 16.183|eztv-1-64k> + 15.074|slashdot-3-64k> + 14.312|slashdot-1-64k> + 14.312|slashdot-2-64k>
drop-6-simm |wc-comments-1-64k> => 99.891|wc-comments-2-64k> + 42.199|diary-1-64k> + 42.175|diary-2-64k> + 17.797|eztv-2-64k> + 16.716|eztv-1-64k> + 11.111|slashdot-1-64k> + 11.111|slashdot-2-64k> + 11.086|slashdot-3-64k> + 10.204|semantic-1-64k> + 10.001|semantic-2-64k>
drop-6-simm |slashdot-2-64k> => 99.942|slashdot-1-64k> + 97.030|slashdot-3-64k> + 22.407|eztv-1-64k> + 22.259|eztv-2-64k> + 15.789|semantic-1-64k> + 14.312|diary-2-64k> + 13.991|diary-1-64k> + 11.561|semantic-2-64k> + 11.111|wc-comments-2-64k> + 11.111|wc-comments-1-64k>
drop-6-simm |semantic-1-64k> => 79.927|semantic-2-64k> + 17.648|diary-2-64k> + 17.165|diary-1-64k> + 15.880|slashdot-3-64k> + 15.789|slashdot-1-64k> + 15.789|slashdot-2-64k> + 13.807|eztv-1-64k> + 13.807|eztv-2-64k> + 10.204|wc-comments-2-64k> + 10.204|wc-comments-1-64k>

sorted-simm |diary-1-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |diary-2-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |eztv-1-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |eztv-2-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |semantic-1-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |semantic-2-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |slashdot-1-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |slashdot-2-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |slashdot-3-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |wc-comments-1-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)
sorted-simm |wc-comments-2-64k> => reverse ket-sort (drop-6-simm |_self> + 100|_self>)