🔌
New: connect Claude & other AIs to GenAIList over MCP — research the catalog and contribute to the shared knowledge base. Learn how →
// RUN — FITS
Can the Intel Arc Pro B50 run BFS-Prover?
Yes — here's how fast and up to what context, with real measured numbers.
BFS-Prover on the Intel Arc Pro B50
| Quant | Fits? | Max context | Speed | Beyond context |
|---|---|---|---|---|
| FP16 | no | — | — | — |
| Q8 | yes | 47k | 18.6-23 t/s | ~3.3-4.1 (slow) |
| Q4 | yes | 71k | 33.1-41.1 t/s | ~5.9-7.3 (slow) |
Estimate (memory-bound). Beyond "max context" the KV cache spills to system RAM offload (depends on your system RAM) and speed drops to the "beyond" figure.
FAQ
Can the Intel Arc Pro B50 run BFS-Prover?▶
Yes. At Q4 it generates ~33.1-41.1 tok/s and fits up to 71k context; beyond that it spills to system RAM offload (depends on your system RAM) and slows to ~5.9-7.3 tok/s.
How much context fits?▶
At Q4, up to about 71k tokens stay in fast memory; longer context spills to system RAM offload (depends on your system RAM) and throughput collapses.