Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

SAT solving on Synthetic datasets Same Distribution

63.16SR

NSNet

38.678445.034251.3957.7458Nov 7, 2022
Updated 4d ago

Evaluation Results

MethodLinks
2022.11
63.1663.5256.360.99
2022.11
49.6551.4336.4545.84
2022.11
47.7748.650.9749.11
2022.11
44.1643.7435.3741.09
2022.11
39.6257.6347.248.15