1ad647cf99d2c25c20f735254a367a8474ae7d3483e472cce13565a9a99696ef  benchmark/README.md
378d4ec1bc8455475605edd21ea590fb3aa97bbc9bb503e6ff52e17eca082ffb  benchmark/install_cadical_3_0_1.sh
ee695da6b59f436210367e922b0477a89f2770af810ae322f85d19e6e751e379  docs/Configuration.txt
47a3204b7e2c3265c3040e5e88608e111cfbe1a90fb3a571e874cd9097e02ac1  docs/Testing.txt
0face5d66fd2fb68b1cdb9db2ff8ccff53fd58561eb33814a43874c13ef751fd  docs/codex/diagrams/solver-context/f433_realtime_proof_stream.png
027213cd91213f10c8b141796711df9b9ebbcd4508f5c42e0515fb7d56cbfb3a  docs/codex/diagrams/solver-context/f433_realtime_proof_stream.svg
7d207e2b5383ed506bbc087a6beb8c97aeb81aa8c93938e58e09d65942479755  docs/codex/research-progress/Realtime_Checked_QFBV_Proof_Stream_F433_2026-08-18.md
8e7d11e4362ae7181dbc97fdd5606cd68c4bf818b15d0b098c5e4487052483ad  test/pytest-nodeids.json
d26e9883fa250ccea75b57b3e26d93a87f49c92ce8f5bbf3e9eacbc23f044430  test/qfbv_realtime_stream_benchmark.py
24caf80d9426fdafb24e2b6ab8548cc28262a30166b9ec8c809cff792b3d9e72  test/qfbv_realtime_stream_oracle.py
d2504c4d20331fb950fc758df7fafc2b69dbb93ed382aa642808b9150dcae10b  test/test_qfbv_realtime_stream.py
b165848df000abd63a70fed999befe3becb7ef8edf00b63159fc9b2e3a1f0d21  util/cadical_qfbv_backend.py
1c579165de7e4eaeb538efcce4e585d6a5e5e8cbf94f5ce5e7cb7b3281f6daf5  util/qfbv_cadical_realtime.cpp
cb86fd710cc51fef393fa548bfaa6f1bf7d209e0f270ee18c4a45d1c7086a9b0  util/qfbv_incremental_proof.py
ba3d135908ac93ed689e274828b3f57eaaf8536c6f55ce8515882d51ae053166  util/qfbv_realtime_stream.py
9feb965b7f625cb428bc81426017c24ae1ce046e49a983c4901119d33b9ab717  util/query_store.py
a2248e50023f954d7c4a8115ae51b2f4623e92f4dcb137fafdfff96a4f281e93  util/symcc_query_service.py