- Timestamp:
- Apr 11, 2019, 9:24:46 PM (5 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 5a801444
- Parents:
- a2545593
- Location:
- doc/theses/aaron_moss_PhD/phd/evaluation
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat
ra2545593 rab3a69c 18 18 "\\textsc{co-dca-inc}" 101 50 2824 2 19 19 "\\textsc{co-dca-per}" 103 12 1339 2 20 "\\textsc{td-imm-bas}" 64 125 2620 3 21 "\\textsc{td-imm-inc}" 62 322 2717 3 20 22 "\\textsc{td-def-bas}" 67 18 189 3 21 23 "\\textsc{td-def-inc}" 66 40 263 3 22 "\\textsc{td-imm-bas}" 64 125 2620 323 "\\textsc{td-imm-inc}" 62 322 2717 324 24 "\\textsc{td-dca-bas}" 67 18 191 3 25 25 "\\textsc{td-dca-inc}" 66 40 258 3 -
doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp
ra2545593 rab3a69c 48 48 set yrange [0:80] 49 49 50 set label "125" at 20.25,8251 set label "322" at 21.75,8250 set label "125" at 18.25,82 51 set label "322" at 19.75,82 52 52 plot 'evaluation/algo-summary.dat' using ($5 == 1 ? $3 : 1/0):xtic(1) with boxes, \ 53 53 '' using ($5 == 2 ? $3 : 1/0):xtic(1) with boxes, \ -
doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp
ra2545593 rab3a69c 6 6 set output BUILD."cfa-time.tex" 7 7 8 set xlabel "\\textsc{cfa-co} runtime ( ms)"9 set ylabel "runtime ( ms)"8 set xlabel "\\textsc{cfa-co} runtime (s)" 9 set ylabel "runtime (s)" 10 10 set logscale xy 11 11 set key outside -
doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp
ra2545593 rab3a69c 42 42 set output BUILD."per-prob-assns.tex" 43 43 44 set xlabel "assertions resolved"44 set xlabel "assertions satisfied" 45 45 46 46 plot for [i=1:words(tests)] 'evaluation/per_prob/'.word(tests, i).'-per-prob.csv' using 6:(column(7)/1000) title word(tests, i)
Note: See TracChangeset
for help on using the changeset viewer.