diff --git a/diary/packing.dat b/diary/packing.dat new file mode 100644 index 0000000000..a4bd7b9bd4 --- /dev/null +++ b/diary/packing.dat @@ -0,0 +1,9 @@ + +# Hand-measured timing for pack_sentence_for_pruning() +# Discussion #1479 +# +# Disjuncts connectors seconds +740634 2900692 1.96 +2044261 9121816 6.17 +23451107 117142399 500.52 +59575111 302831514 4222.75 diff --git a/diary/packing.gplot b/diary/packing.gplot new file mode 100644 index 0000000000..30a5135eb5 --- /dev/null +++ b/diary/packing.gplot @@ -0,0 +1,18 @@ + +set term png +set out 'packing.png' + +set key left + +set title "x" +set xlabel "Time" +set ylabel "xxxx" +set logscale x +set logscale y + +plot "packing.dat" using 3:(1000000 * $3/$1) with lines lw 2 title "dj", \ + "packing.dat" using 3:(1000000 * $3/$2) with lines lw 2 title "con", \ + "packing.dat" using 3:(1.0e-6 * $1) with lines lw 2 title "1" + +# "packing.dat" using 3:(sqrt($3)) with lines lw 2 title "1" +# ------------------------