| 497 | } |
| 498 | |
| 499 | void VerifyApplication::Benchmark::plotDatabase(VerifyApplication* state) |
| 500 | { |
| 501 | std::fstream plot; |
| 502 | FileName base = state->database+FileName(name); |
| 503 | plot.open(base.addExt(".plot"), std::fstream::out | std::fstream::trunc); |
| 504 | plot << "set terminal png size 2048,600 enhanced" << std::endl; |
| 505 | plot << "set output \"" << base.addExt(".png") << "\"" << std::endl; |
| 506 | plot << "set key inside right top vertical Right noreverse enhanced autotitles box linetype -1 linewidth 1.000" << std::endl; |
| 507 | plot << "set samples 50, 50" << std::endl; |
| 508 | //plot << "set title \"" << name << "\"" << std::endl; |
| 509 | //plot << "set xlabel \"" << name << "\""<< std::endl; |
| 510 | plot << "set xtics axis rotate by 90" << std::endl; |
| 511 | plot << "set ylabel \"" << unit << "\"" << std::endl; |
| 512 | plot << "set yrange [0:]" << std::endl; |
| 513 | plot << "plot \"" << FileName(name).addExt(".txt") << "\" using :2:xtic(1) title \"" << name << "\" with lines, \\" << std::endl; |
| 514 | plot << " \"" << FileName(name).addExt(".txt") << "\" using :3 title \"best\" with lines" << std::endl; |
| 515 | plot << std::endl; |
| 516 | plot.close(); |
| 517 | } |
| 518 | |
| 519 | Statistics VerifyApplication::Benchmark::benchmark_loop(VerifyApplication* state) |
| 520 | { |