iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.700=-0.004 | | σ | 0.012-0.008=0.005 | | min | 278.687-278.690=-0.003 | | max | 278.718-278.709=0.008 |
| | mean | 2642.000-2691.000=-49.000 | | σ | 0.000 | | min | 2642.000-2691.000=-49.000 | | max | 2642.000-2691.000=-49.000 |
| | mean | 0.419-0.420=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.418=-0.000 | | max | 0.421-0.422=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.876-2268.875=0.001 | | σ | 0.006-0.003=0.003 | | min | 2268.870-2268.872=-0.002 | | max | 2268.883-2268.880=0.004 |
| | mean | 2642.000-2691.000=-49.000 | | σ | 0.000 | | min | 2642.000-2691.000=-49.000 | | max | 2642.000-2691.000=-49.000 |
| | mean | 2.942-2.979=-0.037 | | σ | 0.146-0.174=-0.027 | | min | 2.818-2.819=-0.001 | | max | 3.191-3.276=-0.086 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.180-4952.084=0.096 | | σ | 0.802-0.615=0.186 | | min | 4951.602-4951.695=-0.093 | | max | 4953.594-4953.177=0.416 |
| | mean | 2642.000-2691.000=-49.000 | | σ | 0.000 | | min | 2642.000-2691.000=-49.000 | | max | 2642.000-2691.000=-49.000 |
| | mean | 8.052-8.051=0.001 | | σ | 0.577-0.397=0.180 | | min | 7.710-7.761=-0.051 | | max | 9.072-8.690=0.382 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.712-5166.781=-0.069 | | σ | 0.308-0.294=0.014 | | min | 5166.220-5166.256=-0.036 | | max | 5166.925-5166.921=0.005 |
| | mean | 3382.800-3396.600=-13.800 | | σ | 447.693-446.700=0.993 | | min | 2778.000-2769.000=9.000 | | max | 3952.000-3941.000=11.000 |
| | mean | 9.254-9.788=-0.534 | | σ | 0.419-0.289=0.130 | | min | 8.957-9.449=-0.492 | | max | 9.989-10.221=-0.232 |
|