source: doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv @ c588acb

Last change on this file since c588acb was 4c41b17, checked in by Aaron Moss <a3moss@…>, 6 years ago

thesis: Add per-problem histogram

  • Property mode set to 100644
File size: 247 bytes
Line 
1#"bin"  "in bin"        "summed time"   "% exprs"       "% time"
2"$<0.01$"       10866   20422   0.527   0.001
3"$<0.1$"        1514    68775   0.073   0.003
4"$<1$"  4584    1748119 0.222   0.065
5"$<10$" 3421    6613230 0.166   0.248
6"$<100$"        201     8133176 0.010   0.304
7"$<1000$"       46      10135929        0.002   0.379
Note: See TracBrowser for help on using the repository browser.