Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
SAT Solving on random 3-SAT 100
Loading...
1.41
MRPP r~
GQSAT*-3calls
-0.0252
0.3474
0.72
1.0926
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.41
36
GQSAT*-5calls
Number of calls=5, Tra...
2025.09
1.4
36
CaDiCaL baseline
Solver=CaDiCaL, Config...
2025.09
1
0
GQSAT-3calls
Number of calls=3, Tra...
2025.09
0.85
55
ImitSAT-5calls
Number of calls=5
2025.09
0.83
56
SATformer*
Training distribution=...
2025.09
0.82
56
SATformer
Training distribution=...
2025.09
0.81
57
GQSAT-5calls
Number of calls=5, Tra...
2025.09
0.8
58
ImitSAT-3calls
Number of calls=3
2025.09
0.76
60
ImitSAT-5calls
Solver=CaDiCaL, Calls=5
2025.09
0.69
0.61
ImitSAT-3calls
Solver=CaDiCaL, Calls=3
2025.09
0.66
0.64
KeyTrace
2025.09
0.03
99
Feedback
Search any
task
Search any
task