Tiny SAT instance
Submission request time: `0.218654 s`
End-to-end completion time: `4.155 s`
Result: `SATISFIABLE`
Benchmark
SAT smoke benchmark on March 30, 2026
This page records a small public baseline for the live SAT service on `probqa.com`. The goal was not to stress the worker to its limit. It was to confirm that upload, dispatch, remote execution, and result delivery all work end to end on the public path.
Results
Measured public baseline
Tiny UNSAT instance
Submission request time: `0.205141 s`
End-to-end completion time: `4.115 s`
Result: `UNSATISFIABLE`
What this proves
The public SAT queue, worker dispatch, remote execution, and result reporting are all live. The measured times above include network overhead and queue polling.
Inputs
Sample DIMACS files used
Tiny SAT
p cnf 1 1 1 0
Tiny UNSAT
p cnf 1 2 1 0 -1 0
Interpretation
How to read this benchmark
- This is an operational smoke benchmark, not a throughput claim for large research jobs.
- The measured end-to-end times include queueing, API polling, and remote worker dispatch.
- For a real buying decision, use these samples first and then run one of your own CNF instances.
- If you need a custom benchmark on a larger instance, email support.
Next Step
Run the same sample or upload your own CNF
Trial credits are the fastest way to test the full SAT flow yourself. Use the sample files above or move directly to your own DIMACS instance.