./common/Globalenvs.v | 112 | 17.86 | 75.89 | 6.25 | Details |
./lib/Parmov.v | 89 | 35.96 | 61.80 | 2.25 | Details |
./x86/SelectOpproof.v | 67 | 37.31 | 62.69 | 0.00 | Details |
./backend/Selectionproof.v | 61 | 11.48 | 83.61 | 4.92 | Details |
./flocq/Core/Zaux.v | 57 | 35.09 | 59.65 | 5.26 | Details |
./flocq/Calc/Round.v | 40 | 2.50 | 97.50 | 0.00 | Details |
./backend/Locations.v | 31 | 58.06 | 41.94 | 0.00 | Details |
./cfrontend/Cop.v | 25 | 28.00 | 72.00 | 0.00 | Details |
./backend/RTL.v | 10 | 10.00 | 90.00 | 0.00 | Details |
./MenhirLib/Validator_complete.v | 7 | 14.29 | 85.71 | 0.00 | Details |
./flocq/Prop/Mult_error.v | 7 | 0.00 | 100.00 | 0.00 | Details |
./lib/Wfsimpl.v | 2 | 50.00 | 0.00 | 50.00 | Details |
Total | 508 | 26.18 | 70.67 | 3.15 |
Trained as: ['/work/zhannakaufma_umass_edu/proverbot9001/./src/proverbot9001.py', 'train', 'polyarg', 'data/compcert-scrape.txt', 'data/polyarg-weights.dat', '--load-tokens=tokens.txt', '--context-filter=(goal-args+((tactic:induction+tactic:destruct)%numeric-args)+hyp-args+rel-lemma-args)%maxargs:1%default']