This Repository contains the experimental data to our SAT'26 paper "A Natively Parallel Proof Framework for Clause-Sharing SAT Solving" in the following form:

qresults-monolithic-*.txt

Whitespace separated columns:

1. Instance name
2. Result
3. Solving time
4. If UNSAT: proof assembly time
5. If UNSAT: proof size in bytes
6. If UNSAT: proof checking time

qresults-cadical-lrat.txt

Whitespace separated columns:

1. Instance name
2. Result
3. Solving time
4. If UNSAT: proof size in bytes
5. If UNSAT: proof checking time

qresults-cadical-solve-*.txt

Whitespace separated columns:

1. Instance name
2. Result
3. Solving time

qresults-proof-check-*.txt

Whitespace separated columns:

1. Instance name
2. Result
3. Solving time
4. proof checking time
5. checking validation time
6. palrup success marker exists
7. average local check runtime
8. average redistribute runtime
9. average confirmation runtime
10. average waittime before local check
11. average waittime before redistribute
12. average waittime before confirmation
13. proof size in bytes
14. accumulated proxy files size in bytes
15. accumulated import files size in bytes
16. average proof size IQR
17. average proxy files size IQR
18. average import size IQR