Number of formulae

Average response time (s)

10243

0.105

20335

0.175

50033

0.401

110027

1.092