378d4ec1bc8455475605edd21ea590fb3aa97bbc9bb503e6ff52e17eca082ffb  benchmark/install_cadical_3_0_1.sh
8e7d11e4362ae7181dbc97fdd5606cd68c4bf818b15d0b098c5e4487052483ad  test/pytest-nodeids.json
1afda248e2db485c13992c0da0a356ca02fb654ea978296f4a6a25a1e314e0b1  test/qfbv_incremental_sat_benchmark.py
0ea3f2100a2d2f3b450d98042a9cddbf28e9d9ce7d116fd892b98d00a6761e81  test/qfbv_incremental_sat_oracle.py
59135c2e7969a1660149caf5c21c46d6e9a56ba3985a4bd326373b51c031fd54  test/test_qfbv_artifact_lifecycle.py
f856124ce9dc73966cd46e8bdce4c4fd05139953a8cc5214f453c36361bf7018  test/test_qfbv_incremental_sat.py
b165848df000abd63a70fed999befe3becb7ef8edf00b63159fc9b2e3a1f0d21  util/cadical_qfbv_backend.py
4e582de598d291e8e76d8bdbee1f65c0b7cd66e33f603523022005119c29b923  util/qfbv_artifact_lifecycle.py
cb86fd710cc51fef393fa548bfaa6f1bf7d209e0f270ee18c4a45d1c7086a9b0  util/qfbv_incremental_proof.py
f875aa42aa9ba1d88ab967561d784b9d0b44001df4963c7784632a3d472e9bd2  util/qfbv_incremental_sat.py
9feb965b7f625cb428bc81426017c24ae1ce046e49a983c4901119d33b9ab717  util/query_store.py
a2248e50023f954d7c4a8115ae51b2f4623e92f4dcb137fafdfff96a4f281e93  util/symcc_query_service.py