Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
SAT solving on Synthetic datasets Same Distribution
Loading...
63.16
SR
NSNet
38.6784
45.0342
51.39
57.7458
Nov 7, 2022
SR
3-SAT Accuracy
CA
Total Score
Updated 3mo ago
Evaluation Results
Method
Method
Links
SR
3-SAT Accuracy
CA
Total Score
NSNet
Supervision=Marginal
2022.11
63.16
63.52
56.3
60.99
BP
Supervision=N/A
2022.11
49.65
51.43
36.45
45.84
NeuroSAT
Supervision=Marginal
2022.11
47.77
48.6
50.97
49.11
NeuroSAT
Supervision=Assignment
2022.11
44.16
43.74
35.37
41.09
NSNet
Supervision=Assignment
2022.11
39.62
57.63
47.2
48.15
Feedback
Search any
task
Search any
task
