Live token costs and breakdown per request.
| Time | Problem | Input clauses | Uniform clauses | Blowup | Budget (s) | Tokens | Result | Total ms |
|---|
tokens = uniform_clauses × budget_secondsCaptures both problem complexity (clauses) and compute investment (budget).
| ● Encode | free | local CPU, <1ms |
| ● Reduce | free | local CPU, ~10ms |
| ● Solve | tokens | npdollars EC2 |
| ● Decode | free | local CPU, <1ms |
| Problem | Typical clauses | Budget | Tokens | ~USD |
|---|---|---|---|---|
| Sudoku 9×9 | 8,300 | 5s | 41,500 | $0.005 |
| Graph coloring (50v, k=3) | 2,100 | 5s | 10,500 | $0.002 |
| k-Clique (30v, k=5) | 4,800 | 10s | 48,000 | $0.01 |
| Vertex cover (100v) | 12,000 | 10s | 120,000 | $0.02 |
| Job-shop (20 jobs, 5 machines) | 85,000 | 30s | 2,550,000 | $0.25 |
| Large scheduling (100 jobs) | 500,000 | 60s | 30,000,000 | $3.00 |