13 files processed

Commit: a13e20f0 Allow not using CUDA in predictor and encoder even when available
Run on 2024-01-26 19:27:24.794498

Proofs Completed: 26.18% (133/508)

Time taken: 2:41:47

FilenameNumber of Proofs in File% Proofs Completed% Proofs Incomplete% Proofs FailedDetails
./common/Globalenvs.v112 17.86 75.89 6.25Details
./lib/Parmov.v89 35.96 61.80 2.25Details
./x86/SelectOpproof.v67 37.31 62.69 0.00Details
./backend/Selectionproof.v61 11.48 83.61 4.92Details
./flocq/Core/Zaux.v57 35.09 59.65 5.26Details
./flocq/Calc/Round.v40 2.50 97.50 0.00Details
./backend/Locations.v31 58.06 41.94 0.00Details
./cfrontend/Cop.v25 28.00 72.00 0.00Details
./backend/RTL.v10 10.00 90.00 0.00Details
./MenhirLib/Validator_complete.v7 14.29 85.71 0.00Details
./flocq/Prop/Mult_error.v7 0.00 100.00 0.00Details
./lib/Wfsimpl.v2 50.00 0.00 50.00Details
Total508 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']
Reported as: ['/work/pi_brun_umass_edu/asanchezster/proverbot9001/src//search_report.py', 'dfs-report-noshellwrap', '-p', '.']
Weights hash: b'04852baafc0092f80f636a62f4e7b8c52693670d95415ad6e2fc07fd3403147a data/polyarg-weights-zhanna.dat\n'