Index: doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat	(revision a2545593137e288316609427d04f855ae152cc3b)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat	(revision ab3a69c8c78c624b6860ec934d440a484a75f17d)
@@ -18,8 +18,8 @@
 "\\textsc{co-dca-inc}"	101	50	2824	2
 "\\textsc{co-dca-per}"	103	12	1339	2
+"\\textsc{td-imm-bas}"	64	125	2620	3
+"\\textsc{td-imm-inc}"	62	322	2717	3
 "\\textsc{td-def-bas}"	67	18	189	3
 "\\textsc{td-def-inc}"	66	40	263	3
-"\\textsc{td-imm-bas}"	64	125	2620	3
-"\\textsc{td-imm-inc}"	62	322	2717	3
 "\\textsc{td-dca-bas}"	67	18	191	3
 "\\textsc{td-dca-inc}"	66	40	258	3
Index: doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp	(revision a2545593137e288316609427d04f855ae152cc3b)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp	(revision ab3a69c8c78c624b6860ec934d440a484a75f17d)
@@ -48,6 +48,6 @@
 set yrange [0:80]
 
-set label "125" at 20.25,82
-set label "322" at 21.75,82
+set label "125" at 18.25,82
+set label "322" at 19.75,82
 plot 'evaluation/algo-summary.dat' using ($5 == 1 ? $3 : 1/0):xtic(1) with boxes, \
 	'' using ($5 == 2 ? $3 : 1/0):xtic(1) with boxes, \
Index: doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp	(revision a2545593137e288316609427d04f855ae152cc3b)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp	(revision ab3a69c8c78c624b6860ec934d440a484a75f17d)
@@ -6,6 +6,6 @@
 set output BUILD."cfa-time.tex"
 
-set xlabel "\\textsc{cfa-co} runtime (ms)"
-set ylabel "runtime (ms)"
+set xlabel "\\textsc{cfa-co} runtime (s)"
+set ylabel "runtime (s)"
 set logscale xy
 set key outside
Index: doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp
===================================================================
--- doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp	(revision a2545593137e288316609427d04f855ae152cc3b)
+++ doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp	(revision ab3a69c8c78c624b6860ec934d440a484a75f17d)
@@ -42,5 +42,5 @@
 set output BUILD."per-prob-assns.tex"
 
-set xlabel "assertions resolved"
+set xlabel "assertions satisfied"
 
 plot for [i=1:words(tests)] 'evaluation/per_prob/'.word(tests, i).'-per-prob.csv' using 6:(column(7)/1000) title word(tests, i)