1ad647cf99d2c25c20f735254a367a8474ae7d3483e472cce13565a9a99696ef  benchmark/README.md
b20dd196eda3cd756b4b896fe6de10104b5c62529c178020c0bbf6bad4c87844  benchmark/check_qfbv_realtime_multirank_oracles.py
e39883fce87fae38cff65a3a45b9f167cedbf06723076ff82e298a94f89ef0cc  benchmark/run_qfbv_realtime_multirank.py
ee695da6b59f436210367e922b0477a89f2770af810ae322f85d19e6e751e379  docs/Configuration.txt
47a3204b7e2c3265c3040e5e88608e111cfbe1a90fb3a571e874cd9097e02ac1  docs/Testing.txt
4d4c5b7397499fa1f687abdb225241ddbc9154bb9ed49060a15335092b12f569  docs/codex/diagrams/solver-context/f434_multirank_proof_evaluation.png
b91605870a56a9e86eb8a8379d815720e461a45154563b24de8ade43c727c6a8  docs/codex/diagrams/solver-context/f434_multirank_proof_evaluation.svg
3d92f5eec0e7c8fd60573e3e6cdfee8724c8e8acb2d0f7d137e32a7ef7985264  docs/codex/research-progress/Qualified_Multirank_Realtime_Proof_Evaluation_F434_2026-08-18.md
8e7d11e4362ae7181dbc97fdd5606cd68c4bf818b15d0b098c5e4487052483ad  test/pytest-nodeids.json
2c4ff63cfe01fa71c8d5504f60797d36a0b2d009082a1ca9b8b216997283310a  test/test_qfbv_realtime_multirank.py
d2504c4d20331fb950fc758df7fafc2b69dbb93ed382aa642808b9150dcae10b  test/test_qfbv_realtime_stream.py
4db047306b714c6e2728454b31c0209506dcbd4dd2ea6ccc8e103fc3b6e89aa9  util/distributed_state.py
58236cb4647e50be602f359c65edaef5c4e67cc653a6701902db13121f26955e  util/mpi_filesystem_qualification.py
1c579165de7e4eaeb538efcce4e585d6a5e5e8cbf94f5ce5e7cb7b3281f6daf5  util/qfbv_cadical_realtime.cpp
cb86fd710cc51fef393fa548bfaa6f1bf7d209e0f270ee18c4a45d1c7086a9b0  util/qfbv_incremental_proof.py
2e109f9d71a1dc9add174d3a978befc079f9a2564a8ba56a5e9399b52f9a6118  util/qfbv_multirank_evaluation.py
ba3d135908ac93ed689e274828b3f57eaaf8536c6f55ce8515882d51ae053166  util/qfbv_realtime_stream.py