iters=5 new-facts=1 prior-facts=1 | | mean | 270.127-270.126=0.001 | | σ | 0.003-0.004=-0.001 | | min | 270.124-270.121=0.003 | | max | 270.131-270.133=-0.001 |
| | mean | 2848.000-2791.000=57.000 | | σ | 0.000 | | min | 2848.000-2791.000=57.000 | | max | 2848.000-2791.000=57.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.004-0.004=0.001 | | min | 0.378-0.377=0.000 | | max | 0.389-0.387=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.595-1930.585=0.009 | | σ | 0.026-0.015=0.011 | | min | 1930.560-1930.559=0.001 | | max | 1930.629-1930.600=0.029 |
| | mean | 2848.000-2791.000=57.000 | | σ | 0.000 | | min | 2848.000-2791.000=57.000 | | max | 2848.000-2791.000=57.000 |
| | mean | 2.492-2.559=-0.067 | | σ | 0.098-0.132=-0.034 | | min | 2.427-2.390=0.037 | | max | 2.664-2.724=-0.059 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.932-4751.019=-0.087 | | σ | 0.944-0.851=0.093 | | min | 4750.181-4750.273=-0.092 | | max | 4752.582-4752.480=0.102 |
| | mean | 2848.000-2791.000=57.000 | | σ | 0.000 | | min | 2848.000-2791.000=57.000 | | max | 2848.000-2791.000=57.000 |
| | mean | 8.658-8.060=0.598 | | σ | 0.171-0.308=-0.137 | | min | 8.482-7.670=0.812 | | max | 8.929-8.425=0.504 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.531-4941.451=0.080 | | σ | 0.082-0.207=-0.125 | | min | 4941.466-4941.104=0.362 | | max | 4941.628-4941.610=0.018 |
| | mean | 3066.200-3057.600=8.600 | | σ | 233.615-330.268=-96.652 | | min | 2848.000-2791.000=57.000 | | max | 3411.000-3558.000=-147.000 |
| | mean | 8.566-8.377=0.189 | | σ | 0.214-0.086=0.128 | | min | 8.308-8.316=-0.009 | | max | 8.832-8.529=0.303 |
|