SAT
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
SAT
76Accuracy
3
sat
84.51Accuracy
3
SAT
78.64Accuracy
3
SAT large
130.6Number of MUSes/MSSes
2
SAT 10 to 20 variables (test)
96.4Overall Accuracy
2
sat task4 (test)
77Average Accuracy
2
sat task3 (test)
75.4Average Accuracy
2
sat task2 (test)
74.6Average Accuracy
2
sat task1 (test)
73.5Average Accuracy
2
SAT (test)
81.3maj@k
2
SAT Evidence-Based Reading & Writing
87SAT EBRW Percentile
1