ResearchBenchmarksExact Bayesian Inference on PSI murderMystery (F) (test)Follow0.0002Inference Time (s)Genfer-0.000020.0014650.002950.004435May 26, 2023Evaluation ResultsMethodMethodLinksInference Time (s)GenferNumeric mode=Floating-...Numeric mode=Floating-point (FP)2023.050.0002GenferNumeric mode=Rational (Q)Numeric mode=Rational (Q)2023.050.0003PSINumeric mode=Rational (Q)Numeric mode=Rational (Q)2023.050.0021ProdigyNumeric mode=Rational (Q)Numeric mode=Rational (Q)2023.050.0028DiceNumeric mode=Floating-...Numeric mode=Floating-point (FP)2023.050.0055DiceNumeric mode=Rational (Q)Numeric mode=Rational (Q)2023.050.0057