SATLIB
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Maximum Independent Set | SATLIB | MIS Size425.96 | 35 | |
| Maximal Independent Set | SATLIB SAT instances in CNF (test) | MIS Size425.96 | 7 | |
| SAT Solving | SATLIB BEIJING | Solved Samples (%)14.8 | 4 | |
| SAT Solving | SATLIB DIMACS | Sample Solved Rate1.4 | 4 | |
| SAT Solving | SATLIB BMC | Sample Solved Rate0 | 4 | |
| SAT Solving | SATLIB QG | Sample Solved Rate0.4 | 4 | |
| SAT Solving | SATLIB AIS | Sample Solved Rate29.8 | 4 | |
| SAT Solving | SATLIB PLANNING | Sample Solved Rate9.9 | 4 | |
| SAT Solving | SATLIB SW | Sample Solved Rate30.2 | 4 | |
| SAT Solving | SATLIB FLAT | Solved Rate (%)41.8 | 4 | |
| SAT Solving | SATLIB CBS | Sample Solved Rate70.3 | 4 | |
| SAT Solving | SATLIB RTI BMS | Sample Solved Rate46.2 | 4 | |
| SAT Solving | SATLIB UF | Solved Rate74.5 | 4 | |
| Approximate Model Counting | SATLIB | RMSE0.05 | 3 | |
| Boolean Satisfiability Solving | SATLIB BMS (backbone-minimal sub-instances) | Pure Conflicts650.5 | 1 | |
| Boolean Satisfiability Solving | SATLIB RTI random 3-SAT instances | Conflicts (Pure)259.5 | 1 | |
| SAT Solving | Selected SATLIB | Metric- | 0 |
Showing 17 of 17 rows