Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
SAT Solving on random 3-SAT 50
Loading...
1.37
MRPP r~
GQSAT*-3calls
0.122
0.446
0.77
1.094
Sep 29, 2025
MRPP r~
W1%
Updated 4d ago
Evaluation Results
Method
Method
Links
MRPP r~
W1%
GQSAT*-3calls
Number of calls=3, Tra...
2025.09
1.37
38
GQSAT*-5calls
Number of calls=5, Tra...
2025.09
1.23
37
CaDiCaL baseline
Solver=CaDiCaL, Config...
2025.09
1
0
SATformer
Training distribution=...
2025.09
0.88
60
SATformer*
Training distribution=...
2025.09
0.86
57
ImitSAT-3calls
Number of calls=3
2025.09
0.74
69
ImitSAT-3calls
Solver=CaDiCaL, Calls=3
2025.09
0.73
0.62
GQSAT-3calls
Number of calls=3, Tra...
2025.09
0.71
57
GQSAT-5calls
Number of calls=5, Tra...
2025.09
0.7
59
ImitSAT-5calls
Solver=CaDiCaL, Calls=5
2025.09
0.69
0.62
ImitSAT-5calls
Number of calls=5
2025.09
0.66
64
KeyTrace
2025.09
0.17
97
Feedback
Search any
task
Search any
task