05010015020001000200030004000
Baseline Kissat ML-KissatFigure 4: Baseline Kissat vs ML-KissatProblems solvedTime