Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

SAT Solving on Synthetic datasets Larger Distribution

9.13Success Rate

NSNet

1.29883.33195.3657.3981Nov 7, 2022
Updated 1mo ago

Evaluation Results

MethodLinks
2022.11
9.1312.078.089.76
2022.11
5.977.186.596.58
2022.11
3.378.133.615.03
2022.11
1.993.185.613.59
2022.11
1.62.521.641.92