iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-266.786=3.340 | | σ | 0.005-0.007=-0.002 | | min | 270.118-266.776=3.342 | | max | 270.133-266.795=3.338 |
| | mean | 2507.000-2849.000=-342.000 | | σ | 0.000 | | min | 2507.000-2849.000=-342.000 | | max | 2507.000-2849.000=-342.000 |
| | mean | 0.373-0.364=0.009 | | σ | 0.004-0.001=0.003 | | min | 0.369-0.362=0.007 | | max | 0.379-0.366=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596-1927.207=3.389 | | σ | 0.016-0.011=0.005 | | min | 1930.572-1927.190=3.382 | | max | 1930.612-1927.216=3.395 |
| | mean | 2507.000-2849.000=-342.000 | | σ | 0.000 | | min | 2507.000-2849.000=-342.000 | | max | 2507.000-2849.000=-342.000 |
| | mean | 2.581-3.031=-0.451 | | σ | 0.155-0.097=0.058 | | min | 2.444-2.950=-0.506 | | max | 2.810-3.168=-0.358 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.887-4747.728=3.159 | | σ | 0.315-0.782=-0.468 | | min | 4750.684-4747.328=3.355 | | max | 4751.445-4749.126=2.319 |
| | mean | 2507.000-2849.000=-342.000 | | σ | 0.000 | | min | 2507.000-2849.000=-342.000 | | max | 2507.000-2849.000=-342.000 |
| | mean | 8.346-8.244=0.102 | | σ | 0.525-0.646=-0.121 | | min | 7.786-7.666=0.120 | | max | 8.955-9.067=-0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.453-4938.092=3.361 | | σ | 0.215-0.208=0.007 | | min | 4941.097-4937.754=3.343 | | max | 4941.636-4938.265=3.372 |
| | mean | 2931.200-3053.200=-122.000 | | σ | 384.586-257.959=126.628 | | min | 2507.000-2849.000=-342.000 | | max | 3430.000-3436.000=-6.000 |
| | mean | 8.461-8.573=-0.112 | | σ | 0.354-0.241=0.113 | | min | 8.241-8.379=-0.139 | | max | 9.090-8.982=0.108 |
|