ResearchBenchmarksApproximate Model Counting on SATLIBFollow0.05RMSEApproxMC3-0.04240.58131.2051.8287Nov 7, 2022Evaluation ResultsMethodMethodLinksRMSERuntime (s)ApproxMC3Hardware=CPU, Mode=Seq...Hardware=CPU, Mode=Sequential, Time Limit=5,000s2022.110.0513.05NSNetHardware=GPU, Mode=Par...Hardware=GPU, Mode=Parallel batch2022.111.71—F2Hardware=CPU, Mode=Seq...Hardware=CPU, Mode=Sequential, Time Limit=5,000s2022.112.3627.79