Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Approximate Model Counting on SATLIB
Loading...
0.05
RMSE
ApproxMC3
-0.0424
0.5813
1.205
1.8287
Nov 7, 2022
RMSE
Runtime (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
RMSE
Runtime (s)
ApproxMC3
Hardware=CPU, Mode=Seq...
2022.11
0.05
13.05
NSNet
Hardware=GPU, Mode=Par...
2022.11
1.71
-
F2
Hardware=CPU, Mode=Seq...
2022.11
2.36
27.79
Feedback
Search any
task
Search any
task
