SATLIB
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
SATLIB
425.96MIS Size
35
SATLIB SAT instances in CNF (test)
425.96MIS Size
7
SATLIB BEIJING
14.8Solved Samples (%)
4
SATLIB DIMACS
1.4Sample Solved Rate
4
SATLIB BMC
0Sample Solved Rate
4
SATLIB QG
0.4Sample Solved Rate
4
SATLIB AIS
29.8Sample Solved Rate
4
SATLIB PLANNING
9.9Sample Solved Rate
4
SATLIB SW
30.2Sample Solved Rate
4
SATLIB FLAT
41.8Solved Rate (%)
4
SATLIB CBS
70.3Sample Solved Rate
4
SATLIB RTI BMS
46.2Sample Solved Rate
4
SATLIB UF
74.5Solved Rate
4
SATLIB
0.05RMSE
3
SATLIB BMS (backbone-minimal sub-instances)
650.5Pure Conflicts
1
SATLIB RTI random 3-SAT instances
259.5Conflicts (Pure)
1
Selected SATLIB
—Primary metric
0