Published June 14, 2024
| Version v3
Dataset
Open
Clausal Congruence Closure Paper Logs, Plots and Tables
Description
These are the log files and other experimental data of our paper on clausal
congruence closure together with generated plots and tables.
Files
Files
(243.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b5ea07e56e6e5a4612f3edb57cc3934a
|
243.6 MB | Download |
Additional details
Dates
- Updated
-
2024-03-18